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

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

数值模拟在整车热管理中的应用

整车热分析已经成为轿车开发中的重要组成部分.通过Fluent软件进行热分析,可以评估轿车冷却系统的设计,同时预测重要零部件的工作温度,尽早发现因工作环境温度过高可能导致失效的零部件.对某车型热分析的结果和试验进行了对比.     

浅谈人际与人情之关系

本旨在探讨人际关系，人情法则的化内涵，不同背景下的人际关系对应着不同的人精法则。在市场经济条件下，人际与人情关联的工具性日渐显现。人们应关注际与人情的未来走向。     

带回流线的全并联直供系统研究

根据带回流线的全并联直接供电系统的原理,推导出其电流分布及牵引网电压损失,并通过仿真验证了全并联对降低牵引网压损的有效性,同时从仿真结果定性地分析了全并联次数和全并联位置与牵引网电压损失的关系。     

水下航行体X型正交舵控制参数设计研究

建立X舵与等效十字舵舵角相互转换的数学模型,提出X舵-十字舵等效舵角转换装置设计思想并以某型潜艇为例进行了仿真验证.通过该装置可有效地利用舵资源,最大限度地提高X型正交舵的操纵性能,并且可以解决X舵4个舵板间的交互影响,充分挖掘水下航行体的操控性能.     

桩墩间距对冰荷载及过冰能力影响的实验研究

在我国北方的水工结构物的设计建造中,通常要考虑流冰对结构的作用,并且桩墩的间距也是被关注的内容之一。文章主要针对单闸墩、双闸墩间距以及多桩间距对冰荷载的影响进行了模型实验研究,通过定间距闸墩模型实验,以及系列桩间距的模型实验和数据分析,获得了间距对闸墩和桩的冰荷载影响的依据,并得到桩间距与冰荷载的关系曲线,可供相关人员参考。所进行的研究初步论述了浮冰在桩墩结构物前堵塞或通过的条件,并提出了有待进一步研究的新课题。     

汉阳古镇旅游资源整合方案研究

武汉市汉阳区旅游资源丰富，素有武汉“大客厅”之美誉。其旅游资源整合开发的基本思路如下：用以大禹文化为内涵的一颗“中国心”，以知音文化、归元文化为内涵的两道亮色，以龟山公园、武汉动物园、武汉开发区工业园为基点的三园风光，另有四大旅游购物商圈、五项旅游服务保障和六条主题旅游线路设计，共同打造有声有色的汉阳游。     

全球化对公共行政的冲击

在全球化时代，国家主权和公共行政能力遭受到了前所未有的冲击。日益壮大的非政府组织、国际组织和跨国财团正在侵占和瓜分国家的权力。主权危机直接冲击到公共行政，全球化对公共行政所产生的影响可以归纳为：第一，全球化冲击了传统的以地理区域为单位的行政辖区，并逐渐缔造出一种以个人兴趣和利益为纽带的新的距离感；第二，全球化对传统的层级制组织模式构成严重威胁，正在出现的是一种类似于网络结构的组织模式；第三，全球化，尤其是信息全球化，改变了行政机构的决策方式；第四，全球化削弱了民族国家、尤其是发展中国家，制定和实施公共政策以满足国内需求的能力。     

考虑汉语句子阅读阈限的交通辅助标志字高设计

为保障驾驶员对交通辅助标志的有效视认,运用实验方法,研究辅助标志字高设计.建模分析驾驶员对交通标志信息的视认过程,构建基于车速和字数的交通辅助标志字高模型;设计实验分析交通辅助标志汉字阅读阈限;根据阅读阈限,分别确定门架式和悬臂式两种交通辅助标志在不同速度和字数条件的最小字高要求,并与《道路交通标志和标线(第2部分):道路交通标志》(GB 5768.2-2009)进行比较分析.结果 表明:(1)当辅助标志字数超过7个,不同字数句子的阅读阈限存在显著差异,阅读阈限的增速随字数的增加逐渐提高;(2)交通辅助标志的字高随车速和汉字字数的增加而增加;(3)国标(GB-5768)的字高设定对15字以内的辅助标志适用,对120 km/h道路中16字以上的长标志不满足阅读阈限要求.     

大型斜拉桥的空间构造及设计分析

斜拉桥是重要的桥梁结构形式,由于其梁体内弯矩小、建筑高度低等优点而被广发地采用。该文主要针对大型斜拉桥的空间结构特点,分析和研究了斜拉桥的空间设置和设计问题。首先根据斜拉桥的结构组成,分析了各个组成构件的空间布置,并进行了相应的力学计算,在此基础上,研究了大型斜拉桥的空间结构设计,主要讨论了在具体情况下的结构选型问题。