一种基于属性的操作系统内核自动验证方法

传统的模型检测摒除了很多软件实现细节,要检测实际的代码,就需要从代码中直接建立抽象描述.而操作系统内核结构复杂,手动对源代码进行抽象存在建模工作量大、人工参与过多易出错以及属性难以描述和检测等问题.本文以Linux内核作为实验对象,提出了一种基于属性的OS内核自动验证方法,利用模型抽取工具Modex自动的从inux内核源代码抽取模型,试图保证模型与实现代码一致性的同时减少因人工参与产生的人为错误,然后用时间轴属性来描述属性,最后用模型检测工具Spin对Linux内核代码模型进行检测.实验选取了Linux内核中接口和数据结构相对复杂的调度器进行模型的自动抽取与属性检测,验证了该方法在操作系统内核模型检测中的有效性和实用性.     

基于FPGA的AFDX端系统协议栈虚链路层的研究与实现

AFDX具有传输速率高、导线长度和重量小、容易映射ARINC429和MIL-STD-1553等优势,且应用商用货架技术和开放式标准,是下一代航空数据网络的最佳选择之一;协议栈是AFDX端系统设计的重点,协议栈的虚链路层包含了AFDX为消除网络的不确定性,对商用以太网进行改进而加入的新功能,是协议栈设计的关键;本文对AFDX协议栈的虚链路层进行了研究,给出了它的一种设计并使用FPGA对其进行了实现;在端系统研制中的应用表明,本文的研究实现了虚链路层的功能,并达到了AFDX标准的要求。     

交直流同时供电同步发电机的建模

独立交直流同时供电系统被广泛应用在车辆、舰船和飞机等需要同时提供交流电和直流电的场合。在这些电源体积重量受限制的场合, 交直流同时供电同步发电机有特殊的优势。为了提供高品质的电力, 电源的交流电压波形畸变率和直流电压纹波倍受关注, 但其精确计算比较困难。本文使用多回路方法建立了交直流同时供电独立系统的数学模型, 对磁场谐波的作用进行了比较精确的计算。文中对整流桥和自动励磁调节器（ＡＶＲ） 的模型也作了介绍。本文的结果与实验比较, 证明了模型的正确性     

摩擦式自动张紧器的设计与优化

以某型柴油机附件传动系统作为研究对象,分析附件传动系统主要零部件张紧器卡滞现象的产生机理。建立该摩擦式自动张紧器在静态激励下加载和卸载时库伦摩擦扭矩曲线的计算模型,分析张紧器摩擦力矩和弹簧力矩在卡滞现象中的作用。开展张紧器对照试验,通过张紧器在衰减弹簧刚度、较大弹簧刚度和高摩擦力矩情况下的运动表现,研究卡滞现象的原因。通过建立摩擦式自动张紧器的参数化模型,提供了优化张紧器弹簧刚度和摩擦力矩的设计途径,对防止摩擦式自动张紧器卡滞具有参考价值。     

固体缓蚀剂的研制及应用

本文介绍了固体缓蚀剂的研制及应用情况,实践证明,研制的固体缓蚀剂比目前使用的液体缓蚀剂具有更加优越的性能和防腐效果,应用前境广阔。     

土木工程施工理论教学与现场教学相结合的研究

土木工程施工是一门实践性、综合性极强的课程,将理论教学与现场教学相结合有利于学生掌握所学理论知识,提高运用知识的能力。为此,文章论述了理论教学与现场教学相结合的意义、目的,以及开展方法和内容,提出了保证现场教学有效、安全开展的措施和建议。     

HTPE/增塑剂共混体系相容性的分子动力学模拟

用分子动力学(MD)方法模拟研究了粘结剂端羟基聚醚(HTPE)与增塑剂邻苯二甲酸二丁酯(DBP),癸二酸二辛酯(DOS)和邻苯二甲酸二乙酯(DEP)的相容性及HTPE/增塑剂共混物的玻璃化转变温度(Tg)。结果表明,当共混体系中存在较强的分子间氢键作用时,通过分析结合能、径向分布函数和玻璃化转变温度,可综合评价HTPE与增塑剂的相容性。HTPE与三种增塑剂相容性的优劣顺序为HTPE/DBPHTPE/DOSHTPE/DEP;通过温度-比容关系得到了HTPE,HTPE/DBP,HTPE/DOS及HTPE/DEP四种体系的Tg,依次为190.26,176.30,168.82,178.33 K。     

听美星“胆尊2号”推丹拿“小证据”

笔者玩音响20多年，一直都有胆机情节．从20世纪90年代初烧就开始玩6P6P入门合并机，后来又玩过一段时间某国产品牌的单端211后级．对此类大中型电子管机的音色和推力都留下了很好的印象。升级落地箱后，由于种种原因．后级换成了大功率的并联推挽机，从12只KT88的美国“雀仔”旗舰后级ZEUS．到8只KT120的美国“诗醉”旗舰立体声后级ART。     

音响发烧线材选择心得

在音响器材“三大件”（音源、功放、音箱）组建完毕后，就要开始选择线材了。由于电源线，信号线．过机线．音箱线都可以改变声音．因此先调整哪个环节．怎么调整，这是发烧友最头疼的环节。如果身边没有老烧友指导，没有大量的线材试用对比．折腾几个月甚至几年都有可能不满意。笔者发烧20多年，直到近两年开始代理进口品牌线材．每天都有机会对比不同长度、不同型号的多种线材．随时可以和线材设计师交流咨询，才终于摸索到一点经验和心得。现在把自己的经验分享出来．供朋友们参考。     

书套行业标准通过审定

现今,越来越多的中小学生因爱书、护书,用书套替代传统的用纸张包书的习惯。我国有1.8亿中小学生,这是一个巨大的消费群,市场潜力很大。为了确保广大青少年学生的使用安全,保证产品质量,规范市场,提高书套出口竞争力,促进书套生产行业的健康发展,中国文教体育用品协会学生文具专业委员会于2011年提出《书套》行业标准立项建议。根据中国轻工业联合会《2011年轻工业行业标准制定、修订项目计划》,编号：2011-2503TQB,标准项目名称《书套》。组成起草编制小组,主要起草单位为：广东联众文具有限公司、福建新代实业有限公司承担该标准的编制工作。