一种抵抗符号执行的路径分支混淆技术

程序在动态执行过程中泄露了大量的路径分支信息,这些路径分支信息是其内部逻辑关系的二进制表示.符号执行技术可以自动地收集并推理程序执行过程所泄露的路径信息,可用于逆向工程并可削弱代码混淆的保护强度.哈希函数可以有效保护基于等于关系的路径分支信息,但是难以保护基于上下边界判断的不等关系的路径分支信息.将保留前缀算法与哈希函数相结合提出了一种新的路径分支混淆技术,将符号执行推理路径分支信息的难度等价到逆向推理哈希函数的难度.该路径分支混淆方法在SPECint-2006程序测试集上进行了实验,试验结果表明该混淆方法能有效保护程序路径分支信息,具有实用性.     

改良钛石膏无侧限抗压强度研究

对钛石膏及其复合体系进行化学成分分析及击实、无侧限抗压强度等试验。钛石膏高含水率时会出现类似橡皮土性质,需掺加水泥或石灰等进行改良。钛石膏复合体系无侧限抗压强度与水泥、石灰掺量等成正比,复掺较单掺效果更好,掺量不大于干土质量1%时强度无明显提高。钛石膏复合体系受压呈锥形脆性破坏特征。     

玻璃幕墙节能设计

玻璃幕墙的节能设计对建筑节能具有重要意义。本文从材料节能、构造节能和辅助措施节能三方面,对玻璃幕墙的节能设计进行了探讨。     

浅析黔石高速公路沿线崩坡积体分布

石柱至黔江高速公路全长86 km,路线所穿越的地形、地质条件复杂,地质灾害问题较为常见.崩塌、滑坡发生后所形成的堆积体称为崩坡积体,除危岩、软弱地基外,崩坡积体也是石柱至黔江高速公路全线主要的不良地质之一.文章主要对该公路沿线经过的崩坡积体进行统计,描述其分布规律,并举例分析其形成原因与对路线和建筑的影响,在此基础上,...     

徐家汇交通换乘枢纽设计方案

主要介绍了上海市轨道交通网络中唯一的由3条市域线交汇的大型换乘枢纽———徐家汇交通换乘枢纽的实施方案:9号线利用既有地下室改造成车站、11号线车站设于拟建改造地块中、2条新建轨道交通线车站都避开了主要交通道路等,很好地解决了车站实施对地区交通、商业和环境的影响及工程实施的安全问题,是轨道交通理念和实施技术的突破。     

对上海城市主次干路建设模式的建议

文章认为主干路的运行质量远未达到预期目标 ,次干路的运行条件和路幅宽度都未满足标准等现状。提出未来道路的建设标准 :主干路实行机动车专用 ,严格控制交叉口间距 ,沿线结点保证一定的立交率 ;次干路以机动车交通为主 ,适当限制非机动车通行的规划建设模式。     

基于ADAMS的急回机构的研究

ADAMS软件在分析复杂机构的运动学和动力学方面有着强大的功能.以一急回机构为例,运用ADAMS建立了机构的模型并对其进行了仿真分析,提出了应用仿真技术对平面机构进行运动分析的方法,在理论和实践上具有非常重要的意义.     

天津市农村公路路面典型结构研究

根据对天津市交通量和土基等级的划分以及天津市农村公路建设的自身特点,给出了推荐选择的底基层、基层以及面层材料,对路面结构组合和厚度进行分析,最终提出适合天津市的农村公路沥青路面和水泥混凝土路面典型结构。     

二自由度柔性铰链六杆机构的设计与分析

柔性机构应用越来越广泛,且在很多机械系统中能有效替代某些刚性机构,从而使整个机械系统达到刚柔并济的目的.在研究混合驱动机构和柔性四杆、五杆机构的基础上,对混合驱动六杆机构进行变型设计.首先利用虚功原理建立二自由度柔性铰链六杆机构的伪刚体模型,得出该机构的伪刚体模型的普遍公式.同时,建立了该机构的拟柔性模型,并得出了拟柔性模型的普遍公式.然后对二自由度柔性铰链六杆机构进行了仿真,得出相关数据,建立了相关转角之间的函数关系.并在普遍公式的基础上解出在施加不同载荷下的二自由度柔性铰链六杆机构驱动杆转角的理论值.最后对仿真值与理论值进行了对比分析,证明了理论推导过程的正确性.