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

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

热连轧棒材三切分轧制的实践

介绍萍乡钢铁有限责任公司三轧厂引进的三切铲轧制技术、主要设备概况、生产过程中存在的问题及改进措施：分析三线切分轧制稳定生产的关键是保证切分后轧件尺寸的均匀性，并给出了预切分轧件的偏移量与三线活套高度差的关系。     

电子超市易用性评估及链接结构优化模型

用无权有向图来描述网站结构，提出以网站是否方便顾问访问相关商品网页为标准的网站评估方法，建立了一种网站结构优化的数学模型，并采用禁忌搜索算法（TS）对问题进行求解，通过一个随机网站结构的例子，说明更新算法比布尔矩阵乘法以及重复调用广度优先算法进行TS领域搜索具有更高的效率，实例研究表明所述方法可以帮助网站设计者通过减少量的链接得到更加方便顾客使用的网站结构。     

Dynamic Characteristics of Inter-Satellite Links in LEO Networks

To establish an efficient inter-satellite link (ISL) in an LEO network, the effect of geometric characteristics of ISL on the ISLs and the devices on the LEO satellite should be examined. Because of the continuous movement of the LEO satellite, the time-varying behaviours of the ISL's geometric charactersistics continuously change with the changes of the satellite's position on the orbit. These dynamic geometric characteristics of the ISLs are important for ISL's performance analyzing and the design of the devices on the LEO satellite. This paper describes dynamic geometric characteristics of ISL, analyzes the impact of these regulations on the tracking system of the satellite's antenna and the power adjusting system of the satellite's transmitter, with the Iridium system as an example.     

冷拉拔对LY12铝合金小棒组织和性能的影响

研究了淬火前不同冷变形量对ＬＹ１２铝合金挤压小棒组织和性能的影响．结果表明：不同的冷拉拔量对ＬＹ１２铝合金组织和性能有明显的影响；适当的冷变形量能减少或消除该合金挤压棒材的粗晶环．作者还对粗晶环的形成原因及其消除方法进行了讨论．     

四维空间相交定理的几何证明

为解决研究四维空间几何元素相交时思维图象的困难，对四维空间中的相交定理用几何的方法进行了证明，并配以直观图。     

高精度星形轮廓面数控加工方法研究

本文提出了计算星形轮廓面数控加工刀位的插补方法和刀具半径补偿方法，以及决定加工方法误差大小的走刀步长和刀具半径的确定准则，从而建立了该曲面的加工方法其理论加工精度为１μｍ．进给速度相对误差小于１％，在３３ＭＨＺ８０３８６ＣＰＵ（带８０３８７协处理器）上每计算一次刀位占用机时小于１．２ｍｓ．具有精度高和实时性好的特点．     

动态链接方式下基于VB的绿色软件构造

分析了程序在动态链接和静态链接两种模式下的优缺点，以及在动态链接方式下构造绿色软件的困难所在。本文以VB为例，给出了动态链接方式下如何去构造绿色软件的一种方法，由于大多数的可视化开发工具均提供了与VB类似的功能，因此可以用本文类似的方法来解决其它可视化开发软件开发出来的程序的类似问题。     

一个实用的地图着色算法

给出一种计算机实现地图四色着色的算法,并以Ｐａｓｃａｌ语言编制了程序．该程序稍作改动,即可成为分块图形实现四色着色的通用程序．