基于Yosys的硬件信息流安全验证与漏洞检测

针对基于功能验证和侧信道分析的硬件安全漏洞检测方法的不足,提出了一种结合Yosys形式化验证能力和门级信息流追踪方法对集成电路设计进行安全验证和漏洞检测的方案.首先,使用Yosys对硬件电路设计进行逻辑综合,生成门级网表.其次,为电路设计中各信号的每个比特位添加污染标签,并采用二进制位粒度的污染标签传播策略为基本逻辑单元生成门级信息流模型,进而以此为基本单元构建整个电路的信息流模型.然后,描述电路设计中关键数据的机密性和完整性属性,并将其映射为Yosys可识别的安全约束.最后,结合Yosys和电路的信息流模型对电路设计的安全属性进行验证,安全验证中捕捉到违反安全属性的事件,即表明硬件设计中存在安全漏洞.实验表明,该方法能够准确检测到AES加密电路中植入的一种可满足性无关项木马.实验结果验证了该方法能够在不依赖功能验证和侧信道分析的前提下检测到安全漏洞,因而适用范围更广.     

州6试验区功图法量油可行性分析

州6实验区选取了86口泵况正常井进行功图法量油,并与放空量油值进行对比,量油值符合率89．5％,对功图正常和供液不足的井均适用,量油值符合率达到T90％左右;对单口井进行两种量油方式多次对比,量油值变化规律一致,具备一定准确性;两种量油方式量油值对比不符合的井,大部分是由于油井结垢严重导致。     

温湿度在线监测系统研制

以电力线传输为基础,研制了一种温湿度在线监测系统。该系统由温湿度检测单元、系统集成单元和综合控制单元组成;温度和湿度由检测单元的传感器SHT10检测,通过电力线通信传送至系统集成单元;集成单元接收数据后通过RS-232接口发送到综合控制单元,综合控制单元将接收到的数据以图形或报表多种方式显示输出,实验结果证实该系统不仅实现了对环境多点温湿度的监测与管理,以及对历史数据的再现显示,而且大大节省设计成本。     

有色人种化妆品市场

论述了有色人种化妆品的市场现状,有色人种肌肤的特性,以及针对有色人种肤质问题的解决方案。对于有色人种专用化妆品的开发以及产品的安全性问题进行了阐述。如今,信息来源广的消费者懂的很多,对自己的需求非常清楚,非常了解自身的情况并能够与美容产品互动,更加关注产品的功效性,因此,有色人种化妆品的创新是对化妆品配方师的一大挑战。     

中国浆纸市场2014年11月价格行情

<正>RISI中国(纸业联讯)浆纸价格指数是在RISI多年全球浆纸市场研究基础上,对中国市场价格数据进行实时采集和分析而成,旨在帮助客户更好地把握行情变化,了解市场趋势。以下是中国浆纸市场2014年11月的价格行情。进口废纸2014年11月进口废纸市场OCC价格出现回落,特别是美废和欧废OCC价格下跌幅度明显,日废较为坚     

崇仁沙洲测区GPS网的设计与应用

本文首先介绍了GPS系统的组成及GPS网的布设原理,然后结合实例对GPS在控制网中的应用进行了分析研究,给出了几种GPS网的布网方法,最后通过崇仁沙洲测区GPS网的具体应用,探讨了GPS网布设的中在应注意的几个关键问题,以此利用最小的人力物力损耗来完成测量目标,具有一定的应用价值。     

辽河油田钻井工程监督管理系统研究与开发

随着辽河油田钻井工程监督中心信息化建设的不断深入,信息管理经历了从无到有的过程,2003年辽河钻井监督信息网正式发布,开启了监督信息网络化的征程。给钻井监督工作带来了便利,但随着信息化进程的不断发展,钻井监督信息网的信息量和信息管理方式远远不能满足管理层和用户的需求,为了让钻井监督信息得以充分利用,使信息方便、快捷、全面的发布到网上,这就需要建立一个简单易用、功能强大的信息管理系统。2009年辽河油田钻井工程监督管理系统开始研发,历经3年多的研究与开发,经过不断的用户需求调研和调试,该系统已初具雏形,目前该系统已进入了试运行阶段,本系统将为监督工作带来许多便利,成为钻井现场施工的信息宝库.     

BiVO4晶体的制备及其光学性能

在无氨水调节pH值条件下采用液相沉淀法制备了纳米晶BivO4粉体。通过XRD、SEM、紫外-可见分光光度计、色差仪和FITR等手段综合分析了煅烧前后BiVO。相结构和微粒形貌及其光学性能。结果表明：未煅烧的BiVO4具有四方相和单斜相两种结构，而500℃煅烧后为单一的等轴状的单斜相结构。与混合相粉体相比，纯单斜相的BiVO4具有较好的光学性能，亮度值81．7、黄品值85．9及色饱和度86．5％。     

基于局部积加权对比的红外弱小目标检测

针对复杂背景下因像素点噪声及高亮边缘干扰导致的对红外弱小目标检测率低、虚警率高的问题,提出一种基于局部积加权对比的红外弱小目标检测算法.首先,分别计算目标区域与背景区域均值,并得到目标与局部背景的差异性;提出一种局部积加权方法,极大增强了小目标的显著性与抑制背景杂波的能力;其次,采用多尺度算法增强算法的自适应能力;最后...