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

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

谈谈多媒体英语教学

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

利用塑料光纤组建局域网

塑料光纤(POF)组建局城网的目的是将各计算机工作站利用塑料光纤作为传输介质，组成一个可以共享各种软、硬件资源的小型计算机网络，以满足高带宽、高可靠性现代数据传输的需求。在设计中从实用性和经济性出发，选用性价比高的网络组件，进行最佳组合，利用有限的投资构建一个高性能的网络，为实现光纤到户和光纤到桌面提供了一个既先进可靠又廉价的解决方案。     

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

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

处理钻井事故的专家系统

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

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

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

浅析个体软件过程(PSP)

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

水文资料整编管理系统的设计思路及功能实现

介绍了水文资料整编管理系统的设计思路、数据结构及功能实现，采用Microsoft Visual Basic6．0为开发工具，以Microsoft Access2000为数据管理平台，包括了数据采集录入、计算整理汇总、图形绘制、报表打印，在水文资料整编中有较强的应用价值．     

The detection of structural deformation errors in attitude determination

In the determination of the attitude parameters from a multi-antenna GPS array, one of the major assumptions is that the body frame is rigid at all times. If this assumption is not true then the derived attitude parameters will be in error. It is well known that in airborne platforms the wings often experience some displacement during flight, especially during periods of initializing maneouvres, such as taking off, landing,and banking. Often it is at these points in time that it is most critical to have the most precise attitude parameters.There are a number of techniques available for the detection of modeling errors.The CUSUM algorithm has successfully been implemented in the past to detect small persistent changes. In this paper the authors investigate different methods of generating the residuals, to be tested by the CUSUM algorithm, in an effort to determine which technique is best suited for the detection of structural deformation of an airborne platform. The methods investigated include monitoring the mean of the residuals generated from the difference between the known body frame coordinates, and those calculated from the derived attitude parameters. The generated residuals are then passed to a CUSUM algorithm to detect any small persistent changes. An alternative method involves transforming the generated residuals into the frequency domain through the use of the Fast Fourier Transform. The CUSUM algorithm is then used to detect any frequency changes. The final technique investigated involves transforming the generated residuals using the Haar wavelet. The wavelet coefficients are then monitored by the CUSUM algorithm in order to detect any significant change to the rigidity of the body frame.Detecting structural deformation, and quantifying the degree of deformation, during flight will ensure that these effects can be removed from the system, thus ensuring the most precise and reliable attitude parameter solutions. This paper, through a series ofsimulations, will assess the effectiveness of the above mentioned techniques for detecting structural deformation effects on a GPS multi-antenna array. These principles are then tested with experimental data.     

一种识别液体中粒状物的数字图象法软件的基本原理

本文介绍了一种识别液体中粒状物的数字图象法软件的基本原理,说明了软件中确定背景灰度门槛值的原则,发展了从背景中分离粒状物并对粒状物的大小和数目进行统计的算法。对整个软件进行了初步验证。