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

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

蒸汽冷凝器改造过程探究

管壳式换热器的选型过程较为复杂,需要通过计算来确定换热面积、外形尺寸及接管规格等参数,进而绘制工程图并进行详细设计.以某公司生产装置中蒸汽换热器的重新选型为实例,介绍了该设备重新选型过中工程图的设计过程.     

SAFUREX钢管道非熔化极气体保护焊焊接工艺研究

文中介绍了超级双向不锈钢SAFUREX的金相组成特点,阐述了该金属材料在焊接状态下金相组织的变化规律和化学元素对金属材料焊接过程中的影响,通过对该材质管道在焊接设备和材料的选择使用、坡口设计加工、焊缝清理和热输入控制等方面的论证,总结得出该材质管道的焊接工艺和质量控制方法,最终通过试验验证了焊接工艺的可行性。     

基于进程代数的安全软件体系结构建模

分析了基于进程代数的软件体系结构模型的安全性,将相容性检查和互操作性检查从单个软件体系结构推广到不同风格的体系结构风格,扩展基于进程代数的软件体系结构描述语言,通过顺序进程代数项族和预定义的体系结构类型调用对软件体系结构安全建模。通过一个例子介绍了这种建模方法。