基于灰度图谱分析的IP软核硬件木马检测方法

随着芯片设计、制造、封装等流程的分工细化,利用第三方知识产权（IP）软核进行二次开发可以明显提升设计效率,减少重复工作。但是大量非自主可控IP软核被用于加速设计时,可能导致芯片在设计阶段被植入硬件木马,使得芯片安全性难以保证。当前IP软核安全检测方法主要依赖功能测试、代码覆盖率和翻转率分析,或在语义层面进行关键字匹配,且无法对加密IP软核进行检测。在分析硬件木马结构及其在IP软核中实现特征的基础上,利用非可控IP软核与“Golden”IP软核中寄存器传输级（RTL）代码灰度图谱的特征差异,基于Trust-Hub构建“Golden”软核集,提出基于灰度图谱特征的IP软核硬件木马检测模型和算法。以功能篡改型IP软核B19-T100为实验对象,通过调整合适的成像矩阵参数,利用分块匹配对比方式实现硬件木马检测,结果表明,该算法的检测精度达97.18%。在对B19、B15、S38417等5类共18个样本进行测试时,所提算法的平均检测精度达92%以上,表明其可实现对硬件木马的有效识别,检测精度和适用性较强。     

对VRLA蓄电池的认识

对VRLA电池中的各种化学反应和各种操作模式下的平衡状态 ,特别是关于正板栅腐蚀和负极自放电两种主要副反应的平衡状态 ,结合ALABC的研究成果和近期评述 ,希望对VRLA蓄电池有一个全面、深刻的认识。     

软件质量综合评价方法研究

根据软件产品质量特点，给出质量综合模糊评价模型，并对模型中定量化方法作了较详细地讨论。     

对WLAN安全机制的攻击研究

本文介绍了WLAN的安全机制WEP加密协议和802.1x认证协议。主要讨论了对这两种协议的几类攻击行为,并对这些攻击行为进行分析.基于WLAN新的安全协议WPA的出现,本文对该协议进行了简单的介绍.     

离心式一次风机振动的处理

介绍了长兴发电厂1号机一次风机轴向振动大的解决过程。通过对风机的一系列试验 ,对振动原因进行了分析 ,并找到了解决振动的方法     

通信时长严格受限的半双工无线通信协议算法及其实现

分析了“非接触式车辆信息管理系统”研发当中所面临的技术难题,提出了一种基于CSMA技术的“改良型无线通信协议”算法及其软、硬件实现方法。     

神经网络用于玻纤增强酚醛树酯力学性能的预测

应用人工神经网络研究了热固性酚醛树脂的合成反应条件与其玻纤复合材料力学性能之间的映射关系。建立了可用于定量预测玻纤增强酚醛树脂静弯曲强度的模型,并进行了实验验证。结果表明,当醛／酚比取１．３～１．５时,相对于Ｍｇ（ＯＨ）、Ｂａ（ＯＨ）２和ＮａＯＨ而言,ＨＮ４ＯＨ催化所得酚醛树脂的复合材料在室温与２５０℃均有较高的静曲强度。神经网络方法对聚合物基复合材料的反应－性能定量关系研究显示出良好应用前景。     

动态平衡固井技术与实践

随着川西北地区勘探层位不断加深,川西勘探对象以深部下二叠统、寒武系地层为主。川西复杂超深井固井普遍面临纵向上多压力系统、窄安全密度窗口特点,常规尾管固井工艺已不能满足上述井况下环空有效封固。为解决该区块超深井尾管固井漏喷同存难题,针对压力敏感地层开展了动态平衡压力固井技术现场实践,形成以窄密度窗口固井环空压力控制和防窜水泥浆体系为核心的固井配套工艺,在LG70井φ114.3 mm控压尾管固井作业中进行了首次应用,确保了小间隙、井温高、漏喷同层复杂井况下的封固质量。该技术在后续超深井固井作业中推广应用也取得良好效果,为窄密度窗口井筒条件下防窜、防漏提供了一种切实可行的全新固井工艺。      

韶钢1号高炉延长冷却壁寿命的措施

针对韶钢1号高炉冷却壁破损原因,采取了调整风口、加大冷却强度、优化上下部操作制度和稳定热制度等措施,稳定了渣皮和炉况,遏制住了冷却壁频繁破损的势头,冷却壁工作状态良好,炉况顺行。     

颜色标准与图像显示

图像技术的发展要求在不同媒体之间彩色图像显示要有统一的颜色标准,以此实现彩色图像信息的发送、传输、接收、显示过程中的颜色再现的一致性。本文仅就ＣＩＥ／ＴＣ８技术分部成立和颜色标准化遇到的主要问题以及目前要研究的课题进行讨论。