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

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

汽车道路救援服务站网络布局方案评价研究

<正>我国汽车行业和道路交通的高速发展,极大地满足了消费者的车辆行驶需求,但由于交通事故和车辆故障带来的救援需求也日渐增多。汽车道路救援服务站的网络布局是否合理影响汽车道路救援系统的救援效率、专业汽车道路救援机构的运营效益以及车主对于道路救援服务的满意度。本研究旨在建立汽车道路救援服务站的网络布局方案的评价模型,优化汽车道路救援服务站网络布局工作,为决策者制定布局方案提供参考。     

基于记忆学习矩阵的混合动力控制策略

混合动力汽车的动力分配策略是混合动力汽车开发的核心之一,合理的动力分配策略可以在不影响其动力性的前提下尽可能地节省燃油和降低排放,记忆学习矩阵的控制策略介绍的是一种外挂学习方法的自适应学习的控制策略,通过对照学习前后的结果对记忆矩阵的各项参数进行修改,达到合理分配动力降低油耗的目的。     

证明行列式展开定理的构造性方法

行列式展开定理的证明是线性代数中的一个难点。本文在行列式定义和基本性质的基础上，给出行列式按列展开定理的构造性证明方法。     

基于模糊DEA公路扩建施工进度优化研究

基于公路扩建项目工程复杂及目前科学的进度优化决策体系尚未建立等因素,文章探索扩建项目进度决策优化行之有效的方法,以期为公路扩建项目施工进度决策优化提供参考。提出一种基于模糊DEA模型的扩建施工进度决策优化的方法,该方法通过分析影响扩建项目施工进度的影响因素,建立施工进度决策评价指标体系,并结合专家打分情况,运用模糊DEA模型进行进度方案优化决策;该模型以工程总投资额为输入指标,以工艺方法的可行性、材料设备的保障性、环境因素和施工工作人员素质为输出指标。通过在S201威东线改建工程实际运用中验证,表明该方法切实有效,与工程项目的预期情况相吻合。本研究可为公路改扩建工程提供有效的决策参考。     

深圳轨道交通线路敷设方式选择的自然地质风险分析

通过分析深圳地区主要自然地质条件对轨道交通地下和高架敷设方式的影响，并利用风险分析矩阵对其进行等级评价，从自然地质角度为轨道交通敷设方式选择提供依据。     

城市轨道交通动态OD矩阵分析及估计模型研究

客流动态起讫点（OD）矩阵是城市轨道交通实现动态运营管理的重要基础，准确地估计动态OD矩阵对城市轨道交通实际运营管理水平的提高有着重要意义。文章从空间方面分析了起讫站点性质、终点站吸引量、线路属性、起讫站点是否同线的影响，从时间方面分析了列车发车间隔、OD间换乘次数和距离的影响。构建了城市轨道交通动态OD矩阵估计模型，并选取北京市城市轨道交通网络的局部区域作为验证案例，对所提出模型的估计效果进行研究分析，所得结果表明，文中的模型较采用历史数据进行估计，在早晚高峰时精度提高约4%～10%、平峰期时精度提高约8%～17%，同时在15 min、30 min、60 min粒度下全日平均精度分别提高8.67%、11.75%、3.46%，验证了模型的可行性。     

关于系统结构模型建模问题的思考

系统结构模型是一种描述系统各组成部分(要素)之间以及系统与环境之间相互关系的模型,文章对系统结构模型的建立,以及系统可达矩阵计算的有关问题进行了探讨,并提出了相应的解决方法.     

Mkdv方程族的约束流与r-矩阵

利用矩阵特征值问题得到了Ｍｋｄｖ方程族的Ｌａｘ表示，对于Ｍｋｄｖ方程和约束流建立了ｒ－矩阵和经典的Ｐｏｉｓｓｏｎ结构，并由此得到了与Ｍｋｄｖ方程相联系的完全可积系。     

船舶电站柴油发电机组混合H_2/H_∞调速器的研究

将混合H2/H∞控制理论应用于柴油机调速系统的设计,将柴油机调速系统的性能要求转化为标准混合H2/H∞控制问题.计算机仿真结果表明,利用线性矩阵不等式方法所设计的混合H2/H∞调速器能在考虑模型不确定性的情况下,有效提高系统的动态精确度和抑制扰动的能力,改善船舶电力系统频率的稳定性.