嵌入式实时操作系统内核混合代码的自动化验证框架

"如何构造高可信的软件系统"已成为学术界和工业界的研究热点.操作系统内核作为软件系统的基础组件，它的安全可靠是构造高可信软件系统的重要环节.为了确保操作系统内核的安全可靠，将形式化方法引入到操作系统内核验证中，提出了一个自动化验证操作系统内核的框架.该验证框架包括：（1）分别对C语言程序和混合语言程序（C语言和汇编语言）进行验证；（2）在混合语言程序验证中，为汇编程序建立抽象模型，并将C语言程序和抽象模型粘合形成基于C语言验证工具可接收的验证模型；（3）从规范中提取性质，基于该自动验证工具，对性质完成自动验证；（4）该框架不限于特定的硬件架构.成功地运用该验证框架对两种不同硬件平台的嵌入式实时操作系统内核μC/OS-II进行了验证.结果显示：利用该框架在对两个不同的硬件平台上内核验证时，框架的可重复利用率很高，高达到88%，虽然其抽象模型需要根据不同的硬件平台进行重构.在对基于这两种平台的操作系统内核验证中，分别发现了10~12处缺陷.其中，在ARM平台上两处与硬件相关的问题被发现.实验表明，该方法对不同硬件平台的同一个操作系统分析验证具有一定的通用性.     

基于VxWorks的热备冗余远程自动测控系统设计

在设计长期加电工程项目的测试系统时,采用远程自动测控系统完成测试工作,远端无人值守。在测试过程中执行指令控制并对重要参数进行实时监测,为监测人员提供参考信息及故障预报。自动测控组合是远程自动化测控系统设计的核心设备,可接收、执行和记录来自综合控制台的控制指令,实现对测试数据的采集、发送和存储。基于VxWorks操作系统的自动测控组合应用1553B总线通信模式,采用双机热备冗余的系统架构,在系统长期连续加电的情况下,支持热插拔更换整机的方式,单机设备发生故障可自动检测并切换,保证系统功能不失效。采用龙芯2J芯片的主控制板、基于龙芯的MIPS架构的VxWorks实时操作系统。VxWorks操作系统可靠性高、实时性强、可裁剪,占用很小的存储空间,保证了系统在长期加电过程中的高稳定性和可靠性。     

节能型低导热性内衬耐火材料

为了有效地控制工业窑炉在间歇式操作时的热能损失,降低内衬材料的热容量和导热系数非常重要。开发了低导热性内衬耐火材料,使导热系数降低约30%。新开发的耐火材料在100t的LF炉中应用证实LF处理时间缩短10%、LF耗电量降低8%。在185t钢包中使用,获得了大幅度抑制钢水温度降低的效果。     

基于Cortex-M的嵌入式设备固件更新方法研究

本文提出了一种基于分散加载技术实现Boot程序和用户应用程序在同一个工程编写开发的固件更新方法 .通过编写分散加载规范文件在工程中实现代码存储区分区.为了保证固件更新的稳定性和可靠性,在固件下载过程中引入CRC校验、丢包错包重传等容错技术.实验结果 验证了方法的有效性和可靠性.     

亲水作用色谱-串联质谱法测定动物源运动食品中3种氨基糖苷类抗生素的残留量

该研究建立了一种亲水交互作用色谱-串联质谱（HILIC-MS/MS）法测定动物源运动食品中潮霉素B、新霉素、安普霉素3种氨基糖苷类抗生素残留量的方法。结果表明，样品经Sielc Obelisc R柱分离，采用0.1%甲酸水溶液-乙腈梯度洗脱，可以实现3种目标物组分的分离。在此条件下，3种氨基糖苷类抗生素在5～500 ng/mL的质量浓度范围内线性关系良好，相关系数R2为0.999 5～0.999 9，检出限均为15 μg/kg，定量限均为50 μg/kg，保留时间的日间和日内相对标准偏差（RSD）分别为3.5%～7.9%和3.5%～4.1%，峰面积的日间和日内RSD分别为3.6%～7.4%和3.2%～3.9%，加标回收率为85.7%～93.6%，回收率试验结果的RSD为3.1%～5.2%。该方法可以满足动物源运动食品中3种氨基糖苷类抗生素的检测需求。     

Omega-6支撑身体，Omega-3支撑大脑：均衡摄入对儿童大脑发育的影响（网络首发、推荐阅读）

人体大脑和身体的发育，需要从食物中摄取均衡的营养物质。人类大脑是区分人类和其他动物的特征。食物中的必需脂肪酸是机体组织结构和功能的必要组成部分。Omega-6（O6）亚油酸（LA6）是皮肤组织的组成成分，且是炎症、血栓形成、免疫和其他信号分子的前体；Omega-3（O3）α-亚麻酸（ALA3），特别是其长链代谢产物——二十二碳六烯酸（DHA3），是大脑、视网膜和部分神经组织中的关键组分。从富含LA6脂肪酸（缺乏O3脂肪酸）的植物籽中提取出的廉价而优质油脂，是20世纪的西方国家食品工业生产的主要脂肪来源。在代谢通路中，高浓度的LA6脂肪酸可拮抗O3脂肪酸代谢，造成O3脂肪酸不足，因此，在给怀孕动物的饲料中，只提供富含LA6但缺乏O3脂肪酸的油脂作为唯一的脂肪来源，会导致幼崽大脑发育不良。过去20~30年的研究表明，低含量LA6且含DHA3的油脂可改善大脑的功能。近年来的研究较多集中在营养因素对大脑发育的影响，最新研究数据表明，脂肪酸平衡对营养不良儿童的大脑发育尤为重要。世界卫生组织（WHO）越来越重视大脑的营养健康，通过其下属的食品法典委员会，建议用于治疗严重急性营养不良儿童的即食治疗食品中，使用含有均衡脂肪酸组成/构成的脂肪。同样，脂肪酸均衡对老年人可能也很重要。目前，业界已经有了调整油脂成分的方法，以确保脂肪酸均衡，从而维持人体整个生命周期的大脑健康。     

基于Web的3D模型浏览与交互系统的研究与实现

设计了基于Web的3D模型浏览与交互系统，主要采用基于WebGL的第三方库Three.js来实现。该系统的建立主要包括场景的构建、场景的交互控制和模型的云存储。模型是场景构建的前提，用户可从外部导入所需模型或利用系统自带的简单模型进行模型的构建。场景交互技术主要包括模型的平移、旋转、缩放、拾取、剖切、3D动画模型的播放以及信息的显示等。模型的云存储是指用户可以通过登录账户将3D模型存储到服务器，日后需要时直接从服务器中加载即可。     

月桂酸-棕榈酸/Al2O3复合定形相变材料的制备与热性能研究

采用溶胶-凝胶法,以异丙醇铝(AIP)为单一铝源,无水乙醇为溶剂,聚乙烯吡咯烷酮(PVP)为聚合物模板,并添加浓盐酸作为催化剂和胶溶剂,制备均一稳定的前驱体纺丝液,再结合静电纺丝与高温煅烧技术制备了Al_2O_3纤维毛毡,用其作为支撑材料吸附月桂酸-棕榈酸(LA-PA)二元脂肪酸低共熔物制备复合定形相变材料。利用红外光谱、X射线衍射、扫描电镜和BET比表面积分析仪等手段研究样品的表观形貌与晶型结构。结果表明:经吸附后制得的LA-PA/Al_2O_3复合定形相变材料具有良好的形貌结构。通过差示扫描量热仪、热导率及自组装热性能测试仪对制备的LA-PA/Al_2O_3复合定形相变材料的储热性能及热能储存/释放性能进行了研究。结果发现其具有适宜的相变温度和较好的相变焓值,拓宽了复合定形相变材料的应用范围。