程序复杂性度量的一种新方法 被引量：6

1

作者 伦立军 丁雪梅 李英梅 《计算机应用研究》 CSCD 北大核心 2004年第2期37-39,共3页

通过分析传统的程序复杂性度量方法的不足之处,首先提出了一种基于程序分解机制的路径复杂性度量方法,然后给出了计算路径复杂度的算法,最后给出了实例。新的度量方法指出了一个程序需要的完全测试路径数目。

关键词 软件度量 路径复杂性 结构复杂性 控制流图

在线阅读 下载PDF 职称材料

圆柱-平板角区湍流流动控制的风洞试验研究 被引量：4

2

作者 王建明 刘炜 +2 位作者 艾延廷 王成军 徐志晖 《实验流体力学》 EI CAS CSCD 北大核心 2011年第5期10-15,20,共7页

角区流动中马蹄涡系的存在通常会造成不良影响。对圆柱-平板角区流动,在圆柱上游放置一倾斜的小圆棒能够改变角区流动结构。利用油流法和平板表面压力测量方法探讨了湍流流态下不同的小圆棒对平板表面的摩擦力线和压力分布的影响。油流... 角区流动中马蹄涡系的存在通常会造成不良影响。对圆柱-平板角区流动,在圆柱上游放置一倾斜的小圆棒能够改变角区流动结构。利用油流法和平板表面压力测量方法探讨了湍流流态下不同的小圆棒对平板表面的摩擦力线和压力分布的影响。油流实验揭示了倾斜棒能够改变角区的三维分离,新的分离线由倾斜棒和圆柱共同作用引起;倾斜棒对角区的作用可归类为两种不同的物理现象;倾斜棒能够引起圆柱侧面的分离线向下游发生极大的迁移,导致圆柱底部区域尾迹变窄。平板表面压力测量实验揭示附加的倾斜棒能够极大地改变压力分布情况,角区的逆压梯度相应减小;由此,逆压梯度引起的三维分离必然被削弱。 展开更多

关键词 分离流动 复杂流动 角区流动 马蹄涡 流动控制

在线阅读 下载PDF 职称材料

载机军舰回收舰载机的运行模型 被引量：5

3

作者 岳奎志 孙聪 +2 位作者 罗明强 苏珉 赵红超 《系统工程与电子技术》 EI CSCD 北大核心 2013年第12期2527-2532,共6页

对良好气象条件下载机军舰回收舰载机的模型进行研究,以便合理安排在回收阶段发生舰载机复飞、逃逸时空中交通,保证载机军舰回收舰载机的流量与等待航线、着舰航线、甲板阻拦区及甲板停机区等各阶段的容量相适应。对回收舰载机流程进行... 对良好气象条件下载机军舰回收舰载机的模型进行研究,以便合理安排在回收阶段发生舰载机复飞、逃逸时空中交通,保证载机军舰回收舰载机的流量与等待航线、着舰航线、甲板阻拦区及甲板停机区等各阶段的容量相适应。对回收舰载机流程进行研究,基于系统动力学理论,建立影响空中交通流量管理的存量流量图及运行模型,并以美国载机军舰回收舰载机为例对该运行模型进行了验证。运行结果表明,本运行模型在舰载机复飞、逃逸的条件下能进行载机军舰空中交通流量管理的趋势预测,可为空中交通流量管理方案的制定提供技术基础。 展开更多

关键词 空中交通流量管理 复杂系统建模 系统动力学 舰载机 回收

在线阅读 下载PDF 职称材料

路径复杂性度量研究

4

作者 伦立军 丁雪梅 李英梅 《计算机应用与软件》 CSCD 北大核心 2004年第4期18-19,24,共3页

软件复杂性度量是对程序静态特性和动态行为的理解难易程度的描述。本文通过分析传统的程序复杂性度量方法的不足之处 ,提出了一种新的路径复杂性度量方法及计算路径复杂度的算法 ,并给出了实例。新的度量方法比传统的度量方法更精确和... 软件复杂性度量是对程序静态特性和动态行为的理解难易程度的描述。本文通过分析传统的程序复杂性度量方法的不足之处 ,提出了一种新的路径复杂性度量方法及计算路径复杂度的算法 ,并给出了实例。新的度量方法比传统的度量方法更精确和容易实现。 展开更多

关键词 软件度量 路径复杂性 结构复杂性 控制流图

在线阅读 下载PDF 职称材料

可动凝胶调驱技术在断块油田中的应用 被引量：30

5

作者 袁士义 韩冬 +2 位作者 苗坤 张满库 韦莉 《石油学报》 EI CAS CSCD 北大核心 2004年第4期50-53,57,共5页

利用室内岩心实验和数值模拟方法 ,研究了可动凝胶体系的成胶行为、渗流机理和影响因素 ,给出了矿场试验设计方案。在此基础上 ,采用聚合物浓度为 80 0mg/L ,交联剂浓度为 18mg/L的可动凝胶配方和撬装注入设备 ,在华北二连油田吉 45断... 利用室内岩心实验和数值模拟方法 ,研究了可动凝胶体系的成胶行为、渗流机理和影响因素 ,给出了矿场试验设计方案。在此基础上 ,采用聚合物浓度为 80 0mg/L ,交联剂浓度为 18mg/L的可动凝胶配方和撬装注入设备 ,在华北二连油田吉 45断块开展了整体区块调驱先导试验。试验区包括注入井 5口 ,生产井 19口。试验共注入凝胶溶液 985 40m3 。实施可动凝胶调驱技术后 ,油田的整体开发效果得到了明显改善 ,区块内 19口生产井平均综合含水率下降 6 5 % ,产油量增加 15t/d ,提高采收率 6 2 2 % 。 展开更多

关键词 可动凝胶调驱技术 复杂断块油田 整体区块调剖 现场试验

在线阅读 下载PDF 职称材料

基于复杂网络的空中交通特征与延误传播分析 被引量：48

6

作者 武喜萍 杨红雨 韩松臣 《航空学报》 EI CAS CSCD 北大核心 2017年第S1期112-118,共7页

空中交通流量管理主要集中在尾随间隔、空中等待等局部战术空中交通流量调配,对空中交通流量整体运行规律、延误传播和整体解决的研究较少。航空运输网络是一个复杂系统,从复杂网络理论角度对航空运输网络进行研究很有必要。首先,分析... 空中交通流量管理主要集中在尾随间隔、空中等待等局部战术空中交通流量调配,对空中交通流量整体运行规律、延误传播和整体解决的研究较少。航空运输网络是一个复杂系统,从复杂网络理论角度对航空运输网络进行研究很有必要。首先,分析了空中交通流量网络的度、度分布、权值、权分布、流量、容量、延误等静态特征;然后,提出了空中交通流量网络整体效能评估方法,使用选择性攻击和随机攻击方法分析了空中交通流量网络的抗毁性,基于负荷容量级联失效模型和病毒传播模型与空中交通延误传播的相似性建立了空中交通延误传播模型,最后,使用实际运行数据验证了空中交通流量网络的特征与延误传播模型的有效性,该研究可以为大范围空中流量管理提供决策支持。 展开更多

关键词 空中交通管制 空中交通流量管理 延误传播 复杂网络 网络特性

原文传递

结构化程序复杂性度量方法的分析 被引量：2

7

作者 李春伟 赵京涛 《廊坊师范学院学报》 2004年第4期43-45,共3页

程序复杂性度量是对程序静态特性和动态行为的理解难易程度的描述,是软件规模的一个度量,也是软件工程的一个重要研究领域.介绍了几个常用的程序复杂性度量方法,并论述了各自的适用范围.

关键词 软件度量 结构复杂性 路径复杂性 程序流程图 控制流图

在线阅读 下载PDF 职称材料

高铁综合交通枢纽客流协同管控优化关键技术

8

作者 熊刚 刘小明 +3 位作者 张涛 朱凤华 刘璐菲 乔曜芩 《铁路计算机应用》 2023年第8期63-67,共5页

针对高速铁路综合交通枢纽(简称:枢纽)客流协同管控方法主要关注单一场景、缺乏灵活性及适应性等问题,从常态和非常态两种情况出发,对我国枢纽客流协同管控方法的研究现状进行分析,并重点论述了枢纽客流协同管控优化的关键技术。阐述了... 针对高速铁路综合交通枢纽(简称:枢纽)客流协同管控方法主要关注单一场景、缺乏灵活性及适应性等问题,从常态和非常态两种情况出发,对我国枢纽客流协同管控方法的研究现状进行分析,并重点论述了枢纽客流协同管控优化的关键技术。阐述了常态情况下的复杂流线分析技术和动、静态信息实时匹配度量方法,以及非常态情况下的动态瓶颈点识别与预测方法和应急协同调度与决策方法。对我国枢纽的建设和发展具有参考作用。 展开更多

关键词 高速铁路综合交通枢纽 客流协同管控 复杂流线 动态瓶颈识别 应急协同调度

在线阅读 下载PDF 职称材料

复杂网络中观交通流动态限速控制策略研究 被引量：2

9

作者 李树彬 傅白白 +2 位作者 孙涛 党文修 高歌 《复杂系统与复杂性科学》 CSCD 北大核心 2017年第4期32-42,共11页

为研究大数据时代下的复杂性科学问题,利用当前新兴的复杂网络理论结合改进的交通流仿真模型,研究可变限速对动态交通的影响,进而分析了不同的网络结构下最优的可变限速控制策略。结果表明最优的可变限速控制策略可以优化网络的交通状... 为研究大数据时代下的复杂性科学问题,利用当前新兴的复杂网络理论结合改进的交通流仿真模型,研究可变限速对动态交通的影响,进而分析了不同的网络结构下最优的可变限速控制策略。结果表明最优的可变限速控制策略可以优化网络的交通状态。结论有助于帮助交通管理部门提出合理的交通规划方案以及制定有效的交通管理及控制措施。 展开更多

关键词 复杂网络 可变限速 交通流 仿真模型 控制策略

在线阅读 下载PDF 职称材料

面向结构洞的指挥控制网络关键节点识别方法 被引量：11

10

作者 王运明 王青野 +1 位作者 潘成胜 陈波 《火力与指挥控制》 CSCD 北大核心 2017年第3期59-63,共5页

针对目前指挥控制网络关键节点识别方法利用局部信息识别精度低、利用全局信息识别复杂度高的问题,提出了一种面向结构洞的指挥控制网络关键节点识别方法,该方法综合考虑了指挥控制网络结构特征和全局拓扑信息,引入了层级流介数的概念... 针对目前指挥控制网络关键节点识别方法利用局部信息识别精度低、利用全局信息识别复杂度高的问题,提出了一种面向结构洞的指挥控制网络关键节点识别方法,该方法综合考虑了指挥控制网络结构特征和全局拓扑信息,引入了层级流介数的概念用以计算网络的约束系数。实验分析表明,该方法提高了关键节点识别精度,降低了算法复杂度,更加适用于指挥控制网络关键节点识别的需要。 展开更多

关键词 指挥控制网络 关键节点识别 复杂网络 结构洞 层级流介数

在线阅读 下载PDF 职称材料

基于过程蓝图的程序环路复杂性度量方法 被引量：3

11

作者 刘建宾 李建忠 +1 位作者 余楚迎 杨林邦 《计算机科学》 CSCD 北大核心 2006年第6期267-269,283,共4页

提出一种基于过程蓝图的程序环路复杂性度量实现方法。将传统基于程序控制流图的度量信息抽取变为对过程蓝图的实现层表示-抽象实现结构图的信息抽取,避免程序源代码的语法分析和控制流图的构造,简化度量过程和实现,并提高度量处理的效率。

关键词 环路复杂性 McCabe度量 过程蓝图 抽象实现结构图 控制流图(CFG)

在线阅读 下载PDF 职称材料

基于软件结构的可靠性分配 被引量：5

12

作者 吕明山 张志华 《武汉大学学报（自然科学版）》 CSCD 1999年第5期695-698,共4页

给出了根据软件模块重要度和复杂度进行软件系统可靠性分配的方法． 这种分配方法充分考虑了模块复杂性与重要性对可靠性分配的影响，从而使分配结果更加合理． 最后，依据本文提出的可靠性分配的方法，给出了一个实际例子．

关键词 模块重要度 模块复杂度 可靠性分配 软件结构

全文增补中

空中交通流时间序列的复杂度分析 被引量：4

13

作者 王飞 《科学技术与工程》 北大核心 2018年第33期117-121,共5页

空中交通系统是复杂的非线性系统,时间序列是研究空中交通系统的有效措施。为了定量分析空中交通的复杂性,首先阐述Lempel-Ziv算法复杂度及其修正复杂度;然后采集三亚01号、02号、04号扇区连续28 d的实际运行数据,构建了空中交通流时间... 空中交通系统是复杂的非线性系统,时间序列是研究空中交通系统的有效措施。为了定量分析空中交通的复杂性,首先阐述Lempel-Ziv算法复杂度及其修正复杂度;然后采集三亚01号、02号、04号扇区连续28 d的实际运行数据,构建了空中交通流时间序列;计算了3个扇区交通流时间序列的算法复杂度,并对相关参数的影响进行了分析。计算结果表明,修正的算法复杂度适用于长度较短的时间序列,可用于量化测度空中交通流复杂性;符号化方法、序列长度、时间尺度等对算法复杂度有较大影响。 展开更多

关键词 空中交通管理 交通流时间序列 算法复杂度 Lempel-Ziv算法

在线阅读 下载PDF 职称材料

摩擦行为在锻造过程中的研究现状与进展 被引量：9

14

作者 李卫旗 马庆贤 《锻压技术》 CAS CSCD 北大核心 2014年第6期9-19,23,共12页

锻造过程中的摩擦行为是一种多物理场的复杂耦合过程,与接触表面的硬度、润滑状态、接触应力和应变速率等特性有关,其对锻造精度控制、金属流动甚至组织演变起着至关重要的影响。锻造过程中摩擦行为极为复杂,难于对其准确测定和建模分析... 锻造过程中的摩擦行为是一种多物理场的复杂耦合过程,与接触表面的硬度、润滑状态、接触应力和应变速率等特性有关,其对锻造精度控制、金属流动甚至组织演变起着至关重要的影响。锻造过程中摩擦行为极为复杂,难于对其准确测定和建模分析,致使目前该方面的研究相对较少。本文系统分析了影响锻造过程中摩擦状态的主要因素,概括总结目前锻造成形中常用的摩擦表示模型;从锻造过程中摩擦学研究、摩擦行为对锻造质量的机理研究以及摩擦数值模拟三方面对当前摩擦行为在锻造过程中的研究现状进行综述;最后对锻造过程中摩擦行为研究提出展望。 展开更多

关键词 摩擦行为 锻造 复杂耦合 精度控制 金属流动

原文传递

基于嵌套复杂度的控制流混淆算法 被引量：1

15

作者 王磊 侯整风 +1 位作者 向润昭 史兆鹏 《计算机工程》 CAS CSCD 北大核心 2016年第11期177-181,188,共6页

采用随机插入策略的垃圾代码控制流混淆算法,存在混淆强度和额外开销的不确定性。针对该问题,提出一种基于嵌套复杂度的控制流混淆算法OB_NC,对混淆所引入的开销进行定量计算,采用嵌套复杂度对控制流复杂度进行度量,基于分组背包思想构... 采用随机插入策略的垃圾代码控制流混淆算法,存在混淆强度和额外开销的不确定性。针对该问题,提出一种基于嵌套复杂度的控制流混淆算法OB_NC,对混淆所引入的开销进行定量计算,采用嵌套复杂度对控制流复杂度进行度量,基于分组背包思想构造背包决策表,综合考虑混淆强度和开销来选择垃圾代码插入点,在开销阈值内尽可能提升混淆强度。分析和实验结果表明,OB_NC算法的混淆强度高于采用随机插入策略的控制流混淆算法,且能够有效控制混淆所产生的额外开销。 展开更多

关键词 代码保护 控制流图 混淆算法 分组背包 嵌套复杂度

在线阅读 下载PDF 职称材料

基本路径测试方法之圈复杂度计算 被引量：8

16

作者 肖自乾 王弗雄 陈经优 《软件导刊》 2010年第1期10-12,共3页

软件测试是软件开发过程中不可缺少的重要组成部分,贯穿整个软件开发过程。在软件测试方法中,白盒测试和黑盒测试是经常使用的测试技术。白盒测试中的基本路径测试方法是解决复杂路径测试最有效的方法,而圈复杂度的计算则是基本路径测... 软件测试是软件开发过程中不可缺少的重要组成部分,贯穿整个软件开发过程。在软件测试方法中,白盒测试和黑盒测试是经常使用的测试技术。白盒测试中的基本路径测试方法是解决复杂路径测试最有效的方法,而圈复杂度的计算则是基本路径测试方法中非常重要的环节。实践经验表明,圈复杂度和程序可能存在的缺陷数量有着很大的相关性,本文就基本路径测试方法中如何正确计算圈复杂度进行了探讨。 展开更多

关键词 软件测试 控制流图 基本路径 独立路径 分解 圈复杂度

在线阅读 下载PDF 职称材料

高超声速飞行器复杂结构热试验技术 被引量：19

17

作者 李翔 傅波 《航空学报》 EI CAS CSCD 北大核心 2016年第S1期73-79,共7页

为解决高超声速飞行器复杂结构热试验加热器设计难题,以高超声速飞行器钝头体试验样段为研究对象,对复杂结构热试验从试验方案确定,加热器详细设计,温度、应变、位移的测量及热流控制方法等相关技术进行研究。通过自行设计的红外加热器... 为解决高超声速飞行器复杂结构热试验加热器设计难题,以高超声速飞行器钝头体试验样段为研究对象,对复杂结构热试验从试验方案确定,加热器详细设计,温度、应变、位移的测量及热流控制方法等相关技术进行研究。通过自行设计的红外加热器完成了钝头体试验样段的高温试验,获得了大量的温度、应变、位移等试验数据。通过本次研究,梳理了高超声速飞行器复杂结构加热器设计流程,为优化结构设计提供了重要试验数据支持。 展开更多

关键词 高超声速飞行器 复杂结构 加热器 热流控制 热试验技术

原文传递

复杂系统中不可达函数调用路径检测方法研究 被引量：2

18

作者 潘璐 牟永敏 张志华 《计算机仿真》 CSCD 北大核心 2016年第9期426-430,共5页

通过静态分析复杂程序可获取系统的函数调用路径,便于系统框架的理解、分析及后期测试,但提高其分析效率和提取准确度的关键在于不可达函数调用路径的检测和去除。基于控制流信息,将函数指针和函数调用对数据流的影响综合考虑,结合数据... 通过静态分析复杂程序可获取系统的函数调用路径,便于系统框架的理解、分析及后期测试,但提高其分析效率和提取准确度的关键在于不可达函数调用路径的检测和去除。基于控制流信息,将函数指针和函数调用对数据流的影响综合考虑,结合数据流分析和检测分支相关性,利用路径敏感分析方法对函数调用路径中的不可达路径进行检测与去除,从而提取准确的函数调用信息。实验结果证明,上述方法可有效地对函数调用路径中的不可达路径进行检测,提高了分析效率及函数调用路径静态提取的准确度。 展开更多

关键词 复杂系统 函数调用路径 不可达路径 控制流 数据流

在线阅读 下载PDF 职称材料

面向DCU非一致控制流的编译优化 被引量：2

19

作者 杨小艺 赵荣彩 +2 位作者 王洪生 韩林 徐坤坤 《计算机应用》 CSCD 北大核心 2023年第10期3170-3177,共8页

国产DCU采用单指令多线程(SIMT)的并行执行模型,在程序执行时核函数内会产生非一致控制流,导致线程束中的线程部分只能串行执行,即线程束分化。针对核函数的性能因线程束分化受到严重制约的问题,提出一种减少线程束分化时间的编译优化... 国产DCU采用单指令多线程(SIMT)的并行执行模型,在程序执行时核函数内会产生非一致控制流,导致线程束中的线程部分只能串行执行,即线程束分化。针对核函数的性能因线程束分化受到严重制约的问题,提出一种减少线程束分化时间的编译优化方法——部分控制流合并(PCFM)。首先,通过散度分析找到同构且含有大量相同指令和相似指令的可融合发散区域;其次,统计合并后节省的指令周期百分比,从而评估可融合发散区域的融合盈利;最后,查找对齐序列,并合并有收益的可融合发散区域。在DCU上使用PCFM测试从图形处理器(GPU)基准测试套件Rodinia和经典的排序算法中选择的测试用例,实验结果表明,PCFM对测试用例能够取得1.146的平均加速比,与分支融合+尾合并方法相比,使用PCFM的加速比平均提高了5.72%。可见,所提方法减少线程束分化的效果更好。 展开更多

关键词 DCU 单指令多线程 线程束分化 复杂控制流 编译优化

在线阅读 下载PDF 职称材料

基于智能水滴算法的软件路径测试用例生成方法

20

作者 马竹根 《计算机时代》 2016年第5期73-77,共5页

提出基于智能水滴算法的测试用例生成方法,描述了如何把测试用例的生成问题转换成智能水滴在控制流图的各边之间寻找最优路径的问题,讨论了利用智能水滴算法发现控制流图中的测试路径的算法。该方法利用控制流图的圈复杂度和自然界水滴... 提出基于智能水滴算法的测试用例生成方法,描述了如何把测试用例的生成问题转换成智能水滴在控制流图的各边之间寻找最优路径的问题,讨论了利用智能水滴算法发现控制流图中的测试路径的算法。该方法利用控制流图的圈复杂度和自然界水滴的基本属性,使用动态参数来发现控制流图中的独立路径,能通过自动生成测试路径保证完全的代码覆盖。 展开更多

关键词 控制流图 圈复杂度 独立路径 智能水滴算法 测试用例生成

在线阅读 下载PDF 职称材料