UML状态图映射为Petri网模型的方法研究

UML广泛应用于软件建模,然而UML是半形式化的,这使得很难对其进行严格的语义分析和正确性验证。状态图作为UML动态描述机制的重要组成部分,同样存在这样的问题。Petri网作为一种图形化建模工具,具有严格的形式化语法语义,而且有很多成熟的分析方法。本文提出了将UML状态图映射为Petri网模型的方法,并结合实例对映射后的模型进行分析,验证了模型的一系列正确性。     

仿真技术在汽车电子设计中的应用

为了缩短汽车电子系统的开发周期、降低开发试验成本,仿真技术被引入汽车电子的设计之中。本文结合实例介绍如何利用SABER软件对电子产品及系统建立数学模型、进行仿真和分析,以及如何利用仿真结果对原设计进行验证和完善。     

扫掠路径下交通环岛的冲突分析

大型车辆经过交通环岛时往往会因为环岛规模不够和渠化设计不合理出现交通冲突.利用扫掠路径和行车空间包络线的方法研究交通环岛的空间冲突问题,以提高交通环岛前期设计精细化水平和后期运管的科学化.从平面和纵向层面论证环岛的行车冲突和安全评估,平面冲突层面主要是结合车辆的转弯半径、行车速度以及转弯方式等要素分析车辆与其他车道车辆...     

奔驰车系技术通报

通报一通告主旨：722．9自动变速器进入紧急运转模式。涉及车型：车型W171/W203/W209/W211/W219使用722,9自动变速器/M272型发动机/车型年代码806和变速器控制模块软件版本为0014485410或0014486910或0014488310或0014488410或0014488510的车辆。故障现象：使用变速器控制模块软件版本为0014485410或0014486910或0014488310或0014488410或0014488510的     

盗版软件生产的博弈分析

针对近几年发生在我国较为频繁的软件盗版事件,通过建立博弈模型,对盗版事件的两方博弈主体,即软件初始制造者和软件盗版者之间的利益关系开展了博弈分析．在理论分析的基础上,提出了应对我国软件盗版事件频发的建议．     

基于LTE-V2X车路协同技术仿真验证方法的研究

智能网联汽车是我国战略发展的重点支持领域。车路协同技术是智能网联汽车的重要应用方向和基础支撑。车路协同仿真验证技术是车联网智能化基础设施建设及示范应用开展的重要保 障。     

基于Agent高速公路监控系统研究

基于多Agent系统的高速公路监控系统是一种在网络环境下的分布式软件平台，具有合理的系统结构，良好的兼容性和扩展性。章根据多Agent系统概念，提出了一种基于多Agent系统的分布式高速公路监控系统组织模型。在讨论高速公路监控系统Agent特征后，分析其中系统管理Agent模型、监控Agent模型的功能和结构，介绍了高速公路监控系统软件实现。     

CAPP工艺软件在铁路工厂中的应用

介绍了CAPP工艺软件及其在铁路工厂的货车检修及新造中的应用,分析了方案实施带来的效益.     

MSC.Software加速船舶创新

从20世纪60年代初至今,MSC公司一直致力于CAE领域的研究和软件的开发,经历了40多年的技术研究和发展,见证了各制造工业研发和制造模式的变革过程,同时也扮演了技术创新的领头羊的角色.     

船舶制造三维设计系统SB3DS的开发和应用

SB3DS系统是自主研发的船舶制造三维设计软件。该软件系统的功能是建立在我国造船工业实际需求基础上,其应用方便灵活、扩展性强、售后服务反应快,性能价格比高,得到了国内造船企业的青睐,近几年来推广应用情况良好,为我国造船行业信息化作出了贡献。对于目前我国建立现代