微观城市交通仿真系统的设计

通过对实际交通系统的分析,在前人的仿真软件的研究基础上,提出了“模型仿真”和“应用仿真”并重的思想,并以此思想构建微观城市交通仿真系统,为基于执行机和决策机的交通参与者模型构建以及交通方案仿真提供一个分布式的研究平台.该软件平台采用Web三层结构,从而解决了系统的可开发性、可复用性和互操作性问题,最终为以后的大规模的交通仿真提供服务.

企业建模方法及ARIS建模过程应用研究

面对环境变化,建立企业模型成为企业管理的重要手段。文章首先介绍了企业建模的概念,其次比较了常用的建模工具,然后着重探讨了集成信息系统体系结构(ARIS)建模过程的视图结构与建模层次,最后以实例介绍了采用ARIS工具对业务流程进行建模的具体过程。

UML时间顺序图的自动验证技术

UML顺序图反映对象之间的消息交互顺序,在系统建模中应用十分广泛.对顺序图进行时间扩展得到UML时间顺序图,使其具备对实时系统建模的能力.在此基础上研究了UML建模工具和模型验证工具UPPAAL的接口信息,将UML时间顺序图模型转化为时间自动机模型,并对该系统模型进行形式化验证.设计和实现了基于XML的UML时间顺序图自动验证工具.

多代理系统的UML建模研究

随着计算机、网络以及通信技术的发展 ,系统的复杂性不断增加 ,多代理系统的应用也随之日益广泛。本文通过研究面向对象与多代理系统的关系 ,将原本用于面向对象建模的统一建模语言 ,进行必要的扩展 。

基于BIM的建筑工程制图教学体系构建

随着建筑信息模型(BIM)时代的到来,以三维建模为载体的设计与绘图对传统制图教育产生了较大影响。基于BIM建模探讨了建筑工程制图教学新体系构建,突破单一的平面化的绘图思维,在虚拟空间中进行仿真模型搭建,还原设计意图,将工程图的学习与实践和建模过程统一,增强学生空间思维能力,体味设计、创造、创新的乐趣。

特高压与超高压交流输电能力及经济比较研究

自我国交流特高压工程规划和建设以来,国内对特高压交流输电的输电能力、经济性、实施效果等方面存在较大的争议。本文通过建立特高压交流与超高压交流点对网和网对网的输电系统仿真模型,采用理论分析和仿真计算相结合的技术手段,针对不同输电距离和系统强度情况,从热稳极限、暂稳极限角度对比分析了特高压交流与超高压交流输电线路的送电能力,并以送受端同样系统强度下相同输电距离输送同等容量电力为例,对比分析了特高压交流输电与超高压交流输电的经济性,从而研究特高压与超高压交流输电在输电能力和经济性方面的优劣。研究表明,在相同的输电距离情况下,特高压交流的最大输电能力是超高压交流输电的2~4倍;相同输电容量下中短距离输电时,超高压交流输电经济性优于交流特高压输电。

基于Petri网和OMT的具有计算机视觉的FMS建模

文章通过分析 Petri网和 OMT建模工具的特点 ,提出一种 Petri网与 OMT相结合的建模方法 ,并用该法对具有计算机视觉的 FMS建模 ,使模型不仅能充分体现系统的动态属性 。