A Theory of Secure Mobile Computation with Confined Movement and Communication

An extended π calculus was introduced to deal with secure movement and intercommunication between agents. The system extends Nomadic-π with objective migration primitive and confined region which serves as annotation labels of agents and channels. The confined region labels were used to uniquely identify the constraints on the migration and communication of agents, with the labels, the agents could be confined in a secure subsystem and the inter-agent communication could be confined between agents located on trusted sites during computation. The operational semantics for the calculus was given out, and a type system which enforces security properties called confined migration and confined communication was developed.     

不同摩擦系数条件下的轮轨滚动接触特性分析

以直径为860 mm的LMA踏面轮对和60 kg.m-1钢轨为例,采用有限元软件ABAQUS建立三维轮轨滚动接触有限元模型,利用集群逻辑结构的并行计算平台求解该模型,并对不同摩擦系数下轮轨滚动接触特性进行分析。研究表明:摩擦系数对接触斑面积、接触区Mises应力值和法向接触应力影响不大;随着摩擦系数的增大,接触斑黏着区面积增加,接触区内横向和垂向剪应力增大且位置向接触区表面靠近;在相同牵引力矩作用下,随着摩擦系数的增加,轮轨纵向剪应力明显增大;接触斑内摩擦力矢量的纵向分量也随之增大,轮轨摩擦力及其绕原点合力矩的纵向分量也变化明显,最大增幅超过30%,自旋力矩值也随之增大且其中心点在接触斑内沿牵引方向前移。     

需要系数法在地铁动力照明设计中的改进

分析需要系数法在确定地铁动力照明计算负荷中所存在的问题,指出由于计算负荷与实际负荷偏差而造成地铁车站配电变压器的负载率普遍偏低,提出解决这一问题的思路和方法。     

大功率变流器冷凝器空气侧的百叶窗翅片结构换热特性分析

利用Fluent软件包进行数值计算,比较了某动车组大功率变流器的冷凝器原有的梯形截面平直翅片结构与改进的百叶窗翅片结构之间的空气侧流动与传热特性.计算采用低雷诺数重整规化群(RNG)κ-δ两方程湍流模型,压力与速度耦合算法程序采用SIMPLEC算法,近壁区采用增强型近壁模型处理.计算结果表明,百叶窗翅片结构比原有的梯形截面平直翅片换热效果好.在所计算的5～10 m/s的流速工况下相应的换热最提高22%～35%,对提高变流器的冷凝器空气侧冷却效果具有较大潜力,对该冷凝器有重要的丁程实际应用价值.     

钢箱梁临时胎架结构验算与安装

型钢胎架是钢箱梁安装中的重要操作平台,具有占用作业空间小、安装方便、工期短等其他工法不可比拟的优点。根据型钢胎架工艺特点,通过武咸公路高架桥钢箱梁胎架工程实例,总结了型钢胎架的有限元结构检算、钢架安装等环节中较为可行的工程措施。     

250km/h动车组转向架钢板焊接结构枕梁研制

介绍了新研制的速度250 km/h城际动车组转向架的主要技术参数、钢板焊接结构枕梁的基本特点及有限元分析计算。     

Fair Preorder for Partial Fair Kripke Structures

IntroductionMany approaches have been proposed to dealwith the problem of model checking large statespaces,such as the composition methods,symbol-ic verification and abstraction techniques.A partialstate spaces model checking method was developedby Bruns[1] ,which explored just a part of statespaces,and those unexplored states and transitionswere often absent in incomplete or“partial”statespaces.In the automatic verification of concurrent fi-nite- state system,the branching time prepositiona…     

高墩变形计算与控制研究

高架桥钢筋混凝土墩身在施工过程中及竣工后,易发生弹塑性变形,影响桥梁使用功能及结构安全,因此对其变形进行正确的计算和详细的分析以及提出相应的控制措施具有重要的意义.     

波磨轨线路上轮轨振动附加力计算

发展了考虑转向架的波磨激振计算模型。通过参数分析得到了列车速度、轮轨接触弹簧及道床弹性等对轮轨振动附加力的影响特点。波深较小时计算结果与实测数据吻合。     

一种用于浅埋隧道抗震分析的拟静力数值方法

提出一种用于浅埋隧道抗震分析的拟静力数值方法,该方法用等效静载反映地震波对围岩与衬砌结构的作用,考虑地震波特点,分别计算体波（Ｐ和Ｓ波）和面波（Ｒ波）的影响,并将计算得出的衬砌反应与静载作用下的隧道衬砌的已有应力迭加视作隧道在地震时最大应力,地震波作用及静载作用的结构位移及应力均采用有限元或其它数值方法计算,提出的方法已在南昆铁路隧道抗震研究中的运用。