【摘 要】
：
随着航空工业的发展和飞控软件复杂度的提高，对飞控软件可靠性和实时性的要求也越来越高。软件老化缺陷中存在一类缺陷，会使系统响应逐渐变慢，最终出现失效，严重影响飞控软件的可
【机 构】
：
北京航空航天大学自动化科学与电气工程学院,杜克大学电子与计算机工程学院
论文部分内容阅读
随着航空工业的发展和飞控软件复杂度的提高，对飞控软件可靠性和实时性的要求也越来越高。软件老化缺陷中存在一类缺陷，会使系统响应逐渐变慢，最终出现失效，严重影响飞控软件的可靠性和实时性，但目前没有定位这类缺陷的有效方法。针对这类缺陷的定位，提出了一种基于上下文的飞控软件老化缺陷定位方法。该方法将飞控软件的主循环建模成一棵任务树，飞控软件反复运行的主循环抽象成一个任务树序列。通过Mann-KendallTest对任务树中心节点的时间属性进行趋势检测，找到可疑任务，并根据任务树之间的关系对可疑任务进行筛选，定位出
其他文献
针对按需LEO（low earth orbit）卫星网络路由算法存在冗余控制开销,未充分利用新建路径有效信息完成后续路径建立等问题,提出了基于按需机制的高效低时延LEO卫星网络路由算法EIO
针对移动终端有限的电量以及现有垂直切换机制往往忽略终端电能因素,提出了基于终端能耗的垂直切换机制。网络发现阶段,提出一种自适应调整网络接口激活时间间隔的网络发现策
经济基础决定上层建筑,经济在一个国家发展过程中的重要性是不言而喻的。然而经济增长并不意味着经济发展,对于二者概念的混淆,极易造成＂有增长而无发展＂的经济现象。当前,中国
近年来,随着家居虚拟展示应用的推广,针对图像的室内场景建模技术成为研究和应用的热点。在图像理解的基础上,针对单张复杂室内图像提出了一套箱体建模方法。首先进行代表房
一项闪烁着智慧火花的技术，有望帮助日本的灾害处理人员控制和清理核事故所造成的污染。 处理核污染物，传统的方法还是用肥皂和水擦洗污染表面，而这样做的时候，清理人员往往必须移动危险废物，这加大了核辐射物进入供水或土壤的机会，也增加了工人自身的风险。更糟糕的是，其副产品是受污染的水，处理起来又是个难题。 现在，一种称为DeconGel的净化胶，正被用于处理福岛核事故禁区内外从路面到建筑物的多种场合。
为了实现对海量RDF（resource description framework）数据的高效查询,研究了RDF三元组在分布式数据库HBase 中的存储方法,基于MapReduce 设计了海量RDF数据的两阶段查询策略,将
物联网结合各种主干传输很适合远程实时监测,但是在一些位置偏远地区,一般没有互联网、有线专线等基础通信的IT 远程传输主干,移动信号也比较弱甚至可能没有,从经济角度和实
美国近日的一项最新研究发现，肥胖或许是导致人们听力丧失的危险因素之一，控制腰围或许有助于预防听力损伤。 美国威斯康辛大学的研究人员发现，肥胖是造成中老年人听力急剧退化的危险因素之一。研究显示，肥胖从人们的壮年时期开始损害听力，55岁前腰围过粗的男性比同龄男性的听力要差。而女性在停经后，由于缺少了雌激素的保护，听力状况也会随着腰围变粗急剧恶化。 专家建议，采取健康的生活方式有助于预防听力丧失。
吃得并不多，也不经常喝啤酒，但是很多中年男性还是无奈地长了“啤酒肚”，这是为什么呢？不妨先反省一下自己的睡眠。 “睡眠质量不高的男性很多都有啤酒肚，而啤酒肚男性往往睡眠状况也不太好。”美国这个世界第一大“胖子国”在对肥胖人群进行统计学分析时发现，啤酒肚(也就是向心性肥胖)与睡眠问题互有关联。 研究人员认为，睡眠时间关乎腹部脂肪增加，可能是因为睡眠质量差可能使人疲倦，导致日间无力锻炼身体，也
在业务流程管理中,确定流程模型的最小变化域是一项重要的问题。已有的方法主要是从整个模型的角度去分析考察它的最小变化域,计算量比较复杂,具有一定的局限性。为了尽快查找到目标模型中的最小变化域,提出了Petri网动态切片的方法。首先通过对比分析源模型和目标模型的结构图得出目标模型的可疑区域,接着依据行为轮廓的思想在目标模型可疑区域中搜索出变化域,然后通过Petri网动态切片的方法得到目标模型的最小变化