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

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

公路工程项目施工招标的灰色理论评标方法研究

根据目前我国工程项目施工招标中尚凯乏系统评定的理论，笔者提出了定性与定量相结合的灰色度评标法，为择优定标提供了可靠的决策依据。     

模糊综合评判方法在船舶主推进装置选型中的应用

综合考虑船舶主推进装置的效率、费用、可靠性、操纵性与可维修性等各项指标,运用模糊综合评判理论对可供选用的主推进装置型式进行评判,论证并确定船舶最佳的主推进装置型式.     

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

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

既有重载铁路路基压实指标与承载力的关联度分析研究

将K_(30)、E_(VD)、E_(V2)、E_(V2)/E_(V1)4个基本参数作为判断既有重载铁路路基压实度的基本评价指标,通过现场测试获得既有重载铁路路基的4项压实度评价参数,通过轻型动力触探试验间接获得既有重载铁路路基承载力,分析既有重载铁路路基承载力与压实度指标之间的关联度,通过分析可知:4个基本参数与既有路基承载力之间的关联度较好,同时,K_(30)、E_(VD)、E_(V2)、E_(V2)/E_(V1)与路基承载力fk呈现比较明显的多项式关系,现场试验结果表明:该拟合关系对路基承载力在98~142 k Pa的c组粉质黏土填料压实度指标的估算具有一定的实用价值。     

夜间驾驶安全的影响因素

<正>道路上目标照明度不足公路上有的路段没有路灯,夜间照明主要靠的是汽车的大灯。大灯的射程只有200米左右,且是单向光,而驾驶员的夜间有效可视距离不足,对光的折射率低的障碍物的可视距离则更短。     

港口与城市环境及资源的协调发展度研究

随着我国港口和城市建设的不断发展,在生态环境和资源利用方面港城间的矛盾日益明显,如何协调两者之间的发展已成为目前迫切需要解决的课题。为此,以大连市为例,从建立港城协调发展度模型入手,对港口与环境及资源之间协调的程度进行评判,从而为指导港口和城市的可持续发展提供了决策依据。     

用主成份分析法建立公路路线抗震重要度的数学模型

提出了用主成份分析法建立公路路线抗震重要度的数学模型的方法,对如何分析评价路网中每条路线的抗震重要度的理论计算方法进行了探讨.     

火焰原子吸收光谱法测定同步环中钴含量的不确定度评定

分析了火焰原子吸收光谱法测定同步环中钴含量的检测过程,建立了计算钴含量的数学模型,讨论了测量重复性、标准溶液、标准曲线变动性、试液体积、试样称量、数字修约等对分析结果不确定造成的影响。通过对各不确定度分量的分析和量化,求出合成标准不确定度和扩展不确定度。     

土包砂路基在高等级公路上的应用

从土包砂路基在高等级公路上的应用实际出发，着重说明了施工中需要解决的薄弱环节，并就其提出了改进办法，为今后土包砂路基的应用提供了参考。