期刊文献+
共找到3,877篇文章
< 1 2 194 >
每页显示 20 50 100
硕士生生源质量与学位论文成绩的相关性分析--基于中国科学院某研究所计算机科学与技术学科的实证研究 被引量:17
1
作者 李彩丽 缪园 《学位与研究生教育》 CSSCI 北大核心 2009年第9期8-11,共4页
以计算机科学与技术学科为例,利用统计方法研究分析了某研究所近6年不同生源的硕士生学位论文成绩,指出了免试生的学位论文成绩好于统考生的成绩,来自北京大学和清华大学的免试生的学位论文成绩不如来自其他重点院校的免试生的成绩,初... 以计算机科学与技术学科为例,利用统计方法研究分析了某研究所近6年不同生源的硕士生学位论文成绩,指出了免试生的学位论文成绩好于统考生的成绩,来自北京大学和清华大学的免试生的学位论文成绩不如来自其他重点院校的免试生的成绩,初试成绩与学位论文成绩之间几乎没有相关性,并相应地提出了改进招生工作、提高生源质量的意见与建议。 展开更多
关键词 生源质量 初试成绩 学位论文 研究生教育
在线阅读 下载PDF
软件供应链SBOM关键技术研究
2
作者 孙泽雨 吴敬征 +3 位作者 凌祥 魏怡琳 罗天悦 武延军 《软件学报》 北大核心 2025年第6期2604-2642,共39页
供应链级别的开源软件及组件复用是当前软件开发的主流模式.该模式避免了重复开发,降低了研发成本,提高了开发效率,但是也不可避免地存在组件的来源未知,成分不清,漏洞不明,许可证违规等问题.为解决上述问题,研究人员提出了软件物料清单... 供应链级别的开源软件及组件复用是当前软件开发的主流模式.该模式避免了重复开发,降低了研发成本,提高了开发效率,但是也不可避免地存在组件的来源未知,成分不清,漏洞不明,许可证违规等问题.为解决上述问题,研究人员提出了软件物料清单(software bill of material,SBOM).SBOM详细列出了构成软件的组件及组件之间的关系,揭示了潜在的和已知的威胁,使软件透明化.自提出以来,国内外研究人员针对SBOM的研究主要聚焦在SBOM的现状、应用和工具上,缺少理论化、体系化的研究.综述SBOM的背景、基本概念、生成技术、工具及性能分析、应用、挑战与趋势,并提出融合细粒度安全漏洞感知,许可证冲突检测的SBOM+,以期从概念、技术、工具、应用和发展等方面为SBOM、软件开发、供应链安全等研究人员提供支撑. 展开更多
关键词 软件供应链 开源软件 软件成分 SBOM
在线阅读 下载PDF
网络空间安全技术发展趋势研究 被引量:1
3
作者 冯登国 《信息安全研究》 北大核心 2025年第1期2-4,共3页
网络空间安全是一个长期演进、发展和变化的过程,在这个过程中,新问题随着新场景、新技术不断出现.而新的问题出现以后就需要思考如何解决,主要来自2个方面:一个是新的场景,主要是应用场景、计算场景;另一个是新的技术,如人工智能技术... 网络空间安全是一个长期演进、发展和变化的过程,在这个过程中,新问题随着新场景、新技术不断出现.而新的问题出现以后就需要思考如何解决,主要来自2个方面:一个是新的场景,主要是应用场景、计算场景;另一个是新的技术,如人工智能技术、量子计算技术.在解决新问题的过程中,网络空间安全技术得到了新的发展. 展开更多
关键词 网络空间安全 人工智能技术 量子计算 长期演进 应用场景 发展趋势研究 计算场景
在线阅读 下载PDF
新一代密码杂凑算法研究的问题与挑战
4
作者 吴文玲 《密码学报(中英文)》 北大核心 2025年第3期I0001-I0002,共2页
密码杂凑算法作为最常用的数据完整性保护算法,广泛应用于数据完整性验证、数字签名、随机数生成等领域,是保障信息安全的基础性底层密码算法.为应对量子计算威胁,推动新一代商用密码算法标准制定,商用密码标准研究院将面向全球开展新... 密码杂凑算法作为最常用的数据完整性保护算法,广泛应用于数据完整性验证、数字签名、随机数生成等领域,是保障信息安全的基础性底层密码算法.为应对量子计算威胁,推动新一代商用密码算法标准制定,商用密码标准研究院将面向全球开展新一代公钥密码算法、密码杂凑算法、分组密码算法征集活动,遴选产生优胜算法,推动形成我国新一代商用密码算法标准.格公钥密码作为目前最有前景的后量子密码算法之一,需要调用密码杂凑算法产生伪随机数,密码杂凑算法的性能将直接影响格公钥密码算法的性能. 展开更多
关键词 密码杂凑算法 数字签名 数据完整性保护
在线阅读 下载PDF
开源前处理软件到通用有限元求解器的网格文件转换方法研究
5
作者 田卓 丁嘉欣 +1 位作者 张常有 邵云霞 《计算机工程与科学》 CSCD 北大核心 2024年第12期2109-2116,共8页
有限元分析软件能够对产品进行数值仿真,减少实验次数,降低研发成本,缩短创新设计周期,是工业软件中最核心的部分之一。但是,我国95%以上用户使用国外商业有限元软件,使工业仿真软件求解器成为工业软件“卡脖子”的核心问题之一。其中,... 有限元分析软件能够对产品进行数值仿真,减少实验次数,降低研发成本,缩短创新设计周期,是工业软件中最核心的部分之一。但是,我国95%以上用户使用国外商业有限元软件,使工业仿真软件求解器成为工业软件“卡脖子”的核心问题之一。其中,网格划分技术是有限元分析软件中的关键技术,它能够将有限元方法的计算区域实现空间离散,以进行后续的有限元求解。但是,目前有限元分析软件的研发主要集中在求解器,网格划分多采用商业软件或开源软件,开源网格划分软件的输出文件格式往往不具备通用性,无法实现与有限元求解器的兼容。因此,研究并实现了一种开源的前处理软件到通用有限元求解器的网格文件转换方法,分析并对比了网格文件和数值求解文件数据组织方式的不同,并实现了统一化、标准化。转换后的网格文件能够兼容主流的商业及开源有限元求解器,为工业仿真软件的自主化探索了可能之路。 展开更多
关键词 开源软件 有限元分析 网格划分 求解器
在线阅读 下载PDF
开源软件供应链漏洞威胁智能感知 被引量:1
6
作者 王丽敏 吴敬征 +4 位作者 武延军 芮志清 罗天悦 屈晟 杨牧天 《软件学报》 北大核心 2025年第2期511-536,共26页
开源软件的繁荣推动了软件领域的蓬勃发展,也促使以开源软件为基础的供应链开发模式的形成.开源软件供应链本质上是个复杂的供应链拓扑网络,由开源生态的关键元素及其关联关系构成,其产品全球化等优势有助于提高软件行业的开发效率.然而... 开源软件的繁荣推动了软件领域的蓬勃发展,也促使以开源软件为基础的供应链开发模式的形成.开源软件供应链本质上是个复杂的供应链拓扑网络,由开源生态的关键元素及其关联关系构成,其产品全球化等优势有助于提高软件行业的开发效率.然而,开源软件供应链也存在依赖关系复杂、传播范围广泛、攻击面暴露扩大等特点,带来了新的安全风险.现有的以安全漏洞、威胁情报为基础的安全管理虽然可以实现安全预警、预先防御,但是由于漏洞威胁信息获取不及时、缺少攻击技术和缓解措施等信息,严重影响了漏洞处理效率.针对上述问题,设计并实现一种针对开源软件供应链的漏洞威胁智能感知方法,包括两部分:1)构建CTI(网络威胁情报)知识图谱,在其构建的过程中使用到相关技术,可以实现安全情报的实时分析与处理,尤其提出SecERNIE模型以及软件包命名矩阵,分别缓解漏洞威胁关联挖掘的问题和开源软件别名的问题.2)漏洞风险信息推送,以软件包命名矩阵为基础,构建软件包过滤规则,实现开源系统漏洞实时过滤与推送.通过实验验证所提方法的有效性和可用性.实验结果显示,相较于NVD等传统漏洞平台,本方法平均感知时间最高提前90.03天;在操作系统软件覆盖率上提升74.37%,并利用SecERNIE模型实现63492个CVE漏洞与攻击技术实体之间的关联关系映射.特别地,针对openEuler操作系统,可追踪的系统软件覆盖率达到92.76%,并累计感知6239个安全漏洞;同时,还发现openEuler中891条漏洞与攻击的关联关系,进而获取到相应的解决方案,为漏洞处理提供了参考依据.在真实攻击环境验证2种典型的攻击场景,证明所提方法在漏洞威胁感知方面的良好的效果. 展开更多
关键词 开源软件供应链 漏洞威胁感知 特征表示 知识图谱 风险推送
在线阅读 下载PDF
服务器无感知计算系统性能优化技术研究综述
7
作者 杨光 刘杰 +3 位作者 曲慕子 王帅 叶丹 钟华 《软件学报》 北大核心 2025年第1期47-78,共32页
服务器无感知计算是新兴的云计算模式,它基于“函数即服务(FaaS)”的范式,以函数为部署和调度的基本单位,为用户提供大规模并行和自动伸缩的函数执行服务,且无需用户管理底层资源.对于用户,服务器无感知计算能够帮助他们摆脱集群底层基... 服务器无感知计算是新兴的云计算模式,它基于“函数即服务(FaaS)”的范式,以函数为部署和调度的基本单位,为用户提供大规模并行和自动伸缩的函数执行服务,且无需用户管理底层资源.对于用户,服务器无感知计算能够帮助他们摆脱集群底层基础设施管理的负担,专注于业务层的开发和创新;对于服务提供商,服务器无感知计算将应用分解为细粒度的函数,极大地提高了调度效率和资源利用率.显著的优势让服务器无感知计算迅速吸引了业界的注意,然而,服务器无感知计算与传统云计算迥然不同的计算模式以及对任务各方面的严格限制给应用的迁移带来了诸多障碍,各种越来越复杂的任务也对服务器无感知计算的性能提出了越来越高的要求,服务器无感知计算的性能优化成为一个重要的研究课题.从4个方面对服务器无感知计算系统性能优化技术的相关研究工作进行梳理和综述,并介绍现有的系统实现.(1)介绍面向典型任务的优化技术,包括任务适配和针对特定任务的系统优化;(2)综述沙箱环境的优化工作,包括沙箱方案和冷启动优化技术,它们是决定函数运行速度的核心;(3)概括I/O和通信技术的优化,它们是服务器无感知计算应用程序的主要性能瓶颈;(4)简述相关的资源调度技术,包括面向平台和面向用户的调度策略,它们决定着系统的资源利用率和任务的执行效率.最后,总结当前服务器无感知计算性能优化技术所面临的问题和挑战,并展望未来可能的发展方向. 展开更多
关键词 服务器无感知计算 函数即服务 云函数 云计算 性能优化
在线阅读 下载PDF
面向SW26010-Pro众核处理器的新型矩阵存储格式及稀疏矩阵向量乘(SpMV)算法研究
8
作者 王萃 刘芳芳 +2 位作者 马文静 赵玉文 胡力娟 《计算机学报》 北大核心 2025年第6期1290-1304,共15页
稀疏矩阵向量乘(Sparse Matrix-Vector Multiplication,SpMV)是高性能计算、人工智能大模型领域中的关键操作,其性能通常对应用程序整体性能的提升具有重要影响。高效的稀疏矩阵存储格式是影响SpMV性能的重要因素,然而,现有的稀疏矩阵... 稀疏矩阵向量乘(Sparse Matrix-Vector Multiplication,SpMV)是高性能计算、人工智能大模型领域中的关键操作,其性能通常对应用程序整体性能的提升具有重要影响。高效的稀疏矩阵存储格式是影响SpMV性能的重要因素,然而,现有的稀疏矩阵存储格式主要通过压缩零元素以减少访存,未充分利用非零元素的数值规律,因此仍有进一步压缩和优化的空间。本文通过对压缩稀疏行(Compressed Sparse Row,CSR)存储格式中非零元数组内的重复元素进行进一步的压缩,提出了一种新型的稀疏矩阵存储格式(Further Compressed Sparse Row,FCSR),并设计了从CSR到FCSR格式转换的异构并行算法,以尽量减少格式转换带来的开销。同时,本文面向SW26010-Pro众核处理器,设计了基于FCSR存储格式的SpMV异构并行算法,对SpMV进行了细粒度的任务划分和并行优化设计,探究了五种向量x的间接访存方式,并通过双缓冲技术对算法进行了优化。最后,本文选用SuiteSparse矩阵集中的稀疏矩阵进行了测试,实验结果表明,本文提出的基于FCSR存储格式的异构众核SpMV算法相较于主核版SpMV算法具有明显的性能提升,最高加速比达到43.11,平均加速比为7.56,测试矩阵最高带宽利用率达到了91.13%,平均带宽利用率为26.27%。另外,本文对基于FCSR存储格式和CSR存储格式的SpMV算法性能进行了比较,在两者均得到充分优化的前提下,基于FCSR存储格式的SpMV算法相较于基于CSR存储格式的SpMV算法性能的平均加速比达到1.19。 展开更多
关键词 稀疏矩阵向量乘 SW26010-Pro众核处理器 新型矩阵存储格式 并行优化 双缓冲技术
在线阅读 下载PDF
面向SW26010P的异形矩阵乘法众核并行优化技术研究
9
作者 胡怡 陈道琨 杨超 《计算机工程与应用》 北大核心 2025年第6期150-163,共14页
矩阵乘法广泛应用于科学与工程计算领域,是基础线性代数库中的关键优化对象。随着人工神经网络、计算流体力学等领域的快速发展,异形(irregular-shaped)矩阵乘法正在迅速引起关注。研究集中在针对国产新一代神威超级计算机采用的SW26010... 矩阵乘法广泛应用于科学与工程计算领域,是基础线性代数库中的关键优化对象。随着人工神经网络、计算流体力学等领域的快速发展,异形(irregular-shaped)矩阵乘法正在迅速引起关注。研究集中在针对国产新一代神威超级计算机采用的SW26010P众核处理器,探讨异形矩阵乘法的众核并行优化技术。具体而言,结合SW26010P的硬件特性和异形矩阵的数据布局,设计了多样化任务划分映射的并行算法,提高直接内存访问(direct memory access,DMA)访存带宽利用率。结合SW26010P的硬件流水线和向量化访存/计算指令,抽象运算中涉及的计算类型进行底层汇编优化,提高了计算效率。提出了远程内存访问(remote memory access,RMA)点对点机制下的数据共享策略,降低数据访存和传输开销,并提出了嵌套双缓冲技术进一步提高异形矩阵乘法的性能。此外,针对不同种类异形矩阵乘法行实现时面临的分块参数适配问题,基于SW26010P众核处理器进行实验分析研究,确定了各函数并行化时的最优分块参数。实验结果显著,所优化的异形矩阵乘法的性能最高可达roofline模型预测性能上限的93%,相较于常规大规模矩阵乘法算法平均获得了5.43倍的性能加速,最高可获得51.5倍的性能加速。 展开更多
关键词 异形矩阵乘法 SW26010P众核处理器 多样化任务划分映射 RMA点对点机制 嵌套双缓冲技术
在线阅读 下载PDF
社交电商监管资源调度算法研究
10
作者 彭可欣 曾曦葶 何灏 《计算机工程与应用》 北大核心 2025年第8期315-323,共9页
社交电商监管资源调度是一个具有挑战性的课题。随着社交平台及用户数量的迅速增长,商品质量的良莠不齐成为一个突出的问题。然而,全面细致的监测是一项艰巨的任务,而有限的监管人员难以主动巡查并发现违法违规行为。为了解决在众多电... 社交电商监管资源调度是一个具有挑战性的课题。随着社交平台及用户数量的迅速增长,商品质量的良莠不齐成为一个突出的问题。然而,全面细致的监测是一项艰巨的任务,而有限的监管人员难以主动巡查并发现违法违规行为。为了解决在众多电商平台之间优化分配监管资源的问题,提出了基于置信区间上界的三种调度算法,它们能够在利用历史数据选择最优巡查策略的基础上,展开新的探索以加强对欺诈行为的理解。算法采用了巡查行动组合编码和特征相似性简约方法,以提高监测性能。实验分析通过不同的行为模型、应用环境变量和内置参数的比对,验证了综合算法在性能指标上具有较大的优势,对于提升社交电商平台的监管效果具有重要的学术价值和实践指导意义。 展开更多
关键词 资源调度 社交电商 置信区间上界 优化算法
在线阅读 下载PDF
云环境下基于统计监测的分布式软件系统故障检测技术研究 被引量:32
11
作者 王焘 张文博 +2 位作者 徐继伟 魏峻 钟华 《计算机学报》 EI CSCD 北大核心 2017年第2期397-413,共17页
越来越多的分布式软件系统部署在公有云计算平台,通过互联网向外提供服务.云计算环境的复杂性、动态性和开放性使得分布式软件系统更易于出现故障,造成服务失效,从而影响大量用户正常使用,甚至造成巨大经济损失.故障检测技术旨在自动及... 越来越多的分布式软件系统部署在公有云计算平台,通过互联网向外提供服务.云计算环境的复杂性、动态性和开放性使得分布式软件系统更易于出现故障,造成服务失效,从而影响大量用户正常使用,甚至造成巨大经济损失.故障检测技术旨在自动及时的检测系统故障的发生,以避免或减少服务失效所带来的损失,是保障分布式软件系统性能与可靠性的关键技术之一.云计算环境对该技术带来了新的挑战,该文首先分析了这些挑战.基于统计监测的故障检测技术在线搜集监测数据构建统计模型,并基于该模型对系统运行状态进行分析与预测,具有实时监测分析、自动化检测、无需领域知识等优势,能够满足云环境的需要,因此引起了学术界和工业界的广泛关注.该文提出了面向云计算环境的基于统计监测的分布式软件系统故障管理参考框架,包括分布式监测、监测数据处理、故障检测、故障诊断以及故障处理等模块;将已有工作分成基于规则、度量分析、日志分析和行为分析等四大类,逐类介绍其实现原理,并对比分析各类的优缺点;针对当前云计算环境的特点,从在线自动检测、运行环境感知和组件交互分析等3个方面展望了未来的研究方向. 展开更多
关键词 云计算 软件监测 分布式软件系统 软件故障检测 性能异常检测 统计监测
在线阅读 下载PDF
基于模糊评价方法的软件质量评价研究 被引量:32
12
作者 周津慧 王宗 +1 位作者 杨宗奎 刘霞 《系统工程与电子技术》 EI CSCD 北大核心 2004年第7期988-991,共4页
针对软件质量评价研究中的度量问题建立了基于ISO/IEC 912 6标准的软件质量指标体系模型 ,结合质量评价方法研究中的常见问题 ,运用指标体系模型和模糊数学方法对软件质量评价标准进行模糊化处理 ,以度量数据为基础 ,根据软件质量子特... 针对软件质量评价研究中的度量问题建立了基于ISO/IEC 912 6标准的软件质量指标体系模型 ,结合质量评价方法研究中的常见问题 ,运用指标体系模型和模糊数学方法对软件质量评价标准进行模糊化处理 ,以度量数据为基础 ,根据软件质量子特性和指标之间的关系 ,采用模糊综合评价方法评价子特性质量和特性质量 ,通过建立软件质量评价模型 ,有效地解决了软件质量的多指标评价问题 ,可用于指导用户进行软件过程改进。 展开更多
关键词 软件质量评价 指标体系 模糊评价 ISO/IEC 9126 评价标准 多指标评价
在线阅读 下载PDF
中国机器翻译研究的机遇与挑战——第八届全国机器翻译研讨会总结与展望 被引量:33
13
作者 杜金华 张萌 +1 位作者 宗成庆 孙乐 《中文信息学报》 CSCD 北大核心 2013年第4期1-8,共8页
随着统计方法逐渐成为机器翻译研究的主流,机器翻译系统评测的分值越来越高,人们对机器翻译的信心和期望逐渐增加,社会对机器翻译应用的需求也越来越大。然而,现有的机器翻译理论和方法在系统性能上提升的空间逐渐减小,而且距离用户实... 随着统计方法逐渐成为机器翻译研究的主流,机器翻译系统评测的分值越来越高,人们对机器翻译的信心和期望逐渐增加,社会对机器翻译应用的需求也越来越大。然而,现有的机器翻译理论和方法在系统性能上提升的空间逐渐减小,而且距离用户实际需求仍有很长的路要走。那么,面对期望、面对需求,机器翻译之路应该如何走?为此,第八届全国机器翻译研讨会对当前机器翻译研究所面临的挑战和机遇进行了深入研讨。该文详细介绍了该次研讨会六个专题的讨论情况,对机器翻译研究面临的机遇和挑战进行了认真的分析和总结。 展开更多
关键词 机器翻译理论 机器翻译应用 语音翻译 少数民族语言 机器翻译评测
在线阅读 下载PDF
敏捷软件过程的研究 被引量:26
14
作者 沈备军 陈诚 居德华 《计算机研究与发展》 EI CSCD 北大核心 2002年第11期1456-1463,共8页
敏捷软件过程可能成为最适应软件开发全球化、个性化、快速化、高质量新格局的先进开发模式 ,它能够帮助软件企业快速响应市场赢得竞争 .针对这一趋势 ,系统分析软件开发的敏捷性需求 ,总结出敏捷软件过程的 5种典型特征 ,如并行、轻载... 敏捷软件过程可能成为最适应软件开发全球化、个性化、快速化、高质量新格局的先进开发模式 ,它能够帮助软件企业快速响应市场赢得竞争 .针对这一趋势 ,系统分析软件开发的敏捷性需求 ,总结出敏捷软件过程的 5种典型特征 ,如并行、轻载、基于时间、正好策略、基于组件等 .然后设计了 FL EX语言 ,从 3个不同抽象层次上形式化定义了敏捷软件过程的功能模型、合作模型、资源模型和产品模型 .基于过程模型 ,同时提出了 9种静态分析和动态模拟技术 ,支持软件过程面向敏捷性的优化 . 展开更多
关键词 敏捷软件过程 过程建模 过程分析 优化 软件工程 软件开发
在线阅读 下载PDF
软件过程建模方法研究 被引量:25
15
作者 李明树 杨秋松 翟健 《软件学报》 EI CSCD 北大核心 2009年第3期524-545,共22页
通过软件开发实践,人们逐步地认识到软件产品的质量在很大程度上依赖于产品开发时所使用的过程.软件过程建模是通过特定的方法对软件过程进行抽象、表示和分析以增加对软件过程的理解,同时,可执行的(enactable)软件过程模型可以直接指... 通过软件开发实践,人们逐步地认识到软件产品的质量在很大程度上依赖于产品开发时所使用的过程.软件过程建模是通过特定的方法对软件过程进行抽象、表示和分析以增加对软件过程的理解,同时,可执行的(enactable)软件过程模型可以直接指导实际软件开发活动,进而规范软件开发行为并最终提高软件质量.为了系统地了解软件过程建模方法研究的现状和最新进展,采用系统评价(systematic review)方法对该领域最近10年的主要研究进行了概括和分析.从一系列的相关研究中,选出来自20个会议和7种期刊的72篇文献,作为系统评价的依据.该系统评价回答了如下关于软件过程建模方法的3个问题,以便从总体上概括和把握该领域的研究:1)软件过程建模方法主要基于什么范式;2)软件过程建模方法研究的主要目的集中在哪些方面;3)软件过程建模方法的研究有哪些新的趋势.同时,在仔细回顾和分析软件过程建模领域研究现状的基础上,给出了一种多维度的集成化软件过程建模方法.该方法有助于解决过程建模领域所面临的主要问题. 展开更多
关键词 软件过程 建模 分析 系统评价
在线阅读 下载PDF
软件配置错误诊断与修复技术研究 被引量:11
16
作者 陈伟 黄翔 +2 位作者 乔晓强 魏峻 钟华 《软件学报》 EI CSCD 北大核心 2015年第6期1285-1305,共21页
软件的多样性、复杂性、灵活性和高度可定制性对系统的正确配置提出了挑战,配置错误已经成为影响应用服务质量的关键问题之一.很多学者和研究机构致力于配置错误的检测、诊断和故障修复的相关技术和方法研究,以提高复杂应用系统的可用... 软件的多样性、复杂性、灵活性和高度可定制性对系统的正确配置提出了挑战,配置错误已经成为影响应用服务质量的关键问题之一.很多学者和研究机构致力于配置错误的检测、诊断和故障修复的相关技术和方法研究,以提高复杂应用系统的可用性和可靠性.为系统了解软件配置错误相关的研究现状和进展,建立了一种多方面、多角度的分析框架对该领域的主要研究工作进行分类总结和分析评价,该分析框架覆盖了方法类型、方式和适用范围这3个方面的多个角度.基于该分析框架的分析结果,总结了当前软件配置错误相关研究中存在的问题,并针对今后该领域的研究趋势进行了展望,对继续和深入研究具有一定的指导意义. 展开更多
关键词 软件配置 故障诊断 错误修复
在线阅读 下载PDF
嵌入式软件智能合成框架及关键科学问题 被引量:13
17
作者 杨孟飞 顾斌 +7 位作者 段振华 金芝 詹乃军 董云卫 田聪 李戈 董晓刚 李晓锋 《中国空间科学技术》 CSCD 北大核心 2022年第4期1-7,共7页
程序合成是提高软件开发效率和质量的有效途径,也是计算机科学重要的前沿方向之一。首先,概述了程序合成方法的国内外研究现状及其存在的问题。在此基础上,提出了软件知识产权(intellectual property,IP)的概念和一种基于软件IP的嵌入... 程序合成是提高软件开发效率和质量的有效途径,也是计算机科学重要的前沿方向之一。首先,概述了程序合成方法的国内外研究现状及其存在的问题。在此基础上,提出了软件知识产权(intellectual property,IP)的概念和一种基于软件IP的嵌入式软件智能合成开发模式(IP-based embedded software intelligent synthesis,IPESIS)及其框架。最后,阐述了IPESIS需要解决的关键科学问题和主要研究内容。IPESIS通过定义领域需求描述语言,在更高的抽象层次上对目标软件进行刻画,以软件IP为粒度缩小程序搜索空间,采用机器学习等人工智能技术自动合成程序,有望突破现有方法的局限,进而实现嵌入式软件开发从手工编程模式到软件IP研发和基于软件IP的智能合成模式的转变。 展开更多
关键词 嵌入式软件 程序合成 软件IP 软件需求 人工智能
在线阅读 下载PDF
面向开发阶段的软件缺陷分类方法研究 被引量:8
18
作者 车美儒 姜楠 +2 位作者 勾朗 张荣辉 舒风笛 《计算机应用研究》 CSCD 北大核心 2008年第3期759-763,共5页
提出一种面向开发阶段的软件缺陷分类方法Phase-DC,将缺陷和软件开发各阶段相关联,计算阶段及过程的缺陷排除有效性,并结合缺陷的类型和表现形式等详细信息分析开发过程的质量,以帮助软件组织促进并实施过程改进活动。通过实例说明了该... 提出一种面向开发阶段的软件缺陷分类方法Phase-DC,将缺陷和软件开发各阶段相关联,计算阶段及过程的缺陷排除有效性,并结合缺陷的类型和表现形式等详细信息分析开发过程的质量,以帮助软件组织促进并实施过程改进活动。通过实例说明了该方法在过程改进中的应用,并对方法的完备性、正交性和一致性进行了分析验证。 展开更多
关键词 软件缺陷 缺陷分类 开发阶段 过程改进
在线阅读 下载PDF
面向对象的组合软件工程研究 被引量:18
19
作者 冯玉琳 黄涛 武小鹏 《计算机学报》 EI CSCD 北大核心 1996年第3期237-240,F003,共5页
组合软件工程技术是当今软件工程技术发展的主流.本文综述了作者在基于对象的组合软件工程研究方面的最新进展,包括语义模型、描述语言、设计方法学和支持环境等方面.
关键词 组合软件 软件工程 面向对象
在线阅读 下载PDF
基于ISO9001和CMM的软件需求管理的研究 被引量:12
20
作者 雷辉 李怀璋 王青 《计算机科学》 CSCD 北大核心 2002年第2期87-90,共4页
Regarding ISO9001 and CMM Requirements Management as the background,this article analyses the demands of Requirements Management with the techology and methods of Software Requirements Development;presents the Require... Regarding ISO9001 and CMM Requirements Management as the background,this article analyses the demands of Requirements Management with the techology and methods of Software Requirements Development;presents the Requirements Management practice framework,which can be used to promote the software processes capability of software enterprises;establish the Requirements Management of document flow and workfolw.As a result,based on the practice fractice framework,the Requirements Management sub-platform is established as a part of software quality assurance platform based on ISO9000 and CMM.and it can be used to intensify the requirement management and development of software enterprises. 展开更多
关键词 软件工程 软件需求管理 IS09001 CMM 软件产品 软件开发
在线阅读 下载PDF
上一页 1 2 194 下一页 到第
使用帮助 返回顶部