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

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

三维弹性波场的线性化逆散射问题

在弱散射假设下，建立了三维弹性多参数反演的理论方法，采用两束相互垂直的宽带平面波照射目标体，在包围目标体的封闭测量面上获取散射玻场，通过计算“平面波散射振幅”并选择适当的偏振方向将未知参数在富立叶变换域内解耦，所得结果类似于Ｘ射线ＣＴ成像，具有“滤波反投影“的形式。     

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

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

一种可行的智能三维特观设计系统的设计方法

针对复杂地区地震勘探的三维观测系统设计这一困扰广大地震勘探科技人员的难题，进行了较为全面细致的分析和论述，文章从与三维地震勘探的成本和效益方面密切相关的覆盖次数问题，激发点冗余浪费问题，以及特管勘探设计与常规勘探设计的关系问题入手，进行了深入的探讨，并给出了一种解决该问题的计算机交互式实现方法，对于三维地震勘探具有指导价值。     

AutoCAD 三维建模功能的教学应用

制图课程是工科院校大学生在一年级必修的一门技术基础课，本文从AutoCAD的三维建模功能入手，着重讨论其在教学中的应用。     

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

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

用于模拟方向耦合器的显式差分光束传播法

探讨了用于模拟方向耦合器的显式差分光束传播法（EFD－BPM），引用了一种用于模拟的三维差分格式，使用谐波分析法证明了其稳定条件，并以此格式进行了计算模拟方向耦合器的光耦合过程。     

ICP方法匹配深度图像的实现

针对ICP(迭代最近点 )方法中寻找深度像之间点对应关系这一难点问题 ,首先介绍对ICP方法匹配深度图像的原理并给出单位四元数和旋转角度间的关系 ,然后提出一种验证两个深度图像中对应点对有效性的方法 ,给出了判断待匹配深度图像之间的点对应条件的准则 ,同时给出了实现这种准则的数据结构以及程序设计思想 .最后 ,用真实深度图像证明此方法的有效性 ,并用“主次缝合线”法合成匹配后的深度图像     

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

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

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

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