Model-based embedded compiled software fault positioning

Software fault positioning is one of the most effective activities in program debugging. In this paper, we propose a model-based fault positioning method to detect the faults of embedded program without source code. The system takes the machine code of embedded software as input and translates the code into high-level language C with the software reverse engineering program. Then, the static analysis on the high-level program is taken to obtain a control flow graph (CFG), which is denoted as a node-tree and each node is a basic block. According to the faults found by the field testing, we construct a fault model by extracting the features of the faulty code obtained by ranking the Ochiai coefficient of basic blocks. The model can be effectively used to locate the faults of the embedded program. Our method is evaluated on ST chips of the smart meter with the corresponding source code. The experiment shows that the proposed method has an effectiveness about 87% on the fault detection.     

胡锦涛科技发展战略思想初析

胡锦涛同志是中共第十六届、十七届中央委员会总书记。他在领导建设中国特色社会主义,推进我国科技发展进程中,继续并发展了党的三代领导核心关于科技发展的重大战略思想,提出一系列新的思想观点。从关于科技发展的特征地位、外部保证、战略运用、成果应用等四个方面对胡锦涛科技发展战略思想进行了初步论述。     

基于实数编码的加速遗传算法在混凝土温度场反分析中的应用

根据现场实验室内的混凝土长方体试件非绝热温升试验,在温度场三维有限元仿真计算的基础上,运用基于实数编码的加速遗传算法对混凝土的热学特性参数进行反演分析.反演结果表明,基于实数编码的加速遗传算法在混凝土热学参数反演分析中简单通用、适应性好、且反演收敛速度快,效率高.     

对浪子词人柳永的文化阐释

从雅文化与俗文化对撞的角度来看柳永的生存状态 ,柳永是俗文化的代表 ,以仁宗为代表的雅文化对其强烈排斥 ,柳永在两种文化斗争的浪尖上陷入了无边的生存焦虑中。柳永与私妓交往 ,专业作词 ,选择了极度个化的叙事立场和反中心、反传统的话语言说方式。这一切都与精英文化格格不入。他最终在对权力话语的解构中沉沦 ,成了文化斗争的牺牲品。他的悲剧是一种文化的悲剧     

模拟河道生物反应器原位修复受污染水源水研究

以弹性填料为载体,考察了模拟河道生物反应器处理受污染水源水过程挂膜启动特性,并对曝气强度、水力停留时间(HRT)等工艺参数进行了系统性能影响研究.结果表明,模拟河道反应器经24 d挂膜启动后,氨氮(NH3-N)、总磷(TP)、高锰酸盐(CODMn)的平均去除率分别达61.0%,29.6%,16.0%;HRT 24 h、体系溶解氧(DO)质量浓度(ρ)5.5~6.5 mg.L-1条件下,反应系统具有稳定的污染物去除能力,NH3-N,TN,TP,CODMn的去除率分别达到75.0%,11.1%,11.1%和26.1%.同时,增大曝气量和缩短HRT,污染物的去除效果均略有下降,后者对生物膜去污性能的影响较大.镜检结果发现,模拟河道反应器运行过程填料表面逐渐发生变化,由无色向棕褐色、褐绿色转变,并出现了藻类、细菌和后生动物等,生物量逐渐增多.结果初步揭示,填料表面附着的生物量及微生物种类与其对污染物的去除效率具有一定的相关性.     

飞机轮胎溅水计算方法及翻边轮胎挡水原理分析

当飞机起飞或降落在有水的机场跑道上时,飞机轮胎所造成水的飞溅会对飞机的安全飞行有重要的影响。飞机轮胎所造成的水的飞溅是个复杂的过程,与诸多因素有关,如飞机的速度,轮胎的形状和尺寸以及水的深度等等。介绍了影响水的飞溅角的重要参量和理论计算公式,通过计算得到不同速度下的飞溅角,并与相应的试验结果进行了对比,验证了算法的正确性。为了抑制溅水对发动机产生影响,引入翻边轮胎,通过分析计算发现翻边轮胎抑制水溅作用显著。在算例分析的基础上,解释了翻边轮胎的挡水原理,并给出了翻边挡水作用的判别公式。最后给出了选择翻边轮胎的方法,对飞机的溅水试验和飞机防溅水设计具有指导意义。     

断陷盆地油气藏保存条件综合评价

我国东部中新生代含油气盆地大部分为断陷盆地,对断陷盆地的油气藏保存条件进行综合研究具有重要意义。以盆地构造演化史研究为基础,对成藏期以后断裂的封闭史、构造抬升剥蚀、岩浆活动、地下水活动、盖层封闭和控油断层封闭进行了定性和定量分析,总结了断陷盆地油气藏保存条件的研究内容和以模糊评判为主的评价方法。将该方法应用于阜新盆地油气藏保存条件的研究,取得了很好的效果。     

生物炭作为无土栽培基质的初步探究

研究柠条深度裂解产生的生物炭作为无土栽培机制的可行性,以探讨柠条的综合开发和利用.试验分析了生物炭和草炭复配基质的理化特性,并对小白菜做育苗期盆栽试验.结果表明:当草炭和柠条炭的质量比为4∶2时达到最佳配比,此时混配基质各项指标均符合理想基质的要求;柠条炭具有强大的吸附能力和丰富的孔隙结构,其作为草炭的混配基质能够较大程度提高基质的透气性和速效钾含量,有贮存和缓释养分的作用.     

U*-逆半群的一些性质

主要研究了L~*-逆半群的1个子类——U~*-逆半群。首先引入U~*-逆半群的定义,其次证明了半群S为U~*-逆半群的充分必要条件是对任意的x∈S,存在唯一的元素x0∈H_1~*,使得x≤x0,并进一步给出了U~*-逆半群是F-富足半群的充要条件是M=H_1~*,从而将L~*-逆半群与F-富足半群之间建立了联系。     

一种超松弛的最优传输近似点算法

【目的】最优传输在实际应用中通常使用Sinkhorn算法求解熵正则化形式得到近似解,考虑Sinkhorn算法的效果容易受熵正则化参数影响,且难以收敛到最终精确解,提出了一种超松弛形式的近似点算法。【方法】针对原最优传输的近似点算法,为其中传输计划的迭代计算引入超松弛算子,并给出了超松弛参数计算方法。【结果】在保持算法对正则化参数具有鲁棒性及可收敛至精确解的优点的同时,所提算法能更快地收敛至精确解。【结论】数值实验表明,相较于原近似点算法,所提算法进一步提升了收敛速度,在有限的迭代步骤下能够达到更高精度,算法可更好地应用于机器学习。