摘要：完整性度量框架是可信计算平台的重要组成部分之一.但过往研究工作所提出的完整性度量框架设计在实际应用于嵌入式设备场景时,往往体现出不同程度的局限性.提出了内核级动态完整性度量架构(dynamic integrity measurement architecture at kernel-level, DIMAK),一种针对嵌入式Linux操作系统的实用化完整性度量架构,为基于Linux的嵌入式设备提供有效且高性能的运行时完整性验证能力.该架构支持对映射至系统内核空间及用户进程的可执行文本、静态数据以及动态链接信息等关键内容实施即时(just-in-time)完整性校验.利用Linux内核的进程、内存和页面管理机制,DIMAK实现了对被度量内容所驻留物理页面的运行时校验,避免了基于文件的静态度量方法可能存在的检查与使用时差(time-of-check to time-of-use, TOCTTOU)漏洞.通过首次引入对位置无关代码的重定位/动态链接信息的完整性基线预测方法,DIMAK在面对包括基于hooking的控制流劫持、恶意代码运行时载入等攻击威胁时具有较之现存同类技术更强的完备性.另外,通过引入对软件热补丁功能的可信验证支持,DIMAK在系统完整性度量问题中将该应用场景与恶意攻击行为正确地加以区分.根据各种被度量实体的不同类型,DIMAK在离线阶段、系统启动时、进程加载时和代码动态加载时等时机分别生成其对应的完整性基线,确保其完整性验证行为的正确性.真机测试显示,所述的DIMAK架构产生的性能开销完全可以满足嵌入式设备场景下的实际应用要求.

摘要：以XC 164单片机为控制核心,PFC控制器FAN 7527作为复合驱动芯片,提出了一种基于数字PI控制的LED照明系统的PW M稳压恒流控制方案。该方案实现了光衰补偿、节约电能、远程控制功能。同时样机实验表明,该方案可满足LED作为照明的实际需要。

摘要：针对目前高速电路发展带来的信号完整性问题,在分析信号完整性要求的基础上,借助HyperLynx仿真软件,通过器件IBIS模型,对基于EP2C8和TMS320F2812组成的系统进行信号完整性分析和仿真。基于反射原理来介绍减少反射的端接方法,利用大量的板前和板后仿真对设计方案进行反复验证。研究结果表明,HyperLynx可以解决该系统信号完整性方面存在的诸多问题,仿真结果给实际工程提供了借鉴。

摘要：继小埠东橡胶坝之后,沂河又新建桃园橡胶坝工程。桃园橡胶坝工程将橡胶坝与砌石溢流堰相结合,形成橡胶—砌石混合坝,且新增船闸工程,增加了工程难度。因建设环境等原因,两处橡胶坝在地基、施工导流方案、锚固槽施工方案、混凝土浇筑方案、充排水管道、坝袋颜色等方面也存在差异。目前角沂橡胶坝正在建设中,加上正在规划设计的刘家道口橡胶坝胶坝,沂河梯级橡胶坝将形成世界最大的梯级橡胶坝群。

摘要：2009年11月～2010年6月，为配合基建，考古工作者对四川绵阳市涪城区新皂镇石梯子村桐子梁崖墓进行了抢救性发掘，发掘崖墓123座，其中东汉墓葬113座、东晋南朝时期崖墓10座。东汉墓M40、M50、M67规模较大，随葬品丰富，在墓室两侧和顶部有墨线或浮雕并施彩绘的图像和仿木结构建筑。桐子梁东汉崖墓的发掘为这一时期绵阳地区的文化面貌以及艺术史研究提供了重要材料。