基于ISO13584开放式零件库开发模式研究

给出ISO 13584零件库标准体系的具体内容．提出了Browse/Server零件库开发模式，研究了零件库的总体结构及各部分功能．对服务器端零件库组成结构进行了深入研究；对客户端的基于用户CAD系统的几何编程接口给出两种可行的实现方法。     

符合国际标准的网络化零件库技术的研究和实现

介绍了基于数据字典构建符合国际标准的网络化零件库的方法:EXPRESS与XML的结合.详细分析、比较了作为转换对象的标准文件ISO13584-42和目标对象的XML文件结构,由此建立EX-PRESS描述与XML数据文件的映射关系,特别是建立的映射关系应该符合ISO I3584-42的逻辑结构.最后探讨了符合国际标准的网络化零件库的实现过程.     

符合国际标准的网络化零件库技术的研究和实现

介绍了基于数据字典构建符合国际标准的网络化零件库的方法:EXPRESS与XML的结合.详细分析、比较了作为转换对象的标准文件ISO13584-42和目标对象的XML文件结构,由此建立EX-PRESS描述与XML数据文件的映射关系,特别是建立的映射关系应该符合ISOI3584-42的逻辑结构.最后探讨了符合国际标准的网络化零件库的实现过程.     

模块化CAD模型与有限元模型的数据交换

提出了基于结构有限元静、动态特性分析的模块化设计的框架．针对模块化设计系统中CAD模型与有限元模型数据相互传送难点，根据不同情况，给出了模型转换的实现方法：直接转换法、标准零件库方法和中心数据库方法，重点讨论了利用中心数据库进行数据传送的具体方法．     

开放式零件库TDB的一种实现方法

对零件库进行了介绍,主要研究了临时数据库(TDB)的功能,提出了在FORTRAN语言联编和UG/GRIP语言映射过程中,运用组结构实现TDB的功能,其具体操作是运用链表来实现对临时几何实体的操作,即实现临时几何实体的删除、组实体的转化等操作;将符合ISO 13584.31标准的FORTRAN联编程序文件,通过用C语言编写的转换接口的编译,最终生成Unigraphics系统下的GRIP语言程序.     

交互式马尔可夫链代数的事件结构模型

对进程代数LOTOS的事件结构模型进行了随机特性的量化扩展.给出了随机进程代数交互式马尔可夫链代数(IMCA)的非交互式语义模型:事件结构.并且证明了给出的随机事件结构模型的正确性.同时,给出了IMCA基于事件的操作语义,并且证明了它和现有交互式语义的一致性.     

基于UG的标准零件库管理系统界面开发的关键技术

在课题的开发过程中,作者编写了符合ISO13584中PLIB标准的机械类国家标准件的EXPRESS几何图形程序,通过转换器,可以将这些几何图形程序自动地转换为GRIP绘图程序.     

开放式零件库TDB的一种实现方法

对零件库进行了介绍，主要研究了临时数据库(TDB)的功能，提出了在FORTRAN语言联编和UG／GRIP语言映射过程中，运用组结构实现TDB的功能，其具体操作是运用链表来实现对临时几何实体的操作，即实现临时几何实体的删除、组实体的转化等操作；将符合ISO13584．31标准的FORTRAN联编程序文件，通过用C语言编写的转换接口的编译，最终生成Unigraphics系统下的GRIP语言程序．     

基于CFD船体贴体网格剖分

本文对船体贴体网格进行了剖分,所得网格可用于船舶CFD数值计算.列出了网格质量的判定标准,给出了判定参数的计算方法和意义.进而用ICEM CFD剖分了船体网格,并给出了结构网格、非结构网格、混合网格的剖分流程和剖分时的注意事项.S60船体结构较为简单,采用结构网格;集装箱船体结构较为复杂,采用非结构网格.结果表明,生成网格质量较高.     

计算机联锁软件测试方法研究

描述了计算机联锁软件的基本结构、主要完成功能和联锁软件测试的重要性,采用白盒法和黑盒法来完成对计算机联锁软件的结构测试和功能测试,并给出结构测试实例和黑盒测试框图;采用故障树分析法来完成对计算机联锁软件的安全性测试,并给出了具体实例.