期刊文献+
共找到126篇文章
< 1 2 7 >
每页显示 20 50 100
Agile Development Methods in Software Engineering and Their Efficiency Analysis
1
作者 Shuntao Tang Wei Chen 《计算机科学与技术汇刊(中英文版)》 2024年第1期8-11,共4页
This paper delves into Agile Development Methods in Software Engineering,contrasting them with the traditional Waterfall model and analyzing their efficiency.Agile methods,known for their adaptability and customer-cen... This paper delves into Agile Development Methods in Software Engineering,contrasting them with the traditional Waterfall model and analyzing their efficiency.Agile methods,known for their adaptability and customer-centric approach,have gained prominence in the fast-paced software development industry.These methods,including Scrum,Kanban,and Extreme Programming(XP),are characterized by iterative cycles,collaborative efforts,and a focus on rapid delivery and quality improvement.The paper compares these agile methodologies to the sequential and rigid Waterfall model,highlighting agile’s superior flexibility,adaptability,and responsiveness to changing requirements.It emphasizes the importance of customer involvement in agile processes,which leads to higher satisfaction and better alignment with user expectations.The analysis reveals that agile methods not only enhance the speed of delivery but also improve the overall quality of the software product.The paper concludes that agile methodologies are more effective in today's dynamic software development environment,providing a robust framework for managing complex projects and ensuring the delivery of high-quality,relevant software solutions. 展开更多
关键词 Agile Development methods software Engineering SCRUM KANBAN Extreme programming
下载PDF
基于Calfem及扩展库的有限元课程教学方法
2
作者 刘岩 宋克志 姜广辉 《教育教学论坛》 2024年第43期153-156,共4页
提出了基于开源程序Calfem的有限元教学方法,以解决教学中出现的理论、编程、通用软件应用三方面能力培养脱节的问题。Calfem简洁易学,但目前的教学实践仍存在不足。通过二次开发开源扩展函数库CalfemPlus,扩充了大量单元和功能函数,使... 提出了基于开源程序Calfem的有限元教学方法,以解决教学中出现的理论、编程、通用软件应用三方面能力培养脱节的问题。Calfem简洁易学,但目前的教学实践仍存在不足。通过二次开发开源扩展函数库CalfemPlus,扩充了大量单元和功能函数,使程序编写符合通用软件输入文件逻辑。列举了一则例题的编程实例,并介绍了课堂课后的教学经验,说明了Calfem及扩展库能联系数学理论与通用软件,同时降低了程序的理解和编写难度,提高了学生编程解决问题的能力。 展开更多
关键词 有限单元法 理论教学 编程 通用软件 Calfem
下载PDF
Solving Hardware/Software Partitioning via a Discrete Dynamic Convexized Method 被引量:1
3
作者 LIN Geng 《Wuhan University Journal of Natural Sciences》 CAS CSCD 2019年第4期341-348,共8页
Hardware/software partitioning is an important step in the design of embedded systems. In this paper, the hardware/software partitioning problem is modeled as a constrained binary integer programming problem, which is... Hardware/software partitioning is an important step in the design of embedded systems. In this paper, the hardware/software partitioning problem is modeled as a constrained binary integer programming problem, which is further converted equivalently to an unconstrained binary integer programming problem by a penalty method. A local search method, HSFM, is developed to obtain a discrete local minimizer of the unconstrained binary integer programming problem. Next, an auxiliary function, which has the same global optimal solutions as the unconstrained binary integer programming problem, is constructed, and its properties are studied. We show that applying HSFM to minimize the auxiliary function can escape from previous local optima by the increase of the parameter value successfully. Finally, a discrete dynamic convexized method is developed to solve the hardware/software partitioning problem. Computational results and comparisons indicate that the proposed algorithm can get high-quality solutions. 展开更多
关键词 HARDWARE software partitioning BINARY INTEGER programMING local search DYNAMIC convexized method
原文传递
电抗器类低电感负载雷电冲击耐压试验研究
4
作者 严绍奎 赵一昆 +1 位作者 张晓东 田瑞 《自动化仪表》 CAS 2024年第2期23-28,共6页
为确保电抗器类低电感负载的雷电冲击耐压试验的有效进行,需要建立精确等值电路模型,从而产生标准的雷电冲击电压波形。分析了负载电感对雷电冲击的电压波形的影响。利用矢量匹配法结合小脑神经网络对电抗器等值电路参数进行了拟合预测... 为确保电抗器类低电感负载的雷电冲击耐压试验的有效进行,需要建立精确等值电路模型,从而产生标准的雷电冲击电压波形。分析了负载电感对雷电冲击的电压波形的影响。利用矢量匹配法结合小脑神经网络对电抗器等值电路参数进行了拟合预测,从而建立了考虑不同频段阻抗特性的电抗器模型。利用电磁瞬态计算程序(EMTP)仿真软件产生雷电冲击电压仿真波形,并讨论了仿真波形特征参数的有效性。传统的Marx冲击回路接入电抗器类低电感负载时会导致冲击电压波形波尾时间严重缩短。采用Glaninger冲击发生回路可以减轻受低电感负载影响的程度。利用矢量匹配法结合小脑模型连接控制器(CMAC)网络预测出电抗器电路参数值。由该值仿真得到的冲击阻抗特性曲线与实测曲线较为一致。仿真得到的冲击电压波形特征参数均符合标准规定要求。 展开更多
关键词 雷电冲击耐压试验 电抗器 低电感负载 矢量匹配法 小脑神经网络 电磁瞬态计算程序仿真软件
下载PDF
基于Internet的网格计算模型研究 被引量:34
5
作者 桂小林 钱德沛 《西安交通大学学报》 EI CAS CSCD 北大核心 2001年第10期1008-1011,共4页
为了实现在地理上分散的计算资源共享 ,降低计算成本 ,提出了基于Internet的网格计算模型I GRID及其实现方法 .I GRID是可以作为虚拟的整体而使用的广域异构计算环境 ,支持节点的动态加入 ,通过元数据信息实现异构节点之间的透明通信 ,... 为了实现在地理上分散的计算资源共享 ,降低计算成本 ,提出了基于Internet的网格计算模型I GRID及其实现方法 .I GRID是可以作为虚拟的整体而使用的广域异构计算环境 ,支持节点的动态加入 ,通过元数据信息实现异构节点之间的透明通信 ,利用对象技术实现单一映像文件系统 ,并提供与流行的并行编程软件的接口 .雅戈比迭代的性能证明 ,I GRID具有很好的可用性和较好的实时性 .通过I GRID的研究 ,将为校园网络用户提供统一编程接口的高性能计算环境 . 展开更多
关键词 计算模型 网格计算 高性能计算 元计算 校园网 INTERNET I-GRID 广域异构计算
下载PDF
基于直接配点法的再入轨迹优化设计 被引量:18
6
作者 涂良辉 袁建平 +1 位作者 岳晓奎 罗建军 《西北工业大学学报》 EI CAS CSCD 北大核心 2006年第5期653-657,共5页
介绍了直接配点法在再入飞行器三维轨迹最优化问题中的应用。首先给出了再入飞行器轨迹最优化控制问题模型,其中运动方程为三自由度模型,性能指标选为末端速度最大,控制变量则为迎角和滚转角。再入飞行过程中受到加热率、过载和动压约束... 介绍了直接配点法在再入飞行器三维轨迹最优化问题中的应用。首先给出了再入飞行器轨迹最优化控制问题模型,其中运动方程为三自由度模型,性能指标选为末端速度最大,控制变量则为迎角和滚转角。再入飞行过程中受到加热率、过载和动压约束,终端状态受到航迹倾角和高度的约束。然后,应用直接配点法将最优控制问题离散化为非线性规划问题,即将动态优化问题转化为静态参数最优化问题。选取各节点和配点上的状态量和控制量作为优化参数。最后应用基于M at-lab语言的SNOPT软件包对参数最优化问题进行求解,该软件包对于求解大型非线性规划问题具有很好的收敛性。仿真结果表明直接配点法对于再入飞行器轨迹初始参数取值不敏感,且求解过程具有一定的实时性。因此,直接配点法对于再入轨迹优化问题的求解是可行的。 展开更多
关键词 非线性规划 直接配点法 轨迹优化 SNOPT软件包
下载PDF
形式化方法概貌 被引量:85
7
作者 王戟 詹乃军 +1 位作者 冯新宇 刘志明 《软件学报》 EI CSCD 北大核心 2019年第1期33-61,共29页
形式化方法是基于严格数学基础,对计算机硬件和软件系统进行描述、开发和验证的技术.其数学基础建立在形式语言、语义和推理证明三位一体的形式逻辑系统之上.形式化方法已经以不同程度和不同方式愈来愈多地应用在计算系统生命周期的各... 形式化方法是基于严格数学基础,对计算机硬件和软件系统进行描述、开发和验证的技术.其数学基础建立在形式语言、语义和推理证明三位一体的形式逻辑系统之上.形式化方法已经以不同程度和不同方式愈来愈多地应用在计算系统生命周期的各个阶段.介绍了形式化方法的发展历程和基本方法体系;以形式规约和形式验证为主线,综述了形式化方法的理论、方法、工具和应用的现状,展示了形式化方法与软件学科其他领域的交叉和融合;分析了形式化方法的启示,并展望了其面临的发展机遇和未来趋势.形式化方法的发展和研究现状表明:其应用已经取得了长足的进步,在提高计算系统的可靠性和安全性方面发挥了重要作用.在当今软件日益成为社会基础设施的时代,形式化方法将与人工智能、网络空间安全、量子计算、生物计算等领域和方向交叉融合,得到更加广阔的应用.研究和建立这种交叉融合的理论和方法不仅重要,而且具有挑战性. 展开更多
关键词 形式化方法 形式规约 形式验证 程序设计方法学 软件开发
下载PDF
基于UG的参数化设计方法及程序设计技术 被引量:6
8
作者 李素萍 刘根生 +1 位作者 林建平 童宏永 《模具工业》 北大核心 2005年第12期13-17,共5页
介绍了冲压模具中三维模型参数化设计方法,基于UG三维软件阐述了3种参数化设计方法及程序设计技术,并提供了设计实例。最后提出了3种参数化设计方法综合应用的设计思想。
关键词 冲模 三维模型 参数化设计 设计变量法 程序设计法 程序控制表达式法
下载PDF
小团队结对编程实践研究和重构 被引量:11
9
作者 钟扬 刘业政 马向辉 《计算机技术与发展》 2007年第11期160-163,共4页
结对编程是两个软件开发者在一台电脑前一起工作的一种编程实践,是极限编程方法的基础。对于软件产品的开发,人的知识是项目成功的重要因素。在组织的软件过程改进中,合适地引入结对编程,有利于知识的共享并营造团队合作的氛围,进而改... 结对编程是两个软件开发者在一台电脑前一起工作的一种编程实践,是极限编程方法的基础。对于软件产品的开发,人的知识是项目成功的重要因素。在组织的软件过程改进中,合适地引入结对编程,有利于知识的共享并营造团队合作的氛围,进而改善产品质量和缩短完成时间。不同规模的组织采用的软件过程的不同,对结对编程的引入会有不同的影响,所以在实践中结对编程的重构是必需的。基于小型组织和敏捷过程的项目实践,给出了一个切合实际的结对编程重构方案,进而提高小团队的生产效率。 展开更多
关键词 结对编程 极限编程 敏捷方法 软件过程 重构
下载PDF
XP—适合中小型软件系统的敏捷方法 被引量:2
10
作者 冯山 陈世平 +2 位作者 曾振柄 朱大勇 许毅 《西南石油学院学报》 CAS CSCD 2003年第6期56-60,共5页
软件工程旨在解决早期大型软件开发、管理问题 ,使软件开发过程从牛仔式编程进入有章可寻的、以规则和操作规范引导的工程化过程。然而 ,传统软件工程模型固有的缺陷和越来越多的规则与操作规范约束 ,面对大量中小型系统开发时 ,不能适... 软件工程旨在解决早期大型软件开发、管理问题 ,使软件开发过程从牛仔式编程进入有章可寻的、以规则和操作规范引导的工程化过程。然而 ,传统软件工程模型固有的缺陷和越来越多的规则与操作规范约束 ,面对大量中小型系统开发时 ,不能适应实际开发过程的需要。根据 10多年软件开发经验 ,结合SDBC MIS项目实践过程 ,研究了新型软件开发方法XP(eXtremeProgramming)的特点、软件过程、实践指导规则和适用范围。系统比较了TSE和XP方法上的主要差异。对比研究结果表明 。 展开更多
关键词 软件工程 极限编程 敏捷方法 传统软件工程 软件开发方法
下载PDF
基于形式化方法的测试驱动开发研究 被引量:6
11
作者 刘振宇 王恒 《计算机工程与设计》 CSCD 北大核心 2008年第15期3944-3946,3950,共4页
对测试驱动开发中测试用例的自动生成和管理问题进行了研究,并对现有方法进行了分析和比较。给出了一种基于形式化方法的测试用例生成和管理方案。该方案通过形式化语言描述软件规约,并通过相应工具生成和管理测试用例,从而提高了测试... 对测试驱动开发中测试用例的自动生成和管理问题进行了研究,并对现有方法进行了分析和比较。给出了一种基于形式化方法的测试用例生成和管理方案。该方案通过形式化语言描述软件规约,并通过相应工具生成和管理测试用例,从而提高了测试驱动开发的效率。最后给出了该方案在极限编程各个开发阶段的应用。 展开更多
关键词 极限编程 形式化方法 测试驱动开发 软件过程 软件重构
下载PDF
造纸机PLC程序的结构化设计研究 被引量:7
12
作者 孟彦京 薛宁 《自动化仪表》 CAS 北大核心 2014年第3期49-51,共3页
针对工程实践中造纸机PLC控制程序存在设计效率低、通用性不强等特点,提出运用软件工程方法对其进行标准化设计。通过分析造纸机多分部传动控制的特点,采用结构化方法进行需求分析和程序设计。实践验证,该方法应用在造纸机上是可行的,... 针对工程实践中造纸机PLC控制程序存在设计效率低、通用性不强等特点,提出运用软件工程方法对其进行标准化设计。通过分析造纸机多分部传动控制的特点,采用结构化方法进行需求分析和程序设计。实践验证,该方法应用在造纸机上是可行的,且能提高程序的设计效率和通用性。软件工程的软件设计方法在工业控制领域的应用具有很好的前景。 展开更多
关键词 造纸机 程序设计 软件工程 结构化方法 programMABLE LOGIC controller( PLC)
下载PDF
露天矿多采区协同开采资源配置优化 被引量:12
13
作者 杨驰 吴建胜 +1 位作者 郭连军 熊宏启 《金属矿山》 CAS 北大核心 2017年第6期18-23,共6页
针对鞍千矿业公司科学配矿需求,建立露天矿多采区协同开采资源配置优化模型。针对矿山实际自然环境和生产限制条件,在掌握矿山各采区品位分布等矿山基本信息的基础上,应用线性规划单纯形大M法解算与3DMine矿业软件相结合,并以鞍千矿为实... 针对鞍千矿业公司科学配矿需求,建立露天矿多采区协同开采资源配置优化模型。针对矿山实际自然环境和生产限制条件,在掌握矿山各采区品位分布等矿山基本信息的基础上,应用线性规划单纯形大M法解算与3DMine矿业软件相结合,并以鞍千矿为实例,验证该方法的实用性。试验结果表明:矿石破碎站的矿石输出品位稳定在要求范围之内,从而保持了选厂入选品位的稳定,最终实现了提高生产效率,降低了生产成本,提高了选矿工艺流程和设备设施的生产能力,对矿山科学生产具有指导性意义。 展开更多
关键词 露天矿 配矿优化 3DMine软件 线性规划 单纯形大M法
下载PDF
点扩散函数的一维数值计算及其MATLAB实现 被引量:5
14
作者 江月松 邱志伟 李铮 《红外与激光工程》 EI CSCD 北大核心 2004年第4期405-408,共4页
通过应用复指数函数与Bessel函数的展开关系和将径向对称的光瞳函数展开成方位角的Fourier级数的方法,可以将衍射受限光学成像系统的点扩散函数的二维Fourier变换的计算转换为一维Fourier变换和一维Hankel变换的计算。并借助MATLAB软件... 通过应用复指数函数与Bessel函数的展开关系和将径向对称的光瞳函数展开成方位角的Fourier级数的方法,可以将衍射受限光学成像系统的点扩散函数的二维Fourier变换的计算转换为一维Fourier变换和一维Hankel变换的计算。并借助MATLAB软件在计算机上实现了编程计算。与二维Fourier变换计算方法相比,一维计算可以方便而清晰地获得像平面上任一确定方向的点扩散强度分布。与Fortran、Basic和C等编程计算语言相比,应用MATLAB语言编程计算,程序语言简洁,且大大降低了使用者对数学基础和计算机语言知识的要求,是进行科学与工程研究的高效工具。 展开更多
关键词 点扩散函数 一维计算 HANKEL变换 MATLAB软件
下载PDF
面向对象的软件测试技术探讨 被引量:3
15
作者 龚红仿 李军义 程思蔚 《长沙理工大学学报(自然科学版)》 CAS 2004年第2期67-72,共6页
面向对象软件的特征是程序具有更好的结构和更规范的编程风格,但在很大程度上又增加了软件测试的复杂性,给软件测试带来了新的挑战.通过分析面向对象软件的特点及其对软件测试的影响,讨论了面向对象软件测试的内容、测试层次及类级、类... 面向对象软件的特征是程序具有更好的结构和更规范的编程风格,但在很大程度上又增加了软件测试的复杂性,给软件测试带来了新的挑战.通过分析面向对象软件的特点及其对软件测试的影响,讨论了面向对象软件测试的内容、测试层次及类级、类族级和系统级的测试方法. 展开更多
关键词 面向对象 软件测试 测试层次 测试方法
下载PDF
用变换型方法模拟开发电话交换系统 被引量:3
16
作者 屈婉玲 张乃孝 《计算机研究与发展》 EI CSCD 北大核心 1995年第7期11-16,共6页
本文给出了用变换型软件开发方法(Specification+Transformation=Software)模拟开发电话交换系统的描述,由抽象的软件规范出发,通过一系列变换实现了数据的精化和操作的分解,最终得到可在机... 本文给出了用变换型软件开发方法(Specification+Transformation=Software)模拟开发电话交换系统的描述,由抽象的软件规范出发,通过一系列变换实现了数据的精化和操作的分解,最终得到可在机器上运行的程序。整个开发过程是用变换型语言Polya写的。最后提出了对Polya的改进建议。 展开更多
关键词 程序变换 软件开发 电话交换系统
下载PDF
基于Matlab的田口式稳健性设计程序的开发 被引量:2
17
作者 汪立国 忽麦玲 康瑞霞 《火炮发射与控制学报》 北大核心 2006年第4期37-41,共5页
应用和推广田口方法的主要困难之一是计算、统计和分析的工作量较大。详细叙述了稳健性设计软件的总体框架和基于Matlab的实现方法。利用Matlab软件编写田口方法应用软件,软件主要包含:正交表数据库模块、系统设计方程编程模块、参数设... 应用和推广田口方法的主要困难之一是计算、统计和分析的工作量较大。详细叙述了稳健性设计软件的总体框架和基于Matlab的实现方法。利用Matlab软件编写田口方法应用软件,软件主要包含:正交表数据库模块、系统设计方程编程模块、参数设计功能模块、统计分析功能模块等。提出了用Matlab源程序来求解系统设计方程的方法,并给出了有关实现方法的程序代码和注释。 展开更多
关键词 计算机软件 MATLAB 田口方法 程序设计
下载PDF
单片机控制系统软件抗干扰方法的研究 被引量:18
18
作者 黄启锋 郭丽花 +1 位作者 林有希 温发林 《中国农机化学报》 2016年第2期214-217,222,共5页
软件抗干扰问题是单片机控制系统设计编程中的一个关键但常常被忽视的问题。本文简述单片机软件抗干扰技术的工作原理,介绍几种常见抗干扰方法,重点论述同类文献在软件陷阱和冗余技术方法中存在的普遍错误,并予以纠正;通过对C语言结合... 软件抗干扰问题是单片机控制系统设计编程中的一个关键但常常被忽视的问题。本文简述单片机软件抗干扰技术的工作原理,介绍几种常见抗干扰方法,重点论述同类文献在软件陷阱和冗余技术方法中存在的普遍错误,并予以纠正;通过对C语言结合汇编语言混合编程的方法进行研究,与硬件"看门狗"技术相比,采用软件抗干扰编程方法后使系统复位消耗的时间大大节省,提高系统的工作效率;所提供的由C语言结合汇编语言编程得到的程序代码,同类单片机系统开发时可稍作修改或者直接采用。 展开更多
关键词 C语言 汇编语言 单片机 软件编程 抗干扰
下载PDF
一种面向图形化编程的软件设计方法 被引量:4
19
作者 刘昱 王立福 《计算机科学》 CSCD 北大核心 1997年第1期73-76,共4页
1引言 软件开发过程实质上就是从问题域到解空间的求解过程,与一般的问题求解不同软件开发的问题域是由自然语言描述的现实世界的一部分,而解空间则对应着由程序代码表示计算机应用。
关键词 软件开发 面向图形化编程 图形化编程
下载PDF
以“软件设计模式”促进“面向对象程序设计”课程教学方法研究 被引量:8
20
作者 尹梓名 周雷 郑建立 《软件》 2019年第8期216-219,228,共5页
"面向对象程序设计"是高校计算机类专业的核心课程,其中有关面向对象的继承、多态、反射等概念一直是授课讲解时的难题,缺乏能将这些概念应用并向学生解释清楚的案例。本文基于"知识降维"思想,将软件设计模式这门... "面向对象程序设计"是高校计算机类专业的核心课程,其中有关面向对象的继承、多态、反射等概念一直是授课讲解时的难题,缺乏能将这些概念应用并向学生解释清楚的案例。本文基于"知识降维"思想,将软件设计模式这门课中的部分通俗易懂的内容经过简化后引入"面向对象程序设计"的课程中,解决了讲解面向对象概念缺乏案例,学生不易理解部分抽象概念等问题,同时加深了学生对于这些概念的理解,取得了较好的课堂效果。 展开更多
关键词 面向对象程序设计 软件设计模式 教学方法
下载PDF
上一页 1 2 7 下一页 到第
使用帮助 返回顶部