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.     

添加剂在植物基基础油中的抗氧抗磨性

通过分析植物基基础油的生物降解性和使用性能的要求,合理选用基础油及添加剂,在均匀设计的基础上安排多因素多水平试验,用逐步回归技术通过计算机对试验结果进行处理,以此分析基础油对添加剂的感受性及添加剂的配伍性。在重点考察基础油的抗氧抗磨性的基础上,得出复合添加剂的最佳配比为MT202∶MT203∶MT204∶MDNA∶MCuDTP∶MT115A∶MT152为2∶4∶8∶6∶1∶16∶24;最佳加量范围为3%～5%。最后进行了研制油与参比油的性能对比试验,结果表明,研制油的抗氧抗磨性优于同类矿物基润滑油,而且可生物降解。     

水工黏土基固化材料力学性能试验研究

以港航工程整治过程中产生的黏性土为主要原料,采用传统水泥、石膏和矿粉等无机结合料为固化剂,通过半干法压制成型制备黏土基固化材料。研究结果表明：黏土基固化材料的最佳配合比为黏性土65%、水泥18%、矿粉12%、石膏2.0%、石灰3.0%,其28 d抗压、劈裂抗拉和浸水强度分别为25.6、2.5、24.1 MPa,可替代普通混凝土制备压载块等水工材料就地应用于港航工程,满足水工应用需要。     

不同稳定剂对SBS改性沥青稳定效果的对比研究

通过试验测试不同老化时间样品的针入度、软化点和延度比较其相容性和路用流变学性能指标的变化,分析体系宏观稳定性和稳定剂性能特征,并通过形态结构照片分析稳定剂改善的效果。结果表明,加入稳定剂后改性沥青的高温储存稳定性明显改善,同时加入FD-06无硫稳定剂的改性沥青在热储存过程中性能更加稳定,不易离析。沥青中的部分组份具有化学活性,利用其活性点,引入带有活性基团的反应物,并通过被引入分子的化学结构的调节改善SBS与沥青的相容性,从而制备储存稳定性良好的SBS改性沥青。化学改性技术的应用提高了路用改性沥青的性能/价格比。     

不同类型沥青混合料疲劳性能研究

通过对8种类型沥青混合料、120根梁进行应变控制下的疲劳试验,建立疲劳方程,深入分析几种不同类型的沥青混舍料的疲劳性能,有助于寻找到更适合于沥青路面下面层功能要求的沥青混合料类型。     

高强度纤维束的动态拉伸性能

用动态拉伸装置及薄臂杆组合夹头测试了5种高强度纤维(PBO,UHMWPE,Kevlar,Glass fiber S-2,Basalt)束的动态力学性能.动态拉伸和静态拉伸结果的对比表明,5种纤维束具有应变率效应.5种纤维束的动态抗拉强度均高于静态抗拉强度,除UHMWPE外动态断裂应变均大于静态断裂应变.应变率效应对5种纤维束动态拉伸失效应变的影响无统一的规律.     

混凝土的温度时效研究

混凝土结构在遭受火灾作用后,在决定修复受损结构之前,必须估算结构的残余承载能力,这需要了解结构在高温作用后的性能,对相同配合比的混凝土试件在温度作用后的力学性能进行了初步的试验研究,包括抗压强度和横纵向应变,并分析了其变化规律,为高温后混凝土的温度时效研究提供了参考。     

强夯法处理湿陷性黄土路基的试验研究

通过试验的方法研究某高速公路湿陷性黄土路基的特性,并结合室内击实路基土试样的三轴剪切试验和现场强夯路基土的湿陷性系数的对比试验,研究确定路基土的物理力学特性、黄土路基的湿陷性和强夯法加固湿陷性黄土路基的效果,研究结果对湿陷性黄土地区工程具有参考价值。     

聚酯玻纤布复合沥青混合料疲劳性能

通过UTM试验系统对纯沥青混合料（BN）、复合1#聚酯玻纤布沥青混合料（BT）与复合2#聚酯玻纤布沥青混合料（BU）进行了应变控制疲劳性能试验,建立了应变与疲劳寿命的疲劳方程和累计疲劳能耗与应变的回归方程,引入能量方法对疲劳试验结果进行了分析。结果发现聚酯玻纤布复合沥青混合料疲劳性能优于纯沥青混合料疲劳性能,累计能耗与疲劳寿命相关,聚酯玻纤布能够提高沥青混合料的疲劳性能,能量法是研究和评价沥青混合料疲劳性能的有效方法。     

深圳轨道交通投融资模式回顾及再创新探索

深圳轨道交通已进入高质量发展时期,政府的财政压力加大,需要再次创新投融资模式.深圳轨道交通前四期经历了一元、多元化的投融资创新,五期将实施轨道与土地一体化发展的思路,而上盖物业开发是轨道交通投融资再创新的基石.基于深圳利用先行先试、引领示范政策的大好机遇,提出两种创新的投融资模式:"轨道交通PPP项目+上盖物业规划+浮动现金补贴"模式创新点为轨道项目公司基于TOD理念做好上盖物业规划,政府按规划方案招拍挂,全额收取地价,按照协议所定浮动比例补偿项目公司,项目公司通过上盖物业规划最大化获得浮动现金补贴;"轨道交通PPP项目与上盖物业开发捆绑招标"模式创新点为轨道交通PPP与上盖物业作为同一项目捆绑招标,地价款可以抵扣轨道建设成本,减少土地收入中央及地方计提等费用,实现轨道建设成本和地价的最优组合,项目公司通过上盖物业开发获得增值收益反哺轨道建设运营,物业开发又为轨道交通吸引了恒常客流,政府和企业实现双赢.