Modeling Workflow Using UML Activity Diagram

An enterprise can improve its adaptabihty in the changing market by means of workflow teclmolo-gies. In the build time, the main function of Workflow Management System (WFMS) is to model business process. Workflow model is an abstract representation of the real-world business process. The Unified Modeling language (UML) activity diagram is an important visual process modehng language proposed by the Object Management Group (OMG). The novelty of this paper is representing workflow model by means of UML activity diagram. A translation from UML activity diagram to π-calculus is established.Using π-calculus, the deadlock property of workflow is analyzed.     

基于因果图故障模式重要度的分析方法

因果图理论是可以进行故障分析的概率推理方法,但是缺乏对故障模式的重要性的分析.笔者在因果图理论中引入故障模式重要度概念,并成功运用于煤矿瓦斯爆炸的故障分析中.研究结果表明,基于因果图故障模式重要度的方法,是可以有效地进行故障诊断和安全分析的定性和定量的方法,能为事故预防提供可行的对策.     

优化图型判断技术及其在羊疾病防治决策系统中的应用

专家系统是一个具有大量专门知识与经验的程序系统,它应用人工智能技术,根据一个或多个专家提供的特殊领域的专门知识、经验进行推理和判断、模拟专家作决定的过程,来解决那些需要专家决定的复杂问题.在讨论专家系统决策实现中的图型判断推理决策技术与方法的基础上,提出了一种优化图型判断方法,并介绍了基于优化图型推理判断的远程羊疾病防治决策系统的实现技术与方法.     

基于因果图的一种近似推理算法

在因果图理论中,采用图形化和直接因果强度来表达知识和因果关系,它克服了贝叶斯网的一些不足,已经发展成了一个能够处理离散变量和连续变量的混合模型.但由于因果图的精确推理是NP难的,不能完全适应实际问题的需要,因此给出了一种近似推理算法,削减了因果图精确算法的步骤和需要的一些苛刻条件,使得计算的复杂度与事件的节点数同阶,并用具体例子说明了算法推理过程.     

因果图转换为信度网的算法

动态因果图理论是在信度网基础上发展起来的一种不确定推理模型,两者在知识表达上存在一定的差别,但大体结构类似,在一定的条件下可以进行相互转换.从分析信度网与因果图的知识表达方式的异同入手,最后推导出一种将因果图模型转换为信度网模型的算法,主要从构成信度网模型的两大要素--拓朴结构和条件概率表两方面的生成算法进行了推导和阐述.     

新三维混沌系统的复杂动力学分析

提出了一个含立方项的新三维连续混沌系统.分析了该系统平衡点的稳定性.运用分岔图、Lyapunov 指数谱、相平面图等数值仿真研究了系统的动力学行为.对不同的参数值条件,系统将呈现出单稳定性、单周期、单混沌状态.对不同的参数值和初值,系统存在双稳定性、双周期以及双混沌吸引子现象.     

仓库货物抬升推出系统控制回路设计

根据仓库货物抬升推出系统的设计要求设计2种控制回路,分别以节流阀、行程阀、梭阀等气动元件设计的气动控制回路,以继电器、传感器、电磁阀等电气元件设计的电气控制回路;对2种设计回路进行仿真实验,并完成系统回路安装调试。结果表明:气动控制回路行程阀安装位置精度不高,改变顺序动作困难;电气控制回路的电气元件安装位置不受限制,改变顺序动作灵活,实现自动化控制,能够有效解决自动化立体仓库高效利用问题。     

基于Voronoi图表和进化策略的图像特征点配准方法

针对传统的特征点配准算法时间复杂度高、容易陷入局部最优解的不足,提出一种基于Voronoi图表和进化策略的图像特征点配准方法.该方法以匹配点对的欧几里德距离均方的极小值作为优化目标,通过区域填充算法生成参考图像点集的Voronoi图表,将参考图像划分为若干不相交区域,每个子区域中含且只含一个特征点,且对给定子区域中的任意一点,离其最近的特征点即为该区域所含的特征点.在迭代过程中利用Voronoi图表信息并通过SVD方法和进化策略的混合算法求解目标函数.将该方法应用于多模医学图像配准,并与传统的ICP算法比较,结果表明在速度上该方法明显优于ICP算法,并且能够有效避免陷入局部最优解.     

A novel methodology for complex part motion planning

0Introduction Inordertoautomaticallyexecuterobotmotionplan ning,akeyproblemoftransferringagivensequenceof assemblyoperationsintofeasiblemotionplansmustbe solved.Mostresearchesarefocusedtothefollowingas pects:1)grossmotionplanning[1],2)graspplanning[2],and3)motionplanning[3].Thestudyofmotionplanningstrategyisthekeyis sueinrobotassemblyplanning.Thegeometricapproachis oneofthetrendsinassemblyplanning.Krishnanand Sanderson[4]introducedanalgebraofpolyhedralcones whichprovidesatoolforcombininggeome…     

双对角占优矩阵的注记

文章通过对矩阵伴随着有向图特点的研究,得到了不可约双对角占优矩阵是否为非M-矩阵的一个充要条件。