球面巨型网格结构的构成、支承方式与力学模型

提出了一种新的结构形式——球面巨型网壳结构。文中重点研究了肋环型和凯威特型球面巨型网格主体结构的具体构成形式、几何拓扑关系,总结了相应的形体控制参数;对子结构的形式及其与主体结构的连接进行了分析;描述了自动成形过程。使用Auto- CAD环境下的Visual C 二次开发工具编制了相应的自动成形程序;并对其主体结构支承方式与力学分析模型进行了探讨．本文工作为对该结构体系开展全面系统的力学性能研究提供了良好的前处理基础．     

大型热处理自动线的现场总线网络仿真器

介绍了CAN总线在大型热处理自动线上的应用，并设计了该仿真器，同时给出了该仿真器的硬件和软件的模块构成。     

一种水情信息自动采集、处理和传输系统

介绍了一种水文信息自动采集，处理和传输系统，并对系统功能，组成原理，技术实现和特点作了较详细的论述。     

航天器火工品参数计算机自动检测系统

论述航天器火工品参数计算机自动检测系统的硬件和软件构成、系统工作原理及检测技术，研究检测数据的处理方法．检测系统对数据库的直接读写操作．实现检测系统与数据库管理系统的快速数据交换．实际使用表明系统测量精度高、速度快、效率高．     

基于符号执行的格式化字符串漏洞自动验证方法研究

格式化字符串漏洞是一种常见的危害较大的软件漏洞.现有格式化字符串漏洞自动验证系统未充分考虑参数存储位置位于栈以外空间的情况,造成对该部分漏洞可利用性的误判.针对该问题,论文设计实现了一种基于符号执行的格式化字符串漏洞自动验证方法,首先根据参数符号信息检测当前格式化字符串函数漏洞,然后分别构建参数存储于不同内存空间情况下的漏洞验证符号约束,最后利用约束求解自动得到漏洞验证代码,实现了格式化字符串漏洞的自动验证.在Linux系统下对不同类型测试程序进行了实验,验证了方法的有效性.     

液相色谱智能化——多段梯度洗脱满意分离条件之启发式自动搜索

本文为高性能液相色谱作定量分析,提供一种新颍方法,自动求得峰形分离良好的色谱图,并由此对于仪表之智能化前景作一展望。利用多段梯度洗脱法来改进分离,会引起搜索该条件之复杂化。为此,启发微机来搜索满意的分离条件,而不去搜索最优分离条件,较为合理而且方便。用本法分析人体血液中21种主要氨基酸组分,获得成功。     

稀土数据库中化学过程计算方程式自动配平程序的改进

化学方程式的自动配平是稀土数据库研究和开发中的一个重要辅助程序。已有的关于自动配平化学方程式的报道，其内容大多是数学方法的介绍和讨论，关于程序实现的论述还很少见。本文重点讨论了通过java语言实现化学方程式的配平过程，并使之更加完善，更加优化。该模块已在稀土数据库中使用。     

自适应有限元方法在线性椭圆方程的应用

本文完整给了在凸多边形域上关于Ｐｏｉｓｓｉｏｎ方程的先验及后验误差估计及其验误差估计的自适应有限元方法，从理论上证明了这种自动误差控制的方法是可靠的，有效的，实例所得数值结果是非常理想的。     

液压板厚自动控制系统动态模型及性能分析

首先建立了液压板厚控制系统的动态模型，在此基础上，为了进一步改善液压板厚控制系统的响应特性，提出了缸位移微分负反馈对位置内环的功能进行补偿。仿真结果表明，加入缸位移微分负反馈使系统的响应特性得到了明显提高。     

Matlab在控制工程中的若干应用

在Matlab运行环境中判断系统是否稳定,根据系统的曲线如Bode（伯德）图,Nyquist（奈奎斯特）图等分布情况来检测控制结构是否合理,具有一定实际意义。