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

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

谈谈多媒体英语教学

文章介绍综合利用软件，创造良好的多媒体英语教学环境的方法和多媒体在英语课堂上的使用，以及多媒体英语教学需要注意的问题。     

环境污染治理的经济分析模型

环境污染的治理是化工、制造等企业的一项重要经济活动，如何进行有关的决策分析是困扰企业的一个难题．在分析环境成本性态的基础上，设计了排污费和排污权交易两种制度下的经济分析模型，为企业进行相关决策提供了理论框架和依据、     

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

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

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

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

处理钻井事故的专家系统

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

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

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

实时实现MPEG2运动估计的DSP处理系统

本文根据ＭＰＥＧ２的图像标准与要求，利用若干大规模集成电路芯片，设计了实时实现活动图像运动估计的ＤＳＰ处理系统板，通过序列图像的测试，证明其工作正常，性能可靠，完全符合ＭＰＥＧ２的技术规范，从而为我国近期实现ＭＰＥＧ２的编解码系统、乃至ＨＤＴＶ实验系统在硬件方面打下了良好的基础。     

Estimation and testing of time-varying coefficient regression models in the presence of linear restrictions

A linear regression model with random walk coefficients is extended to allow for linear restrictions between the coefficients to be satisfied at each point in time. Estimation in this model is shown to be no more involved than estimation in the standard model. It is also demonstrated how, after a slight modification to the testing problem, classical test procedures may be applied to the problem of testing for such restrictions. The performance of the Lagrange Multiplier test for a variety of different restrictions is then investigated via simulation. An empirical application involving testing for homogeneity in a random walk coefficient version of the AIDS model is given.     

浅析个体软件过程(PSP)

介绍和分析了PSP的基本概念、作用和进化框架等内容 ,给出了PSP和CMM之间的联系 .CMM被软件业界公认为是当前最好的软件过程 ,PSP是CMM在软件工程师等级上的应用 ,是针对个体软件过程的改进 .