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

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

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

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

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

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

在AutoCAD中利用三维模型生成二维投影视图的技巧

快速而精确的绘制设计图纸，是每个设计人员的愿望，这里介绍一种由三维模型直接生成二维投影的方法，给设计提供一种新思路。     

分配格的二个等价条件

首先讨论了格的子集生成幻和生成对偶幻的运算性质。然后给出一个反例，指出［１］中一定理有误，并由此获得分配格的两个等价条件（即：格是分配格的两个等价命题）。     

MIS系统通用插入组件的设计与实现

论述了数据字典是实现通用插入功能的关键，并描述了利用Grid控件实现通用插入组件的一般方法，着重讲述了依据数据字典动态生成界面，动态消息响应的处理过程，有很大的应用价值。     

平面凸集存在最小凸生成集的充要条件

本文在平面上解决了StevenRLay在 [1 ]中提出的开放性问题“什么样的凸集存在唯一的最小凸生成子集” ,给出并证明了“平面上的凸集存在唯一的最小凸生成子集”的一个充要条件 .同时证明了En 中的开集一定不存在最小凸生成集 .     

二元多项式环中理想生成元个数的估计

对于两个变量的多项式环中的理想,我们给出了其有限生成基个数的一个最小上界的估计.并由例子说明此估计是最佳的.