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

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

当前新车保养中存在的问题及对策

初期保养工作的好坏,直接关系到车辆的使用寿命和能否长期处于良好的技术状态。因此必须面对现实,正视现实,认真研究分析新车保养工作中存在的问题,从实际出发去寻求积极的对策,同时我们也渴望能够引起各级领导和业务部门的高度重视,在今后的新车装备更新过程中,立     

瞬变电磁法在隧道工程中的应用

文章简述了在复杂地形条件下、在隧道施工前和过程中,为了规避施工风险和预防施工过程中可能出现的地质灾害,运用瞬变电磁法勘察含水(泥)的断层、岩溶等水文地质问题;探讨了瞬变电磁法的理论基础、野外工作方法及资料处理.研究表明,瞬变电磁法勘探与其它常规电法相比,有许多突出的优点,可在复杂地形条件下工作,有良好的空间分辨性.实例中对瞬变电磁法勘察原理、工程实践和勘察效果作了详细介绍.     

新时期为何强调"路运并举"?

面对公路建设突飞猛进,道路运输缺乏驱动的不利局面,交通部开始重点研究落实"优先发展运输业",这也使得2007年9月6日的全国道路运输工作会议成为道路运输发展史上的里程碑式会议.     

我省桥涵耐久性的调查和研究

就我省桥涵耐久性方面做了一些调查了解,找出影响因素,提出预防措施.     

中国最大的光纤传感技术研究开发与生产基地——武汉理工光科股份有限公司

武汉理工光科股份有限公司成立于2000年8月，是以科研实力雄厚、学科门类齐全的武汉理工大学为第一大股东，联合武汉钢铁集团公司、北新建材股份有限公司、湖北双环科技开发投资公司等上市公司和社会企业其同发起设立的股份制公司。     

欢迎投稿

正《北京汽车》创刊于1978年4月,是全国汽车行业内创办较早的科技类期刊。本刊以为我国汽车工业发展和技术进步服务为宗旨,辟有政策法规、技术经济、市场营销、设计研究、学术论坛、环保节能、新能源汽车、汽车文萃、使用维修、安全行车、工艺材料和知     

经济展露曙光 股市一路高歌

进入2009年，虽然国际金融危机的阴云未散，甚至还有出现第二波的迹象．可是从整个世界经济运行的角度来看，不同经济体之间的分化还是十分明显的。时下．人们最为关注的就是中国，因为种种迹象表明，中国经济研究展霭出了些许曙光．而作为经济的晴雨表，中国的股市更是一马当先，展开了一波大幅度的上涨行情。     

中日高速公路养护作业控制区对比研究

以日本阪神高速公路养护作业控制区的实际布置为例,与我国JTG H30-2015《公路养护安全作业规程》中的相关规定进行了详细对比分析,从而得出中日两国之间在高速公路养护作业控制区布置方面的差异,对指导我国高速公路养护作业控制区划分及其相关研究有一定的参考价值。