排序方式: 共有13条查询结果,搜索用时 15 毫秒
1.
2.
角色自律分散系统的RN-C形式化描述方法 总被引:1,自引:0,他引:1
旨在为角色自律分散系统的建模提供一种形式化方法,为形式化验证奠定基础.角色随时空变化的动态表达取决于系统的自律度和环境条件.在对几类系统自律性的度量指标分析比较的基础上,从内部视点和外部视点2个角度,以及行为层、协调层和规范层3个层次,定义了角色自律度矩阵;提出了角色规范-条件(RN-C)形式化描述方案,包括角色、角色空间、规范、角色转换、行为条件等基本要素.应用RN-C方案,建立了角色行为状态的自激状态声明和受控状态声明的形式化描述;给出了角色域与数据域双重驱动体系结构中的行为原语描述,包括操作行为原语、请求行为原语、改变行为状态原语、角色仲裁行为原语;实现了角色自律分散系统行为的形式化描述.指出基于分层有限自动机的角色演化建模,环境依存度与规范-条件的映射关系等是下一步研究的重点. 相似文献
3.
4.
自律分布化铁路调度指挥系统关键技术研究 总被引:1,自引:0,他引:1
谭永东 《学术动态(成都)》2006,(4):17-21
1主要研究内容及研究方法
我国传统的CTC系统面临的问题有:①大规模枢纽站仍然由人控制,不能实现自动化;②传统调度集中系统可靠性水平低,发生故障恢复运行时相当费时;③维护作业依赖于人,存在安全隐患。 相似文献
5.
角色自律分散系统概念及体系结构 总被引:5,自引:0,他引:5
从理论研究和应用研究等角度综述自律分散系统技术的国内外研究现状,归纳出系统潜在功能的自律表达应用模式。对自动化系统进行多层次抽象,明确了集中式、客户/服务器和自律分散结构的适应领域,明确了系统功能及其表达方式的时空关系。自动化系统的功能包括固定功能、人工进化功能、潜在功能和自我进化功能;系统功能表达方式的时空关系有时空不变、时间可变和时空可变3种。对系统潜在功能的自律(时空可变)表达模式进行提炼,定义角色自律分散系统的概念。提出角色域与数据域双重驱动的角色自律分散系统的体系结构,角色和数据通过角色域与数据域进行交互,角色自律控制器实现角色转换的协调,数据仲裁器确保分散环境中的数据一致性,角色/功能/对象调度器分别实现系统角色,功能和对象的调度与激活。将角色自律分散系统体系结构应用于铁路调度系统中,表明技术上是可行性的。 相似文献
6.
研究构建自律分散式铁路运营调度系统仿真平台的关键技术。为保证系统的稳定性,必须实现控制中心可靠地漂移。控制中心漂移分为被动切换(主备切换)和主动切换(子站向控制中心申请成为控制中心)2种方式。采用集中式快速分布式选举算法进行决策计算。为保证系统的可靠性,设置2个不同的时钟线程,分别对中间件进程和仿真平台进程进行监视。远程车站有本地和远程2种工作模式。子站远程模式切换的原理是子站通知控制中心后,双方交换子站输出信号的控制权限。系统中的控制信息传输是基于组播方式的。子站在本地控制模式下,采用组播通信技术使控制中心即时刷新信息;而在远程控制模式下,则是采用网络中间件提供的点对点通信为辅,组播通信为主的技术组合方案。为保证分散系统中数据的一致性,采用对象状态信息刷新时间间隔按指数递增的算法。构建的自律分散式动态控制系统仿真平台具有在线可扩展性、在线容错性和在线可维护性。 相似文献
7.
对城市轨道交通自动化系统的再认识一概念、体系结构与技术 总被引:8,自引:2,他引:6
在对城市轨道交通系统的特点进行分析的基础上,提出了轨道交通系统的五大技术需求,论述了城市轨道交通自动化系统的设计开发理念和方法。通过对传统体系结构进行分析比较,指出自律分布体系结构是城市轨道交通自动化系统的理想结构。最后对自律分布系统技术进行了综述,并从技术成熟性和技术特点的角度对其进行了分析和讨论。 相似文献
8.
高速铁路的发展给列车安全提出了新的要求,需要建立一套列车安全标准和评估体系。借鉴国外列车安全技术和标准,并结合我国的实际情况来建立这个体系是比较可行的方法。本文介绍了安全相关标准EN50159-1的内容,分析了CRH2的列车信息控制系统的安全相关特性,并对其安全相关通信网络的故障率进行初步探讨。 相似文献
9.
10.