半解析数值方法在路基工程中的运用

将半解析数值方法运用到路基分析，对地基采用有限层元，并将它与用有限元离散的路堤进行耦合进行受力分析，从而达到简化计算的目的。     

预应力磨削工件表面残余应力的有限元分析

分析了在非预应力磨削及预拉应力磨削条件下工件表层残余应力的分布情况.首先应用非线性瞬态有限元法计算了工件在移动热源作用下的温度场;然后应用热弹塑性有限单元法计算了工件在热作用和磨削力耦合作用下的残余应力分布.计算结果表明预拉应力磨削能有效降低工件表层残余拉应力甚至可将残余拉应力转换为残余压应力,并分析了预应力磨削的作用机理.计算结果与实验结果基本一致.     

接触问题中的弹性地基支承结构分析

接触问题是工程中的常见问题,相互接触的两个物体之间只能传递压力而不能传递拉力。文章结合这一力学机理,对工程中采用的弹必地基支承结构提出了相应的求解策略。实践表明方法是可行的。     

驾乘舒适 储物贴心——全新桑塔纳全方位打造实用空间

如今．A级车市场消费者关注点已经悄然转变，从早前的外观、价格方向逐步转向空间、配置等。在空间方面．如何在车辆有限空间内凸显更舒适的乘坐空间，以及更人性的储物空间是消费者最为注重的。     

探地雷达数值模拟及其在隧道检测中的应用

利用时域有限差分(FDTD)方法,对隧道工程检测中常见检测目标进行数值模拟,分析脱空、单层钢筋、双层钢筋等目标体的探地雷达反射信号图像特征,并对隧道检测中的雷达信号图像采用遗传算法进行反演,引入目标相关系数用于反演结果全局寻优,实现对多次反射的压制,降低浅部钢筋反射信号对识别深部目标体的影响。通过对数值模拟结果进行反演,证明该方法理论上的有效性,并结合工程实践中的应用效果,说明该方法的优点与局限性。     

衬砌脱空雷达波数值模拟与定量解释

地质雷达是隧道衬砌脱空病害检测主要方法,常规探测理论是以菲涅尔带半径为最终空间分辨率,小于该半径的脱空不能识别,而大于该半径的脱空在定量解释上也存在困难。针对隧道脱空检测常用900 MHz天线,采用时域有限差分对不同脱空量的模型进行雷达波数字模拟计算,并合成雷达记录剖面。在分析脱空区域顶、底反射叠加波形特征及振幅变化的基础上,给出不同脱空量模型的波形双峰极值点幅度变化规律,提出基于极值点振幅比反演脱空量的解释策略,并给出反演结果的拟合算法。该策略不仅为脱空区脱空量分析提供一条途经,同时为地质雷达在脱空定量解释方面提供有效的技术手段。     

角色自律分散系统的RN-C形式化描述方法

旨在为角色自律分散系统的建模提供一种形式化方法,为形式化验证奠定基础.角色随时空变化的动态表达取决于系统的自律度和环境条件.在对几类系统自律性的度量指标分析比较的基础上,从内部视点和外部视点2个角度,以及行为层、协调层和规范层3个层次,定义了角色自律度矩阵;提出了角色规范-条件(RN-C)形式化描述方案,包括角色、角色空间、规范、角色转换、行为条件等基本要素.应用RN-C方案,建立了角色行为状态的自激状态声明和受控状态声明的形式化描述;给出了角色域与数据域双重驱动体系结构中的行为原语描述,包括操作行为原语、请求行为原语、改变行为状态原语、角色仲裁行为原语;实现了角色自律分散系统行为的形式化描述.指出基于分层有限自动机的角色演化建模,环境依存度与规范-条件的映射关系等是下一步研究的重点.     

基于非结构网格的Godunov格式的二维浅水有限体积数值计算模式

利用非结构化的有限体积方法,建立了二维浅水方程高精度、高分辨率模型。以HLL类型的近似Riemann解计算界面通量,通过多维限制线性重构和三阶TVDRunge-Kutta法获得了空间和时间都具有高阶精度的格式。控制体三点坐标的斜底模型方法处理底坡源项和全隐式方法处理摩擦源项保证了格式的稳定性。通过连接丹麦和瑞典的跨海实际工程进行了潮流模拟,验证了模型的适用性和有效性。     

预应力混凝土渡槽的三维有限元分析

渡槽是跨流域调水工程中的立体交叉输水建筑物的一种重要结构形式。文中运用有限单元法对渡槽进行应力、变形分析。通过采用大型有限元通用软件ADINA建立正确合理的计算模型。模型中的预应力钢筋采用杆单元,混凝土采用块体单元。     

有限自动机的类类型实现方法

把有限自动机的输入集合（X）、状态集合（S）、输出集合（Y）声明为枚举类型的数据成员，把状态转换函数F（s,x)、输出函数G（s,x)声明为成员函数，把它们封装在一起定义为一个自动机类类型，用类对象模拟现实世界中的自动机动作，较之其它更确切。