摘要：为在当今主流程序设计语言(如C++/Java/C#)中实现继续,采用异常处理机制获取程序继续的方法,利用优化的CPS(continuation passing style)作为中间表示语言,在切片阶段自动确定切片单元和分析定义活性变元的生命期;并且,归纳了支持本方法语言的公共特征,设计出一个一般的、可重用的类层次系统,给出了系统基本架构和应用间的简单接口及实现.结果表明,在高级语言中实现继续机制是完全可行的,可有效地解决确定变元生命期的难题.

摘要：为了更有效推进危害分析关键控制点(HACCP)体系信息化,提出了构建基于工作流技术的HACCP体系信息化工具的方案。该方案针对HACCP体系信息化实施的需求情况,把工作流技术应用到HACCP体系的原理和方法之中,从工作过程、组织及资源3个方面来对HACCP体系进行建模。以HACCP计划执行为例,把关键控制点看作步骤,关键控制点中的监控、纠偏、验证及记录环节作为步骤中的动作,建立了相应的工作流模型。最后利用该模型进行了一个HACCP体系管理系统的研发。系统的运行结果表明,该信息化工具的方案正确有效。

摘要：建立了不同缝合密度、不同粗细缝线的碳纤维缎纹增强复合材料三维有限元模型,分别预报了缝线植入处基布全部损伤和部分损伤2种状况的面内弹性模量,并进行了实验验证。结果表明:随着缝合密度增加,复合材料的面内弹性模量降低,最大降低幅度约为44%,泊松比影响很小。较粗的缝线使得复合材料的拉伸剪切弹性模量降低,较细的缝线对面内弹性模量影响较小。与未缝合相比,不同直径的缝线的模量变化在9.6%之内。实验结果与有限元预报的规律一致。