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

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

60kg／m钢轨断面检测量具介绍及征订说明

为了不断提高钢轨质量及使用性能，适应我国铁路提速、重载发展的需要，铁道部分别以铁科技函[2003]437号、铁科技函[2004]46号和铁科技函[2005]473号颁布了TB／T2344-2003《43kg／m～75kg/m热轧钢轨订货技术条件》、TB／T2635-2004《热处理钢轨技术条件》和TB／T1632．1—2005《钢轨焊接第1部分：通用技术条件》、TB／T1632．2—2005《钢轨焊接第2部分：闪光焊接》、     

GB／T17993—1999《汽车综合性能检测站通用技术条件》有关问题的说明

GB/T 17993-1999<汽车综合性能检测站通用技术条件>(以下简称<技术条件>)是由交通部提出,交通部公路科学研究所和济南交通高等专科学校共同起草的.该标准现已正式批准发布,自2000年8月1日起实施.     

高温条件下梁体预制混凝土施工质量控制措施

结合工程项目实例，对炎热夏季高温条件下混凝土的施工特点进行了分析，制定了有针对性的梁体预制混凝土施工的质量控制措施，并通过实施取得了较好的效果。     

永达集团

永达成立于1992年，是一家由多种经济成分组成的股份制企业，也是全国同时代理宝马、萨博、通用、丰田、奥迪、大众等二十几个国际知名汽车品牌的汽车销售服务集团，先后在上海、福建、江西、浙江、江苏等地设立了40多家汽车销售4S店，并已经形成了学车、买车、卖车、租车、修车、验车等完整的汽车销售服务产业链。作为中国汽车销售服务行业的领军企业，     

关于印发《保价及货运事故处理系统技术条件》的通知

为保证“保价及货运事故处理系统”的设计、实施和运行维护质量，实现站段（含与国铁办理直通运输的合资、地铁，下同）、铁路局、铁道部三级联网和铁路保价及货运事故处理信息化，提高货运事故处理效率，以设备复用、三级联网、业务覆盖、资源共享、独立运行、集中维护、安全可靠为原则，特制定本技术条件。     

一旁偷着乐

十年前,摩托车在我们这还可算是一件贵重的家用物件,不少家庭条件好点而又想骑摩托车的,一般都先后买了那么一辆.虽说主要理由是为了方便,但谁家有一辆摩托车就意味着谁家的经济条件比一般的家庭要好、说起来面子上也有光彩.     

IMO动态

1《IMO公约》修正案达到生效条件,便利运输委员会成为常设机构《IMO公约》1991年修正案将于2008年12月7日起正式生效,至此IMO便利运输委员将正式成为IMO的常设机构之一。     

客运专线节拍式列车开行方式的优势与适用条件

采取节拍式列车开行方式可实现车站服务频率的稳定化和列车运行时刻规律化,旅客可以较自由地安排行程,增加旅客出行的便捷,优化铁路的运输组织,同时有利于客运营销.节拍式列车方式适用于城际铁路、节点城市间的客运通道以及中转列车的接续.设计不同节拍程度的列车开行方案可以达到旅客出行便捷和运输企业效益的双赢.