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

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

浅谈人际与人情之关系

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

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

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

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

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

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

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

全球化对公共行政的冲击

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

海事调查的管辖权

为明确船旗国、沿海国、港口国和其他有关国家对海难或海上事故进行调查的管辖权，便于我国有关部门人员正确履行海事调查职能和国际义务，通过研究《联合国海洋法公约》，IMO有关海事调查公约、规则和指南等国际规定以及我国的相关法律法规，分析我国海事调查管辖在立法和管理体制中存在的问题，提出应加强有关海事调查的国际和国内法研究，适时调整我国的法律制度，进一步完善海事调查的国内法体系，配合法律法规的修改完善海事调查的相关机制，以适应履约的需要。     

城市立交美学影响因素分析

简要介绍城市立交美学具有的基本特征，着重分析城市立交美学的影响因素，主要包括立交的整体造型因素、立交的线形因素、立交桥跨的因素和立交与周围环境景观的协调等。     

大王顶隧道横洞施工引起主洞初期支护开裂治理

大王顶隧道在围岩较差地段进行人行横洞施工出现初期支护开裂,分析其原因,制定减少围岩扰动方案和加强后续支护措施,以保证隧道安全施工。     

温度对旋转钻进破岩功耗的影响研究

岩石在常温、常压下的变形破坏理论已非常成熟，但随着钻探深度不断的增加，岩石将要面临高地温、高围压的环境，这些因素将直接影响钻进过程。通过研究旋转钻进过程中能量的传递转移，建立岩石破碎的简化模型，利用单位体积破岩能耗来探究温度对钻进过程的影响。研究结果表明:随着钻进深度的增加，在一定的围压作用下，温度升高而岩石的弹性模量却逐渐减小，压入深度随温度升高呈抛物线形上升，破岩功耗随温度呈曲线上升，并在经过阀值温度400℃后趋于平缓。