软件工程多方面受益于知识工程

讨论了知识工程在软件工程中的重要作用，指出了软件工程只有与知识工程进行有机地结合，才能跟上时代步伐，指导新一代软件（复杂软件与智能软件）的开发，真正地成为一门有效的方法学。     

多媒体CAI对应用力学教学的影响

由于多媒体CAI具有人机交互、立即反馈、使知识的保持与记忆更加容易、便于充分发挥学生在教学中的主体作用等诸多优点 ,在《应用力学》的教学中应用 ,发挥了积极的影响作用 ,具有十分美好的发展前景     

软件黑匣子在软件故障诊断中的应用研究

通过对现有软件黑匣子性能的分析,指出其在软件故障诊断中所存在的缺陷。提出了直接使用带有后备电源的内存或非易失性随机存储器来作为记录软件运行信息载体的方法,有效避免了软件失效前关键信息的丢失问题。增加了进出模块时间的记录,以及在必要的时候记录某些反映模块健状程度的关键数据。解决了软件故障诊断时无法还原现场的难题,为软件质量的提高开辟新的途径。     

嵌入式软件的可信测试技术分析与设计

嵌入式应用领域的不断拓展,嵌入式系统的安全性和可信性越发重要,如何设计和测试一个可信的嵌入式系统是现在和未来研究的重点,尤其是嵌入式软件的可信测试技术与方法的研究。在分析软件运行剖面的基础上,依据分支路径和MM-路径测试技术,研究基于嵌入式系统的可信软件测试方法,提出一种代码覆盖和集成测试技术,用于结构覆盖测试和程序复杂度分析,指导可信软件代码设计和测试用例设计,提高软件测试效率和加速错误定位。     

预应力混凝土转换梁设计与施工

通过工程实例,介绍运用中国建筑科学研究院编制的结构设计软件PKPM计算预应力混凝土转换梁的方法,绘制了施工图,并讨论了预应力混凝土转换梁施工中应注意的关键问题.     

微机管理信息系统在宁德电网的应用

全面介绍了宁德电力公司MIS系统和SCADA系统的网络结构、系统配置和模块功能     

网络翻译的利与弊

在因特网时代,网络资源可以提高翻译效率。通过对翻译软件、论坛（BBS）和新闻组的研究,网络翻译可帮助查单词和词组,并减少拼写和语法错误,进而提高翻译的质量。但因特网并不是万能的,也具有自身的缺陷,翻译工作者在使用因特网辅助翻译时应该趋利避害。     

软件系统建模方法分析

软件系统建模是软件开发中极其重要的环节。软件系统建模方法有许多种,诸如：功能分解法、数据流法、信息建模法、面向对象建模法等等。其中面向对象的方法和技术能够有效地控制系统的复杂性。适应系统的多样性,得到了广泛应用。UML是一种面向对象的标准化的建模语言,它对系统模型的表达能力是面向对象的分析和设计方法中的佼佼者。     

利用Mathematica实验教学融入数学思想的研究与实践

高等数学作为大学理工科教育的基础,与相关学科联系紧密、相互渗透,是理工科重要的基础课。高等数学中引入了无穷大和极限的思想,具有很强的抽象性,所以高等数学的教学应注重数学思想方法的培养,以增强学生应用能力为目标。利用Mathematica辅助高等数学教学可以使数学中抽象的概念易于呈现,让学生在软件环境中学习数学能锻炼学生应用数学软件解决实际问题的能力,增强学习效果。本文通过分析高等数学教与学的特点,设计Mathematica课件用于高等数学的教学,并利用软件帮助学生体会数学思想。     

组态技术在PLC实践教学中的应用

通过对组态软件技术特点的分析,提出将组态软件用于PLC实践教学中,以机械手的控制为例,给出了组态系统的建立过程。在PLC实践教学中利用组态软件不仅可以模拟工业现场,而且可以丰富实验内容,达到理论联系实际的目的。