硬件木马技术研究综述

集成电路芯片在设计、制造及使用过程中都可能会被植入硬件木马,电子设备的安全受到极大威胁。近年来,硬件木马的设计和检测技术逐渐受到重视,已成为研究热点。首先分析了硬件木马的特性和概念,然后在介绍硬件木马主要分类方法的基础上,提出了用于评价硬件木马隐藏特性的功能分散粒度、激活概率和阈值功耗等衡量指标。探讨了几种典型硬件木马的设计思路和检测方法,分析了硬件木马检测方法存在的问题与面临的挑战,最后对硬件木马相关技术的研究与发展提出建议。     

低影响开发措施的调蓄池代用模型应用研究

将暴雨洪水管理模型（storm water management model,SWMM）中的调蓄池模型作为低影响开发（low impact development,LID）设施的代用模型进行雨洪模拟,工程应用中可在没有具体LID参数条件下,采用所研究模型替代LID措施进行城市雨洪径流过程模拟。根据研究区域下垫面的用地性质、建设年份、建筑密度判断LID实施的难易程度,并采用模糊综合评判法将其分为5种地块,在5种地块上设置LID,根据单位面积调蓄深度（地块调蓄总容积与地块面积的比值）的大小,给出不同地块的LID最佳组合范式,并将各地块的LID方案采用代用模型进行替换。将代用模型应用于工程实例进行模拟,得到该排水区在不同重现期条件下的降雨径流过程,评价排水区实施LID措施的应用效果。     

最速下降线及其自动查找

对坡降线作了深入具体的研究,给出了其微分方程形式及在离散情况下的近似表达;给出了坡降线自动生成的一种算法,并对其中的一系列理论和计算问题进行了探讨。     

超高压纯水射流除锈机的数值模拟

利用气液两相混合模型,对超高压纯水射流除锈机真空工作腔内射流冲击区的流场进行了数值模拟.数值计算结果表明:靶距(清洗机喷嘴到除锈作业面的距离)的优化范围为7-15 mm;高速射流的打击力和剪切力随靶距的变化而变化,它们在靶距15 mm时到达峰值,该结论已被试验所证明;k-ω模型的稳定性和收敛性在所采用的紊流模型中是最好的,计算机时也最少,最经济.     

基于FPGA的嵌入式平台中TPM的扩展实现

随着可信计算技术的发展,利用可信计算来提高嵌入式系统的安全性已成为热点。针对可信计算技术中的核心硬件可信平台模块（Trusted Platform Module,TPM）,文章提出了一种TPM在嵌入式系统中的扩展方案,并在ARM嵌入式平台中进行了设计与实现。通过研究TCG定义的PC可信计算平台硬件结构,在分析比较嵌入式平台的通用外部接口的基础上,选择SPI总线进行信号的扩展;基于FPGA实现了SPI总线周期与TPM的特殊LPC总线周期间信号的转换和匹配,有效的解决了TPM在嵌入式平台中的硬件扩展问题。     

气体作冷却润滑剂的绿色切削试验

为实现绿色切削,研究了无污染、无危害的冷却润滑技术.采用氮气、氧气、二氧化碳气、氩气及过热水蒸气作冷却润滑剂,进行了单因素切削试验.试验结果表明,这些气体冷却润滑剂可以减小切削变形、切削力,降低切削温度,改善加工表面形貌.根据试验结果和冷却润滑作用机理分析可知,气体在切削中具有一定的冷却润滑作用,同时具有来源广泛、无毒害和污染、不用回收处理等绿色特点,故气体具备绿色切削的潜力.     

逻辑承载网构建效果评价方法研究

逻辑承载网构建效果的评价是对一体化承载网的资源优化使用的重要手段。文章首先给出了物理承载网、用户需求和逻辑承载网等内容的具体数学模型,以描述逻辑承载网的特性。在满足用户需求的基础上,从物理承载网的剩余网络拓扑结构和资源分配均衡性的角度,使用图的连通性理论和概率论方法,提出了综合性的评价标准。     

适用于16QAM信号的载波频偏估计算法

给出了一种适用于16QAM信号的载波频偏估计算法。该算法先采用前向估计的TD算法粗略估计信号频偏并对其进行补偿。之后采用改进的科斯塔斯环频偏估计算法对信号进行精确的频偏估计并消除频偏。该算法具有估计精度高,频偏估计范围大,计算量小等特点,适合工程实现。     

基于可信网络连接的局域网数据保密系统设计与实现

基于可信网络连接TNC规范,设计并实现了一个局域网数据保密系统。根据TNC的可信平台机制对网络访问的终端实体进行接入控制,采用内核级的文件过滤驱动技术对敏感信息进行监控和保护,防止敏感信息的无意泄漏和恶意窃取,达到文件受控于可信网络环境的要求。基于可信网络连接TNC规范,设计并实现了一个局域网数据保密系统。根据TNC的可信平台机制对网络访问的终端实体进行接入控制,采用内核级的文件过滤驱动技术对敏感信息进行监控和保护,防止敏感信息的无意泄漏和恶意窃取,达到文件受控于可信网络环境的要求。基于可信网络连接TNC     

基于温控参数折减有限元法的水库进水塔-地基结构稳定分析

针对边坡稳定分析中采用的强度折减有限元法,提出用温度场控制强度参数折减和变形参数调整的有限元法,对结构复杂的水库进水塔-地基3维结构进行稳定分析,较于传统的强度折减有限元法大大提高了计算效率。用考虑变形参数调整和不考虑变形参数调整的温控强度折减有限元法,分别对算例进行分析,并将其和水压超载法计算进行对比计算,综合不同部...