Process Expression of Security Automaton

Security is an essential aspect for mobile systems. Usually, mobile system modeling and its security policies specification are realized in different techniques. So when constructed a mobile system using formal methods it is difficult to verify if the system comply with any given security policies. A method was introduced to express security automata which specifying enforceable security policies as processes in an extended π-calculus. In this extended π-calculus, an exception termination process was introduced, called bad. Any input which violating a security automaton will correspond to a step of transformation of the process that specifying the security automaton to exception termination process. Our method shows that any security automata which specifying enforceable security policies would decide a process in the extended π-calculus.     

Some Key Technologies of a New-type CNC Curve Grinding Machine

This paper presented a new-type CNC curve grinding machine, in order to conquer the disadvantages of conventional NC curve grinding machine and improve surface quality, dimensional accuracy and machining efficiency. The new-type grinder adopts some high and new technologies: ① the normal tracing device could make grinding wheel coincide with the normal direction of the machining points in work piece, and improve surface quality and dimensional accuracy; ② the digital image on-line recognition system could monitor machining process and compensate wheel wear in real time; ③ linear motor drive mechanism could realize the exact adjustment of the grinding head digitally and increase the machining efficiency. The math models of normal tracing and circular tolerance zone were presented. The experimental results show that the new-type CNC curve grinding machine equipped with the three devices mentioned above is easy to realize the precision grinding of any complex curve, and improve surface quality, dimensional accuracy and machining efficiency.     

山西禹门口黄河大桥实测风特性分析

自然风特性研究是桥梁抗风设计的基础,但是目前国内对大气湍流特性的现场观测研究工作开展得还极少,针对这一情况,结合山西省禹门口黄河公路大桥,在桥址处建立了一座60 m和两座30 m的风观测站.利用自行编制的程序对实测风速数据进行了分析,得到了平均风速和风向、风剖面、湍流强度和阵风因子等强风特性.分析结果表明:桥位处的风场比较复杂,风剖面属于山区风速剖面,不完全遵守幂指数分布;桥位处出现28.3 m/s大风机率很大,应进行主桥最大双悬臂状态抗风安全性能的风洞试验,以确保主桥悬臂施工期间的安全;还应进行长期观测,得到更多详实资料,为掌握同类地形处的风场特性提供资料.     

一种新型挡墙基础结构型式在洪酉路中的应用

洪酉路K54＋535～K54＋645段路基高挡墙因覆盖层较厚,挡墙下基困难。经分析场区地形、地质条件,并进行稳定性计算后,结合工期要求和工程造价,对该段挡墙基础采用一种新型基础结构型式———矩形桩基托梁进行处理,获得了较好的技术经济效益,值得类似工程推广应用。     

级配碎石直剪试验的细观分析

基于颗粒流理论及其PFC2D程序,在细观层次上从数值分析角度研究了碎石的直剪试验,从而揭示了其抗剪强度和变形机理。研究中针对碎石提出了一种随机计算模型,并给出了随机模型的实现方法,同时对该随机模型的算法可靠性进行了验证。文中探讨了在直接剪切试验中碎石的抗剪强度随位移的变化以及最大粒径、竖向压力对其影响,并从细观力学的角度上描述了直剪试验过程中颗粒的运动机理。直剪试验过程中的碎石细观结构变化的颗粒流仿真,是关于碎石细观力学特征与宏观力学响应相关联的初步研究。     

基于Matlab的三相变压器故障的仿真模型

以单相双绕组变压器数学模型为基础,用3个独立的单相变压器表征三相变压器的每一相,推导出了三相之间的连接关系方程;建立一种以磁链作为状态变量的三相变压器内部故障暂态仿真模型;充分考虑了二次侧终端条件、铁心磁路饱和等因素,选择磁链作为状态变量.在该模型基础上,对三相变压器的励磁涌流,短路试验电流、绕组匝地匝间短路故障时一次侧电流进行仿真计算及特性分析,验证了模型的正确性和有效性.     

求解多峰性函数全局最优解的进化算法及其应用研究

本又针对简单遗传算法（SGA）在解决多峰性函数最优化问题存在的不足，提出了一种分配区间型进化算法，能够求出多峰性函数所有全局最优解及多个局部最优解。通过十几个多峰性函数与工程实例的数值实验，验证了算法的正确性。对简易海洋平台进行了疲劳可靠性优化设计为算例，取得了满意的结果。     

船舶电站负荷扰动下轴系瞬时转速的动态仿真

受到大负荷扰动后,船舶电站的参数将发生较大变化.从发电柴油机、电力负荷、发电机及励磁调节系统方面建立柴油机瞬时转速的动态模型,并从气缸做功和负载方面对瞬时转速变化方面进行分析.依据发电柴油机的不同负荷类型,分别从恒定阻抗法、电动机机电暂态过程动态特性、负荷的静态特性三方面进行归类计算,提高了负荷的动态和静态仿真性能,励磁系统则采用三阶实用模型.最后利用Matlab/SIMULINK进行了系统的静态、暂态和动态稳定性分析.     

预应力钢筋混凝土连续箱梁挂篮施工法

介绍一种优化的挂篮施工方法,并对该工法优化方面进行较详细的探讨和实施。     

三轴应力下黏性土的微结构及其演化规律

利用河海大学自行研制的岩土材料微细结构光学测试系统,进行三轴应力下黏性土微结构特征参数的定量分析,研究三轴应力作用下黏性土微结构的演化规律及其力学特性。研究结果表明:重塑黏性土样在围压较低时,以均匀性破坏为主,局部化变形破坏为辅;荷载作用下,颗粒或孔隙的聚合和崩解同时发生,没有那种过程占据明显的优势;压缩过程中,颗粒所占面积增加,孔隙所占面积减小;颗粒的初始扁圆度越高,压缩过程中颗粒圆度值降低幅度越大,颗粒形状变化也越明显;随着制样含水量的提高,颗粒圆度不断增大,其空间排列变得紧密;随着具有微膨胀特性的黏性土含水量的增加,土体的强度显著下降,加载后的应变率增大。