杂志简介：《工程科学与技术》杂志经新闻出版总署批准，自1957年创刊，国内刊号为51-1773/TB，是一本综合性较强的工业期刊。该刊是一份双月刊，致力于发表工业领域的高质量原创研究成果、综述及快报。主要栏目：水利与土木工程、机械工程、化学工程与材料工程、信息工程
杂志简介：《工程科学与技术》杂志经新闻出版总署批准，自1957年创刊，国内刊号为51-1773/TB，是一本综合性较强的工业期刊。该刊是一份双月刊，致力于发表工业领域的高质量原创研究成果、综述及快报。主要栏目：水利与土木工程、机械工程、化学工程与材料工程、信息工程
作者：沈昌祥; 陈兴蜀 刊期：2014年第01期
根据美国网络空间安全战略的启示，阐述了中国信息安全面临的挑战和主要任务；从加强信息安全保障体系建设、可信计算体系框架、创新发展可信计算等方面，详细阐述了如何将可信计算用于积极构建纵深防御体系，以及在这个防御体系构建过程中的创新点；最后，提出了捍卫中国网络空间主权、自主研发、网络防护体系、人才培养等方面的建议。
作者：傅建明; 沙乐天; 李鹏伟; 彭国军 刊期：2014年第01期
为保护操作系统内核的完整性，提出了一种基于硬件虚拟化技术的保护方案。该方法对关键寄存器、代码指针表、函数代码等恶意代码攻击的关键点进行识别和放入保护区，利用硬件虚拟化的自动陷入机制检测对保护区的非法篡改。同时，利用单步执行技术和事件转发技术保障0S其它操作的兼容性。另外，通过保护页的合并减少保护区的长度以提高异常处理的...
作者：王怀军; 房鼎益; 李光辉; 张聪; 姜河 刊期：2014年第01期
二进制代码保护技术不受源码语言约束，适用性更广。结合等价变形、控制流混淆、动态加解密等技术，研究并实现了二进制代码混淆保护原型系统MEPE。在MEPE中，基于拆分或替换指令的操作，以及算术和逻辑等价式，设计等价变形规则及对应的等价变形模板函数，对二进制代码进行等价变形。通过理论分析，证明了变形的多样性效果；利用控制流混淆对变...
作者：严飞; 石翔; 李志华; 王鹃; 张焕国 刊期：2014年第01期
通过可信硬件能够弥补单纯软件安全的不足，从整体上提高云系统的安全性。但是，面对云环境运行时的安全，传统可信硬件技术无法提供足够的保障。为此，提出了一种基于UEFI的虚拟机动态安全框架——vinin-Spector。该框架能够将UEFI固件作为可信基础，对云系统的基础设施层进行实时、动态的安全度量，提供传统可信技术无法达到的动态保护。在此...
作者：石勇; 郭煜; 韩臻 刊期：2014年第01期
虚拟桌面系统与传统PC桌面系统结构的不同，导致其在保证安全机制自身可信的同时，也会带来“语义差别”和效率降低等问题。提出了一种安全虚拟机完整性监控机制SVMIM（securityvirtualmachineintegritymoni-tor）。SVMIM采用混杂模式的安全结构，基于可信计算技术对虚拟桌面系统的代码加载过程进行监视和控制，有效克服“语义差别”问题，并保...
作者：马川; 王涛; 申利民 刊期：2014年第01期
针对并发行为难以描述和检测的问题，引入进程代数对系统调用序列进行分析，提出一种描述和检测并发行为的模型。首先通过静态分析二进制码得到系统的控制流程图，并对流程图进行分析生成进程表达式；接着针对并发行为的互斥和同步关系重写表达式，向表达式中添加并发操作；然后通过扩展进程代数的性质和运算法则构造出动作、算子和进程3个基本...
作者：王浩明; 杨晓元 刊期：2014年第01期
JPEG图像是人们13常接触最广泛的图像格式，因此对此类图像的篡改检测有着更加重要的意义。以JPEG图像篡改压缩后篡改区域相当于一次压缩为理论基础，研究了一次压缩和双JPEG压缩的基本原理，分析了质量因子Q1、Q2之间的大小关系对双压后图像DCT系数直方图统计特性所引起的变化，并分2种情况对图像进行分块求其DCT系数直方图，根据不同的方法判...
作者：赵涛; 李琳; 牧振伟; 邱秀云 刊期：2014年第01期
为得到大尺度浑水水力分离清水装置出清率与进流浓度、进流流量和底孔直径的关系，采用物理模型试验的方法对其进行了系列试验研究，并结合室内小尺度物模结果进行分析。结果表明：当溢流流量比较小时，不同的进流流量和底孔孔径对应的溢流浊度相差不大；当溢流流量较大时，溢流浊度随之增加，且溢流流量与进流流量基本呈正比。随着底孔孔径和进...
作者：蒋北寒; 侯极; 杨克君; 曹叔尤; 陈梁; 郭志学 刊期：2014年第01期
基于SKM方法和结合二次流的运动特性，提出了滩地种植一排植物的复式河道流速分布的计算方法。结果表明：二次流对复式断面水流具有重要的影响，忽略二次流项将给计算结果带来很大误差，预测值甚至达到计算值的两倍；传统区域划分法能够预测断面流速分布趋势，但计算结果误差较大；在主槽区的前半段和滩地区的后半段，计算值要小于实测值，在主...
作者：王雯; 槐文信 刊期：2014年第01期
采用标准k-ε紊流模型，结合雷诺平均Navier-Stokes方程，对刚性淹没双层植被明渠水流特性进行研究。计算所得的流速值与实测值吻合良好，表明计算方法可行。进而根据空间及时间的双平均理论，给出了双平均条件下的明渠流速、雷诺应力及紊动能分布，并对紊动能平衡方程中的各项进行了分析。结果可以看出，刚性双层淹没植被作用下，垂向流速分布曲...
作者：张超; 胡志根 刊期：2014年第01期
基于上游水电站控泄的施工导流方案决策具有多目标性和双边冲突性特点，提出了将上游水电站汛限水位和下游水电工程施工导流标准的组合作为施工导流方案可行集，在建立方案综合评价指标体系的基础上，考虑水文、水力不确定性，利用Monte-Carlo方法估算各风险效益指标值。基于协商定权理论，将指标权重的分配作为决策过程中上一下游水电站之间冲...
刊期：2014年第01期
2013年9月14～16日，第七届中国可信计算与信息安全学术会议（CTCIS2013）在秦皇岛成功举行。此次会议由中国计算机学会主办，教育部高等学校信息安全类专业教学指导委员会指导，北京交通大学、燕山大学、中国计算机学会容错计算专业委员会共同承办。
作者：薛进平; 胡志根; 刘全 刊期：2014年第01期
上游电站同步建设改变了待建电站施工洪水的时序分布，使得现行导流风险测度方法不再适用。为此基于风险分析理论，考虑系统面临的水文不确定性，构建系统风险分析模型。考虑上游电站断面洪水与区间洪水的相关性，采用Copula函数构造两分区洪水的联合分布，通过MonteCarlo方法模拟各分区洪水。在此基础上，耦合溃堰洪水模拟、河道洪水演进、洪水...
作者：周乾; 闫维明; 关宏志; 纪金豹 刊期：2014年第01期
现有的古建筑木结构抗震分析模型很少考虑嵌固墙体。为探讨嵌固墙体对木构架抗震性能的影响，采用数值模拟方法，以故宫太和殿为例进行了对比分析。基于榫卯节点及斗拱的力学特性，建立太和殿的2种有限元模型——包括／不包括嵌固墙体。通过模态分析，研究了嵌固墙体对木构架基频及主振型的影响；通过谱分析，研究了8度常遇地震作用下嵌固墙体对...
作者：高占远; 薛素铎; 李雄彦; 何永发 刊期：2014年第01期
针对索垂度在施工成形过程中不可忽略的问题，采用悬链线单元模拟索，依据胡克定律、小应变假设和变形协调方程等条件，推导了索原长的计算公式，给出了一种已知任意一个正值求解索原长度的二分法。在正交索网结构中，采用该二分法求得的索原长与已知条件给出的索原长进行对比，其误差均不超过0．16％，且不同初始值计算得到的索原长差别不大。...
