沥青玛碲脂碎石混合料SMA配合比设计软件的开发与使用

SMA配合比设计是决定SMA路面结构能否成功的关键，本文介绍一种SMA配合比设计辅助软件，通过它可以帮助公路工程技术人员完成SMA配合比设计任务。     

面向对象有限元程序几种新的数据类型

本文采用Ｂｏｒｌａｎｄ Ｃ＋＋定义了有限元程序几种新的数据类型，并对一系列Ｃ＋＋操作符进行了重载。使用这些数据类型，不仅可以简化面向对象有限元程序的书写，而且可以更有效地实施内存动态管理。     

线切割中的非圆光滑曲线设计与加工

非圆光滑曲线的线切割是加工过程中的难题，文中利用插值多项式的方法构建了非圆光滑曲线的数学模型，利用VB实现对多项式的求解，阐明了由多项式组成的曲线在线切割中的加工方法，使复杂的曲线设计变得简单，编制的程序具有实际应用价值。     

Prolog程序正确性的一种证明方法

提出了一种Ｐｒｏｌｏｇ程序说明结构，对求解问题的程序加以说明，并以此为基础结合问题特征证明Ｐｒｏｌｏｇ程序的正确性。同是，以整数划分问题Ｐｒｏｌｏｇ改进程序和证明为例，说明程序设计应立足程序说明和程序正确性的证明。     

潜艇不沉性计算程序开发

传统设计文件中的不沉性计算图表，由于只适用于预先计算好的失事情况。在艇上实际使用受到限制，1989年开始开发的“苏维埃”不沉性计算程序，在输入舱室进水情况或潜艇浮态参数等数据后，就可以很快地在屏幕上显示出所需的计算结果，并能自动优选最佳的扶正方案，红宝石设计局在水上不沉性曲线图上标出了事故危险区和弃船区两个区域，计算出的事故状态点会在某一区域内或区域外闪亮，介绍了“苏维埃”程序的开发情况，并提出了有效储备浮力的概念，此外，还可利用事故发展线求出潜艇的沉没时间，新一代的“西诺判断”程序中考虑了事故舱室进水引起的横倾和纵倾变化，并采用了被称为分散载重量曲线法的设计思想，“西诺普”程序的事故发展预报表明，事故发展线不是直线，而是一条带有折点的曲线，并能确定沉没（推动稳性）的准确时间，介绍了完善不沉性计算程序还需解决的一些问题。     

大型板架稳定性的有限元分析

根据有限元法的原理，编制了计算大型板架稳定性的程序。介绍了有限元程序的编制过程和使用方法，最后给出算例并进行了解析法与有限元法的比较 。     

PLC控制器在垃圾收集船上的应用探讨

通过对垃圾船的垃圾收集／传送装置的PLC控制系统程序设计分析，阐述了PLC控制系统在垃圾船上的应用是可行的，而且具有提高工作效率和经济效益等优点。     

涡轮增压柴油机循环模拟程序模块化结构的设计与实现

对涡轮增压柴油机循环模拟程序模块化结构的设计与实现进行了详细的研究和论述。程序的总体设计思想和结构体系充分体现了全开放式的模块化框架；文中提出的涡轮增压柴油机系统的描述方法和计算模型符号系统最终保证了组合式模块化结构的实现。     

基于Tilcon航海标绘台界面设计

针对基于WINDML的航海标绘台系统中编程代码量大、界面显示粗糙等特点,结合航海标台系统应用要求,采用Tilcon软件设计了系统操控流程和应用界面,降低了软件编码的工作量,增强了可靠性和可维护性,解决了在vxworks下Tilcon汉字显示等关键问题。应用结果表明,该方法开发的图形界面可靠性好、实时性强、界面效果丰富,具有广泛的实用性和推广价值。     

基于MIS的材料采购及收入核算设计

从管理信息系统的调度对会计信息系统中材料核算系统的采购及收入核算进行设计，给出了满足ＡＩＳ及ＭＩＳ需求的材料采购及收入核算的处理流程。使用户操作简单，快速，准确，实现入库单数据在ＡＩＳ与ＭＩＳ中数据交换。