基于应用π演算的可信平台模块的安全性形式化分析

可信平台模块(trusted platform module,TPM)是信息安全领域热点研究方向可信计算的关键部件,其安全性直接影响整个可信计算平台的安全性,需要对其进行安全性验证.针对已有工作对TPM规范中多类安全性问题进行形式化建模与验证过程中所存在的不足,从分析TPM和使用者的交互过程出发,使用应用π演算对TPM进行形式化建模,把TPM规范中定义的各实体行为特性抽象成为进程的并发安全性问题,在讨论并发进程中机密性、认证性和弱机密性的基础上,对交互模型进行安全性论证,提出并使用自动定理证明工具验证了对应安全属性的改进方案.     

都市圈轨道交通一体化发展战略研究——以广佛都市圈为例

都市圈轨道交通的融合发展是推进区域一体化的重要基石.通过对国内外典型案例的分析,总结出都市圈轨道交通一体化发展的模式、特点和适用性.针对广佛都市圈既有轨道交通发展存在的问题,以出行需求为导向,提出了广佛两市轨道交通的衔接通道和模式.围绕实现"网络一体化、换乘一体化、票务一体化"三大核心战略目标,提出实施"枢纽锚固、互相渗透、联网编织"的发展策略,构筑了"互联互通、换乘便捷、一票通达"的广佛都市圈轨道交通"一张网".     

原料药生产工艺工业化考虑

本文论述了原料药生产工艺工业化应考虑的六个方面,有效引导药物研发工作者在工艺开发前期应关注因素,预测和判断放大生产前存在技术、安全、操作等风险,从而针对性的开展生产放大可行性研究,有效规避生产偏差发生,最大限度降低财产损失,保障我国原料药生产规模化运营。     

广州发展"公交城市"的战略与措施

轨道交通是城市交通的脊梁,是公共交通的重要载体。大力发展轨道交通是解决大城市交通问题的有效途径,是实现低碳城市交通可持续性发展的重要举措。广州作为特大型城市,要解决日益严重的交通拥堵和交通污染问题,必须充分发挥轨道交通的重要作用，积极打造广州“公交城市”，大力推进轨道交通建设，为广大群众提供安全、便捷、舒适、高品质的公共交通服务。     

广州新塘站城市综合交通枢纽一体化规划设计

新塘站位于广州东部增城市新塘镇旧城区内,是广州市城市空间"东进"拓展轴和综合交通网络上的重要节点。围绕将新塘站打造成广州东部门户城市综合交通枢纽的目标,规划首先从现状复杂地形、规划条件制约等方面分析新塘站一体化规划设计面临的困难与挑战;其次通过借鉴一体化综合交通枢纽的发展趋势与经验,提出一体化规划设计的目标与思路;最后基于人性化、集约化的设计理念,提出由水平方向三大功能模块、垂直方向五大功能层面构成的一体化综合交通枢纽格局。     

面向服务架构变电站驾驶舱全景信息整合研究

简要介绍了目前变电站存在的问题,阐述了变电站驾驶舱的内涵,构建了基于面向服务(SOA)架构的变电站驾驶舱全景信息整合平台。通过对平台架构的进一步研究,为智能变电站提供统一的数据源支持,实现物联网信息与其他变电站信息系统的有效整合。     

基于关键词的国内外人因工程研究现状分析

为了把握当前人因工程学的研究现状,本文选取中国知网(CNKI)2008~2013年收录的国内外人因工程学期刊的关键词为研究对象,采用词频统计、共词聚类分析和社会网络分析方法,利用文献题录信息统计分析工具SATI3.2进行词频统计,运用NetD raw和SPSS分别对统计结果进行社会网络分析和聚类分析。对关键词从无序到有序的层层分析,从关键词的角度探讨了国内外人因工程学的研究现状,通过分析发现国内人因工程研究内容比较分散,而国外人因工程研究内容集中;国内的主要研究领域是人机系统研究,国外的主要研究领域是不同人群的职业健康研究。     

达沙替尼的工业化生产工艺研究

以N-(2-氯-6-甲基苯基)-2-氨基-5-噻唑甲酰胺、4,6-二氯-2-甲基嘧啶和N-羟乙基哌嗪为起始原料,经两步缩合和一步精制,得到达沙替尼成品。本工艺合成步骤少,反应条件温和,操作简单,适合工业化生产。     

高铁综合交通枢纽规划设计探析——以广州南站为例

随着大型高速铁路枢纽在我国大城市快速发展和形成,相关的规划和设计问题也日益被人们所关注.由于目前国内缺乏该类交通枢纽规划的实践经验及科学有效的规范指导,广州南站综合交通枢纽规划设计明确了枢纽的功能定位,详细研讨了综合交通枢纽由传统的平面布局向立体化布局转变,以及实现各类交通设施的“零换乘”和“无缝衔接”的规划设计思路,...     

低温液相合成甲醇用新型铜基催化剂研究

应用络合共沉淀法制备了低温液相合成甲醇用新型铜铬硅催化剂 ,并采用TPR、XRD和TG等表征手段对催化剂的结构进行了表征 ,考察了铬含量、催化助剂以及活性中心价态对催化剂活性影响。结果表明 ,当w(Cr) =32 32 %时最优 ,甲醇的时空产率可达 2 32 5mmol/ (molCu·min) ;w(Cr) =12 32 %时助剂Zr、Mn的添加使甲醇收率提高 30倍