期刊文献+
共找到131篇文章
< 1 2 7 >
每页显示 20 50 100
Solving Hardware/Software Partitioning via a Discrete Dynamic Convexized Method 被引量:1
1
作者 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
原文传递
RES2Dinv反演资料快速成图方法研究
2
作者 张平 《矿产与地质》 2025年第5期1137-1146,共10页
文章提出一种基于GMT平台的自动化图件绘制方法,适用于RES2Dinv反演的三极激电测深数据处理。通过编写Bash脚本程序自动读取RES2Dinv导出的Surfer格式反演数据文件,并结合GMT模块和Linux命令定义和管理绘图参数,利用GMT软件的数据处理模... 文章提出一种基于GMT平台的自动化图件绘制方法,适用于RES2Dinv反演的三极激电测深数据处理。通过编写Bash脚本程序自动读取RES2Dinv导出的Surfer格式反演数据文件,并结合GMT模块和Linux命令定义和管理绘图参数,利用GMT软件的数据处理模块,对数据进行网格化、插值计算。最终,通过GMT绘图模块自动生成高分辨率矢量图件,并以子图形式呈现正向与反向三极实测数据、正演数据及二维反演数据的对比结果。该方法通过标准化流程提高绘图效率和质量,减少人工干预,实现高效、自动化的数据可视化处理,同时增强数据对比分析的直观性,有助于优化异常识别和地质解释。 展开更多
关键词 激发极化法 三极装置 RES2Dinv反演资料 成图方法 GMT软件 脚本程序
在线阅读 下载PDF
基于深度学习和遗传算法的方法调用缺陷自动修复方法
3
作者 宋青青 杨秋辉 +2 位作者 董兰 代声馨 赵明敏 《计算机工程与设计》 北大核心 2025年第1期237-242,共6页
为提高软件缺陷自动修复技术的修复效果,针对面向对象程序中出现概率较大的方法调用缺陷,提出一种基于深度学习和遗传算法的方法调用缺陷自动修复方法。基于深度学习构造方法调用缺陷修复模型,使用修复模型生成候选补丁并验证;若补丁无... 为提高软件缺陷自动修复技术的修复效果,针对面向对象程序中出现概率较大的方法调用缺陷,提出一种基于深度学习和遗传算法的方法调用缺陷自动修复方法。基于深度学习构造方法调用缺陷修复模型,使用修复模型生成候选补丁并验证;若补丁无效,则基于这些候选补丁,使用改进的基于遗传算法的缺陷修复方法生成候选补丁。实验结果表明,在Defects4 J数据集上,所提方法与DEAR、TBar、SequenceR和jGenProg自动化缺陷修复工具相比,缺陷修复率和补丁正确率都有提高。 展开更多
关键词 软件调试 软件缺陷自动修复 面向对象程序 方法调用缺陷 补丁生成与验证 深度学习 遗传算法
在线阅读 下载PDF
计算机软件Java编程特点与技术应用思考
4
作者 陈云芳 《软件》 2025年第9期162-164,共3页
本文探讨了Java编程在计算机软件中的应用特点与技术。Java作为面向对象语言,具有分布性、支持多线程、跨平台及面向对象等特性。文章介绍了远程方法调用、注解及多线程技术在软件编程中的应用,通过实例展示了其在提高开发效率、系统性... 本文探讨了Java编程在计算机软件中的应用特点与技术。Java作为面向对象语言,具有分布性、支持多线程、跨平台及面向对象等特性。文章介绍了远程方法调用、注解及多线程技术在软件编程中的应用,通过实例展示了其在提高开发效率、系统性能及功能实现方面的优势。 展开更多
关键词 计算机软件 JAVA编程 远程方法调用
在线阅读 下载PDF
基于问题导向的软件构造课程教学方法探究
5
作者 周芃 《高教学刊》 2025年第23期111-114,共4页
软件构造是软件工程专业一门重要的专业课,对学生软件开发的理论和实践有较高的要求。针对软件构造课程教学中面临的问题,如概念抽象、难度较大、学生不易掌握等,对软件构造教学方法进行研究。提出问题导向的教学方法,以具体项目切入,... 软件构造是软件工程专业一门重要的专业课,对学生软件开发的理论和实践有较高的要求。针对软件构造课程教学中面临的问题,如概念抽象、难度较大、学生不易掌握等,对软件构造教学方法进行研究。提出问题导向的教学方法,以具体项目切入,贯穿课程,在项目实现过程中,不断提出问题引导学生主动思考,探索解决方案,从而发现、掌握知识点。改革课程考核方案,加强过程考核,重点考察学生解决实际问题能力。结果表明,课程可以激发学生主动学习的兴趣,加强学生对知识点的掌握,使学生可以较好地融会贯通并灵活应用各知识点解决实际问题,提升学生工程能力。 展开更多
关键词 软件构造 设计模式 问题导向 教学方法研究 课程考核方案研究
在线阅读 下载PDF
氢气爆燃转爆轰数值模拟研究进展
6
作者 于康 《安全、健康和环境》 2025年第6期1-14,共14页
氢能安全问题是制约氢能产业高质量发展的关键瓶颈问题之一。氢气燃烧范围宽、点火能低、火焰速度高,被意外点燃后易引发爆燃-爆轰转变(Deflagration-to-Detonation Transition,DDT),造成严重事故后果。DDT发生前后火焰速度、压力跨度... 氢能安全问题是制约氢能产业高质量发展的关键瓶颈问题之一。氢气燃烧范围宽、点火能低、火焰速度高,被意外点燃后易引发爆燃-爆轰转变(Deflagration-to-Detonation Transition,DDT),造成严重事故后果。DDT发生前后火焰速度、压力跨度大且具有明显的非线性特征,因此DDT全过程模拟一直是气相燃爆领域的研究热点和难点。首先综述了基于商业软件FLACS、ANSYS Fluent和GASFLOW-MPI,开源软件OpenFOAM和自编程方法模拟氢气DDT过程的研究进展,通过对比分析各种模拟方法的优劣,提出基于开源软件OpenFOAM的氢气DDT模拟方法最具应用前景,辅以自适应网格细化(Adaptive Mesh Refinement,AMR)技术,可兼顾计算准确性与高效性,有望在基础研究和大型工程问题中实现同步应用。最后针对氢气DDT数值模拟研究给出了建议和展望,指出人工智能(Artificial Intelligence,AI)技术融合赋能DDT快速数值求解是未来值得关注的研究方向。 展开更多
关键词 氢气 爆燃-爆轰转变 数值模拟 商业软件 OPENFOAM 自编程方法
在线阅读 下载PDF
Agile Development Methods in Software Engineering and Their Efficiency Analysis
7
作者 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
基于Internet的网格计算模型研究 被引量:34
8
作者 桂小林 钱德沛 《西安交通大学学报》 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
9
作者 涂良辉 袁建平 +1 位作者 岳晓奎 罗建军 《西北工业大学学报》 EI CAS CSCD 北大核心 2006年第5期653-657,共5页
介绍了直接配点法在再入飞行器三维轨迹最优化问题中的应用。首先给出了再入飞行器轨迹最优化控制问题模型,其中运动方程为三自由度模型,性能指标选为末端速度最大,控制变量则为迎角和滚转角。再入飞行过程中受到加热率、过载和动压约束... 介绍了直接配点法在再入飞行器三维轨迹最优化问题中的应用。首先给出了再入飞行器轨迹最优化控制问题模型,其中运动方程为三自由度模型,性能指标选为末端速度最大,控制变量则为迎角和滚转角。再入飞行过程中受到加热率、过载和动压约束,终端状态受到航迹倾角和高度的约束。然后,应用直接配点法将最优控制问题离散化为非线性规划问题,即将动态优化问题转化为静态参数最优化问题。选取各节点和配点上的状态量和控制量作为优化参数。最后应用基于M at-lab语言的SNOPT软件包对参数最优化问题进行求解,该软件包对于求解大型非线性规划问题具有很好的收敛性。仿真结果表明直接配点法对于再入飞行器轨迹初始参数取值不敏感,且求解过程具有一定的实时性。因此,直接配点法对于再入轨迹优化问题的求解是可行的。 展开更多
关键词 非线性规划 直接配点法 轨迹优化 SNOPT软件包
在线阅读 下载PDF
形式化方法概貌 被引量:102
10
作者 王戟 詹乃军 +1 位作者 冯新宇 刘志明 《软件学报》 EI CSCD 北大核心 2019年第1期33-61,共29页
形式化方法是基于严格数学基础,对计算机硬件和软件系统进行描述、开发和验证的技术.其数学基础建立在形式语言、语义和推理证明三位一体的形式逻辑系统之上.形式化方法已经以不同程度和不同方式愈来愈多地应用在计算系统生命周期的各... 形式化方法是基于严格数学基础,对计算机硬件和软件系统进行描述、开发和验证的技术.其数学基础建立在形式语言、语义和推理证明三位一体的形式逻辑系统之上.形式化方法已经以不同程度和不同方式愈来愈多地应用在计算系统生命周期的各个阶段.介绍了形式化方法的发展历程和基本方法体系;以形式规约和形式验证为主线,综述了形式化方法的理论、方法、工具和应用的现状,展示了形式化方法与软件学科其他领域的交叉和融合;分析了形式化方法的启示,并展望了其面临的发展机遇和未来趋势.形式化方法的发展和研究现状表明:其应用已经取得了长足的进步,在提高计算系统的可靠性和安全性方面发挥了重要作用.在当今软件日益成为社会基础设施的时代,形式化方法将与人工智能、网络空间安全、量子计算、生物计算等领域和方向交叉融合,得到更加广阔的应用.研究和建立这种交叉融合的理论和方法不仅重要,而且具有挑战性. 展开更多
关键词 形式化方法 形式规约 形式验证 程序设计方法学 软件开发
在线阅读 下载PDF
基于UG的参数化设计方法及程序设计技术 被引量:6
11
作者 李素萍 刘根生 +1 位作者 林建平 童宏永 《模具工业》 北大核心 2005年第12期13-17,共5页
介绍了冲压模具中三维模型参数化设计方法,基于UG三维软件阐述了3种参数化设计方法及程序设计技术,并提供了设计实例。最后提出了3种参数化设计方法综合应用的设计思想。
关键词 冲模 三维模型 参数化设计 设计变量法 程序设计法 程序控制表达式法
在线阅读 下载PDF
小团队结对编程实践研究和重构 被引量:11
12
作者 钟扬 刘业政 马向辉 《计算机技术与发展》 2007年第11期160-163,共4页
结对编程是两个软件开发者在一台电脑前一起工作的一种编程实践,是极限编程方法的基础。对于软件产品的开发,人的知识是项目成功的重要因素。在组织的软件过程改进中,合适地引入结对编程,有利于知识的共享并营造团队合作的氛围,进而改... 结对编程是两个软件开发者在一台电脑前一起工作的一种编程实践,是极限编程方法的基础。对于软件产品的开发,人的知识是项目成功的重要因素。在组织的软件过程改进中,合适地引入结对编程,有利于知识的共享并营造团队合作的氛围,进而改善产品质量和缩短完成时间。不同规模的组织采用的软件过程的不同,对结对编程的引入会有不同的影响,所以在实践中结对编程的重构是必需的。基于小型组织和敏捷过程的项目实践,给出了一个切合实际的结对编程重构方案,进而提高小团队的生产效率。 展开更多
关键词 结对编程 极限编程 敏捷方法 软件过程 重构
在线阅读 下载PDF
XP—适合中小型软件系统的敏捷方法 被引量:2
13
作者 冯山 陈世平 +2 位作者 曾振柄 朱大勇 许毅 《西南石油学院学报》 CAS CSCD 2003年第6期56-60,共5页
软件工程旨在解决早期大型软件开发、管理问题 ,使软件开发过程从牛仔式编程进入有章可寻的、以规则和操作规范引导的工程化过程。然而 ,传统软件工程模型固有的缺陷和越来越多的规则与操作规范约束 ,面对大量中小型系统开发时 ,不能适... 软件工程旨在解决早期大型软件开发、管理问题 ,使软件开发过程从牛仔式编程进入有章可寻的、以规则和操作规范引导的工程化过程。然而 ,传统软件工程模型固有的缺陷和越来越多的规则与操作规范约束 ,面对大量中小型系统开发时 ,不能适应实际开发过程的需要。根据 10多年软件开发经验 ,结合SDBC MIS项目实践过程 ,研究了新型软件开发方法XP(eXtremeProgramming)的特点、软件过程、实践指导规则和适用范围。系统比较了TSE和XP方法上的主要差异。对比研究结果表明 。 展开更多
关键词 软件工程 极限编程 敏捷方法 传统软件工程 软件开发方法
在线阅读 下载PDF
基于形式化方法的测试驱动开发研究 被引量:6
14
作者 刘振宇 王恒 《计算机工程与设计》 CSCD 北大核心 2008年第15期3944-3946,3950,共4页
对测试驱动开发中测试用例的自动生成和管理问题进行了研究,并对现有方法进行了分析和比较。给出了一种基于形式化方法的测试用例生成和管理方案。该方案通过形式化语言描述软件规约,并通过相应工具生成和管理测试用例,从而提高了测试... 对测试驱动开发中测试用例的自动生成和管理问题进行了研究,并对现有方法进行了分析和比较。给出了一种基于形式化方法的测试用例生成和管理方案。该方案通过形式化语言描述软件规约,并通过相应工具生成和管理测试用例,从而提高了测试驱动开发的效率。最后给出了该方案在极限编程各个开发阶段的应用。 展开更多
关键词 极限编程 形式化方法 测试驱动开发 软件过程 软件重构
在线阅读 下载PDF
造纸机PLC程序的结构化设计研究 被引量:7
15
作者 孟彦京 薛宁 《自动化仪表》 CAS 北大核心 2014年第3期49-51,共3页
针对工程实践中造纸机PLC控制程序存在设计效率低、通用性不强等特点,提出运用软件工程方法对其进行标准化设计。通过分析造纸机多分部传动控制的特点,采用结构化方法进行需求分析和程序设计。实践验证,该方法应用在造纸机上是可行的,... 针对工程实践中造纸机PLC控制程序存在设计效率低、通用性不强等特点,提出运用软件工程方法对其进行标准化设计。通过分析造纸机多分部传动控制的特点,采用结构化方法进行需求分析和程序设计。实践验证,该方法应用在造纸机上是可行的,且能提高程序的设计效率和通用性。软件工程的软件设计方法在工业控制领域的应用具有很好的前景。 展开更多
关键词 造纸机 程序设计 软件工程 结构化方法 programMABLE LOGIC controller( PLC)
在线阅读 下载PDF
点扩散函数的一维数值计算及其MATLAB实现 被引量:5
16
作者 江月松 邱志伟 李铮 《红外与激光工程》 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软件
原文传递
基于直接配点法的绳系卫星系统变轨控制 被引量:15
17
作者 钟睿 徐世杰 《航空学报》 EI CAS CSCD 北大核心 2010年第3期572-578,共7页
讨论了不必回收子星的二体绳系卫星系统(TSS)的变轨方案。假设TSS质心运动满足经典的二脉冲Hohmann变轨,用未变形绳长加速率控制两次脉冲期间的TSS运动。利用直接配点法中的Hermite-Simpson方法将控制消耗最小的最优问题离散为大型非线... 讨论了不必回收子星的二体绳系卫星系统(TSS)的变轨方案。假设TSS质心运动满足经典的二脉冲Hohmann变轨,用未变形绳长加速率控制两次脉冲期间的TSS运动。利用直接配点法中的Hermite-Simpson方法将控制消耗最小的最优问题离散为大型非线性规划问题,然后用MATLAB的SNOPT软件包求解;针对初始偏差较大的实际情况,又结合直接配点法和滚动时域控制得到了解析的反馈控制律。仿真算例表明,得到的TSS变轨过程状态变化平滑,控制消耗较小,而且变轨之后TSS接近平衡状态;此外,反馈控制律对最优路径的跟踪效果较好,能够消除初始偏差的影响。 展开更多
关键词 绳系卫星系统 非线性规划 滚动时域控制 直接配点法 SNOPT软件包
原文传递
面向对象的软件测试技术探讨 被引量:3
18
作者 龚红仿 李军义 程思蔚 《长沙理工大学学报(自然科学版)》 CAS 2004年第2期67-72,共6页
面向对象软件的特征是程序具有更好的结构和更规范的编程风格,但在很大程度上又增加了软件测试的复杂性,给软件测试带来了新的挑战.通过分析面向对象软件的特点及其对软件测试的影响,讨论了面向对象软件测试的内容、测试层次及类级、类... 面向对象软件的特征是程序具有更好的结构和更规范的编程风格,但在很大程度上又增加了软件测试的复杂性,给软件测试带来了新的挑战.通过分析面向对象软件的特点及其对软件测试的影响,讨论了面向对象软件测试的内容、测试层次及类级、类族级和系统级的测试方法. 展开更多
关键词 面向对象 软件测试 测试层次 测试方法
在线阅读 下载PDF
用变换型方法模拟开发电话交换系统 被引量:3
19
作者 屈婉玲 张乃孝 《计算机研究与发展》 EI CSCD 北大核心 1995年第7期11-16,共6页
本文给出了用变换型软件开发方法(Specification+Transformation=Software)模拟开发电话交换系统的描述,由抽象的软件规范出发,通过一系列变换实现了数据的精化和操作的分解,最终得到可在机... 本文给出了用变换型软件开发方法(Specification+Transformation=Software)模拟开发电话交换系统的描述,由抽象的软件规范出发,通过一系列变换实现了数据的精化和操作的分解,最终得到可在机器上运行的程序。整个开发过程是用变换型语言Polya写的。最后提出了对Polya的改进建议。 展开更多
关键词 程序变换 软件开发 电话交换系统
在线阅读 下载PDF
单片机控制系统软件抗干扰方法的研究 被引量:18
20
作者 黄启锋 郭丽花 +1 位作者 林有希 温发林 《中国农机化学报》 2016年第2期214-217,222,共5页
软件抗干扰问题是单片机控制系统设计编程中的一个关键但常常被忽视的问题。本文简述单片机软件抗干扰技术的工作原理,介绍几种常见抗干扰方法,重点论述同类文献在软件陷阱和冗余技术方法中存在的普遍错误,并予以纠正;通过对C语言结合... 软件抗干扰问题是单片机控制系统设计编程中的一个关键但常常被忽视的问题。本文简述单片机软件抗干扰技术的工作原理,介绍几种常见抗干扰方法,重点论述同类文献在软件陷阱和冗余技术方法中存在的普遍错误,并予以纠正;通过对C语言结合汇编语言混合编程的方法进行研究,与硬件"看门狗"技术相比,采用软件抗干扰编程方法后使系统复位消耗的时间大大节省,提高系统的工作效率;所提供的由C语言结合汇编语言编程得到的程序代码,同类单片机系统开发时可稍作修改或者直接采用。 展开更多
关键词 C语言 汇编语言 单片机 软件编程 抗干扰
在线阅读 下载PDF
上一页 1 2 7 下一页 到第
使用帮助 返回顶部