期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到98篇文章
< 1 2 … 5 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
“Problem of Towers of Hanoi”仿真软件的设计 被引量：1
1
作者 周斌 《实验室研究与探索》 CAS 北大核心 2011年第7期61-63,71,共4页
"Problem of Towers of Hanoi",用递归的方法能很容易地解决问题,不用递归的方法将会是比较困难,因为随着参与盘子数的不断增多,计算时间和复杂度将会不断增多。运用仿真软件能清晰地勾勒出每个盘子的移动轨迹并给出详细的移... "Problem of Towers of Hanoi",用递归的方法能很容易地解决问题,不用递归的方法将会是比较困难,因为随着参与盘子数的不断增多,计算时间和复杂度将会不断增多。运用仿真软件能清晰地勾勒出每个盘子的移动轨迹并给出详细的移动步骤,这将会使此问题能更形象、更直观的解决。 展开更多
关键词 problem of TOWERS of HANOI 递归 仿真软件
在线阅读 下载PDF
基于多因素分析的机场任务指派建模与仿真 被引量：2
2
作者 田倩南 李杰 +1 位作者 李昆鹏 郭群 《运筹与管理》 CSSCI CSCD 北大核心 2024年第2期1-8,共8页
机场任务指派问题是一个复杂的组合优化问题,属于NP-hard问题。本文研究了考虑任务部分覆盖率、资格匹配度等多因素的指派问题,通过分析研究问题,建立整数规划模型,对模型进行分析并提出有效不等式,应用CPLEX优化软件对不同因素的实际... 机场任务指派问题是一个复杂的组合优化问题,属于NP-hard问题。本文研究了考虑任务部分覆盖率、资格匹配度等多因素的指派问题,通过分析研究问题,建立整数规划模型,对模型进行分析并提出有效不等式,应用CPLEX优化软件对不同因素的实际数据进行仿真测试,数值实验结果表明:1)该模型的可行性与有效性;2)对不同规模的实际数据求解发现,即使覆盖率设置高达80%,目标函数的均值依然提高9.6%;当同时考虑资格匹配度时,目标函数均值也能提高6.98%;3)对考虑不同属性因素数据的测试结果对比发现,降低任务对资格的要求对目标函数产生的影响最大,目标函数均值增加量高达27.96%,从而对任务完成率影响更直观。研究可以有效提高机场的运行效率和任务完成率,为企业实际运营决策提供科学依据。 展开更多
关键词 任务部分覆盖率 NP-HARD问题 整数规划模型 CPLEX优化软件
在线阅读 下载PDF
基于投影的嵌入式系统需求分析方法
3
作者 王小齐 陈小红 +2 位作者 金芝 顾斌 綦艳霞 《软件学报》 EI CSCD 北大核心 2024年第12期5397-5418,共22页
嵌入式系统正变得越来越复杂,其软件系统的需求分析成为嵌入式系统开发的瓶颈问题.设备依赖性和执行逻辑的交织性是嵌入式软件系统的典型特征,要求需求分析方法能根据所依赖的设备进行有效的需求解耦.从基于环境建模的需求工程思想出发... 嵌入式系统正变得越来越复杂,其软件系统的需求分析成为嵌入式系统开发的瓶颈问题.设备依赖性和执行逻辑的交织性是嵌入式软件系统的典型特征,要求需求分析方法能根据所依赖的设备进行有效的需求解耦.从基于环境建模的需求工程思想出发,针对嵌入式软件系统的特征,提出一种基于投影的从系统需求到软件需求的分析方法,帮助需求工程师对需求进行有效解耦.首先总结嵌入式软件系统的系统需求与软件需求描述,基于交互环境特性定义嵌入式软件系统的需求解耦策略,并设计从系统需求到软件需求的规约过程.在航天器太阳搜索系统进行实际案例研究,并通过耦合度与内聚性两个指标对5个代表性案例场景进行量化评估,展示所提方法的有效性. 展开更多
关键词 嵌入式系统 需求分析 需求解耦 问题投影 软件需求
在线阅读 下载PDF
广东省调提高状态估计计算精度的措施 被引量：43
4
作者 黄滔 卢建刚 张辉 《电网技术》 EI CSCD 北大核心 2004年第16期78-81,共4页
摘要:结合广东省调EMS中状态估计软件的运行情况,从网络模型建立和量测采集的角度介绍了提高状态估计计算精度的一些措施,针对母联开关刀闸遥信错误对状态估计计算造成的严重影响,给出了一种检查与纠正母线分裂错误的方法,作为对状态估... 摘要:结合广东省调EMS中状态估计软件的运行情况,从网络模型建立和量测采集的角度介绍了提高状态估计计算精度的一些措施,针对母联开关刀闸遥信错误对状态估计计算造成的严重影响,给出了一种检查与纠正母线分裂错误的方法,作为对状态估计量测预处理手段的一个重要补充。这些建议和方法的实施显著提高了广东省调状态估计的计算精度。 展开更多
关键词 电力系统 状态估计 能量管理系统 计算精度 EMS 广东
在线阅读 下载PDF
可信软件非功能需求形式化表示与可满足分析 被引量：10
5
作者 张璇 李彤 +3 位作者 王旭 于倩 郁湧 朱锐 《软件学报》 EI CSCD 北大核心 2015年第10期2545-2566,共22页
可信软件的可信性由其功能需求和非功能需求共同来体现,其中,非功能需求的实现是可信软件获得用户对其行为实现预期目标能力的信任程度的客观依据.针对可信软件的重要性以及对可信软件的迫切需求,在可信软件的早期需求工程阶段,提出可... 可信软件的可信性由其功能需求和非功能需求共同来体现,其中,非功能需求的实现是可信软件获得用户对其行为实现预期目标能力的信任程度的客观依据.针对可信软件的重要性以及对可信软件的迫切需求,在可信软件的早期需求工程阶段,提出可信软件非功能需求驱动的过程策略选取方法.首先,对可信软件需求进行定义,提出由功能需求和非功能需求中的可信关注点构成可信需求,非可信关注点的非功能需求则定义为软目标,用于表达质量需求,基于模糊集合论和信息熵对可信软件非功能需求进行排序并获取可信关注点和软目标.在此基础上,提出可信软件非功能需求驱动的过程策略选取方法.传统的软件早期需求工程阶段的目标是为了获取满足需求的技术及设计决策,与此不同,本文对可信软件非功能需求进行分析的目标是获取过程策略,从过程角度解决可信软件生产问题.由于非功能需求间复杂的相关关系,尤其是因为存在冲突关系,故提出了基于可满足性问题求解方法推理过程策略的方法,选取满足可信软件非功能需求的过程策略.最后,通过第三方可信认证中心软件的案例,说明所提出方法的可行性. 展开更多
关键词 可信软件 早期需求工程 非功能需求 软件过程 可满足性问题
在线阅读 下载PDF
创建智能体系统的软件工程方法研究 被引量：7
6
作者 冯珊 唐超 闵君 《系统工程与电子技术》 EI CSCD 北大核心 2002年第12期96-99,共4页
研究作为数字世界中计算和应用软件系统构造单元的软件智能体构建与开发。提出由 (1)智能体理论模型 ;(2 )以之为概念框架的软件系统逻辑结构模型 ;(3)基于结构模型 ,采用统一建模语言UML实现的应用程序框架三部分组成的方法体系。这三... 研究作为数字世界中计算和应用软件系统构造单元的软件智能体构建与开发。提出由 (1)智能体理论模型 ;(2 )以之为概念框架的软件系统逻辑结构模型 ;(3)基于结构模型 ,采用统一建模语言UML实现的应用程序框架三部分组成的方法体系。这三个部分既具有内在机理联系又有过程时序约束 ,它们分别支持软件工程的分析、设计与实现各阶段。预期该方法体系的成功运用将有利于软件智能体系统开发的规范化和标准化 。 展开更多
关键词 软件智能体 软件工程方法 理论模型 结构模型 UML语言
在线阅读 下载PDF
一类面向Agent的软件开发方法研究 被引量：17
7
作者 曾广周 王晓琳 《小型微型计算机系统》 CSCD 北大核心 1998年第7期64-68,共5页
本文提出了一种面向任务（ｔａｓｋ＿ｓｐｅｃｉｆｉｃ）的软件ａｇｅｎｔ模型，并给出了基于问题归约分析的软件开发方法。问题归约是一类目标驱动的问题求解策略，它与面向任务的软件ａｇｅｎｔ一起，可以有效地设计软件系统。
关键词 软件开发文件 问题归约 人工智能
在线阅读 下载PDF
高校软件管理的探讨 被引量：5
8
作者 刘晓舒 邱路 邓凤兰 《实验室研究与探索》 CAS 2004年第4期100-101,共2页
简要分析了目前高校软件管理存在的问题,阐述了如何规范化管理软件的几点看法。
关键词 高校 软件管理 校园网 资产管理
在线阅读 下载PDF
基于问题生命周期的软件问题管理平台——SPMPE 被引量：2
9
作者 曹会明 金茂忠 +2 位作者 刘超 张楣 李健 《计算机工程与应用》 CSCD 北大核心 2002年第14期6-9,共4页
软件整个生命周期中的软件问题管理是各种软件质量保证活动的核心,文中介绍了一个基于问题生命周期的软件问题管理平台———SPMP。文章深入讨论了软件问题的生命周期,指出软件问题的状态控制与变更追踪构成了软件问题管理的基础。然后... 软件整个生命周期中的软件问题管理是各种软件质量保证活动的核心,文中介绍了一个基于问题生命周期的软件问题管理平台———SPMP。文章深入讨论了软件问题的生命周期,指出软件问题的状态控制与变更追踪构成了软件问题管理的基础。然后介绍了该平台的体系结构、关键技术和应用实例,最后给出结论。 展开更多
关键词 问题生命周期 软件问题管理平台 SPMP 软件质量保证 软件开发 软件工程 计算机
在线阅读 下载PDF
基于程序路径分析的有效蜕变测试 被引量：17
10
作者 董国伟 聂长海 徐宝文 《计算机学报》 EI CSCD 北大核心 2009年第5期1002-1013,共12页
蜕变测试对于预期输出难以构造的程序是实用和高效的.作者在系统研究已有蜕变测试方法和路径分析技术的基础上,首先针对使用二元蜕变关系的测试提出了一组蜕变测试准则,以在多个不同的层次上定义蜕变测试用例集的充分性;然后给出了3种... 蜕变测试对于预期输出难以构造的程序是实用和高效的.作者在系统研究已有蜕变测试方法和路径分析技术的基础上,首先针对使用二元蜕变关系的测试提出了一组蜕变测试准则,以在多个不同的层次上定义蜕变测试用例集的充分性;然后给出了3种能够生成相应测试用例集的算法;最后通过变异分析的方法证实这些算法的有效性.实验结果表明,蜕变关系和测试准则的选取直接影响到测试的效果,另外,使用蜕变关系全路径覆盖可满足性算法(APCEMST)可以快速准确地发现待测程序中的错误,而生成的测试用例的数量却比传统技术要少. 展开更多
关键词 软件测试 蜕变测试 oracle问题 蜕变关系 路径覆盖准则
在线阅读 下载PDF
基于Windows NT局域网络的计算机应用能力上机考核系统之关键技术 被引量：4
11
作者 詹国华 张量 +3 位作者 虞歌 袁贞明 王竹萍 陈根方 《计算机工程与应用》 CSCD 北大核心 1999年第8期47-48,57,共3页
文章介绍一种基于WindowsNT的局域网络，在Windows95／98平台上使用的高度智能化的计算机应用能力上机考核系统之关键技术，并重点介绍了试题库的组织，试卷生成方案，答卷回收的实现和有关阅卷技术。
关键词 上机考核系统 试题库 计算机 WINDOWS NT 局域网
在线阅读 下载PDF
特征交互问题导论 被引量：4
12
作者 梅宏 黄罡 +1 位作者 邢岩 彭枫 《电子学报》 EI CAS CSCD 北大核心 2002年第12A期1923-1927,共5页
特征交互问题是长期困扰电信领域的主要挑战之一,随着Internet的发展,软件(特别是WEB软件)随着其集成的特征愈多、规模愈大、服务质量要求愈高、演化愈频繁、对人与社会的影响愈大,其中的特征交互问题亦开始呈现并日趋严重.尽早开展相... 特征交互问题是长期困扰电信领域的主要挑战之一,随着Internet的发展,软件(特别是WEB软件)随着其集成的特征愈多、规模愈大、服务质量要求愈高、演化愈频繁、对人与社会的影响愈大,其中的特征交互问题亦开始呈现并日趋严重.尽早开展相关研究与实践,是避免软件在特征交互问题上重蹈覆辙的有效途径.本文着重介绍了电信领域中特征交互问题的基本概念、实例及其分类,在分析已有研究成果的基础上,讨论了今后的研究方向.进而通过介绍基于软件体系结构的特征交互问题研究,探讨了软件中的特征交互问题. 展开更多
关键词 特征交互问题 WEB软件 软件体系结构 电信系统
在线阅读 下载PDF
21世纪的船舶性能计算和RANS方程 被引量：34
13
作者 刘应中 张怀新 +1 位作者 李谊乐 缪国平 《船舶力学》 EI 2001年第5期66-84,共19页
本文从势流兴波阻力研究、船体的粘性绕流、螺旋桨的性能计算、船舶耐波性和船舶操纵性等五个方面系统地回顾了船舶流体性能计算近40余年来的发展 ,对他们发展的脉略、存在的主要问题、不同时期出现的解决方法 ,作了较为全面的评述 ,并... 本文从势流兴波阻力研究、船体的粘性绕流、螺旋桨的性能计算、船舶耐波性和船舶操纵性等五个方面系统地回顾了船舶流体性能计算近40余年来的发展 ,对他们发展的脉略、存在的主要问题、不同时期出现的解决方法 ,作了较为全面的评述 ,并对21世纪的船舶性能计算作了展望 ,指出 :(1)船舶流体力学中势流为控制因素的问题 ,将统一在基本源的框架下 ;(2)RANS方程在船舶性能计算中的实际应用已经提上日程 ,可望在21世纪成为各领域中的主要计算模式 ;(3)求解RANS方程的商业软件在船舶流体力学计算中的作用不可低估 ;(4)计算模式的统一和商业程序的应用将使比较抽象的流体力学更接近生活 ,更容易为工程技术人员所理解、所接受。 展开更多
关键词 船舶 RANS方程 耐波性 操纵性 性能计算 粘性绕流 螺旋桨
在线阅读 下载PDF
电网规划综合评判决策系统的设计与应用 被引量：37
14
作者 肖峻 罗凤章 +3 位作者 王成山 姚硕 葛少云 王辛 《电网技术》 EI CSCD 北大核心 2005年第2期9-13,共5页
针对现有的电网规划软件在处理不确定性因素时综合评判决策能力不足的缺陷,开发了一套基于区间层次分析法的可视化电网规划综合评判决策系统。该系统通过友好的人机交互能结合专家经验对规划方案的优越性进行综合评判决策,在决策过程中... 针对现有的电网规划软件在处理不确定性因素时综合评判决策能力不足的缺陷,开发了一套基于区间层次分析法的可视化电网规划综合评判决策系统。该系统通过友好的人机交互能结合专家经验对规划方案的优越性进行综合评判决策,在决策过程中能综合考虑多种定量、定性因素以及因素的不确定性。系统针对电网规划决策问题的特点设计,内置了比较变电站规划方案、配电网规划方案时常用的层次结构模板。决策系统以VisualStudio.Net为开发工具,采用VB开发前台界面,利用VC++开发后台算法,实现了与城网规划软件的无缝集成。应用实例表明该系统是解决电网规划综合评判决策问题的实用工具。 展开更多
关键词 配电网规划 城网 变电站 专家经验 决策系统 人机交互 应用实例 STUDIO.NET 实用工具 软件
在线阅读 下载PDF
软件产品质量保证过程度量的实用准则 被引量：9
15
作者 吴超英 刘超 《计算机工程与应用》 CSCD 北大核心 2001年第12期73-77,共5页
文章首先指出定量软件工程是科学管理软件开发过程可见性的重要因素，接着介绍有关软件产品缺陷的几个基本概念以及有关软件产品质量测量和监控的主要机制。然后针对软件产品缺陷的注入、发现和修订等控制过程，基于应用SPC技术控制软... 文章首先指出定量软件工程是科学管理软件开发过程可见性的重要因素，接着介绍有关软件产品缺陷的几个基本概念以及有关软件产品质量测量和监控的主要机制。然后针对软件产品缺陷的注入、发现和修订等控制过程，基于应用SPC技术控制软件质量的实践，提出了六条关于软件产品质量保证过程控制的实用准则。 展开更多
关键词 软件产品质量 度量准则 软件问题报告 软件工程
在线阅读 下载PDF
信息物理融合系统的软件需求分析 被引量：6
16
作者 刘春 黄冉冉 +2 位作者 张伟 赵海燕 金芝 《计算机学报》 EI CSCD 北大核心 2016年第11期2344-2354,共11页
计算过程与物理过程的融合使得信息物理融合系统(Cyber-Physical Systems,CPS)的软件需求分析成为一个具有挑战性的任务.首先,分析人员需要从用户所期望实现的物理实体变化出发,基于对物理实体性质的认识来推理分析软件需求;其次分析人... 计算过程与物理过程的融合使得信息物理融合系统(Cyber-Physical Systems,CPS)的软件需求分析成为一个具有挑战性的任务.首先,分析人员需要从用户所期望实现的物理实体变化出发,基于对物理实体性质的认识来推理分析软件需求;其次分析人员已不能将CPS中的软件看成一个整体去描述它的外部行为,而需要分析CPS所应包含的各个软件实体和物理实体,描述每个物理实体的性质和软件实体应具有的行为;还有计算过程与物理过程的融合也使得分析人员必须采取一种统一的方式来描述物理实体的性质和软件实体的行为,以方便用户需求的满足性验证.基于问题框架方法和面向目标方法,作者提出了一种适合于CPS的软件需求分析方法.该方法采用现象间的因果关系式这一具体形式来统一描述CPS中物理实体的性质和软件实体的需求,然后从用户所期望的物理现象出发,遵循面向目标的方法,将CPS软件需求的分析过程转化为建立满足用户需求的现象间因果关系链的过程,最后通过基于Alloy的目标现象可达性验证来检验用户需求的可满足性;并且用一个自适应巡航控制系统的案例来说明所提方法的可行性. 展开更多
关键词 信息物理融合系统 软件需求 面向目标的方法 问题框架方法
在线阅读 下载PDF
软件配置管理的问题、目的、层次和策略 被引量：10
17
作者 严晓光 王小刚 陈曼煜 《计算机工程与科学》 CSCD 北大核心 2009年第5期90-92,101,共4页
本文结合软件配置管理的基本活动提出了可能出现的活动工作量大、效率低、配置失控等问题;分析了问题产生的深层原因,特别是技术及整体管理能力不足、目标和策略不当等配置管理过程以外的原因;讨论了配置管理的层次目标及各层次的特点... 本文结合软件配置管理的基本活动提出了可能出现的活动工作量大、效率低、配置失控等问题;分析了问题产生的深层原因,特别是技术及整体管理能力不足、目标和策略不当等配置管理过程以外的原因;讨论了配置管理的层次目标及各层次的特点。基于配置管理活动需要面向目标域的理念提出了业务导向、分层次管理、注重实效等原则和策略。 展开更多
关键词 软件配置管理 问题 目的 策略 业绩
在线阅读 下载PDF
一种基于软件寻位的数控加工技术 被引量：8
18
作者 周凯 林喜荣 +1 位作者 毛德柱 刘郁 《西安交通大学学报》 EI CAS CSCD 北大核心 2001年第7期709-713,共5页
针对传统定位加工技术存在的问题 ,提出了新的软件寻位加工概念 ,研究了软件寻位加工中工件寻位问题的求解方法 ,给出了典型的软件寻位加工控制方法 ,介绍了软件寻位加工系统和实际加工实验结果 .理论研究和实际加工结果表明 ,所提出的... 针对传统定位加工技术存在的问题 ,提出了新的软件寻位加工概念 ,研究了软件寻位加工中工件寻位问题的求解方法 ,给出了典型的软件寻位加工控制方法 ,介绍了软件寻位加工系统和实际加工实验结果 .理论研究和实际加工结果表明 ,所提出的原理和方法是可行的 ,其主要优点是 :通过主动获取工件信息、自动求解工件状态及实时生成加工轨迹 ,可实现对工件的位姿自适应加工 ,因而无需使用精密夹具和人工找正 ,可使单件小批零件的总加工周期比采用夹具的常规定位加工方法缩短 50 %以上 ,具有良好的应用前景 . 展开更多
关键词 机加工技术 软件定位 位姿自适应 数控加工
在线阅读 下载PDF
分布式水文模型子流域划分方法 被引量：17
19
作者 张峰 廖卫红 +3 位作者 雷晓辉 蒋云钟 黄晓敏 王宇晖 《南水北调与水利科技》 CAS CSCD 2011年第3期101-105,共5页
子流域划分是构建分布式水文模型的重要工作之一,它关系到水文模拟和预报精度的好坏。通过综述分布式水文模型子流域划分方法的国内外研究进展,总结了现有子流域划分方法在不完整流域的子流域划分、无分叉长河段的子流域划分、水文站和... 子流域划分是构建分布式水文模型的重要工作之一,它关系到水文模拟和预报精度的好坏。通过综述分布式水文模型子流域划分方法的国内外研究进展,总结了现有子流域划分方法在不完整流域的子流域划分、无分叉长河段的子流域划分、水文站和水库控制范围确定以及子流域划分软件等方面存在的问题,提出了水文实践对子流域划分方法的需求,最后针对该问题从开发适用性更高的子流域划分算法、开发通用的子流域划分软件和加强子流域划分层次或水平的研究等三个方面对子流域划分研究方向进行了展望。 展开更多
关键词 子流域划分 编码 算法 Pfafstetter法DEM软件 问题
在线阅读 下载PDF
NodeRank:一种高效软硬件划分算法 被引量：8
20
作者 陈志 武继刚 +1 位作者 宋国治 陈金亮 《计算机学报》 EI CSCD 北大核心 2013年第10期2033-2040,共8页
软硬件协同设计是现代嵌入式系统开发的核心技术,如何将系统功能划分到软件和硬件部分上是软硬件协同设计的关键环节.文中将软硬件划分问题看作带有动态通信代价的变异0-1背包问题,提出一种基于迭代排序思想的NodeRank算法.该算法通过... 软硬件协同设计是现代嵌入式系统开发的核心技术,如何将系统功能划分到软件和硬件部分上是软硬件协同设计的关键环节.文中将软硬件划分问题看作带有动态通信代价的变异0-1背包问题,提出一种基于迭代排序思想的NodeRank算法.该算法通过迭代排序计算结点通信代价的期望值,进而求解背包问题,构造出软硬件划分问题的优质启发解.实验结果证明,在计算-通信代价均衡,弱实时性约束条件下,NodeRank对边点比大于等于2的任务图的处理结果与目前已知效果最好的禁忌搜索方法的平均性能差距不超过1.2%,而平均时间开销可以节约95%.在通信代价较高的条件下,NodeRank与禁忌搜索相比,可提升性能达3.5%,并节约时间超过75%. 展开更多
关键词 软硬件划分 启发式算法 0-1背包问题 迭代排序
在线阅读 下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 2 … 5 下一页 到第 页
关于我们 | 版权声明 | 联系我们 | 帮助中心| 意见反馈
主办单位：上海市教育委员会
技术支持：重庆维普资讯有限公司
渝公网安备 50019002500403号
使用帮助 返回顶部