安全性和正确性折中的软件系统开发方法

主要分析和研究如何在软件当前的现实下寻求功能正确性和安全性的折中策略，来解决商业软件长期以来带有“bug”和安全性问题．对功能正确性和安全性的折中方案，亦有详细的分析，最后还提出将软件开发的折中技术融入软件工程以取得实际的效果．     

新兴产业保护中的两产品关税谈判模型

用多目标规划与博弈论方法研究两国与两国产业(或缔约方双方与双方产业)的决策与竞争，建立了6个参与人的规划与博弈混合的多层次的两产品关税谈判模型，该模型包含3层次．上层是一个多目标规划模型，中层包含一个博弈模型，下层包含两个博弈模型．在给定满足模型假设条件的参数下对模型进行了求解与分析，并求出了模型的关税谈判均衡解．模型可用于政府制定关税决策，预测关税上限对国家与产业的影响。     

一类随机过程的多尺度建模

基于多尺度随机模型具有有效性和高度并行算法这一优势，提出如何用三阶树多尺度模型来表示1-D Reciprocal过程；并如何获得多尺度模型的参数。这就为具有Markov统计特性的信号或过程建立起一般的三阶树多尺度随机模型，为更有效的解决实际问题提供了理沦基础，同时，给出了一类定义在单位区间上的随机过程三阶树多尺度表示的仿真示例。     

极低硫钢的精炼脱硫动力学模型

通过对影响脱硫反应限制性环节的分析,将持续接触和瞬时接触两种反应模式综合考虑,建立了精炼脱硫动力学模型,并通过实验室"极低硫钢精炼脱硫"实验数据对模型进行验证.结果表明,本模型的预测结果与实验结果比较吻合.     

联邦接口规范测试方法研究

高层体系结构（HLA：High Level Architecture)可以支持各种类型仿真之间的互操作，同时便于建模与仿真部件的可重用。开发HLA应用必须根据联邦开发与执行过程模型进行，其中联邦测试是FEDEP模型的重要组成部分，主要包括三级测试，即：一致性测试，集成测试，联邦测试。一致性测试主要包括接口规范测试，OMT测试，RTI测度等内容，本文对联邦接口规范测试的方法进行了研究，根据接口规范的测试标准，制定了测试顺序，给出了联邦接口规范的测试顺序，给出了联邦接口规范的测试顺序模型，使接口规范测试更加系统，清晰。     

白血病小鼠模型中P53、C-myc基因表达的变化研究

探讨DNA、RNA病毒诱导小鼠发生白血病的机制。用单纯疱疹病毒Ⅱ型（HSV－2）和C型RNA病毒诱导70只昆明小鼠，光学显微镜检测HSV－2、C型病毒诱导发生白血病的成功率。正常对照组为30只昆明小鼠。免疫组化法检测HSV－2、C型病毒致瘤后P^53、G－myc基因表达的变化。70只昆明小鼠中有47只发生白血病，成功率为67．1％。47只白血病小鼠P^53、C－myc蛋白阳性表达率均比正常对照组高（P＜0．05）；23只未形成白血病的实验组小鼠P^53、C－myc蛋白阳笥表达率均与正常对照组无显差异（P＞0．05）。HSV－2、C型病毒可以通过调节P^53、C－myc基因的表达从而诱导小鼠白血病的发生。     

发酵过程混合神经网络模型及其仿真

提出了一种新型的发酵过程混合神经网络模型，该模型由非线性神经网络和线性神经网络两部分组成，由于非线性神经网络采用结构具有线形式的Flat网络，两个网络能够合并为同一表达式，并具有线性形式，可采用线性最小二乘法求解网络权值，与串联结构及串并联结构混合神经网络模型相比，该模型训练方式简单，并可方便地使用在线辨识算法。     

仿真模型中复杂三维实体集的选择与交互技术研究

鉴于目前商用图形软件包对于复杂模型中三维实体集显示与选择的局限性，本文提出了一种新的判断点与面域从属关系的方法，此方法借鉴计算机图形学中扫描转换填充算法的射线法，并在此基础上对射线法进行扩充和完善，文章同时对三维复杂实体群的交互手段和技术进行了研究，在解决实际问题中取得了良好的效果。     

解决二维合理下料问题的一种新方法

为解决二维合理下料问题,本文提出了一种新的下料方法,给出相应的数学模型及计算方法。此方法具有简单、计算量小等特点。实例计算表明,它对节省板材效果显著。     

发酵监控系统上位计算机软件编程研究

提出了利用上位机参与实时控制,综合分析在线参数、离线参数和间接参数,辅助发酵过程工艺研究和优化控制,并给出了上位机软件包的部分源程序及框图。该软件包对发酵工艺人员进一步了解菌种的遗传特性、细胞代谢调节和反应器工程特性方面有较大帮助。