机载软件层次化需求的形式化建模与分析 被引量：2

1

作者 王康星 胡军 +3 位作者 王立松 丁鼎 董亚炯 戴嘉磊 《南京航空航天大学学报(自然科学版)》 北大核心 2025年第1期195-204,共10页

越来越复杂的多层级功能需求给高安全机载软件的设计开发带来了重要挑战。本文给出了一个面向工程应用领域具有层次化语义特征的软件需求形式化建模与分析方法。首先,设计了一个层次化的形式化需求模型。层次化变量关系模型(Hierarchica... 越来越复杂的多层级功能需求给高安全机载软件的设计开发带来了重要挑战。本文给出了一个面向工程应用领域具有层次化语义特征的软件需求形式化建模与分析方法。首先,设计了一个层次化的形式化需求模型。层次化变量关系模型(Hierarchical variable relation model,HVRM)引入工程领域中典型的功能模块属性以及端口等概念来表达系统功能的层次化特征语义,同时也具备原有变量关系模型(Variable relation model,VRM)中基于表格形式的形式化语义,可表示包括条件型、事件型、多维度模式转换等多种类需求的语义信息。进而,基于需求的一致性完整性要求确立了VRM一致性完整性约束簇。其次,设计了一个将工程条目化需求建模为HVRM形式化需求模型的处理框架,并在一个机载软件需求工具平台(Hierarchical avionics requirement tools,HART)中进行了处理功能和需求追溯功能的实现和集成。最后采用某机型自动飞行系统中飞行模式转换软件逻辑需求进行了实例需求建模和模型分析。 展开更多

关键词 计算机软件与理论 需求工程 形式化方法 需求建模与分析 飞行控制系统

在线阅读 下载PDF 职称材料

软件流水中的循环展开优化 被引量：16

2

作者 李文龙 刘利 汤志忠 《北京航空航天大学学报》 EI CAS CSCD 北大核心 2004年第11期1111-1115,共5页

在软件流水中应用循环展开可以实现分数值的启动间距 ,提高资源的利用率 ,同时基于展开的优化技术可以降低程序的资源需求和关键路径的长度 .提出了基于程序特性的展开因子算法UTBPC(UnrollingTimesBasedProgramCharacter istics) ,解... 在软件流水中应用循环展开可以实现分数值的启动间距 ,提高资源的利用率 ,同时基于展开的优化技术可以降低程序的资源需求和关键路径的长度 .提出了基于程序特性的展开因子算法UTBPC(UnrollingTimesBasedProgramCharacter istics) ,解决了循环展开的核心问题———展开因子的确定 ,同时提出了基于展开的软件数据预取优化技术 ,提高了软件数据预取的效率 .所有这些都在ORC(OpenRe searchCompiler)中实现 ,并对SPEC 2 0 0 0中的程序进行了测试 ,平均性能提高了 2 .6% .实验结果表明新提出的算法和基于展开的数据预取优化技术提高了编译器的整体性能 . 展开更多

关键词 计算机软件 软件流水 循环展开 展开因子 数据预取

在线阅读 下载PDF 职称材料

岩土工程施工监测信息系统初探 被引量：71

3

作者 李元海 朱合华 《岩土力学》 EI CAS CSCD 北大核心 2002年第1期103-106,共4页

岩土工程施工监测信息系统(GeoMIS)主要以隧道、基坑和边坡工程施工监测为应用对象,运用工程可视化技术与地理信息系统GIS的全新思想,将数据库管理、分析预测与测点图形功能三者无缝集成,实现了以测点地图为中心的查询和数据输入输出的... 岩土工程施工监测信息系统(GeoMIS)主要以隧道、基坑和边坡工程施工监测为应用对象,运用工程可视化技术与地理信息系统GIS的全新思想,将数据库管理、分析预测与测点图形功能三者无缝集成,实现了以测点地图为中心的查询和数据输入输出的双向可视化,并提供监测概预算和图形报表等完整的实用工具。系统功能齐全,交互灵活,无需其它应用软件系统支撑,对工程施工设计与科学研究具有实用价值。 展开更多

关键词 岩土工程 施工监测 信息系统

在线阅读 下载PDF 职称材料

一种基于UML的信息系统需求分析方法 被引量：6

4

作者 徐建民 刘进坡 邵艳华 《河北大学学报（自然科学版）》 CAS 北大核心 2005年第2期207-211,共5页

针对目前信息系统开发中,需求分析经常遇到的难题,提出了一种基于UML的信息系统需求分析方法,给出了一个需求分析框架,通过活动图技术来对业务流程建模,用对象图模型、状态图模型、交互图模型来构造系统的领域模型.讨论了业务建模、用... 针对目前信息系统开发中,需求分析经常遇到的难题,提出了一种基于UML的信息系统需求分析方法,给出了一个需求分析框架,通过活动图技术来对业务流程建模,用对象图模型、状态图模型、交互图模型来构造系统的领域模型.讨论了业务建模、用例的提取、用例的集成等关键技术的实施步骤,使该方法具有更强的可操作性. 展开更多

关键词 统一建模语言 信息系统 需求分析 框架 软件工程

在线阅读 下载PDF 职称材料

用户需求分析的一种新方法一面向对象集成分析法 被引量：13

5

作者 郑跃斌 韩文秀 《计算机工程与应用》 CSCD 北大核心 2000年第5期57-59,74,共4页

从人们了解和分析客观世界的思维角度出发，分析总结了三种具有代表性的用户需求分析方法的优缺点。在此基础上，提出了一种集这三种方法的优点为一体的面向对象集成分析法的设计思想、实施步骤。最后给出了运用此方法对一企业管理信息... 从人们了解和分析客观世界的思维角度出发，分析总结了三种具有代表性的用户需求分析方法的优缺点。在此基础上，提出了一种集这三种方法的优点为一体的面向对象集成分析法的设计思想、实施步骤。最后给出了运用此方法对一企业管理信息系统进行分析的实例。 展开更多

关键词 系统开发方法 面向对象 软件工程 用户需求分析

在线阅读 下载PDF 职称材料

数据库应用的需求分析研究 被引量：10

6

作者 张峰岭 《计算机工程与应用》 CSCD 北大核心 2002年第18期210-211,217,共3页

文章分析了数据库应用需求的特点,结合作者工作实践分析了传统需求分析方法在开发数据库应用中遇到的问题,提出相应的解决方法,并介绍了中山大学软件研究所在这方面的研究成果。

关键词 数据库 需求分析 应用程序 软件开发 软件工程

在线阅读 下载PDF 职称材料

凸轮轴数控磨削云平台的研究与设计 被引量：3

7

作者 谢智明 邓朝晖 +2 位作者 刘伟 刘涛 彭克立 《中国机械工程》 EI CAS CSCD 北大核心 2016年第1期91-100,共10页

针对整合磨削加工领域资源的问题,借鉴云计算与云制造的思想,提出并开发了整合与利用磨削软硬两大类资源的磨削云平台。提出了磨削云平台体系架构,设计了其软件结构,研究了其关键技术。利用人工智能技术,设计了磨削云平台应用需求模型... 针对整合磨削加工领域资源的问题,借鉴云计算与云制造的思想,提出并开发了整合与利用磨削软硬两大类资源的磨削云平台。提出了磨削云平台体系架构,设计了其软件结构,研究了其关键技术。利用人工智能技术,设计了磨削云平台应用需求模型及其工作流程与关键算法。开发了SaaS服务系统、PaaS服务系统、IaaS-to-PaaS分布式异构数据库同步复制系统、IaaS服务系统、用户注册登录管理系统5个软件子系统所组成的磨削云平台,使得企业在资源利用上更为优化便捷。将该磨削云平台应用于实际生产,有效提高了生产加工效率,降低了生产成本。 展开更多

关键词 磨削云平台 应用需求模型 系统架构 磨削云引擎 人工智能 软件系统

在线阅读 下载PDF 职称材料

一种模型驱动的软件需求分析方法及技术支持 被引量：5

8

作者 李智 庞柳 +1 位作者 刘国源 杨智尚 《广西师范大学学报（自然科学版）》 CAS 北大核心 2013年第2期19-26,共8页

模型驱动工程(model-driven engineering,简称MDE)已成为软件工程领域的研究热点之一,它的核心基础是模型驱动架构(model-driven architecture,简称MDA)。本文在深入研究问题框架方法的基础上,结合模型驱动架构理论提出并开发了一种面... 模型驱动工程(model-driven engineering,简称MDE)已成为软件工程领域的研究热点之一,它的核心基础是模型驱动架构(model-driven architecture,简称MDA)。本文在深入研究问题框架方法的基础上,结合模型驱动架构理论提出并开发了一种面向问题的领域和需求模型变换技术及辅助支持工具,并且通过一个案例研究来展示该技术的实际应用过程。结果表明,所开发的计算机辅助软件工程工具既实现了模型的可视化变换,又实现了需求文本的同步自动变换,从而增强了工具在实际使用时的交互性和易理解性。 展开更多

关键词 问题框架 需求分析和建模 模型变换 计算机辅助软件工程

在线阅读 下载PDF 职称材料

多雇主软件需求优选的存档NSGA-Ⅱ算法 被引量：1

9

作者 童志祥 苏小红 +2 位作者 丁效 李洪祥 郭琦 《哈尔滨工业大学学报》 EI CAS CSCD 北大核心 2016年第11期20-27,共8页

为解决多雇主的软件系统需求优选问题,使得所有雇主同时达到最优满意度,提出基于存档的NSGA-Ⅱ算法,通过将多雇主需求优选问题定义为多目标优化问题,自动而有效地求解满足数量较多的雇主需求优化目标的解集.实验结果表明:本文提出的需... 为解决多雇主的软件系统需求优选问题,使得所有雇主同时达到最优满意度,提出基于存档的NSGA-Ⅱ算法,通过将多雇主需求优选问题定义为多目标优化问题,自动而有效地求解满足数量较多的雇主需求优化目标的解集.实验结果表明:本文提出的需求优选方法,能够在资源和成本的限制下,求解一个令尽可能多雇主满意的需求集,在雇主平均满意度、最小满意度、满意度方差等评价指标上均优于基线方法.基于存档NSGA-Ⅱ遗传算法的需求优选方法能够为软件工程需求分析提供科学、合理的优选方案. 展开更多

关键词 软件工程 需求分析 多目标优化 遗传算法 NSGA-Ⅱ

在线阅读 下载PDF 职称材料

面向服务的领域需求分析方法及模型研究 被引量：1

10

作者 郭莹 杨美红 +2 位作者 王筠 杨萍 李刚 《计算机应用》 CSCD 北大核心 2009年第B12期131-134,共4页

面向特征方法是当前进行领域分析的基本方法,但是由于特征的抽象性,使得用面向特征方法所生成的领域模型在领域需求描述和向领域设计、领域实现的转换方面略显不足。提出了面向服务的领域需求分析方法,将Web服务结合到领域分析过程中,... 面向特征方法是当前进行领域分析的基本方法,但是由于特征的抽象性,使得用面向特征方法所生成的领域模型在领域需求描述和向领域设计、领域实现的转换方面略显不足。提出了面向服务的领域需求分析方法,将Web服务结合到领域分析过程中,通过分析不同的领域需求来源,形成共性和个性领域服务,并以领域服务为中心构建领域需求模型,并在公共出行信息服务系统中进行应用。 展开更多

关键词 领域工程 领域需求 面向服务 领域分析 软件复用

在线阅读 下载PDF 职称材料

图形处理器用于通用计算的技术、现状及其挑战 被引量：141

11

作者 吴恩华 《软件学报》 EI CSCD 北大核心 2004年第10期1493-1504,共12页

多年来计算机图形处理器(GPU)以大大超过摩尔定律的速度高速发展.图形处理器的发展极大地提高了计算机图形处理的速度和图形质量,并促进了与计算机图形相关应用领域的快速发展.与此同时,图形处理器绘制流水线的高速度和并行性以及近年... 多年来计算机图形处理器(GPU)以大大超过摩尔定律的速度高速发展.图形处理器的发展极大地提高了计算机图形处理的速度和图形质量,并促进了与计算机图形相关应用领域的快速发展.与此同时,图形处理器绘制流水线的高速度和并行性以及近年来发展起来的可编程功能为图形处理以外的通用计算提供了良好的运行平台,这使得基于GPU的通用计算成为近两三年来人们关注的一个研究热点.从介绍GPU的发展历史及其现代GPU的基本结构开始,阐述GPU用于通用计算的技术原理,以及其用于通用计算的主要领域和最新发展情况,并详细地介绍了GPU在流体模拟和代数计算、数据库应用、频谱分析等领域的应用和技术,包括在流体模拟方面的研究工作.还对GPU应用的软件工具及其最新发展作了较详细的介绍.最后,展望了GPU应用于通用计算的发展前景,并从硬件和软件两方面分析了这一领域未来所面临的挑战. 展开更多

关键词 图形处理器(graphics PROCESSING unit 简称GPU) 通用计算 可编程性 实时计算 流处理机

在线阅读 下载PDF 职称材料

基于系统思维的软件安全性需求开发框架 被引量：1

12

作者 褚文奎 丛伟 +1 位作者 樊晓光 顾文灿 《计算机科学》 CSCD 北大核心 2012年第B06期412-415,418,共5页

糟糕的软件需求是导致安全性关键系统发生灾难性事故的最主要原因。为解决需求开发问题,建构了一个系统建模与系统分析相结合、基于系统思维的软件安全性需求开发框架。针对系统模型的特定等级特定领域,提出了集成安全性分析的需求开发... 糟糕的软件需求是导致安全性关键系统发生灾难性事故的最主要原因。为解决需求开发问题,建构了一个系统建模与系统分析相结合、基于系统思维的软件安全性需求开发框架。针对系统模型的特定等级特定领域,提出了集成安全性分析的需求开发方法。该方法既能最大限度地约束安全性需求缺陷,防止其向同一分析等级内的其它领域或下一分析等级传播,并尽早重新生成安全性需求,又能够不断生成证据,支持安全性论据的构建。 展开更多

关键词 软件安全性 系统思维 需求工程 安全性分析 综合航电系统

在线阅读 下载PDF 职称材料

支持结构化方法的需求分析环境 被引量：1

13

作者 张家重 郑明春 +2 位作者 刘培玉 刘方爱 高玲 《计算机研究与发展》 EI CSCD 北大核心 1995年第3期51-55,共5页

本文介绍了一个支持结构化分析方法的需求分析集成环境，主要讨论了其设计思想和系统组成。该环境面向ＭＩＳ，提供了支持该分析方法的图形化编辑器、小说明语言及支撑设施、自动数据字典等工具。

关键词 软件工程 需求分析 结构化法

在线阅读 下载PDF 职称材料

需求分析的Z语言形式化方法 被引量：6

14

作者 夏建勋 唐红武 《科学技术与工程》 2008年第8期2245-2248,共4页

非形式化的需求规格说明容易产生歧义,导致所开发的软件系统不能满足用户的功能要求。Z语言是一种基于集合和一阶谓词逻辑的模式规约语言,可用于产生精确的需求规格说明。介绍了需求分析的Z语言形式化方法,并给出了一个通用堆栈的Z语言... 非形式化的需求规格说明容易产生歧义,导致所开发的软件系统不能满足用户的功能要求。Z语言是一种基于集合和一阶谓词逻辑的模式规约语言,可用于产生精确的需求规格说明。介绍了需求分析的Z语言形式化方法,并给出了一个通用堆栈的Z语言描述实例,同时指出这种形式化方法有待进一步研究的地方。 展开更多

关键词 软件工程 需求分析 Z语言 Z模式 形式化方法

在线阅读 下载PDF 职称材料

光盘数据库统计分析软件(CDSAS)的研制与应用 被引量：2

15

作者 王伟 范静 《现代情报》 北大核心 2006年第8期114-116,119,共4页

光盘数据库统计分析系统(CDSAS)是针对光盘套录文件格式设计的一种计算机辅助文献计量分析软件,可实现光盘套录文件格式的转换、建立Visual FoxPro能够识别处理的专题文献数据库。根据文献计量学研究的需要,可对套录文献中的若干可计量... 光盘数据库统计分析系统(CDSAS)是针对光盘套录文件格式设计的一种计算机辅助文献计量分析软件,可实现光盘套录文件格式的转换、建立Visual FoxPro能够识别处理的专题文献数据库。根据文献计量学研究的需要,可对套录文献中的若干可计量字段进行统计分析。在文献计量学研究和教学实践中得到了广泛的应用。 展开更多

关键词 光盘数据库 软件 统计分析 研制与应用

在线阅读 下载PDF 职称材料

航务报文处理系统的分析与设计 被引量：1

16

作者 何国斌 马世龙 《北京航空航天大学学报》 EI CAS CSCD 北大核心 2001年第6期649-653,共5页

航务报文处理系统是对民航系统中充当部门间信息交换媒介的航务报文进行处理的软件系统 ,可以在民航多个部门中得到广泛应用 .当前已有的航务报文处理系统存在通用性不好、可集成性差以及信息发布方式不合理等缺点 .ATPS(AeronauticalTe... 航务报文处理系统是对民航系统中充当部门间信息交换媒介的航务报文进行处理的软件系统 ,可以在民航多个部门中得到广泛应用 .当前已有的航务报文处理系统存在通用性不好、可集成性差以及信息发布方式不合理等缺点 .ATPS(AeronauticalTelexProcessingSystem) 2 .0航务报文处理系统就是针对这些问题 ,在对航务报文处理业务以及已有系统进行分析的基础上 ,综合使用UML(UnifiedModelingLanguage)。 展开更多

关键词 计算机应用 信息系统 软件工程 航务报文 中间件 需求可变 设计点 需求不变点 民航系统

在线阅读 下载PDF 职称材料

一种利用UML的软件需求阶段风险评估方法 被引量：1

17

作者 刘锦行 夏红霞 《计算机科学》 CSCD 北大核心 2014年第6期131-135,共5页

在软件开发活动早期阶段评估软件的风险及其影响程度将有效减少软件开发成本和降低软件开发风险。针对目前软件风险评估的研究主要集中在软件过程的中后期阶段的现状及遵循"尽早识别和控制风险"的实践准则,提出了一种在软件... 在软件开发活动早期阶段评估软件的风险及其影响程度将有效减少软件开发成本和降低软件开发风险。针对目前软件风险评估的研究主要集中在软件过程的中后期阶段的现状及遵循"尽早识别和控制风险"的实践准则,提出了一种在软件需求分析阶段,利用UML建模图形度量软件风险的方法。该方法主要关注在软件需求分析阶段预防软件风险,为降低风险在软件开发后期产生严重影响提供优化参考。 展开更多

关键词 软件风险评估 软件需求分析 软件工程 软件质量控制

在线阅读 下载PDF 职称材料

基于软件工程规范与案例启发的数据库应用实践教学研究 被引量：6

18

作者 陈颖 《实验技术与管理》 CAS 北大核心 2018年第7期155-158,共4页

研究和创新高校实践课堂,尝试解决在创新实践型人才培养中高校与IT企业需求间脱节的矛盾。以软件工程专业的"SQL Server数据库应用技术"实践课堂为例,探讨基于软件工程规范与案例启发相结合的实践课堂教学手段,引导学生融会... 研究和创新高校实践课堂,尝试解决在创新实践型人才培养中高校与IT企业需求间脱节的矛盾。以软件工程专业的"SQL Server数据库应用技术"实践课堂为例,探讨基于软件工程规范与案例启发相结合的实践课堂教学手段,引导学生融会贯通地学习软件工程过程规范。 展开更多

关键词 实践教学课堂 软件工程规范 案例启发 数据库应用

在线阅读 下载PDF 职称材料

分层数据流图的自动生成与布局 被引量：1

19

作者 曾广周 何海翔 《计算机研究与发展》 EI CSCD 北大核心 1995年第1期62-65,F004,共5页

本文讨论分层数据流图ＨＤＦＤ（ＨｉｅｒａｒｃｈｉｃａｌＤａｔａＦｌｏｗＤｉａｇｒａｍｓ）的自动生成、布局及其ＯＯＰ（Ｏｂｊｅｃｔ－ＯｒｉｅｎｔｅｄＰｒｏｇｒａｍｍｉｎｇ）实现技术。文中提出了规范化数据流图的概念及基于... 本文讨论分层数据流图ＨＤＦＤ（ＨｉｅｒａｒｃｈｉｃａｌＤａｔａＦｌｏｗＤｉａｇｒａｍｓ）的自动生成、布局及其ＯＯＰ（Ｏｂｊｅｃｔ－ＯｒｉｅｎｔｅｄＰｒｏｇｒａｍｍｉｎｇ）实现技术。文中提出了规范化数据流图的概念及基于最佳布局路径和最小进层规则的布局算法。 展开更多

关键词 软件需求分析 分层数据流图 程序设计

在线阅读 下载PDF 职称材料

基于企业流程的需求分析方法的图形描述机制 被引量：1

20

作者 郑跃斌 《计算机工程与应用》 CSCD 北大核心 2003年第26期215-217,共3页

企业流程是指为完成企业战略目标而进行的一系列逻辑相关的活动的有序集合,是企业经营活动的表现形式,也是现代信息系统建立的基础。然而传统的需求分析技术并没有体现出企业流程这一概念。论文在分析企业流程特点的基础上,建立了基于... 企业流程是指为完成企业战略目标而进行的一系列逻辑相关的活动的有序集合,是企业经营活动的表现形式,也是现代信息系统建立的基础。然而传统的需求分析技术并没有体现出企业流程这一概念。论文在分析企业流程特点的基础上,建立了基于企业流程的需求分析方法的图形描述机制,重点叙述了企业流程建模的方法。 展开更多

关键词 企业流程 软件工程 需求分析

在线阅读 下载PDF 职称材料