模式语义链元建模及其应用

大粒度的模型转换是模型驱动软件开发场景下的重要技术需求，仅通过定义通用模型转换语言不足以满足这一需求，其中一个原因是通用模型转换语言工作在特定建模语言的元模型层次而非一般设计意图层次上．文中提出一种模式语义链(PSL)元建模方法．通过重型扩展统一建模语言(UML)元模型以直接形式化描述可表达一般设计意图的模式，并应用UML动作语义和元模型继承实现模式自动生成及转换．该方法为实现一船设计意图层次上的大粒度模型转换提供了有效支持．     

非惯性系中变质量力学系统的变分原理及应用

利用附加惯性力的方法建立了非惯性系中变质量力学系统的Gauss变分原理,由此得到了非惯性系中变质量非完整系统运动方程的各种形式,最后提出了广义惯性力的广义非惯性势的概念并进一步给出上述方程的简化形式。     

公共机房硬盘数据维护技术

硬盘数据的维护是确保公共机房计算机软件系统正常运作、保证稳定的实验环境的关键.各种硬盘维护技术有着各自的不足和优点,综合应用这些技术可对硬盘数据提供比较完善的保护.     

一种用于自动标引系统的主题词自动切分方法

该文着重介绍一种知识指导下的主题词自动切分方法，该方法能灵活处理自然主题词、大幅度跳跃及关联词的切分问题，其字面切分精度达９９．３３％，综合切分精度达９８．９１％。     

水电工程规划设计方案的自动生成及评价

本文介绍了在水电工程规划设计时，如何利用三次自然样条插值函数在有限个方案的基础上自动生成无限多个方案，然后采用多目标综合决策模型在其中选择最优方案的一种方法．文中还给出了程序流程，并以某水电站正常蓄水位选择作为实例，对方法进行了验证，结果与专家决策完全吻合．     

现代汽车自动变速器的检测试验与故障判定

介绍了现代汽车自动变速器的检测试验方法,总结了根据试验结果判定自动变速器故障的方法。     

标准分与CET考试新记分方式

比较了原始分与标准分的区别,指出标准分使不同科目、不同时间的考试分数的比较变得可能,因而更为科学。CET采用新的方式报道考生得分,能提供更多的、更准确的统计信息。同时,在问卷调查报告的基础上,也提出了对改革的一些建议。     

计算机基础试卷自动生成系统的开发及应用

文章介绍了一种基于面向对象程序设计方法的计算机基础试题库系统的开发过程,对试题数据库的数据模型、系统的功能、总体设计思路以及系统目前的应用情况作了较详尽的介绍.     

一阶非线性非完整系统的改进的Routh方程

导出了一阶非线性非完整系统的改进的Ｒｏｕｔｈ方程并举例说明其应用，从而提供了建立非完整系统的运动微分方程的一种新方法。该方程的特点在于其第一组方程中只包含系统的独立的广义动量，而第二组方程中不包含任何广义动量。同时，本文结果也是对黄昭度先生的“改进的Ｒｏｕｔｈ方程”一文中的某些错误的修正。