冲突检测中的主动规则技术

提出主动数据库技术的一个新应用——主动规则应用于虚拟装配中的冲突检测，使虚拟装配具有了主动能力；论述分析了虚拟装配过程中冲突检测的主动功能需求；分析了虚拟装配环境的事件、每件、动作；提出了规则模型；对规则进行了描述。     

服务Agent的设计与实现

将Web服务与Agent相结合代表了Web技术的发展方向之一。服务Agent能够管理一组密切相关的Web服务,并智能化地向外界提供综合的、集成的服务功能。服务Agent的能力建立在内部定义的一组规划基础上。在BDIAgent的基础上,本文提出了一种服务Agent的结构定义;提出了基于目标规划的语义模型和基于ECA规则规划的语法模型,用以进行基于事件驱动的规划选择和执行;实现了支持服务Agent建模的可视化工具;最后介绍一个应用实例。     

基于卷积神经网络的随机因子重采样图像检测

图像重采样检测是图像取证领域的重要任务,其目的是检测图像是否经过重采样操作。现有的基于深度学习的重采样检测方法大多只针对特定的重采样因子进行研究,而较少考虑重采样因子完全随机的情况。本文根据重采样操作中所涉及的插值技术原理设计了一组高效互补的图像预处理结构以避免图像内容的干扰,并通过可变形卷积层和高效通道注意力机制(efficient channel attention, ECA)分别提取和筛选重采样特征,从而有效提高了卷积神经网络整合提取不同重采样因子的重采样特征的能力。实验结果表明,无论对于未压缩的重采样图像还是JPEG压缩后处理的重采样图像,本文方法都可以有效检测,且预测准确率相比现有方法均有较大提升。     

基于ECA 规则的仿真系统研究设计

分析冷连轧仿真系统的主动性需求，结合数据库在仿真系统中的作用，提出基于主动数据库的仿真系统设计。对主动规则的原理和执行进行分析，给出了基于主动规则——ECA规则的仿真系统的设计和运行机制，用ECA规则描述应用系统执行操作和事件处理，完成系统的主动性行为。并以冷连轧仿真系统中物料跟踪在一机架前的事件动作为例，运用ECA规则进行设计。     

Cold pre-compression of membrane electrode assembly for PEM fuel cells

Direct compression from the land structure of bipolar plate in a PEM fuel cell is considered as an important factor for the higher performance under the land than under the channel areas. Therefore the objective of this study is to determine if a cold pre-compression treatment on the whole membrane electrode assembly (MEA) area may have a significant positive effect on the overall performance of the cell. Five different levels of cold pre-compression have been applied and the experimental results show that the overall performance of the cell first increases with the level of compression to a maximum, and then decreases. These results clearly show that cold pre-compression of the MEA can significantly enhance the performance of the entire cell and there exists an optimal level of compression. Results of electrochemical impedance spectroscopy (EIS) show that the cold pre-compression results in a significant reduction in charge transfer resistance, especially in the high current density region. Further study by the cyclic voltammetry (CV) shows that the electro-chemical area (ECA) is changed with the different cold pre-compressed MEAs and there exists an optimal compression that results in the maximum ECA.     

基于商业逻辑的Web服务合成方法的研究

为提高Internet环境下通过Web服务合成方法构建的跨企业应用系统的灵活性和复用性,分析和研究了面向Web服务的商业流程执行语言（BPEL4WS）中存在的不足,讨论了将商业逻辑从商业流程中分离的必要性。提出从BPEL4WS中提取商业逻辑的思想,同时利用．NET架构下的事件处理技术对其进行了实现,从而有效地改善了BPEL4WS的完全面向商业过程、将商业逻辑隐含在过程中而造成的合成后的Web服务灵活性差及不能有效复用的缺点。最后通过实例证明该方法的可行性。     

基于规则的动态工作流建模方法的研究与设计

现代企业流程所固有的多变性和灵活性,凸显了工作流在处理动态不确定因素方面的不足。针对这一情况,提出了一种基于ECA（event—condition—action）规则和活动选取一组合规则的动态工作流模型。该模型采用柔性活动对流程中的不确定因素进行了封装,用活动选取一组合规则来约束柔性活动的具体化过程,并设计了一种高效的活动自动选取一组合算法,来实现柔性活动的具体化。     

XML中的主动规则的模型及其可终止性分析

在对XML数据模型主动机制研究的基础上,结合规则实例提出了一种新的分析规则终止性的静态判定算法。此算法基于触发环的概念,首先对触发环中每一个被修改的节点产生一个递归等式,然后通过展开递归等式并检验其可满足性,就可以分析规则集的可终止性,这样不仅可以得到更高的精确度及更小的复杂度,而且可以得到有效的判定主动规则可终止性的条件。     

基于触发器机制的主动数据库模型研究

触发器是当前商用DBMS用于完整性实施和主动控制的一个主要机制。为了满足许多应用系统对数据库系统的主动性需求,提出了一种基于触发器机制的主动数据库的新模型,并且在此模型基础之上,运用了一种简单的、易于实现的方法来建立基于触发器机制的主动数据库。