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

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

广汽日野与中联重科签署战略合作协议

自2011年1月1日开始，广汽日野与中联重科正式结成战略合作伙伴关系。根据协议内容，中联重科2011年全年计划购买广汽日野底盘4000辆，其中首季度提车1200辆。     

2012年全球汽车行业十大新闻盘点

1通用汽车与标致雪铁龙结盟事件概述:2012年2月29日,通用汽车与标致雪铁龙建立战略合作关系。通用欧洲业务同标致雪铁龙计划从采购、研发、物流等多个领     

中大汽车与墨西哥客运公司建立合作关系

7月15日，墨西哥客运公司总经理马里欧一行考察中大汽车．双方就共同合作发展墨西哥客运、旅游市场展开会谈。考察期间．马里欧一行参观了中大客车生产基地．表示启动与中大建立长期的合作伙伴关系。中大集团总裁徐连宽简要介绍了中大汽车的发展进程、市场状况及中大新能源客车。     

利星行携手培黎职业学院培养汽车人才

利星行汽车与北京培黎职业学院近日签订校企合作,双方将在教具捐赠、人才培养、人才输送、成果转化等多个方面建立深入而长期的合作关系,携手共同为培养中国汽车专业人才做出不懈努力。在签约仪式上,利星行汽车宣布将帮助北京培黎职业学院建立＂利星行汽车技术服务与营销专业＂,并参与到该学院汽车专业人才教育全过程当中,     

国内汽车制造企业与物流企业开始深度合作

日前，广州德邦物流有限公司与东风商用车公司共同建立战略合作伙伴关系的签字仪式在广州举行。根据协议，双方将本着资源共享、互利互赢的原则，力求使双方的优势资源得以充分利用、双方的经济利益和社会效益得到最大化。据悉，这也是目前国内第一家物流企业与汽车制造企业展开的深度合作。     

企业组织委托代理关系中的信用和约束机制

现代企业组织制度中存在一系列委托代理关系，委托代理关系的状况极大地影响着企业的正常运作和发展。文中论述了企业组织委托代理关系中建立健全信用机制和约束机制的必要性和方法。     

浅析物权变动与船舶所有权登记的关系

我国海事司法界通常认为,应当凭船舶登记或船舶所有权证书确定船舶所有人。笔者认为,这种观点颇值得反思。根据我国的物权法,文中从分析我国船舶物权变动模式入手,分析了船舶登记的效力,提出了"不能仅凭船舶登记确定船舶所有人,对未登记的实际所有人也应予以保护"观点。     

轮胎驻波现象与胎压的正确选择

造成汽车轮胎爆胎的原因很多,但引起爆胎的实质原因主要在于轮胎产生的"驻波"现象.轮胎的驻波现象又与轮胎气压的高低有着密切的关系. 1 汽车轮胎的驻波现象众所周知,汽车的全部重量都由轮胎所支承,在重力作用下轮胎胎面与地面的接触部位会有轻微变形,车辆行驶时变形的部分在离开路面后将恢复原状.若选取轮胎胎面与地面接触的一个小段来分析,轮胎每旋转一圈,这一小段就会发生一次变形和恢复的过程,即轮胎发生一次弹性变形.     

模糊系统知识模型上的单点关系与复合关系

为了在获取的测量数据不完整时能够合理、有效地提取模糊规则，能够对所建立的模糊系统模型方便地进行不一致信息处理以及能够更加客观地刻画系统特性，提出了模糊系统的知识模型描述方法．同时给出了模糊系统知识模型的定义，建立了此模糊系统知识模型上的单点关系和复合关系，并证明了这两个关系均为等价关系．为给出模型中范畴和知识这两个重要且基本的概念建立基础，继而为一类模糊控制系统的描述提供了一种形式化表达框架．