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

软件密集型系统的故障诊断技术研究被引量：5: 1; 作者徐静雯周继恩 +2 位作者施跃跃马明孙权《计算机应用与软件》 CSCD 北大核心 2012年第2期175-178,共4页; 在软件密集型系统发生故障时缺乏系统、规范的诊断方法,严重影响软件密集型系统的质量。以大量研究为基础,提出基于软件黑匣子的集成软件故障诊断模型,利用UML的扩展机制,采用"4+1"视图模型方法构建模型的体系结构框架,在Visu... 展开更多; 关键词软件密集型系统故障诊断 ISFDM-SBB ESBB; 在线阅读下载PDF 职称材料

一种基于问题框架的软件密集型系统增量需求问题求解方法被引量：1: 2; 作者董瑞志彭鑫赵文耘《计算机学报》 EI CSCD 北大核心 2014年第3期551-567,共17页; 软件密集型系统的增量需求是在原有需求基础之上,以增量、迭代的方式提出的新需求.在增量需求分析及求解过程中,如何在复用现有解决方案的基础上诱导出增量需求的解决方案,如何验证增量需求解决方案的正确性,如何评估增量需求解决方案... 展开更多; 关键词软件开发问题框架需求建模需求分析软件密集型系统中图法; 在线阅读下载PDF 职称材料

软件密集型系统的协同设计问题被引量：1: 3; 作者雍信阳蔡希尧《计算机工程与设计》 CSCD 北大核心 1996年第5期13-20,共8页; 首先讨论了目前设计软件密集型系统设计中存在的错误认识，并指出了协同设计对于软件密集型系统设计的必要性。在此基础上，文章讨论了基于功能分解的协同设计方法，并用实例讨论了不同硬软件组合对于系统设计的影响。在面向对象技术日... 展开更多; 关键词软件密集型系统协同设计面向对象; 在线阅读下载PDF 职称材料

基于代码检测的软件故障定位方法被引量：2: 4; 作者易昭湘慕晓冬 +1 位作者赵鹏张雄美《计算机工程》 CAS CSCD 北大核心 2007年第12期82-83,89,共3页; 针对现有软件故障定位方法的缺陷,提出了一种基于代码检测的软件故障定位方法,用嵌入式模块获取软件发生故障时的模块运行序列,分析出软件故障可疑模块集及其故障系数,在此基础上对故障模块进行代码的分类检测,根据上述过程中得到的结... 展开更多; 关键词软件故障故障定位代码检测软件密集型系统; 在线阅读下载PDF 职称材料

基于时间博弈自动机的道岔自动控制系统被引量：1: 5; 作者余兴超董荣胜 +1 位作者孙栋栋邵梅《计算机工程》 CAS CSCD 2012年第10期221-223,共3页; 为提高道岔自动控制系统的运行效率,引入时间博弈自动机理论,建立列车、控制器、道岔和故障检测器的时间博弈自动机网络模型,使用TCTL公式描述获胜条件,应用策略综合工具Uppaal-Tiga输出获胜策略并生成控制代码。仿真结果表明,该控制策... 展开更多; 关键词时间博弈自动机形式化综合道岔自动控制系统控制策略完全信息博弈软件密集型系统; 在线阅读下载PDF 职称材料

题名软件密集型系统的故障诊断技术研究被引量：5: 1; 作者徐静雯周继恩施跃跃马明孙权; 机构中国银联股份有限公司; 出处《计算机应用与软件》 CSCD 北大核心 2012年第2期175-178,共4页; 文摘在软件密集型系统发生故障时缺乏系统、规范的诊断方法,严重影响软件密集型系统的质量。以大量研究为基础,提出基于软件黑匣子的集成软件故障诊断模型,利用UML的扩展机制,采用"4+1"视图模型方法构建模型的体系结构框架,在Visual C++6.0环境中开发了它的原型系统。最后给出两个验证的应用实例,证明该技术路线是行之有效的。; 关键词软件密集型系统故障诊断 ISFDM-SBB ESBB; Keywords Software-intensive equipment system Fault diagnosis ISFDM-SBB ESBB; 分类号 TP3 [自动化与计算机技术—计算机科学与技术]; 在线阅读下载PDF 职称材料

题名一种基于问题框架的软件密集型系统增量需求问题求解方法被引量：1: 2; 作者董瑞志彭鑫赵文耘; 机构复旦大学计算机科学技术学院常熟理工学院计算机科学与工程学院; 出处《计算机学报》 EI CSCD 北大核心 2014年第3期551-567,共17页; 基金国家"八六三"高技术研究发展计划项目基金(2013AA01A605) 教育部博士点基金(20100071110031)资助~~; 文摘软件密集型系统的增量需求是在原有需求基础之上,以增量、迭代的方式提出的新需求.在增量需求分析及求解过程中,如何在复用现有解决方案的基础上诱导出增量需求的解决方案,如何验证增量需求解决方案的正确性,如何评估增量需求解决方案的潜在风险,就成了必须解决的重要问题.文中把增量需求解决方案的求解问题视为一个典型的软件开发问题———增量需求问题,并据此提出一种基于软件开发问题框架的增量需求问题求解方法.该方法采用增量、迭代的方式求解增量需求的解决方案,把解决方案的验证问题转换成可满足问题进行求解,同时复用特定关注点知识评估解决方案的潜在风险以支持后续的设计决策.文中通过一个基于科技助老系统的案例研究,展示了应用该方法求解增量需求解决方案的过程,验证了方法的有效性.; 关键词软件开发问题框架需求建模需求分析软件密集型系统中图法; Keywords problem frames~ requirement modeling~ requirement analysis~ software-intensive system; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名软件密集型系统的协同设计问题被引量：1: 3; 作者雍信阳蔡希尧; 机构西安电子科技大学软件工程研究所; 出处《计算机工程与设计》 CSCD 北大核心 1996年第5期13-20,共8页; 基金国家教委博士点基金国防军事电子预研课题; 文摘首先讨论了目前设计软件密集型系统设计中存在的错误认识，并指出了协同设计对于软件密集型系统设计的必要性。在此基础上，文章讨论了基于功能分解的协同设计方法，并用实例讨论了不同硬软件组合对于系统设计的影响。在面向对象技术日益普及的今天文中就把面向对象技术引入协同设计中进行了初步的探讨。最后，文章以系统理论为基础，论述了系统开发的一般过程，并将此结论推广到基于计算机的软件密集型系统中，由此得到致力于解决这类系统问题的计算机系统工程的一般过程，同时指出了该学科的进一步发展方向。; 关键词软件密集型系统协同设计面向对象; Keywords Software-intensive system Codesign technology Object-oriented technology; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名基于代码检测的软件故障定位方法被引量：2: 4; 作者易昭湘慕晓冬赵鹏张雄美; 机构第二炮兵工程学院; 出处《计算机工程》 CAS CSCD 北大核心 2007年第12期82-83,89,共3页; 基金武器装备预研项目; 文摘针对现有软件故障定位方法的缺陷,提出了一种基于代码检测的软件故障定位方法,用嵌入式模块获取软件发生故障时的模块运行序列,分析出软件故障可疑模块集及其故障系数,在此基础上对故障模块进行代码的分类检测,根据上述过程中得到的结果进行综合分析运算,得出软件故障的可疑代码集和故障系数,采用代码分析辅助工具进行排查,定位故障。该方法已成功应用于软件密集型系统的故障诊断,能快速有效地实现软件故障定位。; 关键词软件故障故障定位代码检测软件密集型系统; Keywords Software fault Fault location Checking codes Software intensive system（SIS）; 分类号 TP311.53 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名基于时间博弈自动机的道岔自动控制系统被引量：1: 5; 作者余兴超董荣胜孙栋栋邵梅; 机构桂林电子科技大学计算机科学与工程学院; 出处《计算机工程》 CAS CSCD 2012年第10期221-223,共3页; 基金广西自然科学基金资助项目(桂科自0991242); 文摘为提高道岔自动控制系统的运行效率,引入时间博弈自动机理论,建立列车、控制器、道岔和故障检测器的时间博弈自动机网络模型,使用TCTL公式描述获胜条件,应用策略综合工具Uppaal-Tiga输出获胜策略并生成控制代码。仿真结果表明,该控制策略可以有效提高列车的行车效率。; 关键词时间博弈自动机形式化综合道岔自动控制系统控制策略完全信息博弈软件密集型系统; Keywords time game automata formal synthesis automatic turnout control system control strategy game of complete information software-intensive system; 分类号 TP272 [自动化与计算机技术—检测技术与自动化装置]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	软件密集型系统的故障诊断技术研究	徐静雯周继恩施跃跃马明孙权	《计算机应用与软件》 CSCD 北大核心	2012	5	在线阅读下载PDF 职称材料
2	一种基于问题框架的软件密集型系统增量需求问题求解方法	董瑞志彭鑫赵文耘	《计算机学报》 EI CSCD 北大核心	2014	1	在线阅读下载PDF 职称材料
3	软件密集型系统的协同设计问题	雍信阳蔡希尧	《计算机工程与设计》 CSCD 北大核心	1996	1	在线阅读下载PDF 职称材料
4	基于代码检测的软件故障定位方法	易昭湘慕晓冬赵鹏张雄美	《计算机工程》 CAS CSCD 北大核心	2007	2	在线阅读下载PDF 职称材料
5	基于时间博弈自动机的道岔自动控制系统	余兴超董荣胜孙栋栋邵梅	《计算机工程》 CAS CSCD	2012	1	在线阅读下载PDF 职称材料