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

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

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

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

爱特公司开始付运IGLOO PLUS入门级工具套件

爱特公司（Actel Corporation）是低功耗和混合信号FPGA的领导性厂商，提供最全面的系统和功率管理解决方案。近日宣布提供低成本IGLOO PLUS入门级工具套件。这款全新套件备有IGLOO PLUS系列低功耗现场可编程门阵列（FPGA），提供可编程逻辑器件最佳的每I／O功耗、逻辑和功能比率。     

汽车不解体检测诊断工作站信息化设备在汽车检测维修企业中的作用

<正>我国汽车产业的高速发展,给汽车后市场带来了蓬勃生机,也正是由于汽车产业的高速发展,使得我国现有的维修诊断设备及技术已经不能完全满足维修行业快速发展的需要。因此,维修行业发展需要变革,而变革的中心就是以信息化为主导的维修服务。信息化是培养、发展以计算机为主的智能化工具为代表的新生产力,并使之造福于社会,是以现代物联网为基础,对所研究对象各要素汇总至数据库,供特定人群进行生活、工作、学习、辅助决策等各种行为相结合的一种技术。信息化可极大地提高行为效率,为汽车维修行业     

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

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

创意中国交通工具设计论坛及展览———-THE AGE of CHINESE DESIGN

会展描述：随着中国道路交通的快速发展，大飞机、邮轮、航母、神舟、轿跑车、动车组、磁悬浮、电动车、电单车等许多新事物和名词频繁出现，用于交通工具技术创新的投入将出现更大的突破。     

基于MATLAB的抗滑桩锚固段内力程序化与可视化计算研究

基于Matlab数学软件，对采用“K”法计算的抗滑桩锚固段内力和变形计算过程进行了程序化设计，使得充分保证抗滑桩设计计算准确性的前提下，大大提高了计算效率，且实现了计算结果的可视化，并把此研究成果应用于常（德）至吉（首）高速公路滑坡处治中抗滑桩的设计计算。研究成果对今后滑坡地质灾害的抢险，保证抗滑桩设计的经济性与合理性，均具有及其重要的意义。     

基于快鸟卫星影像的高速公路施工三维可视化管理平台应用

项目以快鸟卫星影像为基础,以高速公路施工实际工程为背景,以GIS为平台,建立了工程管理三维可视化管理系统,利用SQL Server数据库管理施工数据,并且利用网络技术实现多方实时录入和查询数据,达到了通过可视化平台多方位显示施工管理数据的目的.文章介绍了研究技术路线和系统的主要功能,以及实际应用达到的目标和结果.     

系统效能通用评估工具研究

基于数据库和算法集成,设计了一套具有良好通用性、灵活性、可扩展性的系统效能评估工具,并以此工具为基础,针对不同的评估需求、数据量和应用环境提出对应的解决方案.     

三间房站减速顶巡检维修方法的革新

介绍三间房车站在维修和应用减速顶和停车顶方面的情况,特别是车站根据自身的特殊情况,而采取的一些特别的维修方式和专门研制出的一些专用设备和工具,不但提高了维修的效率和质量,也改善了工人的劳动条件和环境,可供其他站段借鉴参考。