建筑物纠斜过程中地基稳定性的有限元分析

掏土纠斜是处理地基不均匀沉降造成建筑物倾斜的有效方法 ,但掏土量控制不当 ,会使基底压力变化过大而出现建筑物整体倾覆的危险。采用邓肯模型建立地基土非线性有限元计算模型 ,对多种掏土纠斜方案中的地基塑性区进行有限元分析 ,从而判断地基的安全程度 ,为防止纠斜过程中建筑物下沉过快和地基失稳事故发生提出了分析方法。     

河南老湾花岗岩的源区成分模拟

老湾花岗岩的岩石化学、稀土元素和同位素特征指示出老湾花岗岩源于下地壳经部分熔融作用形成。源岩中含有壳源和幔源物质,具类似于高钾钙碱性安山岩的岩石化学特点。详细的研究表明了早元古界桐柏山群不能成为老湾花岗岩的源岩。模拟的太古代岩系岩石化学成分经高程度的部分熔融作用可以形成老湾花岗岩。     

注塑模标准模架三维参数化装配设计

基于ACIS ,以InteSolid作为开发平台 ,运用数据库与参数化相结合的方法 ,采用“同构树”的装配模型 ,实现了注塑模标准模架的三维参数化设计     

装载机工作装置优化设计的方法与策略

讨论了装载机工作装置优化设计过程所具有的基本特点和规律,提出了相应的处理方法和对策。从建立一个完整专业ＣＡＤ系统的角度,讨论了优化设计作为其中的一个子系统与其他子系统之间的关系及合理的任务分工,提出了优化设计模型。从人仍然是设计自动化过程的主体这一观点出发,对系统结构进行了规划,并提出了优化设计过程的控制方法。     

大调制度中间段光擦除双光束耦合两级放大特性理论分析

提出大调制度下光擦除双光束耦合两级放大的中间段理论，在这种条件下，耦合波方程只能进行数值求解，并将该理论和其他几种理论的结果进行了比较。     

飞行器运动模型的计算机辨识技术

飞行器运动模型辨识是以飞行试验、飞行力学和系统辨识为基础的一门新兴技术。计算机仿真应用贯穿着运动模型辨识的全过程。文中作者简述了飞行器运动模型在航空、航天科技和工业中的重要地位，以及计算机仿真对这门新技术的巨大支撑作用。着重讨论了飞行器运动模型结构－ 参数的计算机辨识技术     

完备空间中集值映射的不动点定理

在一个新的条件下讨论了Reich’s不动点定理，所得结果推广了[1]中相应定理。     

可积Hamilton系统的拓扑分类理论研究进展

简述了Ｈａｍｉｌｔｏｎ系统理论研究领域中的一个新分支－可积Ｈａｍｉｌｔｏｎ系统的拓扑分类理论的一个侧面，重点阐述了两个自由度Ｈａｍｉｌｔｏｎ系统能量面的拓扑对可积性的影响及其与稳定周期轨道的关系能主一些相关问题。     

面向Yarn规范的蛋白质折叠模拟计算并行化算法

为了提高生物信息学中蛋白质折叠模拟计算的速度,提出了面向Yarn(Yet Another Resource Negotiator)规范的蛋白质折叠模拟计算并行化算法Yarn_PERM。分析了蛋白质折叠的格点模型PERM算法的运行流程及其面向Map-Reduce的子任务划分方式。Yarn_PERM算法实现采用Hadoop2.0的Yarn框架作为工作平台,其资源的分配与调度、应用子任务的申请和子任务的具体执行都由Yarn来透明的完成;描述了Yarn_PERM算法的Map程序与Reduce程序及主控程序的功能实现。选择了一个有代表性的蛋白质序列数据作为案例程序进行了测试。实验结果表明：在相同的时间内Yarn_PERM比PERM串行计算、Map-Reduce的PERMS计算在能量最低寻优的吞吐量上明显增加,加速比和可扩展性上也有明显的优势。     

具定量输入毒素的广义Logistic模型的性态

讨论了受定量输入毒素污染的种群生长广义Ｌｏｇｉｓｔｉｃ 模型的动力学性态． 通过研究模型解的渐近性质， 从而得到生物种群受不同程度的环境毒素影响而产生不同结局（ 灭种或持续生存） 的条件