基于检测能力分析的控制流检测优化方法

控制流检测是抵抗单粒子效应的有效手段之一。高效的控制流检测方法须实现容错性能和容错开销的合理均衡。首先对控制流标签检测方法的检测性能及影响因素进行建模分析,得到了标签添加的理论基础。然后将一种基于格式化标签的可拓展控制流检测方法ECCFS做为优化目标算法,并以程序扩展块划分为优化手段,提出一种基于检测能力分析的控制流检测优化方法。该方法给出了容错开销与可靠性提升的工程参考和理论依据,并且实验结果验证了该方法受程序控制流图影响较小,能够实现容错开销与可靠性的合理均衡。     

改进的CFCSS控制流检测算法

针对软件控制流检测算法(CFCSS)存在的检测混淆和检测出错问题,分析了造成可靠性差的根本原因,并根据汇编语言结构特点,通过修改基础基本块的选择方法和多调整签名值赋值语句的插入位置,提出了改进的软件控制流检测算法(ICFCSS),弥补了硬件故障容错性能上的不足,改进算法克服了出错问题的发生.实验表明:此检测算法的平均未...     

基于块的流图模型及其控制流图

针对传统的流图模型存在的定位困难以及无法给出覆盖率信息等问题，提出了基于块的流图模型及其基本图式。该模型巧妙地借鉴了集成电路布丝的思想，极易从控制流图定位到程序代码，而且在流图上附有覆盖率等信息，尤其适合应用到具体的工程测试中进行排错和覆盖分析。最后，给出基于块的流图模型的两种不同的表现形式：BlockFlow图和BlockDiagram图。这两种形式表明基于块的控制流图模型是非常有效的。     

基于中间语言的逆编译方法

提出一种以中间语言为基础的逆编译方法，此方法道德把机器语言程序转换为中间语言的程序，然后在中产是语言程序上进行数据类型分析和控制流程分析，最后生成目标高级语言的程序。     

基于交叉控制流混淆技术的编译方法

为了保护软件知识产权,阻止逆向工程和静态分析,研究内置迷惑技术的编译器.提出交叉控制流的代码迷惑技术以及应用这种技术的编译实现方案.给出if语句和while循环语句控制流交叉原理,产生多入口多出口控制块,使代码控制流复杂化.同时把被保护代码块放置于交叉控制块间,以达到隐蔽真实控制流的目的,因而能有效阻止自动反编译并增强软件分析的难度.由于源代码级不可形成控制交叉,给出内置此功能的兼容编译实现方法,使得程序员书写的代码简单而安全.经仿真和分析,提出的技术对代码具有很好的保护效果,编译后的目标指令有略微增加,而运行效率几乎不受影响.     

面向二进制程序的开源软件缺陷检测方法

开源软件源代码缺陷分析已引起广泛关注,但各类程序都以二进制形式运行,目前仍缺少在有限时间内对大量二进制程序进行缺陷检测的有效方法。针对这一问题,提出了一种结合软件路径特征的卷积神经网络方法(Path-Based Convolution Neural Network, PB-CNN),用于二进制开源软件的缺陷检测。首先根据跳转指令将二进制程序分割为多个基本块并构建控制流图,然后遍历控制流图以提取软件路径特征,接着结合多通道卷积神经网络提取其深层特征并训练PB-CNN神经元参数,最后通过训练好的PB-CNN检测软件缺陷。实验结果表明,PB-CNN方法有效提取了二进制程序的路径特征,提高了缺陷检测精度。     

一种基于控制流的web应用系统测试方法的探讨

web应用系统的使用与日俱增,web技术层出不穷,但是web应用系统的测试却是一个难点。提出一种基于控制流的测试方法,对web应用系统建立控制流模型,并给出形式化的定义,采用模型进行测试用例的产生,为了使测试自动化,并阐述脚本技术和测试执行器的设计。     

集成数据流和控制流的协议测试集自动生成方法研究

测试集自动生成方法的研究是协议一致性测试领域中比较活跃的一个分支,提出了一种基于ＥＢＥ模型,集成数据流和控制流测试的新的协议测试自动生成方法并给出了其实现ＴＵＧＥＮ。ＥＢＥ模型中对协议的外部行为进行描述,强调变迁之间的数据依赖性。在ＴＵＧＥＮ中,我们引入控制流测试中的ＵＩＯ序列算法和描述协议不确定性的ＡＩＯ树的概念,运用协议约束集来灵活地控制自动生成过程中的协议空间搜索的复杂性,并采用测试集的验证     

基于小波静态分解的离散小疵点检测

在分析织物疵点特点的基础上,提出了一种新的检测方法.首先根据正常织物小波分解后的能量来确定小波基和小波分解层数.接着对测试图像进行小波静态分解,然后提取子图中的子窗口标准差作为提取的特征;在此基础上,通过与正常子图中的特征相比较来判断小疵点是否存在.最后通过提取特征构造的标准差图确定小疵点的位置.实验表明,该检测方法是有效的.     

基于彩色图片的人脸检测方法

提出了一种基于肤色的精确人脸定位算法,详细叙述了在图片的颜色调整与肤色检测,肤色区域的平滑、分割与填充,候选眼睛的选取及配对中遇到的具体问题并提出了解决方案.本算法能较为准确地定位彩色图像中的正面、小角度偏侧和旋转的人脸,还能检测出一幅图中的多个人脸.     

射流主动流动控制对舰船甲板流场的影响

随着舰船的发展和大量应用,舰船甲板流场的分析与控制的重要性进一步凸显出来。为改善舰船甲板流场,提出了一种新型的基于射流装置的主动流动控制方法,并以直升机桨盘位置为例分析了不同射流装置参数对于直升机桨盘流场优化的效果。首先基于Navier-Stokes方程建立了舰载直升机甲板流场的数值模型,以研究基于射流主动流动控制对舰船甲板流场的影响。然后该方法选取k-ε湍流模型,并通过算例验证了方法的有效性。最后模拟得到添加射流装置的舰船甲板流场流线与速度分布,结合流场信息对旋翼受力的影响对比分析了加装射流装置对舰船甲板流场的流动控制作用。结果表明：上射流的添加可以使得甲板流场中回流区的影响范围减小,从而使得桨盘流场速度梯度减小;桨盘流场速度梯度的减小可以有效降低旋翼气动力变化和响应水平;不同的来流角下添加上射流装置均能通过控制甲板流场从而减小响应,提高直升机的安全性。射流速度对流场控制效果影响显著,应结合射流装置安装位置选取最优射流速度从而达到较好的控制效果。     

基于热力学法的风机效率和流量监测模型

风机效率和流量的准确测量对于保障风机的高效安全运行具有非常重要的作用。提出了基于热力学方法的风机效率和流量监测模型,无需测量风机的流量即可确定风机效率,可有效解决风机效率和流量在线监测的难题。该模型考虑了湿度对空气热力性质的影响,同时分别计算了轴承轴封摩擦、泄漏损失和风机壳散热等风机轴已提供但未被流体带走的外部损失,保证了模型的精度。实际计算结果表明,该模型精度高,可靠性好,可以满足工程实际需要。     

基于广域测量系统的潮流转移关键线路快速搜索

提出了一种基于广域测量系统(WAMS)的快速搜索潮流转移关键线路的方法。采取先缩后扩的搜索模式,即由断线线路的并行输电线路出发,先缩小范围,寻找其中与断线线路相角相近且潮流转移电气距离最小的线路构成等相角并行线路;再扩大范围,根据潮流走向寻找等相角并行线路的上游或下游线路。等相角并行线路及其上游或下游线路即为潮流转移关键线路。利用图论确定搜索范围,根据电压相角和线路电抗筛选潮流转移关键线路。在IEEE39节点系统进行仿真计算,验证了该方法的有效性和优越性,通过对仿真结果分析,该方法在准确率、计算量以及电网适应性上有显著优势。     

基于图卷积网络的交通流预测方法综述

近年来,基于深度学习的交通流预测方法一直是交通流预测领域的研究热点.与传统卷积神经网络不同,适合处理非欧几里得数据的图卷积网络在空间特征建模方面表现出了强大的能力,而反映路网空间特征的拓扑图、距离图、流量相似图等正是典型的非欧几里得数据.因此,基于图卷积网络及其变体的交通流预测方法成为交通流预测领域的一个研究热点,并取得了很多有吸引力的研究结果.本文对近年来基于图卷积网络的交通流预测模型进行了分类和总结.首先,从图卷积网络的基本定义出发,结合空域图卷积和谱域图卷积的定义详述了图卷积的基本原理.其次,根据预测模型的网络结构特点,将基于图卷积网络的交通流预测模型分为“组合型”和“改进型”两大类,并对其中最具代表性的模型结构进行了详细分析和讨论. 此外,对交通流预测领域中常用于模型性能对比的典型数据集进行了综述,并以其中一个真实数据集为例开展仿真测试,展示了4个基于图卷积网络交通流预测模型的预测性能.最后,基于当前的研究现状和发展趋势,对基于图卷积网络的交通流预测方法研究领域中未来的研究热点和难点进行了开放性的讨论和展望.     

基于图论的环状管网慢变流的计算研究

管网负荷变动的水力过程可以抽象成非恒定流中的慢变流进行研究,这是大量管网运行中的现实现象.对基于图论的环状管网慢变流模型进行分析,利用矩阵论导出了采用链支流量矩阵计算慢变流过程的解析表达式,并在此基础上得到了适于数值模拟的离散求解模型.通过实际算例计算了管段流量和节点水头等水力要素随时间的演化过程.慢变流理论不仅对分析管网系统的水力工况有很大作用,还由于其时间过程所包含的丰富信息使其在管网的水力摩阻识别及漏失故障诊断中具有重要意义.由于引入链支流量矩阵作为因变量,在很大程度上简化了定量计算,将会非常有利于对上述系统识别问题的搜索求解.     

基于图像重建基础上的两相流相关测速系统的仿真研究

气/液两相流是自然界和工业过程中广泛存在的一种非常典型且复杂的两相流形态.介绍了电容层析成像(ECT)技术和相关流速测量技术相结合实现气/液两相泡状流的离散相速度及其分布测量的研究.     

基于网络流Petri网模型的设计更改技术

为了实现网络流系统设计更改的响应检测,将响应检测同网络的动态表达相结合,提出一种基于网络流Petri网(NFPN)动态模型的设计更改响应检测方法.用Petri网对网络流及设计更改进行描述,建立网络流Petri网的动态模型.在分析层级网络流特点的基础上,将Petri网完整可达图的构造同设计更改的响应检测相关联.通过多级抽象化简可达图,递归实现网络整体的分析.在配电网改造设计中的应用验证了该方法的可行性和有效性,降低了状态空间的复杂度,可见该方法适用于大尺度复杂网络.     

流图中的结点序列及其对流图分析的影响

本文提出了适用于程序流图研究的四种不同的结点排序方法,讨论了区分流图中各类边的算法,并提出了流图分析中的一种新的策略,用此策略可以加速流图分折算法的执行。它们在程序正确性、安全性分析、程序优化、数据流分析和编译技术中都很有用处。     

控制图的特性和检出力分析

控制图是质量管理中进行工序控制的有效工具 ,但根据控制图进行判断时易犯两类错误 .本文对这两类错误的概率 α、β进行数学推导与理论分析 ,使之更好更方便地应用于实践 .     

基于网络最大流的控制与诱导的协调试验

以路网所能传输的最大流为衡量指标提出了一种协调方法并设计了相应的试验.首先利用各类试验中网络最大流的突变情况确定了协调的边界,然后给出了调整控制策略、诱导策略或协调策略等多种协调方案,并提出了协调效果的评价准则,最后针对一个算例进行了4类相应的仿真试验,通过对试验结果的分析验证了协调的必要性和所提方案的有效性.