期刊文献+
共找到193篇文章
< 1 2 10 >
每页显示 20 50 100
基于四极质谱分析计的多种类示漏气体检漏仪设计与应用
1
作者 白国云 潘荣敏 +4 位作者 陈锦林 陈涛 廖旭东 田爽 刘凯强 《真空科学与技术学报》 北大核心 2025年第4期299-307,共9页
针对氦质谱检漏仪难以实现原位同工质检漏以及氦本底被污染后检漏效率低等问题,设计了一台多种示漏气体检漏仪,根据不同需求选择合适的示漏气体,可提高检测结果的准确性及效率。文章利用四极质谱计具备分析多种气体成分的特性,参照氦质... 针对氦质谱检漏仪难以实现原位同工质检漏以及氦本底被污染后检漏效率低等问题,设计了一台多种示漏气体检漏仪,根据不同需求选择合适的示漏气体,可提高检测结果的准确性及效率。文章利用四极质谱计具备分析多种气体成分的特性,参照氦质谱检漏仪的工作原理,设计了一套以四极质谱计为核心传感器能的检漏仪,在结构设计上,各零部件、控制器采用分体式结构设计,整机拆分组合灵活,可自行搭建4种检测系统;气体进样接口采用了三级分选结构,可以满足100 kPa~10^(-7)Pa压力下进样的需求,可实现负压与正压的检漏。在软件上研究了一种检漏信号的线性校准算法,同时将原软件的分压力信号转为了漏率信号,提高了检漏数据处理的可靠性和效率。多种类示漏气体检漏仪性能测试结果及应用表明,该检漏仪性能状态良好,负压检漏灵敏度可达10^(-13)Pa·m^(3)/s量级,正压检漏灵敏度可达10^(-8)Pa·m^(3)/s量级;以He、Kr、CF_(4)、Ne、Ar等可以作为示漏气体时,检漏灵敏度排序为He>Kr>CF_(4)>Ne≈Ar。该成果可为类似四极质谱检漏仪的研制提供技术支撑,可为示漏气体种类的选择提供依据。 展开更多
关键词 多种类示漏气体 四极质谱分析计 软件开发 检漏方法
在线阅读 下载PDF
机载软件层次化需求的形式化建模与分析
2
作者 王康星 胡军 +3 位作者 王立松 丁鼎 董亚炯 戴嘉磊 《南京航空航天大学学报(自然科学版)》 北大核心 2025年第1期195-204,共10页
越来越复杂的多层级功能需求给高安全机载软件的设计开发带来了重要挑战。本文给出了一个面向工程应用领域具有层次化语义特征的软件需求形式化建模与分析方法。首先,设计了一个层次化的形式化需求模型。层次化变量关系模型(Hierarchica... 越来越复杂的多层级功能需求给高安全机载软件的设计开发带来了重要挑战。本文给出了一个面向工程应用领域具有层次化语义特征的软件需求形式化建模与分析方法。首先,设计了一个层次化的形式化需求模型。层次化变量关系模型(Hierarchical variable relation model,HVRM)引入工程领域中典型的功能模块属性以及端口等概念来表达系统功能的层次化特征语义,同时也具备原有变量关系模型(Variable relation model,VRM)中基于表格形式的形式化语义,可表示包括条件型、事件型、多维度模式转换等多种类需求的语义信息。进而,基于需求的一致性完整性要求确立了VRM一致性完整性约束簇。其次,设计了一个将工程条目化需求建模为HVRM形式化需求模型的处理框架,并在一个机载软件需求工具平台(Hierarchical avionics requirement tools,HART)中进行了处理功能和需求追溯功能的实现和集成。最后采用某机型自动飞行系统中飞行模式转换软件逻辑需求进行了实例需求建模和模型分析。 展开更多
关键词 计算机软件与理论 需求工程 形式化方法 需求建模与分析 飞行控制系统
在线阅读 下载PDF
软件设计模式检测技术:现状、挑战和展望
3
作者 王雷 袁野 王国仁 《软件学报》 北大核心 2025年第6期2643-2682,共40页
设计模式检测是软件工程领域中非常重要的研究课题.国内外很多学者致力于设计模式检测问题的研究与解决,取得了丰硕的研究成果.对当前软件设计模式检测技术进行综述并展望了其前景.首先,简要介绍软件设计模式检测领域的发展历程,讨论并... 设计模式检测是软件工程领域中非常重要的研究课题.国内外很多学者致力于设计模式检测问题的研究与解决,取得了丰硕的研究成果.对当前软件设计模式检测技术进行综述并展望了其前景.首先,简要介绍软件设计模式检测领域的发展历程,讨论并总结了设计模式的检测对象和特征类型,给出了设计模式检测评估指标.然后,总结了设计模式检测技术现有的分类方法,引出了分类方法.根据设计模式检测技术发展的时间线从非机器学习设计模式检测、机器学习设计模式检测、基于预训练语言模型的设计模式检测这3类方法出发探讨了当前软件设计模式检测技术的研究现状和最新进展,并对当前成果进行了总结和比较.最后,分析了该领域存在的主要问题与挑战,指出了今后值得进一步研究的方向以及可能的解决方案.涵盖了从早期的非机器学习方法到利用机器学习技术,再到现代预训练语言模型的应用,全面系统地展现了该领域的发展历程、最新进展和未来发展前景,对于该领域今后的研究方向和思路具有指导意义. 展开更多
关键词 设计模式检测 研究综述 机器学习 预训练语言模型 软件逆向工程 软件开发方法 软件设计 软件体系结构
在线阅读 下载PDF
基于UML模型的用户界面自动生成
4
作者 董泽华 蒋建民 +2 位作者 李朝江 何清 马国栋 《计算机工程与设计》 北大核心 2025年第4期1208-1218,共11页
为解决传统低代码平台无法全自动生成用户界面的缺陷,保证生成用户界面过程中的一致性、正确性、完整性,提出一种基于UML模型的用户界面自动生成方法。将领域概念模型和用例模型作为系统需求,结合形式化方法,开发用户界面自动生成算法... 为解决传统低代码平台无法全自动生成用户界面的缺陷,保证生成用户界面过程中的一致性、正确性、完整性,提出一种基于UML模型的用户界面自动生成方法。将领域概念模型和用例模型作为系统需求,结合形式化方法,开发用户界面自动生成算法。为保证系统需求与用户界面之间的一致性,满足高可信软件的要求,提出一致性分析与检测方法。不同于传统低代码开发平台的拖、拉、拽操作方式,只需要建立软件系统领域概念模型和用例模型,即可全自动生成用户界面。以实例验证了该方法的可行性。 展开更多
关键词 UML模型 用户界面 形式化方法 低代码开发平台 模型驱动工程 一致性 高可信软件
在线阅读 下载PDF
Maturity assessment model for aircraft collaborative design software solution 被引量:5
5
作者 HUO Ying QIU Peng ZHAI Jiyou 《Journal of Systems Engineering and Electronics》 SCIE EI CSCD 2018年第6期1228-1236,共9页
In order to assure quality and control process in the development of the aircraft collaborative design software, a maturity assessment model is proposed. The requirements designing—house of quality is designed to eva... In order to assure quality and control process in the development of the aircraft collaborative design software, a maturity assessment model is proposed. The requirements designing—house of quality is designed to evaluate the maturity degree of the solution, and the evaluation results can help to manage and control the development process. Furthermore, a fuzzy evaluation method based on the minimum deviation is proposed to deal with the fuzzy information. The quantitative evaluation result of the maturity degree can be calculated by optimizing the semantic discount factor aim for the minimum deviation. Finally, this model is illustrated and analyzed by an example study of the aircraft collaborative design software. 展开更多
关键词 aircraft collaborative design software development process quality function deployment fuzzy evaluation method
在线阅读 下载PDF
快中子反应堆堆芯物理分析方法的研究现状与发展建议 被引量:1
6
作者 吴宏春 杨红义 +5 位作者 郑友琦 曹良志 杜夏楠 杨勇 刘一哲 胡赟 《原子能科学技术》 EI CAS CSCD 北大核心 2024年第3期513-527,I0004,共16页
快中子反应堆在核能可持续发展中扮演着重要角色,是各核强国都在致力发展的重点堆型。快堆物理计算是快堆核设计的基础,其计算方法的研究和相应计算程序的开发是快堆理论研究和数值模拟技术发展中极其重要的环节。本文对国内外快堆物理... 快中子反应堆在核能可持续发展中扮演着重要角色,是各核强国都在致力发展的重点堆型。快堆物理计算是快堆核设计的基础,其计算方法的研究和相应计算程序的开发是快堆理论研究和数值模拟技术发展中极其重要的环节。本文对国内外快堆物理计算方法,特别是近20年来的发展变化进行了系统梳理,以对国内外专用和通用快堆物理计算程序的总结为线索,介绍了快堆物理分析理论体系的发展情况,对其中体现出的一致性特点和最近几年发展的趋势进行了分析,并对我国快堆堆芯物理分析方法的发展给出了建议,为我国快堆物理计算理论的进步和自主化的物理分析软件研发提供参考。 展开更多
关键词 快中子反应堆 反应堆物理 堆芯分析方法 软件开发
在线阅读 下载PDF
“岗课赛证”融通为导向的《软件测试技术》课程教学改革探究 被引量:25
7
作者 李琳 杨泽辉 《教育理论与实践》 北大核心 2024年第6期57-60,共4页
推行“岗课赛证”综合育人,探索“岗课赛证”融通导向下的教学改革路径是培养高素质复合型技能人才的需要。以“岗课赛证”融通为导向的《软件测试技术》课程教学改革要求将岗位标准、比赛内容、证书要求融入课程。“岗课赛证”融通为... 推行“岗课赛证”综合育人,探索“岗课赛证”融通导向下的教学改革路径是培养高素质复合型技能人才的需要。以“岗课赛证”融通为导向的《软件测试技术》课程教学改革要求将岗位标准、比赛内容、证书要求融入课程。“岗课赛证”融通为导向的《软件测试技术》课程教学改革,要以“岗课赛证”融通为导向重构教学内容,建设“岗课赛证”融合的教学资源,优化教学组织形式,改革教学方法和手段,构建全过程多元化的教学评价体系,更好地提高教学质量和效果。 展开更多
关键词 “岗课赛证”融通 《软件测试技术》课程 教学资源开发 教材建设 教学方法
在线阅读 下载PDF
基于状态图转形式化B模型的安全苛求系统开发方法 被引量:1
8
作者 赵大地 王恪铭 《计算机工程》 CAS CSCD 北大核心 2024年第11期173-186,共14页
形式化方法精确且严格,较多应用于安全苛求系统开发,但目前仍存在学习成本高、使用复杂、重用性低等问题。常用的非形式化状态图模型虽易于使用却缺乏严格验证。针对这些问题,提出一种将状态图SCXML模型转译为形式化B模型的模型转化方法... 形式化方法精确且严格,较多应用于安全苛求系统开发,但目前仍存在学习成本高、使用复杂、重用性低等问题。常用的非形式化状态图模型虽易于使用却缺乏严格验证。针对这些问题,提出一种将状态图SCXML模型转译为形式化B模型的模型转化方法,从而结合状态图的易用性降低在安全苛求软件系统开发过程中使用形式化方法的复杂度。该转译方法分为映射规则、同步语义和程序实现3个部分,以保证自动转译后的模型自身含义与基础语义不变。在平交道口控制系统开发案例分析中,该方法根据图元模型自动生成了对应形式化模型,通过对形式化模型的分析改进系统在功能安全、数据安全、隐藏分支3个方面的非安全因素,并保证从需求至模型的一致性,证明了该方法可降低形式化方法建模难度,提高软件系统的正确性、可靠性与安全性。 展开更多
关键词 软件功能安全 形式化方法 模型转化 SCXML状态图 B方法
在线阅读 下载PDF
形式化方法概貌 被引量:94
9
作者 王戟 詹乃军 +1 位作者 冯新宇 刘志明 《软件学报》 EI CSCD 北大核心 2019年第1期33-61,共29页
形式化方法是基于严格数学基础,对计算机硬件和软件系统进行描述、开发和验证的技术.其数学基础建立在形式语言、语义和推理证明三位一体的形式逻辑系统之上.形式化方法已经以不同程度和不同方式愈来愈多地应用在计算系统生命周期的各... 形式化方法是基于严格数学基础,对计算机硬件和软件系统进行描述、开发和验证的技术.其数学基础建立在形式语言、语义和推理证明三位一体的形式逻辑系统之上.形式化方法已经以不同程度和不同方式愈来愈多地应用在计算系统生命周期的各个阶段.介绍了形式化方法的发展历程和基本方法体系;以形式规约和形式验证为主线,综述了形式化方法的理论、方法、工具和应用的现状,展示了形式化方法与软件学科其他领域的交叉和融合;分析了形式化方法的启示,并展望了其面临的发展机遇和未来趋势.形式化方法的发展和研究现状表明:其应用已经取得了长足的进步,在提高计算系统的可靠性和安全性方面发挥了重要作用.在当今软件日益成为社会基础设施的时代,形式化方法将与人工智能、网络空间安全、量子计算、生物计算等领域和方向交叉融合,得到更加广阔的应用.研究和建立这种交叉融合的理论和方法不仅重要,而且具有挑战性. 展开更多
关键词 形式化方法 形式规约 形式验证 程序设计方法学 软件开发
在线阅读 下载PDF
基于MySQL的应用程序设计 被引量:86
10
作者 兰旭辉 熊家军 邓刚 《计算机工程与设计》 CSCD 2004年第3期442-443,468,共3页
开放源代码数据库管理系统已经成功地应用到很多系统中,MySQL是其中较出色的一个。它具有功能强、使用简便、管理方便、运行速度快、安全可靠性强等优点。为了快速开发高质量的MySQL的应用程序,从系统平台及开发工具选择、应用程序优化... 开放源代码数据库管理系统已经成功地应用到很多系统中,MySQL是其中较出色的一个。它具有功能强、使用简便、管理方便、运行速度快、安全可靠性强等优点。为了快速开发高质量的MySQL的应用程序,从系统平台及开发工具选择、应用程序优化、数据库安全策略等方面提出了可行的解决方案。 展开更多
关键词 MYSQL DBMS 软件开发方法 索引 存取控制技术 加密技术 数据库设计 应用程序设计
在线阅读 下载PDF
软件开发方法发展回顾与展望 被引量:32
11
作者 马晓星 刘譞哲 +4 位作者 谢冰 余萍 张天 卜磊 李宣东 《软件学报》 EI CSCD 北大核心 2019年第1期3-21,共19页
软件是信息化社会的基础设施,而构造并运用软件的能力成为一种核心竞争力.软件开发方法凝结了系统化的软件构造过程和技术.简要回顾了50年来软件开发方法发展历程中具有重要影响的里程碑,包括基于结构化程序设计和模块化开发的基本方法... 软件是信息化社会的基础设施,而构造并运用软件的能力成为一种核心竞争力.软件开发方法凝结了系统化的软件构造过程和技术.简要回顾了50年来软件开发方法发展历程中具有重要影响的里程碑,包括基于结构化程序设计和模块化开发的基本方法、面向对象方法、软件复用与构件化方法、面向方面的方法、模型驱动的方法,以及服务化的方法.而后针对Internet的发展普及以及人机物融合应用对软件开发方法提出的挑战,介绍了网构软件的研究和探索,并展望未来人机物融合的软件方法和技术. 展开更多
关键词 软件开发方法 回顾 展望
在线阅读 下载PDF
软件开发中的形式化方法 被引量:23
12
作者 郑红军 张乃孝 《计算机科学》 CSCD 北大核心 1997年第6期90-96,共7页
1形式化方法 随着软件系统复杂度的不断增长,开发正确、可靠的软件,已成为一个巫解决的问题。形式化方法是解决此间题的一个有前途、有希望的技术,它建立在严格的数学基上。
关键词 软件开发 形式化方法 需求分析
在线阅读 下载PDF
一种严格的软件开发方法框架 被引量:4
13
作者 陈火旺 齐治昌 +2 位作者 王兵山 宁洪 谭庆平 《软件学报》 EI CSCD 北大核心 1996年第3期187-193,共7页
本文系统地提出一种严格的软件开发方法,它基于逐步精化和重用组合的程序设计思想,将基于图形的半形式化方法和基于逻辑和转换系统的形式化方法镶嵌为一体,使软件开发中的“创造”和“演算”得到合理的折衷.本文已初步实现了面向该... 本文系统地提出一种严格的软件开发方法,它基于逐步精化和重用组合的程序设计思想,将基于图形的半形式化方法和基于逻辑和转换系统的形式化方法镶嵌为一体,使软件开发中的“创造”和“演算”得到合理的折衷.本文已初步实现了面向该方法的实现工具. 展开更多
关键词 软件开发 形式化法 软件规范 程序设计
在线阅读 下载PDF
采用形式化技术的软件再工程 被引量:5
14
作者 周华 李少云 +2 位作者 段清 何彦彬 沈勇 《计算机工程与应用》 CSCD 北大核心 2003年第3期84-86,共3页
形式化技术为软件再工程提供了完备的理论基础,该文对基于软件再工程的形式化方法进行了探讨,提出了一个统一的面向软件再工程的形式化方法。
关键词 形式化技术 软件再工程 广谱语言 软件生命周期 计算机
在线阅读 下载PDF
基于Petri网模型检验的安全关键软件需求验证 被引量:7
15
作者 李震 刘斌 +1 位作者 李小勋 殷永峰 《系统工程与电子技术》 EI CSCD 北大核心 2011年第2期458-463,共6页
需求形式化建模和模型检验可以提高安全关键软件的可信性,但在模型描述、调试和解释能力方面存在局限。对使用Petri网支持软件系统建模进行了扩展,设定默认值为零的权函数、利用"非"虚线描述在状态为假和变迁失败情况下的触发... 需求形式化建模和模型检验可以提高安全关键软件的可信性,但在模型描述、调试和解释能力方面存在局限。对使用Petri网支持软件系统建模进行了扩展,设定默认值为零的权函数、利用"非"虚线描述在状态为假和变迁失败情况下的触发,增强阈值条件的描述能力,区分了枚举型和数值型库所,区分了普通迁移和强赋值迁移,并给出了扩展后的形式化定义及其和检验语言的语义映射。最后给出在典型机载软件上的应用,建立了软件需求模型和部分映射代码,对模型进行检验、反例路径分析和需求完善。过程和结果表明该方法可以有效的支持实际的关键安全软件需求建模和验证。 展开更多
关键词 软件工程 PETRI网 模型检验 安全关键软件 形式化方法
在线阅读 下载PDF
基于PAR的算法形式化开发 被引量:29
16
作者 石海鹤 薛锦云 《计算机学报》 EI CSCD 北大核心 2009年第5期982-991,共10页
形式化方法是构建可信软件的重要途径.基于对算法问题的分析,针对形式化方法PAR开发算法的特征,刻划了问题分划、递推关系构造方面的规律.从一类问题的形式化功能规约出发,可机械地完成问题的分划及规约的变换,自然地揭示出求解问题的... 形式化方法是构建可信软件的重要途径.基于对算法问题的分析,针对形式化方法PAR开发算法的特征,刻划了问题分划、递推关系构造方面的规律.从一类问题的形式化功能规约出发,可机械地完成问题的分划及规约的变换,自然地揭示出求解问题的算法思想,在相关工具的支持下自动生成算法程序.研究结果将算法设计中尽可能多的创造性劳动转化为非创造性劳动,降低了形式化求解算法问题的难度,提高了算法程序的可靠性和形式化开发效率. 展开更多
关键词 算法 形式化方法 PAR 规约 可信软件
在线阅读 下载PDF
基于软件总线技术的软件工程方法 被引量:16
17
作者 袁占亭 张秋余 翟志万 《计算机工程与应用》 CSCD 北大核心 2003年第15期137-139,共3页
该文提出了软件总线的框架结构,并对软件总线的模块设计方案进行了论述。文章最后描述了基于软件总线的软件开发方法及其过程。
关键词 软件总线 软插件 软构件 软件开发方法
在线阅读 下载PDF
基于UML状态机与B方法的高可信嵌入式软件开发 被引量:6
18
作者 肖健宇 张德运 +1 位作者 陈海诠 董皓 《计算机工程》 EI CAS CSCD 北大核心 2006年第8期64-66,共3页
提出了一套集成UML与B方法开发高可信嵌入式软件的实用方案:以软件的UML状态机模型为起点,将其转换为B抽象模型并在B工具中验证该模型的一致性,然后遵循B模型逐步精化的开发规则,利用B方法的精化正确性验证功能,得到系统的可靠的实现模... 提出了一套集成UML与B方法开发高可信嵌入式软件的实用方案:以软件的UML状态机模型为起点,将其转换为B抽象模型并在B工具中验证该模型的一致性,然后遵循B模型逐步精化的开发规则,利用B方法的精化正确性验证功能,得到系统的可靠的实现模型,最后借助B工具自动生成C代码。实例分析表明,这套方法可以提高高可信嵌入式软件的开发验证效率。给出了嵌入式软件设计中常用的UML并发状态图到B抽象模型的转换规则。 展开更多
关键词 B方法 形式化方法 UML状态机 嵌入式软件 高可信软件工程
在线阅读 下载PDF
构件式体系结构模型映射的形式化语义 被引量:8
19
作者 侯金奎 万建成 +1 位作者 杨潇 王海洋 《计算机研究与发展》 EI CSCD 北大核心 2009年第2期310-320,共11页
语义一致性是模型驱动开发中模型转换正确性的一个重要标准,但目前模型转换中语义特性保持的定义、描述和验证仍是一个尚未解决的难题.基于软件体系结构,利用范畴理论和代数规范形式化描述体系结构模型及其间的映射关系,使之具有精确的... 语义一致性是模型驱动开发中模型转换正确性的一个重要标准,但目前模型转换中语义特性保持的定义、描述和验证仍是一个尚未解决的难题.基于软件体系结构,利用范畴理论和代数规范形式化描述体系结构模型及其间的映射关系,使之具有精确的语义.体系结构模型的形式化语义用类型范畴图表来表示,态射合成被用来追踪构件模型之间的关联和映射,不同层次模型间的映射关系用态射和函子来形式化描述.以此为基础,进一步分析了模型转换应保持的语义特性.范畴理论支持图形化建模,可以使模型中的构件关系以及结构特征可视化,有利于对模型转换的理解和追踪.应用研究表明,该描述框架很好地把握了模型驱动开发的实质、过程和要求,为模型转换和模型驱动开发提供了新的认知、设计和语义计算的指导架构. 展开更多
关键词 模型驱动开发 模型映射 形式化语义 软件体系结构 构件模型
在线阅读 下载PDF
面向agent的软件开发方法 被引量:10
20
作者 毛新军 闫琪 +1 位作者 王怀民 楚蓓蓓 《计算机科学》 CSCD 北大核心 2003年第5期94-96,共3页
Agent oriented software development method is a new research area in the field of software engineering.As the method provides abstract concept, i.e. , agent, to naturally model the computational entities and problemso... Agent oriented software development method is a new research area in the field of software engineering.As the method provides abstract concept, i.e. , agent, to naturally model the computational entities and problemsolving manners in complex system, and ways to effectively control the system complexity, many attentions havebeen imposed on it. The paper summarizes the research status, introduces and investigates a number of representativeworks, and at last concludes the existing problems and future further research work. 展开更多
关键词 软件开发方法 AGENT 人工智能 软件体系结构 软件系统 软件工程
在线阅读 下载PDF
上一页 1 2 10 下一页 到第
使用帮助 返回顶部