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.     

地铁车辆段控制中心(DCC)综合信息系统研究

通过对地铁车辆段生产调度管理现状分析,研究出了一种地铁车辆段控制中心(DCC)综合信息系统,提高了调度效率和准确率。对该系统的功能、软硬件构成、主要技术性能、主要接口等进行了详细阐述。最后对该系统的实际应用情况进行了简单说明。     

基于相控阵超声技术的重载铁路钢轨焊缝检测方法

针对采用传统超声波对重载铁路钢轨焊缝检测时效率低且易漏检的问题,提出了利用相控阵超声技术对钢轨焊缝进行检测.通过仿真模拟确定了扫描角度和探头位置等检测工艺,并选取GHT-5和YN-1试块进行试验验证.结果表明:采用相控阵超声技术进行焊缝检测可以实现多角度扫查,探头小范围移动即可完成全覆盖扫查,操作简单,效率高,检测效果...     

基于路基路面相互作用的不均匀沉降控制标准及其处治技术研究

根据沪苏浙高速公路江苏段软土地基分布情况及特点,分析了不同软土层厚度对路基沉降量和路面最大不均匀沉降量的影响;介绍了由路基不均匀沉降引起的路面结构层内附加应力的分析方法,确定了不均匀沉降量的控制标准;对增加土工格栅和桩体的不均匀沉降处治技术进行了探讨。     

铁路框架地道桥受下穿隧道施工影响的研究

采用荷载结构模型及连续介质力学模型分别对铁路顶桥受下穿地铁区间隧道施工影响所产生的沉降及内力变化进行计算分析 ,并据此提出下穿框架式地道桥的地铁区间的设计及施工的有关技术要求。     

现代有轨电车储能式供电能耗与配套供电

储能式供电是现代有轨电车的重点技术发展研究方向和热点问题,列车自带储能装置可为车辆提供牵引电源和辅助电源而脱网运行。通过对储能式供电的技术特点、能耗与充电、供电需求的关系的分析研究,对有轨电车储能式供电车辆与供电系统的配合提出思路。     

我国道路交通安全形势与事故特征分析

阐述了我国道路交通安全现状和危害，并预测了未来的发展趋势，分析了道路交通事故的主要特征，为进一步确定安全保障措施提供了科学依据。     

采动区高压输电塔的变形和附加内力分析

以山西某矿区典型输电铁塔为背景,采用数值分析方法,分析了动态地表变形(主要为竖向位移)对输电铁塔结构附加内力和变形的影响规律.在三种工况下节点位移主要发生在X与Z方向上,y方向的位移变化不大,输电塔在支座发生竖向位移时,底部节点X方向与Z方向的位移值远小于顶部节点的位移值;横担杆上各节点的竖向位移基本相等,横担杆的轴力受输电塔竖向位移影响不大.     

A FRACTAL INTERPOLATION SPEECH CODING ALGORITHM

ＡＦＲＡＣＴＡＬＩＮＴＥＲＰＯＬＡＴＩＯＮＳＰＥＥＣＨＣＯＤＩＮＧＡＬＧＯＲＩＴＨＭ＊ＺｈｏｕＺｈｉｊｉｅ（周志杰）ＨｕＧｕａｎｇｒｕｉ（胡光锐）（Ｄｅｐｔ．ｏｆＥｌｅｃｔｒｏｎｉｃＥｎｇｉｎｅｅｒｉｎｇ，ＳｈａｎｇｈａｉＪｉａｏｔｏｎｇＵｎｉｖ．）...