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

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

武汉动车段机电设备监控系统研究

从传输通道、监控设备确定、监控对象及监控要求、系统设备构成等方面研究武汉动车段机电设备监控系统设计方案。对武汉动车段内设备进行分类，并按照设备分类确定纳入系统的监控设备，阐述监控要求，使设备操作流程合理化，更好地提高管理及节约运营成本。     

资讯

一汽-大众新迈腾家族领创上市12月18日,一汽-大众新迈腾家族在北京正式上市,包括新迈腾GTE、新迈腾在内的两款新车共提供10种配置选择,售价区间为18.69万-30.99万元。作为一汽-大众大众品牌的年度压轴之作,新迈腾家族在新能源技术、智能互联、智能驾驶等方面进行创新,携GTE高性能插电式混合动力、“众行家”汽车智能互联服务、IQ.DRIVE智能驾驶技术、IQ.LIGHT智能安全灯光技术四大首发科技变革而来。     

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

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

关于专用铁路发展客运问题的探讨

结合煤矿专用铁路客运今后发展面临的问题,分析找出其根本原因,针对不同情况,探讨、提出解决的各种措施、办法,进一步拓展专用铁路客运更广阔的发展空间,实现专用铁路客运长期、稳定、健康发展。     

单车的发电与智能照明

本文提出了一种利用法拉利定律和智能灯光系统相结合的发电、蓄电、智能控制照明一体化的智能灯光照明系统,经过相关计算得出该系统在共享单车的应用推广下会有一个很好的应用场景和适配效果。若在此基础上该方案得到具体实施应用,在一定程度上会提高共享单车在一些例如夜晚、小巷子等照明不良场景的被使用率,会在共享单车的推广应用和经济收益方面,取得一个较好的提升。     

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

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

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

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