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

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

如何规范建设工程监理行为

文章系统地指出了当前监理市场及监理公司内部非规范管理问题,精辟分析了造成非规范管理问题的原因,并提出了如何规范监理行为的措施,实行整个工程建设系统规范化管理的要求,并为整个工程建设系统树立良好的竞争风气指明了道路。     

汽车消费陷阱多 维修领域尤为突出

的年来，随着汽车消费走人寻常百姓家，名目众多的消费陷阱也是购车族和用车族颇为关心的话题。调查显示962％的被调查者表示．在汽车消费中遭遇过商家的欺骗行为，只有38％的被调查者对汽车消费环境感到满意。据《新京报》报道，     

城市路侧禁令标志对公交车驾驶员驾驶行为影响研究

针对交通标志对公交车驾驶员驾驶行为影响程度问题,从禁令标志的角度出发,分析其对公交车驾驶员驾驶行为的影响.外业采用自然驾驶调查、录像观测、表格记录等方法调查和记录驾驶员驾驶行为,内业根据区间时间间隔和区间距离,计算获得每公里停车次数、每公里车道变换次数、每公里加减速次数、区间运行速度等表征指标.采用相关性分析法,获取调查数据内在规律特征,得到每公里禁令标志分布量与车道变换次数、加减速次数影响因素显著相关,并分别构建了指数模型和立方模型予以拟合.结果表明,在调查路段和调查周期内,城市路侧禁令标志分布量显著影响公交车驾驶员操作行为;可将1.6作为禁令标志分布量变化量指标的判断阀值,当车道变换次数平均值变化量低于0.8、加减速次数平均值变化量小于1.1时,公交车驾驶员驾驶行为较为稳定;当禁令标志分布量变化量高于1.6时,驾驶员操作复杂性增加,表现为车辆频繁车道变换和加减速.      

防御性驾驶教育与培训问题

遏制道路交通的源头 从当前道路交通的发展而言,道路交通事故大都属于人的不安全行为而造成的,其中由于人对于交通意识单薄,驾驶技能差,对于交通培训知识不熟悉等造成的,因此通过对交通道路的培训与教育才能够真正从源头上遏制交通事故的发生。     

聚苯胺／稀土氧化物复合材料复合行为的热化学及热动力学研究

项目摘要：本项目拟将采用溶液聚合原位复合法，制备多种聚苯胺／稀土氧化物复合材料．采用多种现代结构表征和分析手段对其结构进行表征。使用精密绝热量热法分别对聚苯胺、稀土氧化物以及聚苯胺／稀土氧化物复合材料的基础热力学参数，包括热容、焓、熵、吉布斯自由能等进行系统深人地测试研究．根据热力学原理，     

汽车不解体检测诊断工作站信息化设备在汽车检测维修企业中的作用

<正>我国汽车产业的高速发展,给汽车后市场带来了蓬勃生机,也正是由于汽车产业的高速发展,使得我国现有的维修诊断设备及技术已经不能完全满足维修行业快速发展的需要。因此,维修行业发展需要变革,而变革的中心就是以信息化为主导的维修服务。信息化是培养、发展以计算机为主的智能化工具为代表的新生产力,并使之造福于社会,是以现代物联网为基础,对所研究对象各要素汇总至数据库,供特定人群进行生活、工作、学习、辅助决策等各种行为相结合的一种技术。信息化可极大地提高行为效率,为汽车维修行业     

想节能省油 行驶与保养细节你做到没?

在环保与节能意识高涨的今天,许多车厂都推出油电混合车或纯电动车,不过对一般消费者来说,节能车售价高,且充电设备与政府的配套措施等都尚未完善下,要立即换油电车,有一定难度。对开车族来说,在爱车保养以及驾驶行为上去注意,还是     

汽车驾驶员不安全行为评价分析

为稳步增强汽车驾驶的安全性,减少安全事故的发生,驾驶人员除了需要具备足够的应急应变能力之外,还需要做好安全行为习惯养成工作,形成良好的驾驶习惯。文章以汽车驾驶员不安全行为作出研究对象,在明确不安全行为表现的基础上,深刻分析影响汽车驾驶人员不安全行为的因素,在此基础上,制定合理的应对策略,旨在引导驾驶人员形成安全行为,以不断提升驾驶员的驾驶能力。