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

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

受约聚甲醛的热力学性质研究

采用旋转异构体模型，将受约束聚甲醛(POM)长链等效为约束在圆柱体内，用完全计算法研究受约的聚甲醛链的热力学性质，发现体系的配分函数Z与链长N存在关系：lnZ=aN b，其中N也代表键的数目，a和b仅与温度T和无限长圆柱体的直径D有关．这种方法为研究多链体系的热力学提供一种近似方法。     

广义互补问题及其约束优化问题的转化形式

对于广义互补问题，本文给出了它的约束优化问题的两种转化形式，讨论了它们的KKT点为原问题的解的充分条件．     

砖混结构砌体工程量的统筹计算法

以砌体结构为例，阐明在工程量计算中应正确应用统筹法，并得出了砌体工程量计算的统筹公式。     

基于资源约束的项目区域风险回应策略选择研究

根据项目区域风险的特点，从资源约束的角度建立项目区域风险回应策略选择模型，并利用动态规划设计出该模型的分步解法，较为全面科学地得出最优方案。最后，用一个算例说明方法的可行性和有效性。     

力学微分原理的准Riemann型及动力学方程

本文运用《Riemann 几何及张量分析》方法,研讨了完整约束及一阶非完整约束的力学系统。在3N 维 Euclid 空间及其一阶切空间中,分别给定Riemann 流形及准 Riemann 流形。导出了 Jourdian 原理的准 Riemann形式及动力学方程组。