压电喷射点胶阀的喷射性能分析及实验研究

利用压电叠堆具有较好的响应特性和输出特性的特点,提出了一种新型压电驱动式喷射点胶阀.该喷射点胶阀主要由压电叠堆、杠杆式微位移放大机构、阀杆和喷嘴组成.对胶液实现喷射的条件进行了理论分析,并利用ANSYS软件对喷嘴重胶液流场进行仿真,得到了阀杆位移、胶液黏度和驱动气压对喷射点胶的影响规律,最后通过实验验证了理论分析和仿真的正确性.当胶液的黏度为2Pa·s时,获得的胶点最小直径为0.5mm,胶点一致性误差在6％以内.为电子封装业提供了更加高效和准确的点胶方法.     

面向产业链协同SaaS平台的事件协同感知技术研究

为了解决业务关联的产业链协同SaaS平台不同企业对象间基于事件的动态协同感知问题,建立了基于业务事件的平台协同对象感知模型,提出了基于AOP技术的业务事件动态捕获机制、业务关联的协同对象列表产生器实现算法和基于GSM信号增强技术的事件消息发布方法。该模型和算法已在汽车零部件产业链协同SaaS平台上进行了应用,能满足汽车售后服务等复杂业务过程中跨单核企业联盟的业务协同需求。     

一种结合MDA的高阶模型转换方法

模型转换是MDA的关键技术,也是MDA的研究热点。目前,不同的MDA开发平台都有一套相对独立的开发技术和转换框架,这使平台之间缺乏兼容性,模型转换代码重用困难。究其原因是缺少一种与具体转换语言相对应,且与平台无关的转换规则模型。为了解决以上问题,将高阶模型转换的思想与模型驱动软件开发相结合,提出了一种构造模型转换规则的高阶转换元模型,并以ATL语言为例展示了高阶转换元模型的使用方法;最后通过一个实例验证了该方法的可行性和可用性。该方法提高了模型转换语言的抽象层次,降低了模型转换语言的重用难度,在一定程度上解决了模型转换技术不兼容的问题。     

基于TLA的事件图模型形式化验证方法*

针对目前没有直接对事件图模型进行形式化验证的方法,提出了一种基于行为时态逻辑(temporal logic of action,TLA)的事件图模型形式化验证方法.该方法利用TLA语言能够同时表达模型行为与逻辑规则的特点及其与事件图的相似性,将事件图模型及性质规约用TLA语言进行形式化描述,从而使该模型能够被TLA模型...     

分布式Kahn处理网络的一种集群调度算法*

研究并提出一种采用分布式Kahn处理网络表达的并行程序在多处理器集群环境下的任务——处理器动态分配算法。由于Kahn处理网络的不可判定性,静态作业调度算法不能适用,而忽略其显式数据依赖关系的动态负载均衡策略存在很大的随机性,往往带来不必要的进程迁移。基于运行时动态生成的离散事件序列,预测Kahn处理网络在不同分配方案下的执行效率（处理器资源利用率）,迭代寻求最优动态分配方案,仿真效果良好。     

证书认证系统中安全事件关联模型的设计及应用

从证书认证CA系统中各种服务系统和安全设备每天产生的海量告警和日志中挖掘出有价值的信息,帮助管理员找到那些真正具有威胁的攻击,有效地保护系统安全,这是CA系统安全管理亟待解决的问题。文章提出了一个CA安全事件关联模型,在此模型的基础上讨论了安全事件的过滤方法和聚合方法,最后将该模型及关联方法应用于一个安全事件关联系统中进行测试。测试结果表明,基于该模型的安全事件关联分析效率更高。     

基于事件框架的主题事件融合研究*

针对事件抽取获得的单个元事件无法完整描述主题事件的特点,提出了一种主题事件的融合方法,通过该方法将与同一主题相关的所有元事件整合在一起,以层次化的形式表示。首先定义了一种事件融合框架TEFF(topic event fusion framework)。该框架根据各类元事件在主题事件中的作用,将主题事件以层次化的形式表示。同时给出元事件和主题的相关度计算方法,通过该算法来评价元事件和主题的相关度。在TEFF的指导下,通过相关度计算,实现主题事件的融合。在以2008年起的金融危机为主题的实验中,取得了F值为7     

一种基于事件检测的视频取证方法*

目前计算机视频取证的一个重要目标是如何快速准确地在海量视频中定位犯罪事件发生的时刻和地点,最终形成视频证据。针对复杂背景条件下丢弃或拾起等事件的监控视频,提出一种基于光流特征和形状特征结合的事件检测方法。通过实验证明了该方法在视频事件分析取证中的有效性。     

基于控制局域网的实时CORBA事件服务的研究

实时CORBA和小型CORBA是许多分布式实时嵌入式系统所依赖的基础,而事件服务能够在分布式环境下,提供有效的灵活的通讯机制。该文结合了实时CORBA与事件服务两者的优点,描述了一个符合OMG事件服务标准的此类服务,适用于由控制局域网构筑的分布式嵌入式系统,并提出了一种事件有效分配的协议。     

一个支持协同过程的动态模拟算法

工作流管理是复杂企业过程协同工作的关键技术。传统的工作流控制系统通常采用CS架构,只能为整体过程操作提供单一的工作流服务。基于EPMS系统设计一个模型驱动工作流模型解决企业过程协同问题,提出一个动态关键路径选取算法。从而实现系统的多业务协同调度。