基于MAS的VOBC仿真测试系统研究与设计

首先针对VOBC仿真系统的需求特点设计系统,将整个系统分成不同Agent,并用MAS体系结构组织系统.然后,分别介绍每个Agent的设计要点,并以PCA为例,用形式化方法进行建模.之后,以VMA和LSA之间为例,简要介绍用KQML语言的通信方法.最后,使用高级语言C#来实现系统设计.     

浅谈框架结构柱拉结筋的埋置方法

为保证框架结构填充墙体的稳定性,确保填充墙体与框架结构协同工作,成为一个整体,在填充墙砌筑前,在框架结构柱上需按要求埋置拉结筋.     

区间自动闭塞系统安全性测试系统仿真建模

铁路区间自动闭塞系统的可靠性和安全性的测试与评估是铁路安全控制领域广为关注的焦点 ,开发区间自动闭塞系统可靠性和安全性自动测试与评估平台是解决这一问题的有效途径 .因此 ,结合作者正在参加研究开发的区间自动闭塞系统可靠性和安全性自动测试与评估平台 ,介绍了铁路区间自动闭塞系统的基本原理 ,抽象出铁路区间自动闭塞系统面向对象模型 ,详尽阐述了利用轨道作为传输通道的仿真模型中所采用的仿真技术 ,并给出了自动闭塞系统可靠性和安全性自动测试与评估平台的总体设计框图 .     

一种变结构Petri网模型及其应用

引入一种变结构有色Petri网模型及其相应的结构变化机制，阐述两种结构变化方式及其相应算法．一种是修正结构方法CBM（change—by—modification），一种是添加子网方法CBC（change—by—composition）．结合铁路车站信号联锁中的进路自动解锁建模，讨论了该模型的具体应用。