基于线性时序逻辑的业务流程验证

目的为了解决业务流程设计与需求的不一致性问题。方法提出了一种基于XML过程定义语言和线性时序逻辑的业务流程验证方法。结果采用Promela语言描述业务流程模型,线性时序逻辑表示抽象的业务需求,通过模型检测器Spin完成流程的验证工作。结论实现了对流程正确性的判断。     

一种基于特征区域划分的网格简化方法

目的研究对三维网格模型简化的一种方法。方法根据人脸面部特征点将人脸划分为关键特征区和非关键特征区,在不同的区域设定不同的离散曲率简化阈值,采用边折叠的方式来减少网格密度。结果该方法能有效地减少网格的数据量,同时保持人脸的特征细节。结论对三维网格模型使用基于特征区域划分的网格简化方法,降低了模型的复杂度。     

基于CORBA的分布式异构计算环境的分析与实践

讨论了构造分布式异构计算环境所需的技术支持,主要分析了ＯＭＡ的关键组成部ＣＯＲＢＡ的结构,给出了一个ＣＯＲＢＡ与Ｗｅｂ技术结合来访问数据库的实例。ＣＯＲＢＡ用中间件技术解决了构件集成和分布式计算的核心 问题－异构环境间的通信机制,提供了实用的软件集成技术规范。