基于改进Elman网络模型的软件可靠性预测 被引量：8

1

作者 程绪超 陈新宇 郭平 《通信学报》 EI CSCD 北大核心 2011年第4期86-93,共8页

为提高神经网络模型对软件可靠性预测结果的准确性和可信性,提出了一种基于多目标优化算法改进Elman网络模型Mop-IElman(multi-objective optimization-based improved Elman neural network)的方法:1)在Elman网络基础上,设计输出层的... 为提高神经网络模型对软件可靠性预测结果的准确性和可信性,提出了一种基于多目标优化算法改进Elman网络模型Mop-IElman(multi-objective optimization-based improved Elman neural network)的方法:1)在Elman网络基础上,设计输出层的延迟反馈层,作为另一个状态层;2)以网络的结构和2个状态层的初始输出值为网络配置的变量,以网络的预测精度和顽健性为目标,采用NSGA-II(non-dominated sorting genetic algorithm II)进行多目标优化得到帕累托解,最大化网络预测精度与顽健性之和从而确定网络配置。通过两组实际软件失效数据对Mop-IElman进行实验验证,并与前馈网络、Elman网络、单目标优化Elman网络以及多目标优化Elman网络进行比较研究,结果表明Mop-IElman的预测结果具有较高的准确性和可信性。 展开更多

关键词 软件可靠性预测 可信性 反馈神经网络 NSGA-II 多目标优化

在线阅读 下载PDF 职称材料

基于ActiveXScripting技术的测试软件开发 被引量：2

2

作者 冷小羽 张健 《计算机工程与设计》 CSCD 北大核心 2005年第2期488-490,494,共4页

测试软件(Tester)的开发不同于一般的软件开发,在测试软件开发的过程中,涉及到测试软件本身和测试用例(Testcase)两者之间的划分和协作。目前的测试用例脚本大都是一些自定义的格式文本,通过测试软件的分析来执行测试逻辑,不仅需要编写... 测试软件(Tester)的开发不同于一般的软件开发,在测试软件开发的过程中,涉及到测试软件本身和测试用例(Testcase)两者之间的划分和协作。目前的测试用例脚本大都是一些自定义的格式文本,通过测试软件的分析来执行测试逻辑,不仅需要编写大量复杂的脚本解析程序,而且难以阅读和维护。为了解决这个问题,提出了一种基于ActiveX Scripting技术的测试软件开发方法,该方法可以将测试逻辑按照需求分配到测试软件和测试用例,提供了一种统一的编程接口,易于学习和使用。 展开更多

关键词 测试软件 测试用例 脚本 自定义 软件开发 编程接口 开发方法 技术 需求 执行测试

在线阅读 下载PDF 职称材料

多选择软硬件划分问题的计算模型与动态规划算法 被引量：2

3

作者 朱峰军 武继刚 +1 位作者 史雯隽 姜桂圆 《计算机工程与科学》 CSCD 北大核心 2015年第4期641-648,共8页

软硬件划分是软硬件协同设计的关键环节,划分的结果直接影响目标系统的设计质量。因此,对于一个给定的应用程序,为了使得目标系统快速执行且成本低廉,合理的划分策略十分重要。由于单个任务具有多种不同的硬件实现方式,与传统的单一硬... 软硬件划分是软硬件协同设计的关键环节,划分的结果直接影响目标系统的设计质量。因此,对于一个给定的应用程序,为了使得目标系统快速执行且成本低廉,合理的划分策略十分重要。由于单个任务具有多种不同的硬件实现方式,与传统的单一硬件实现方式的软硬件划分问题相比,多选择的软硬件划分更能客观地反映现实应用。这导致问题的求解更具挑战性,它们已被证明是NP完全问题。基于多核处理器片上系统并针对任务图为二叉树的应用,建立了多选择软硬件划分问题的计算模型,并提出了解决该问题的动态规划算法。实验结果表明,当问题规模适中时,所提动态规划算法能够有效地获得精确解,并展示了算法的计算能力与硬件面积限制之间的关系。 展开更多

关键词 多选择软硬件划分 多核处理器片上系统 二叉树 动态规划算法

在线阅读 下载PDF 职称材料

Petri网共享P型子网合成及其在系统设计中的应用 被引量：8

4

作者 夏传良 鞠彦兵 李盛恩 《系统仿真学报》 EI CAS CSCD 北大核心 2007年第2期355-360,404,共7页

针对柔性制造系统的设计问题,提出了经由Petri网共享P-型子网构成合成网的解决方案;研究了共享P-型子网合成的动态性质保持问题。提出了合成网保持活性和有界性的一组充分条件或充要条件;主要动机是对[7]的P-组合网系统的有关结果进行推... 针对柔性制造系统的设计问题,提出了经由Petri网共享P-型子网构成合成网的解决方案;研究了共享P-型子网合成的动态性质保持问题。提出了合成网保持活性和有界性的一组充分条件或充要条件;主要动机是对[7]的P-组合网系统的有关结果进行推广,将共享库所合成直接推广到共享P-型子网合成。对一个柔性制造系统进行了设计和分析。结果可为Petri网系统合成的静态和动态性质的考察提供有效途径,对系统设计和分析具有重要的指导意义。 展开更多

关键词 PETRI网 合成 系统设计 有界性 活性

在线阅读 下载PDF 职称材料

L2TP下可信的VPN方案设计与实现 被引量：10

5

作者 黄浩 谢冬青 《计算机工程》 EI CAS CSCD 北大核心 2006年第20期157-159,共3页

提出了一个用CA+对称L2TP路由器的模型,该模型身份认证和密钥由数字证书来完成,而加密和数据完整性认证则由L2TP路由器完成。和现有LAC+LNS的接入方案比较,该方案明确和简化了工作内容,并且解决了L2TP隧道内多路呼叫独立安全的问题。L2T... 提出了一个用CA+对称L2TP路由器的模型,该模型身份认证和密钥由数字证书来完成,而加密和数据完整性认证则由L2TP路由器完成。和现有LAC+LNS的接入方案比较,该方案明确和简化了工作内容,并且解决了L2TP隧道内多路呼叫独立安全的问题。L2TP路由器在考虑了Linux内核的特点后,进行架构的设计来完成数据的处理。试验表明该方案兼顾了安全和性能,提供了一个高速可信的VPN解决办法。 展开更多

关键词 L2TP CA 数字证书 IPSEC UDP

在线阅读 下载PDF 职称材料

对数无限可分级串框架下的异常网络流量分析 被引量：1

6

作者 程华 邵志清 房一泉 《计算机工程》 EI CAS CSCD 北大核心 2006年第10期9-11,14,共4页

湍流尺度分析中的对数无限可分级串方法具有描述数据流全范围下的多尺度行为的优点,可用于对网络流量的多尺度行为的分析。在对几组正常流量和含蠕虫的异常流量分析讨论的基础上,发现受数据流内含协议数据的成分变化的影响,正常流量的... 湍流尺度分析中的对数无限可分级串方法具有描述数据流全范围下的多尺度行为的优点,可用于对网络流量的多尺度行为的分析。在对几组正常流量和含蠕虫的异常流量分析讨论的基础上,发现受数据流内含协议数据的成分变化的影响,正常流量的多尺度分段点具有不确定性;而受W32/Blaster蠕虫影响的数据流的尺度特性符合幂律关系,即尺度不变性;W32/Nachi蠕虫不影响TCP数据流的尺度特性。 展开更多

关键词 对数无限可分级串 扩展自相似性 尺度 异常网络流量

在线阅读 下载PDF 职称材料

Petri网共享PB型子网合成及其在系统设计中的应用 被引量：2

7

作者 夏传良 《系统仿真学报》 EI CAS CSCD 北大核心 2007年第4期846-851,889,共7页

针对柔性制造系统的共享子系统设计问题,提出了经由Petri网共享PB-型子网(Place Bordered Subnet)构成共享PB-型子网合成网的解决方案;研究了共享PB-型子网合成的动态性质保持问题。给出了合成网保持活性和有界性的一组充分条件或充要条... 针对柔性制造系统的共享子系统设计问题,提出了经由Petri网共享PB-型子网(Place Bordered Subnet)构成共享PB-型子网合成网的解决方案;研究了共享PB-型子网合成的动态性质保持问题。给出了合成网保持活性和有界性的一组充分条件或充要条件;对一个柔性制造系统进行了设计和分析。结果可为Petri网系统合成的静态和动态性质的考察提供有效途径,对系统设计和分析具有重要的指导意义。 展开更多

关键词 PETRI网 合成 有界性 活性 系统设计

在线阅读 下载PDF 职称材料

非对称选择网类共享子网合成及其在系统建模中的应用 被引量：1

8

作者 夏传良 《计算机科学》 CSCD 北大核心 2007年第6期274-278,288,共6页

为了解决系统建模中的子系统共享问题,提出了经由非对称选择网类共享一种子网构成共享子网合成网的解决方案;研究了共享子网合成网的结构性质,提出了共享子网合成网保持结构有界性和结构活性的充分条件或充要条件。本文的结果可为Petri... 为了解决系统建模中的子系统共享问题,提出了经由非对称选择网类共享一种子网构成共享子网合成网的解决方案;研究了共享子网合成网的结构性质,提出了共享子网合成网保持结构有界性和结构活性的充分条件或充要条件。本文的结果可为Petri网系统合成性质的考察提供有效途径,为复杂大系统的分析提供重要手段,并特别适合于一类系统的建模和分析,具有一定的实用价值。 展开更多

关键词 PETRI网 合成 结构活性 结构有界性 系统建模

在线阅读 下载PDF 职称材料

Petri网共享子网合成活性分析

9

作者 夏传良 焦莉 陆维明 《系统仿真学报》 CAS CSCD 北大核心 2005年第z1期12-16,25,共6页

为解决子系统共享问题,提出了经由Petri网系统共享一种子网构成共享子网合成网的解决方案;给出了一种关于Petri网的从抽象化到精细化描述方法,它是使合成网保持原网性质的一种关键技术.研究了共享子网合成网的性质,提出了共享子网合成... 为解决子系统共享问题,提出了经由Petri网系统共享一种子网构成共享子网合成网的解决方案;给出了一种关于Petri网的从抽象化到精细化描述方法,它是使合成网保持原网性质的一种关键技术.研究了共享子网合成网的性质,提出了共享子网合成网保持有界性和活性的充分条件或充要条件;目前存在的合成方法大多对状态机、标识图或非对称选择网(AC)等进行合成,用于解决资源共享问题,而本文的方法可对一般的Petri网进行合成,解决子系统共享问题.本文的结果可为Petri网系统合成性质的考察提供有效途径,为Petri网复杂大系统的分析提供重要手段. 展开更多

关键词 PETRI网 合成 分析 有界活性

在线阅读 下载PDF 职称材料

Petri网共享T型子网合成活性分析

10

作者 夏传良 《系统仿真学报》 CAS CSCD 北大核心 2007年第A01期4-8,37,共6页

为解决子系统共享问题,提出了经由Petri网系统共享T-型子网构成共享子网合成网的解决方案。共享T-型子网合成是研究复杂Petri网系统性质的一个有效途径。研究了共享T-型子网合成对参与合成的各网系统的活性的继承关系,给出了合成网保持... 为解决子系统共享问题,提出了经由Petri网系统共享T-型子网构成共享子网合成网的解决方案。共享T-型子网合成是研究复杂Petri网系统性质的一个有效途径。研究了共享T-型子网合成对参与合成的各网系统的活性的继承关系,给出了合成网保持活性的充分条件或充要条件。随后给出的有关制造系统设计和分析的实例,说明了该合成方法的有效性。本文的结果可为Petri网系统合成的静态和动态性质的考察提供有效途径,对系统的设计和验证具有重要的指导意义。 展开更多

关键词 PETRI网 合成 活性 有界性 系统设计

在线阅读 下载PDF 职称材料

无人驾驶汽车决策系统的规则描述与代码生成方法 被引量：9

11

作者 兰韵 刘万伟 +3 位作者 董威 刘斌斌 付辰 刘大学 《计算机工程与科学》 CSCD 北大核心 2015年第8期1510-1516,共7页

无人驾驶汽车的高层决策系统是其实现自主驾驶功能的核心,在决策系统的开发过程中,由于信号变量与状态数量庞大等原因,系统面临着可维护性与可拓展性差的难题。UNMANNED_RULE_EDIT是面向无人车高层决策系统的规则编辑与代码自动生成辅... 无人驾驶汽车的高层决策系统是其实现自主驾驶功能的核心,在决策系统的开发过程中,由于信号变量与状态数量庞大等原因,系统面临着可维护性与可拓展性差的难题。UNMANNED_RULE_EDIT是面向无人车高层决策系统的规则编辑与代码自动生成辅助工具,具有图形化编辑和代码自动生成的功能,有利于开发人员清晰直观地设计规则,并摆脱繁琐的编码工作。主要讨论了UNMANNED_RULE_EDIT的中间语言(规则语言)设计和代码自动生成算法。目前,该工具已初步应用在国内某单位研制的无人车上,为其决策系统的开发提供便利。 展开更多

关键词 无人驾驶汽车 决策系统 规则语言 代码自动生成

在线阅读 下载PDF 职称材料

多核片上系统的高效软硬件划分及调度算法 被引量：3

12

作者 韩红蕾 刘文菊 +1 位作者 武继刚 李慧 《计算机工程与科学》 CSCD 北大核心 2011年第9期57-62,共6页

软硬件划分与调度是软硬件协同设计的关键环节,是经典的组合优化问题。本文针对调度与软硬件划分问题提出一种高效的启发式算法。调度算法根据任务的出度及软件计算时间对任务赋予不同的优先级,出度越大,优先级越高,出度相同的情况下,... 软硬件划分与调度是软硬件协同设计的关键环节,是经典的组合优化问题。本文针对调度与软硬件划分问题提出一种高效的启发式算法。调度算法根据任务的出度及软件计算时间对任务赋予不同的优先级,出度越大,优先级越高,出度相同的情况下,软件计算时间越大,优先级越高。划分算法首先寻找关键路径,然后将关键路径上具有最高受益面积比的任务交由硬件去实现。每次迭代更新当前关键路径的调度长度及剩余硬件面积。继续循环,直到剩余的硬件面积不再满足关键路径上的任何一个软件任务所需的硬件面积的要求为止,这样使得硬件面积的使用率比较高。实验表明,该算法对已有算法的改进可达到38%。 展开更多

关键词 多处理器片上系统 调度 软硬件划分 嵌入式系统

在线阅读 下载PDF 职称材料

高效软硬件划分算法及其提升技术 被引量：2

13

作者 王璞 武继刚 《计算机科学》 CSCD 北大核心 2012年第1期290-294,共5页

软硬件划分是软硬件协同设计的关键环节,它决定系统中哪些组件由软件实现,哪些由硬件实现。软硬件划分问题已被证明是NP完全问题。将一类软硬件划分问题看作变异的0-1背包问题,在求解背包问题的算法基础上构造出软硬件划分问题的优质启... 软硬件划分是软硬件协同设计的关键环节,它决定系统中哪些组件由软件实现,哪些由硬件实现。软硬件划分问题已被证明是NP完全问题。将一类软硬件划分问题看作变异的0-1背包问题,在求解背包问题的算法基础上构造出软硬件划分问题的优质启发解。此外,采用禁忌搜索(Tabu Search)算法对求得的启发解进行改进,在软件开销和通信开销满足一定约束的条件下,使得硬件开销尽可能小。实验结果证明,所提算法对当前最新算法的改进最大可达到28%。 展开更多

关键词 软硬件划分 启发式算法 0-1背包问题 禁忌搜索

在线阅读 下载PDF 职称材料

局部完全自组的MANET密钥管理

14

作者 周晗 谢冬青 《科学技术与工程》 2006年第16期2571-2572,2575,共3页

当网络规模增大时,自组织密钥管理中建立证书链的开销都会急剧增大。为了解决方案的扩展性问题,提出建立一种局部完全自组的密钥管理框架。在该框架中将网络划分为多个域,域内采用局部完全自组织的构架方式,并以门限秘密共享机制和RSA... 当网络规模增大时,自组织密钥管理中建立证书链的开销都会急剧增大。为了解决方案的扩展性问题,提出建立一种局部完全自组的密钥管理框架。在该框架中将网络划分为多个域,域内采用局部完全自组织的构架方式,并以门限秘密共享机制和RSA非对称加密体制为基础,为各个域建立虚拟CA。不同域的两个节点可以通过虚拟CA建立域间信任关系。通过多域的划分提高了密钥管理框架的可扩展性,同时降低了远距离节点之间认证的通信开销。 展开更多

关键词 移动自组网 自组织 区域化 认证

在线阅读 下载PDF 职称材料