检索结果-维普期刊中文期刊服务平台

基于改进Elman网络模型的软件可靠性预测被引量：8: 1; 作者程绪超陈新宇郭平《通信学报》 EI CSCD 北大核心 2011年第4期86-93,共8页; 为提高神经网络模型对软件可靠性预测结果的准确性和可信性,提出了一种基于多目标优化算法改进Elman网络模型Mop-IElman(multi-objective optimization-based improved Elman neural network)的方法:1)在Elman网络基础上,设计输出层的... 展开更多; 关键词软件可靠性预测可信性反馈神经网络 NSGA-II 多目标优化; 在线阅读下载PDF 职称材料

多选择软硬件划分问题的计算模型与动态规划算法被引量：2: 2; 作者朱峰军武继刚 +1 位作者史雯隽姜桂圆《计算机工程与科学》 CSCD 北大核心 2015年第4期641-648,共8页; 软硬件划分是软硬件协同设计的关键环节,划分的结果直接影响目标系统的设计质量。因此,对于一个给定的应用程序,为了使得目标系统快速执行且成本低廉,合理的划分策略十分重要。由于单个任务具有多种不同的硬件实现方式,与传统的单一硬... 展开更多; 关键词多选择软硬件划分多核处理器片上系统二叉树动态规划算法; 在线阅读下载PDF 职称材料

Petri网共享PB型子网合成及其在系统设计中的应用被引量：2: 3; 作者夏传良《系统仿真学报》 EI CAS CSCD 北大核心 2007年第4期846-851,889,共7页; 针对柔性制造系统的共享子系统设计问题,提出了经由Petri网共享PB-型子网(Place Bordered Subnet)构成共享PB-型子网合成网的解决方案;研究了共享PB-型子网合成的动态性质保持问题。给出了合成网保持活性和有界性的一组充分条件或充要条... 展开更多; 关键词 PETRI网合成有界性活性系统设计; 在线阅读下载PDF 职称材料

Petri网共享T型子网合成活性分析: 4; 作者夏传良《系统仿真学报》 CAS CSCD 北大核心 2007年第A01期4-8,37,共6页; 为解决子系统共享问题,提出了经由Petri网系统共享T-型子网构成共享子网合成网的解决方案。共享T-型子网合成是研究复杂Petri网系统性质的一个有效途径。研究了共享T-型子网合成对参与合成的各网系统的活性的继承关系,给出了合成网保持... 展开更多; 关键词 PETRI网合成活性有界性系统设计; 在线阅读下载PDF 职称材料

无人驾驶汽车决策系统的规则描述与代码生成方法被引量：9: 5; 作者兰韵刘万伟 +3 位作者董威刘斌斌付辰刘大学《计算机工程与科学》 CSCD 北大核心 2015年第8期1510-1516,共7页; 无人驾驶汽车的高层决策系统是其实现自主驾驶功能的核心,在决策系统的开发过程中,由于信号变量与状态数量庞大等原因,系统面临着可维护性与可拓展性差的难题。UNMANNED_RULE_EDIT是面向无人车高层决策系统的规则编辑与代码自动生成辅... 展开更多; 关键词无人驾驶汽车决策系统规则语言代码自动生成; 在线阅读下载PDF 职称材料

多核片上系统的高效软硬件划分及调度算法被引量：3: 6; 作者韩红蕾刘文菊 +1 位作者武继刚李慧《计算机工程与科学》 CSCD 北大核心 2011年第9期57-62,共6页; 软硬件划分与调度是软硬件协同设计的关键环节,是经典的组合优化问题。本文针对调度与软硬件划分问题提出一种高效的启发式算法。调度算法根据任务的出度及软件计算时间对任务赋予不同的优先级,出度越大,优先级越高,出度相同的情况下,... 展开更多; 关键词多处理器片上系统调度软硬件划分嵌入式系统; 在线阅读下载PDF 职称材料

高效软硬件划分算法及其提升技术被引量：2: 7; 作者王璞武继刚《计算机科学》 CSCD 北大核心 2012年第1期290-294,共5页; 软硬件划分是软硬件协同设计的关键环节,它决定系统中哪些组件由软件实现,哪些由硬件实现。软硬件划分问题已被证明是NP完全问题。将一类软硬件划分问题看作变异的0-1背包问题,在求解背包问题的算法基础上构造出软硬件划分问题的优质启... 展开更多; 关键词软硬件划分启发式算法 0-1背包问题禁忌搜索; 在线阅读下载PDF 职称材料

题名基于改进Elman网络模型的软件可靠性预测被引量：8: 1; 作者程绪超陈新宇郭平; 机构北京师范大学图形图像与模式识别实验室中国科学院软件所计算机科学国家重点实验室; 出处《通信学报》 EI CSCD 北大核心 2011年第4期86-93,共8页; 基金国家高技术研究发展计划("863"计划)基金资助项目(2009AA010314) 国家自然科学基金资助项目(90820010 +1 种基金 60911130513) 中国科学院计算机科学重点实验室开放课题基金资助项目(SYSKF0906)~~; 文摘为提高神经网络模型对软件可靠性预测结果的准确性和可信性,提出了一种基于多目标优化算法改进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 多目标优化; Keywords software reliability prediction dependability recurrent network NSGA-II multi-objective optimization; 分类号 TP393 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名多选择软硬件划分问题的计算模型与动态规划算法被引量：2: 2; 作者朱峰军武继刚史雯隽姜桂圆; 机构天津工业大学计算机科学与软件学院中国科学院软件所计算机科学国家重点实验室天津大学计算机科学与技术学院; 出处《计算机工程与科学》 CSCD 北大核心 2015年第4期641-648,共8页; 基金国家自然科学基金资助项目(61173032) 国家自然科学基金天元青年基金资助项目(11326211); 文摘软硬件划分是软硬件协同设计的关键环节,划分的结果直接影响目标系统的设计质量。因此,对于一个给定的应用程序,为了使得目标系统快速执行且成本低廉,合理的划分策略十分重要。由于单个任务具有多种不同的硬件实现方式,与传统的单一硬件实现方式的软硬件划分问题相比,多选择的软硬件划分更能客观地反映现实应用。这导致问题的求解更具挑战性,它们已被证明是NP完全问题。基于多核处理器片上系统并针对任务图为二叉树的应用,建立了多选择软硬件划分问题的计算模型,并提出了解决该问题的动态规划算法。实验结果表明,当问题规模适中时,所提动态规划算法能够有效地获得精确解,并展示了算法的计算能力与硬件面积限制之间的关系。; 关键词多选择软硬件划分多核处理器片上系统二叉树动态规划算法; Keywords multiple-choice hardware/software partitioning multiprocessor system-on-chips binary tree dynamic programming algorithm; 分类号 TP302 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名Petri网共享PB型子网合成及其在系统设计中的应用被引量：2: 3; 作者夏传良; 机构中国科学院软件所计算机科学国家重点实验室; 出处《系统仿真学报》 EI CAS CSCD 北大核心 2007年第4期846-851,889,共7页; 基金国家自然科学基金(60073013); 文摘针对柔性制造系统的共享子系统设计问题,提出了经由Petri网共享PB-型子网(Place Bordered Subnet)构成共享PB-型子网合成网的解决方案;研究了共享PB-型子网合成的动态性质保持问题。给出了合成网保持活性和有界性的一组充分条件或充要条件;对一个柔性制造系统进行了设计和分析。结果可为Petri网系统合成的静态和动态性质的考察提供有效途径,对系统设计和分析具有重要的指导意义。; 关键词 PETRI网合成有界性活性系统设计; Keywords Petri nets synthesis boundedness liveness system design; 分类号 TP31 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名Petri网共享T型子网合成活性分析: 4; 作者夏传良; 机构中国科学院软件所计算机科学国家重点实验室北京工业大学计算机科学与技术学院; 出处《系统仿真学报》 CAS CSCD 北大核心 2007年第A01期4-8,37,共6页; 文摘为解决子系统共享问题,提出了经由Petri网系统共享T-型子网构成共享子网合成网的解决方案。共享T-型子网合成是研究复杂Petri网系统性质的一个有效途径。研究了共享T-型子网合成对参与合成的各网系统的活性的继承关系,给出了合成网保持活性的充分条件或充要条件。随后给出的有关制造系统设计和分析的实例,说明了该合成方法的有效性。本文的结果可为Petri网系统合成的静态和动态性质的考察提供有效途径,对系统的设计和验证具有重要的指导意义。; 关键词 PETRI网合成活性有界性系统设计; Keywords Petri nets synthesis liveness boundedness, system design; 分类号 TP31 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名无人驾驶汽车决策系统的规则描述与代码生成方法被引量：9: 5; 作者兰韵刘万伟董威刘斌斌付辰刘大学; 机构国防科学技术大学计算机学院中国科学院软件所计算机科学国家重点实验室国防科学技术大学机电工程与自动化学院; 出处《计算机工程与科学》 CSCD 北大核心 2015年第8期1510-1516,共7页; 基金国家973计划资助项目(2009CB723803) 国家自然科学基金资助项目(60873120 61103012); 文摘无人驾驶汽车的高层决策系统是其实现自主驾驶功能的核心,在决策系统的开发过程中,由于信号变量与状态数量庞大等原因,系统面临着可维护性与可拓展性差的难题。UNMANNED_RULE_EDIT是面向无人车高层决策系统的规则编辑与代码自动生成辅助工具,具有图形化编辑和代码自动生成的功能,有利于开发人员清晰直观地设计规则,并摆脱繁琐的编码工作。主要讨论了UNMANNED_RULE_EDIT的中间语言(规则语言)设计和代码自动生成算法。目前,该工具已初步应用在国内某单位研制的无人车上,为其决策系统的开发提供便利。; 关键词无人驾驶汽车决策系统规则语言代码自动生成; Keywords unmanned vehicles intelligence decision system rule language code generation; 分类号 TP311.51 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名多核片上系统的高效软硬件划分及调度算法被引量：3: 6; 作者韩红蕾刘文菊武继刚李慧; 机构天津工业大学计算机科学与软件学院中国科学院软件所计算机科学国家重点实验室; 出处《计算机工程与科学》 CSCD 北大核心 2011年第9期57-62,共6页; 基金国家自然科学基金资助项目(60970016); 文摘软硬件划分与调度是软硬件协同设计的关键环节,是经典的组合优化问题。本文针对调度与软硬件划分问题提出一种高效的启发式算法。调度算法根据任务的出度及软件计算时间对任务赋予不同的优先级,出度越大,优先级越高,出度相同的情况下,软件计算时间越大,优先级越高。划分算法首先寻找关键路径,然后将关键路径上具有最高受益面积比的任务交由硬件去实现。每次迭代更新当前关键路径的调度长度及剩余硬件面积。继续循环,直到剩余的硬件面积不再满足关键路径上的任何一个软件任务所需的硬件面积的要求为止,这样使得硬件面积的使用率比较高。实验表明,该算法对已有算法的改进可达到38%。; 关键词多处理器片上系统调度软硬件划分嵌入式系统; Keywords MPSoC task scheduling hardware/software partitioning embedded system; 分类号 TP302 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名高效软硬件划分算法及其提升技术被引量：2: 7; 作者王璞武继刚; 机构天津工业大学计算机科学与软件学院中国科学院软件所计算机科学国家重点实验室; 出处《计算机科学》 CSCD 北大核心 2012年第1期290-294,共5页; 基金国家自然科学基金(60970016)资助; 文摘软硬件划分是软硬件协同设计的关键环节,它决定系统中哪些组件由软件实现,哪些由硬件实现。软硬件划分问题已被证明是NP完全问题。将一类软硬件划分问题看作变异的0-1背包问题,在求解背包问题的算法基础上构造出软硬件划分问题的优质启发解。此外,采用禁忌搜索(Tabu Search)算法对求得的启发解进行改进,在软件开销和通信开销满足一定约束的条件下,使得硬件开销尽可能小。实验结果证明,所提算法对当前最新算法的改进最大可达到28%。; 关键词软硬件划分启发式算法 0-1背包问题禁忌搜索; Keywords Hardware/Software partitioning Heuristic algorithm 0-1 knapsack problem Tabu search; 分类号 TP3-0 [自动化与计算机技术—计算机科学与技术]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	基于改进Elman网络模型的软件可靠性预测	程绪超陈新宇郭平	《通信学报》 EI CSCD 北大核心	2011	8	在线阅读下载PDF 职称材料
2	多选择软硬件划分问题的计算模型与动态规划算法	朱峰军武继刚史雯隽姜桂圆	《计算机工程与科学》 CSCD 北大核心	2015	2	在线阅读下载PDF 职称材料
3	Petri网共享PB型子网合成及其在系统设计中的应用	夏传良	《系统仿真学报》 EI CAS CSCD 北大核心	2007	2	在线阅读下载PDF 职称材料
4	Petri网共享T型子网合成活性分析	夏传良	《系统仿真学报》 CAS CSCD 北大核心	2007	0	在线阅读下载PDF 职称材料
5	无人驾驶汽车决策系统的规则描述与代码生成方法	兰韵刘万伟董威刘斌斌付辰刘大学	《计算机工程与科学》 CSCD 北大核心	2015	9	在线阅读下载PDF 职称材料
6	多核片上系统的高效软硬件划分及调度算法	韩红蕾刘文菊武继刚李慧	《计算机工程与科学》 CSCD 北大核心	2011	3	在线阅读下载PDF 职称材料
7	高效软硬件划分算法及其提升技术	王璞武继刚	《计算机科学》 CSCD 北大核心	2012	2	在线阅读下载PDF 职称材料