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

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

城市道路交叉口系统的仿真研究

提出了城市交叉口模拟系统这一概念，建立了四自由度的车辆模型，应用跟驰理论得出线性跟车模型，对系统做较精确的计算机模拟仿真，计算，从而得到不同道路交叉口，不同规划方案的系统行车延误，通行能力，根据模拟结果选择满意的规划方案。     

土-结构相互作用的桥梁多尺度建模与分析

考虑土-结构相互作用(SSI)是地震激励下桥梁抗震性能评估的热难点之一.由于考虑土体影响多而建立的结构模型计算耗时极长,为了提高效率,现采用一致多尺度建模方法,将所研究部位建为实体单元,其他部位建为梁单元,单元之间采用适当的方法进行界面连接,保证宏观、精细单元间的变形协调,并对某一桥梁进行分析,验证了该方法的正确性.在此基础上,基于多尺度建模方法,建立三跨连续梁桥模型,对其进行弹塑性时程分析,对比分析考虑SSI和不考虑SSI效应的桥梁模型在地震激励下的响应结果,研究SSI效应对桥梁抗震性能的影响.结果表明:多尺度建模方法可以在保证计算精度的前提下有效地提高计算效率;考虑SSI效应能够有效地降低桥梁的抗震性能需求.因此,在设计时应加以考虑.     

舰载相控阵雷达功能仿真建模与软件设计

根据舰载相控阵雷达的组成及工作原理,介绍一种舰载相控阵雷达功能仿真的方法.重点描述雷达回波信号功率模型、噪声和干扰功率模型、杂波功率模型、综合信噪比模型等数学仿真模型.通过对仿真软件功能需求分析,给出软件结构、软件设计流程等软件开发要点.     

基于鲁棒性的空调自控系统设计

分析了空调自控系统的主要特性,并介绍了一种基于组合自校正控制策略的自适应控制算法,同时采取一些解决工程实际问题的辅助措施,以增强系统的抗干扰能力和对未建模动态、时变参数的鲁棒性.     

误区、技巧、建模原则及建议--大型有限元软件应用浅谈

讨论了当前工厂有些人员面对有限元技术的两个误区,并有针对性地提出了学习使用大型有限元软件的一些技巧.提出了三个建模原则及几点建议供大家讨论与思考.     

舰船管系三维建模及其前处理方法

本文介绍了用ＣＶ－ＰＩＰＮＧ软件进行管系三维建模的基本要求，具体了管系三维建的方法，利用数据库技术自动建立了配件参数库及接口文件，适合于工程推广应用，最后就进一步开发提出了看法。     

HTF多轴特种车操纵稳定性优化

多轴特种车具有运载质量大、整车质心高的特点,因此,车辆的操纵稳定性非常重要。基于Virtual Lab对多轴特种车的操纵稳定性进行建模仿真,进行稳态回转、双移线操稳工况的仿真分析。对影响操稳的关键参数进行了优化,改善了车辆的操纵稳定性能。     

融合BIM与影像建模技术的桥梁检测方法及其应用研究

针对目前常用高速公路桥梁检测方法信息零散化、覆盖不全、可追溯性差、准确性不高的问题,提出了一种融合BIM与影像建模技术的桥梁检测新方法。在研究高速公路桥梁运维管养BIM模型特点、分类和编码规则基础之上,尝试建立了桥梁运维管养BIM模型数据库;为丰富BIM模型中的病害信息,采用影像建模技术,实现了既有桥梁的运维信息模型的快速重构和基于该模型的桥梁病害快速识别、测量与外观病害信息入库,为将BIM与影像建模技术有机融合作为一种新的技术手段高效应用于高速公路桥梁维护和检测中提供了参考与建议。     

考虑荷载横向分布的箱梁有限元精确建模研究

为精确考虑荷载横向分布,以实体模型计算结果为基准,分别建立箱梁桥单梁模型及梁格模型,对其受力进行对比分析,结果表明单梁模型精度较差且难以准确反映其荷载横向分布,而梁格模型较精确但仍存在一定误差;采用调整虚梁截面特性以改变虚拟横梁刚度的方式对梁格法模型进行修正,其计算结果更精确。