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

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

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

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

交直交电力机车矢量控制系统的研究

分析了交流传动电力机车矢量控制系统的特点，在比较两种不同的控制方案的基础上，给出了一种适合于电力机车传动的矢量控制系统，并对其进行了计算机仿真，仿真结果验证了该方案的可行性。     

一种新的常系数盲自适应数字均衡器

该算不克服了在一般的常系数盲数字自适应算法中，由于估计幅值选择不合适，所造成加权矢量不收敛的缺点，使归一化常系数模型算法更具有通用性。     

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

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

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

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

LiDAR数据在公路测设中的精度改善技术研究

通过修正LiDAR点云的滤波处理结果,根据工程应用的需求,将高速公路和桥梁上的非地面点提取出来与地面点合并作为地形点.并添加高速公路路面边缘的三维矢量线作为约束条件进行联合建模,以达到补充桥梁和路面数据点的目的,从而提高数模精度.     

基于模糊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%，验证了模型的可行性。