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

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

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

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

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

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

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

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

代数学基本定理的引申及证明

从代数学基本定理出发，将该定理加以引申，在复数域上n次方程x^n＋an-1x^n-1＋…＋a0=0不仅有一个根，而且有n个根。并利用多项式的性质给出了一种证明方法．     

浅析会计调整分录与审计调整分录的异同

1．概念范畴 会计调整分录：会计分录是会计处理的核心，一般将会计分录按简易程度分为简单分录和复合分录。为了便于理解，还可以按会计处理的时间、依据、作用将会计分录分为实时会计分录、调整分录．结账分录三类。从理论上来讲，在交易成立时即可进行会计处理，做实时会计分录，其依据的一般是业务活动产生的原始凭证，交易是一次性完成，可以在会计期间的任何时间进行会计处理，会计分录对应的是一个时间点。如根据销售发票等做销售收入实现的会计分录，根据入库单做结转材料成本的会计分录。结账分录是在会计期问终了时按编制会计报表和结账要求而做的有关会计分录，它是会计期间最后为结清相关的会计账户而做的会计处理，如在月末将收入和费用类账户的当期发生额转入“本年利润”账户。转账分录是一个泛指的概念，只要从其他一个会计账户转入另一个会计账户的会计分录均被认为是转账分录，其内容非常广泛，所以我们没有将它单独作为一类会计分录。     

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

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