一种适于强横向变速的高阶差分正演模拟方法

波动方程正演模拟法相对于射线法具有精度高、效率低的特点。为了提高其效率 ,提出了一种高阶差分正演模拟方法。该方法考虑了速度场局部的强横向变化 ,适于复杂介质的正演模拟 ;在相同精度下 ,高阶差分的空间横向间隔可取为低阶差分的 2～ 4倍 ,有较高的计算效率 ;高阶差分加上合适的边界条件能较好地解决网格频散和边界效应问题。通过对Marmousi模型的试算 ,验证了该方法对复杂速度模型的适应性、有效性和实用性。     

关于Farrell边界求生产技术效率的一项证明

证明了非参数经济分析中，分别采用代数方法和几何图法对Farrell边界求生产技术效率值的等同性。     

关于力学体系广义能量积分的讨论

通过典型例子对力学体系广义能量积分的物理意义进行了讨论,并指出对存在广义能量积分的力学体系,使用广义能量积分与使用能量积分一样,是解决力学问题的一条捷径.     

活动网络在随机约束下的关键路线问题

本文研究了活动网络的随机约束规划模型及其确定性等阶线性模型, 求解在最小概率水平下的随机周期和关键路线。由此给出不同特征网络确定关键路线的准则, 并揭示PERT/CPM算法存在重大误差的原因。     

中国未来经济可持续发展的自然资源约束分析

中国在经济迅速发展的同时，在土地、矿产、淡水三项主要自然资源的开发利用方面存在着一些问题，使我国经济可持续发展受到约束和限制。为实现我国经济的可持续发展。就要对现有的资源进行统筹规划、科学利用，使我国的发展进入良性循环的轨道。     

约束数据库中的函数依赖公理系统与设计理论

约束数据模型作为一种新的数据模型正受到广泛关注。为了约束数据库的应用，需要研究它的设计。为此本文对约束数据库中的函数依赖给出定义，并提出函数依赖的公理系统，证明了它的有效性和完备性；在此基础上完成了约束数据库设计的核心工作：把约束关系模式分解为3NF或BCNF的算法。     

阻尼RLW方程的周期强解

中用Galerkin方法和先验估计证明了带有阻尼项的RLW方程周期边界问题周期强解的存在唯一性，并在较弱的光滑性条件下，得到了强解的光滑性。     

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

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