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

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

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

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

基于双边滤波算子的医学脊椎去噪

为了有效滤除医学脊椎模型的噪声点,同时更好地保持模型细节,提出了一种基于双边滤波算子的医学脊椎去噪模型.采用双边滤波在多尺度条件下进行脊椎三维模型轮廓线的提取,设计改进自适应扩散系数,以更好的优化控制整个扩散过程.根据图像的离散特征,建立相应的离散迭代方程,使迭代过程离散化,并设计迭代停止准则,当去噪平滑后的图像模型与噪声相关性最小时停止迭代.与经典的向异性扩散模型方法实验结果相比,本方法在解决去噪方面达到了很好的滤波效果,同时也较好地保持了医学图像的边缘细节特征,大大优于传统滤波算法.     

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

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