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

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

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

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

在AutoCAD图形上直接进行数控编程的研究

本文介绍一种基于AutoCAD图形 ,用VisualBasic 5 .0为工具的交互式编程方法 ,较好地解决了数控程序的校验问题。     

复杂回转面刀具的计算机辅助造型与加工过程仿真

加工旋转锉复杂回转面刀具时，砂轮与工件的相对运动轨迹一般是复杂运动，只有用多坐标联动的数控装置才能实现，为了验证理论推导和计算的正确性，本文对旋转锉的加工过程进行了计算机仿真，为充分利用国内外在计算机图形学和CAD方面的最新成就，本文在重庆大学机械传动国家重点实验室的Sum-CAD工作站上对引进的I-deas软件包进行了应用开发，第一次将计算机造型应用于复杂回转面刀具有成形与加工，该工作站及三维图形功能对于特种回转面刀具是一个强有力的研究工具。     

用于人机交互的交流式电磁跟踪系统的研究

虚拟现实系统和计算机仿真系统中广泛采用电磁跟踪系统测量用户的头部或手部的位置和姿态来实现人机交互。本文分析了目前已有的直流式电磁跟踪系统的不足，提出了一种采用交流信号作激励源的交流式电磁跟踪系统，研究了该系统的结构，推导了用于提取传感器接收信号的递推数字互相关算法，讨论了算法参数与算法性能的关系。仿真实验证明了算法的有效性及理论分析的正确性。本文的研究成果为实际的交流式电磁跟踪系统的设计提供了理论依据。     

邮政通信网局部预测模型的研究和实现

为建立模型对网络实体流量流向进行预测,通过对实际情况的分析,得出新的局部预测模型方案,并为模型设定多级子模型,当模型需要变换时,只需要加入新的影响因素,不需要改变模型框架,这样使得模型更加适合邮政通信网仿真优化的需要。对于其它类似的仿真系统模型建立也有一定的启发作用。     

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

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

处理钻井事故的专家系统

介绍了所研制的处理钻井事故的专家系统,经过井场事故实例检验表明,正确识别率与正确处理率较高。在现场使用一段时间之后,又进行了修改与完善,增加实时监测功能后,它将成为处理现场事故的有力工具。     

解释学习在机器人过程控制中的应用

机器人过程控制是智能机器人系统的一个特别重要而又十分复杂的研究课题。本文将解释学习应用于机器人过程控制，为之开发了一种新的方法。仿真结果表明，该方法可行、有效。同时，还尝试了将Ｐｒｏｌｏｇ语言作为机器人过程控制的运行机制的形式化表达工具的可能性。     

微机字处理软件CAI开发方法的研究

本文阐述了研究计算机软件ＣＡＩ开发方法学的意义，并介绍了字处理软件Ｗｏｒｄｓｔａｒ的教学软件的开发方法．