三维医学体数据与工程分析集成

医学假肢的生产制造和力学分析都迫切需要建立医学体数据与工程分析的接口,而目前的三维可视化软件却很少有能对体数据进行导出并用于后续工程分析。本文在对实现三维医学体数据与工程分析集成所涉及的工程数据格式进行研究的基础上,应用自主研发的医学图像处理平台(M IPP V 1.0),实现了三个可以用于工程分析的接口:STL、IGES和APDL接口,通过接口将重建的人体器官体数据导出成高精度的工程数据格式以及利用A nsys的APDL语言工具对A nsys进行二次开发,实现自动快速的有限元建模,用于后续的有限元分析,为医学体数据与工程分析的无缝集成提供了通用的解决方案。

CPSL：一种通信协议规格说明语言及其支撑系统

ＣＰＳＬ（ＣｏｍｍｕｎｉｃａｔｉｏｎＰｒｏｔｏｃｏｌＳｐｅｃｉｆｉｃａｔｉｏｎＬａｎｇｕａｇｅ）是一种精确描述通信协议需求的形式规格说明语言．本文简述了ＣＰＳＬ的设计及其支撑系统的开发，并和其它类似语言作了比较．

基于软件芯片的快速原型制造系统软件设计方法

本文把软件芯片的概念引入快速原型制造(RPM)系统的软件设计之中,根据RPM系统软件结构的特点,对其进行了软件芯片划分,并论述了每个软件芯片的功能。以数控语言解释器软件芯片为例,详细地介绍了RPM系统软件芯片的研制过程。研究了如何用软件芯片构造RPM系统软件。

基于UML的快速原型化开发

随着计算机的普及和发展,人们对信息管理系统软件的需求日益增多,应用程序内部的业务逻辑也日益复杂。所以要求开发方法既能够满足软件系统的庞大、复杂的要求,又能满足制作规范、快速、低成本的要求。面向对象化是新一代软件技术发展的标志,为大规模的系统完成庞大繁杂的功能,提供了快速开发的基础。利用面向对象技术可以提高软件生产力,高质量地开发应用程序。为了达到这种效果,基于UML这种图形设计语言,采用面向对象方法进行原型开发,为软件开发的规范化、快速化提供了必要的基础和手段。

规格说明语言ChiSL

ＣｈｉＳＬ是一种作用式可执行的功能规格说明语言，它是以数据抽象为核心的将代数规格说明和面向模型的规格说明两种技术有机地结合起来的模块化语言，具有良好的数学性质和可读性，能比较方便地书写大型规格说明。由于该语言是可执行的，因此ＣｈｉＳＬ规格说明可作为所要开发的软件系统的一个原型在该语言的支撑系统上执行。本文后面介绍了使用ＣｈｉＳＬ语言及其支撑系统开发软件原型的一些应用实例。

基于形式化方法的快速原型技术

本文从传统的软件生存周期模型的弊病出发，分析与综述了快速原型软件开发方法的原理、技术及其应用，并与其它模型作了比较，提出了明确的观点．然后，提出了正在开发中的一个基于形式化方法的快速原型软件工程环境（ＳＤＳ），介绍了它的组成，基本特点及应用实例．