检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

基于场景的并发系统需求验证方法研究

哈尔滨工程大学学报 2011年第10期32卷 1323-1328页

作者：张涛黄少滨黄宏涛吕天阳刘刚哈尔滨工程大学计算机科学与技术学院黑龙江哈尔滨150001

为验证并发系统需求设计的正确性,提出一种基于场景的并发系统需求验证方法.首先,用UML顺序图建模并发系统需求场景,通过定义顺序图的操作语义及转换规则,将顺序图的XML描述文件自动转换为Promela程序,而后将描述系统需求的Promela程序... 详细信息

为验证并发系统需求设计的正确性,提出一种基于场景的并发系统需求验证方法.首先,用UML顺序图建模并发系统需求场景,通过定义顺序图的操作语义及转换规则,将顺序图的XML描述文件自动转换为Promela程序,而后将描述系统需求的Promela程序和描述系统规约的线性时序逻辑作为模型检测器SPIN的输入,用模型检测的方法自动验证并发系统需求设计的一致性和完备性,最后为证明上述方法的有效性给出一个基于场景的ATM系统需求设计验证实例.实验结果表明,该方法能够有效地发现并发系统需求设计中的错误与不一致,为改进设计提供帮助.

关键词：模型检测需求验证并发系统 UML顺序图 SPIN

基于SysML的动车组牵引系统建模与方案权衡分析

在线全文

学校读者我要写书评

暂无评论

杭州电子科技大学学报（自然科学版） 2024年第2期44卷 88-102页

作者：袁文强陈波张世聪杭州电子科技大学计算机学院杭州310018 中国铁道科学研究院集团有限公司机车车辆研究所北京100081 动车组和机车牵引与控制国家重点实验室北京100081

创新设计是我国动车组领域近年来重点研究领域,也是提升我国动车组产品竞争力的关键手段。本文借助于系统建模语言SysML(System Modeling Language)提出一种面向动车组牵引系统建模策略、需求验证与方案权衡的整体解决方案。主要包括三... 详细信息

创新设计是我国动车组领域近年来重点研究领域,也是提升我国动车组产品竞争力的关键手段。本文借助于系统建模语言SysML(System Modeling Language)提出一种面向动车组牵引系统建模策略、需求验证与方案权衡的整体解决方案。主要包括三个方面:第一,牵引系统建模,涵盖领域元模型、需求建模和组成建模;第二,在牵引系统基础模型之上,定义需求验证参数模型和逻辑模型,开展需求验证模型的建模与仿真过程;第三,基于SysML模型的牵引系统方案分析,在基础模型之上构建牵引系统分析模型,使用SysML参数图构建参数映射,通过基于模型的参数分析开展不同情形的需求验证及多种设计方案进行权衡分析。最后以动车组牵引系统及其牵引电机验证本文方法的有效性。

关键词： SysML 动车组牵引系统需求验证方案权衡

基于Event-B的EBRE需求模型的正确性验证

在线全文

学校读者我要写书评

暂无评论

基于Event-B的EBRE需求模型的正确性验证

作者：冯世玲华东师范大学

学位级别：硕士

需求分析在软件工程中处于非常重要的地位,为设计起指导作用,是软件工程中的一个关键过程,需求分析的正确性直接关系到所开发系统的效率和质量。目前需求工程也已经研究出一系列需求分析的方法,金芝等提出的基于环境建模的需求工程方法... 详细信息

需求分析在软件工程中处于非常重要的地位,为设计起指导作用,是软件工程中的一个关键过程,需求分析的正确性直接关系到所开发系统的效率和质量。目前需求工程也已经研究出一系列需求分析的方法,金芝等提出的基于环境建模的需求工程方法（EBRE）被广泛应用,该方法显式地对交互环境进行建模,并基于环境模型为需求获取和分析提供系统的过程和需求模型。如何验证EBRE需求模型的正确性是备受关注的问题之一,目前存在相应工具以环境本体为标准验证EBRE模型的完整性等,但对于需求模型自身的正确性仍缺少形式化证明手段,导致需求模型的正确性在数学逻辑证明层面无法得到保障。Event-B作为一种典型的形式化方法,其基于集合论和一阶逻辑,以精化的方式进行形式化建模与验证,并根据系统需求验证其正确性,可以作为EBRE需求模型正确性验证的一种途径。我们将EBRE方法和Event-B的方法结合起来,提出基于Event-B的EBRE需求模型的正确性验证方法。将EBRE模型转换为Event-B的初始模型,转换过来的Event-B模型可以为需求模型的正确性提供形式化证明。在此基础上,我们实现了EBRE模型到Event-B模型的自动化转换工具,并以Rodin插件的形式发布,从而实现EBRE需求模型的正确性的自动化验证。本文的主要工作如下:1.EBRE需求模型到Event-B模型的转换:通过分析EBRE模型元素与Event-B模型元素之间的对应关系,定义了一套转换规则,将EBRE需求模型转换为Event-B模型,确保EBRE需求模型与转换后的Event-B模型具有语义上的一致性。2.EBRE需求模型的正确性验证:转换后的Event-B模型会生成相应的证明义务,基于Rodin平台的定理证明机制,进行证明义务的自动证明或手动交互式证明,从而验证需求模型的正确性。通过分析证明义务与EBRE需求模型中所要满足的性质的一一对应关系,将Event-B的验证机制应用于EBRE模型的正确性验证,验证需求的正确性。3.基于Rodin平台的模型自动化转换插件:基于EBRE需求模型到Event-B模型的转换以及EBRE需求模型的正确性验证的方法,实现EBRE需求模型元素到Event-B模型元素的自动化转换工具,为EBRE需求模型的正确性验证提供技术支撑。

关键词： Event-B 需求工程需求模型需求验证 Rodin

基于可追溯验证矩阵(RVTM)的飞机需求验证方法

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

飞机设计 2023年第1期43卷 1-5,10页

作者：李玟萱吴云皓沈阳飞机设计研究所辽宁沈阳110035

需求验证的目的是确定每一层级的需求都被系统很好地满足,是需求开发的重要一环。通过设计一种可追溯验证矩阵:需求验证和可追溯矩阵(RVTM),实现各层级需求在研制各阶段的针对性验证,明确各层级需求之间的关系,提高需求验证的准确性和... 详细信息

需求验证的目的是确定每一层级的需求都被系统很好地满足,是需求开发的重要一环。通过设计一种可追溯验证矩阵:需求验证和可追溯矩阵(RVTM),实现各层级需求在研制各阶段的针对性验证,明确各层级需求之间的关系,提高需求验证的准确性和完整性。采用调研国内外先进需求验证方式,结合工程实践总结的方法,定义需求验证节点,设计一系列需求验证方法及相应证据,定义需求验证原则及需求验证流程,完成对一种RVTM的设计,为未来飞机需求开发提供有力支撑。

关键词：需求验证 RVTM 技术成熟度

在线全文

学校读者我要写书评

暂无评论

需求与验证数据的关联管理方法及实现

航空动力 2022年第S1期 38-40页

作者：孙小欢何为屈衍静吉浩元潘若痴张德志中国航发动力所

发动机研制周期漫长并分为不同的研制阶段,不同研制阶段对需求验证的要求不同,因此在研制过程中会产生大量的验证数据.这些数据具有重要的价值,可用于评估设计需求的合理性,提前识别、规避风险,同时根据数据确定设计和试验指标,提升设... 详细信息

发动机研制周期漫长并分为不同的研制阶段,不同研制阶段对需求验证的要求不同,因此在研制过程中会产生大量的验证数据.这些数据具有重要的价值,可用于评估设计需求的合理性,提前识别、规避风险,同时根据数据确定设计和试验指标,提升设计和试验的准确性.但是这些数据存储在不同的系统中,与需求之间的对应关系只有部分专业人员可以了解到.通过建立发动机需求与验证数据对应关系并进行关联管理,便于研发人员的数据查找和分析,使发动机研发能力得到提升.

关键词：需求验证数据查找数据存储研制周期试验指标研制阶段研发人员提升设计

在线全文

学校读者我要写书评

暂无评论

民机飞控系统需求验证过程方法和技术研究

民机飞控系统需求验证过程方法和技术研究

基于OPN的C^4ISR装备体系作战需求验证模型建立方法

第五届中国航空科学技术大会

作者：倪晓彬李麟路宽陈瑶何一强航空工业西安飞行自动控制研究所西北工业大学

本文基于某型民用飞机系统需求验证工作,总结了满足ARP4754A对民机飞控系统验证要求所需的验证过程、方法和技术。首先,针对某一条或某一组系统需求,从功能验证计划、验证目标、验证方法、验证步骤,直到验证总结报告的完整链条,给出该条... 详细信息

本文基于某型民用飞机系统需求验证工作,总结了满足ARP4754A对民机飞控系统验证要求所需的验证过程、方法和技术。首先,针对某一条或某一组系统需求,从功能验证计划、验证目标、验证方法、验证步骤,直到验证总结报告的完整链条,给出该条/组需求正确实现的验证证据。其次,通过对被验证需求、验证过程文档、验证工具或环境、对应产品实现(软件和硬件)和验证结果状态等验证过程要素的一致性控制,保证验证结果的有效性。最后,给出了实现所述验证过程和方法对系统需求的开发要求、产品实现要求,以及对仿真测试能力和技术的要求。

关键词：民用飞机飞控系统需求验证验证数据

来源： cnki会议评论

在线全文

cnki会议

学校读者我要写书评

暂无评论

系统仿真学报 2009年第11期21卷 3434-3438页

作者：黄力赵相安陈洪辉国防科技大学五院长沙410073 国防科技大学三院长沙410073

作战需求验证是C4ISR装备体系需求开发过程的重要环节,仿真是作战需求验证的一种有效手段,而验证模型的建立是进行仿真验证的前提和关键。针对现有C4ISR装备体系作战需求仿真验证方法在验证模型的建模语言、建模方法等方面的不足,提出... 详细信息

作战需求验证是C4ISR装备体系需求开发过程的重要环节,仿真是作战需求验证的一种有效手段,而验证模型的建立是进行仿真验证的前提和关键。针对现有C4ISR装备体系作战需求仿真验证方法在验证模型的建模语言、建模方法等方面的不足,提出采用对象Petri网(OPN)建立仿真验证模型,深入剖析了建立验证模型所需的作战需求描述信息,研究了验证模型的建立过程,可有效支持作战需求验证仿真系统的构建。

关键词：装备体系需求验证对象Petri网 C^4ISR系统

将进入需求验证期钢市价格波动料加大 A04

在线全文

学校读者我要写书评

暂无评论

将进入需求验证期钢市价格波动料加大

中国证券报

作者：张利静

临近春节，国内钢材现货价格偏强震荡，部分钢厂冬储价格已出，但普遍高于市场预期，钢贸商冬储意愿不强。分析人士认为，春节后市场将进入需求验证期，需求预期摆动或加大价格波动，2023年对产业企业来说，将面临经营调节能力和风险管... 详细信息

临近春节，国内钢材现货价格偏强震荡，部分钢厂冬储价格已出，但普遍高于市场预期，钢贸商冬储意愿不强。分析人士认为，春节后市场将进入需求验证期，需求预期摆动或加大价格波动，2023年对产业企业来说，将面临经营调节能力和风险管理能力的考验，建议相关企业积极参与国内?

关键词：钢材价格价格波动需求验证

来源： cnki报纸评论

在线全文

cnki报纸

学校读者我要写书评

暂无评论

车道对中控制系统的驾驶员自适应需求验证

汽车技术 2021年第3期 1-6页

作者：赵斌陈慧冉巍西村要介王建镇同济大学上海201804 株式会社捷太格特日本奈良6348555 捷太格特科技研发中心(无锡)有限公司无锡214161

针对车道对中控制系统(LCCS)的控制目标与驾驶员正常驾驶行为存在差异的现象,提出了基于主观评价试验的方法验证是否需要设计自适应LCCS提高驾驶员的体验。采集驾驶员在设计道路上的驾驶路径,并通过聚类提取4种风格的驾驶路径,设计评价... 详细信息

针对车道对中控制系统(LCCS)的控制目标与驾驶员正常驾驶行为存在差异的现象,提出了基于主观评价试验的方法验证是否需要设计自适应LCCS提高驾驶员的体验。采集驾驶员在设计道路上的驾驶路径,并通过聚类提取4种风格的驾驶路径,设计评价试验得到驾驶员对4种风格驾驶路径和其他3种人为设计路径的喜好情况。试验结果表明,驾驶员对车辆行驶路径存在明确喜好,且不同驾驶员的喜好存在差异,因此LCCS需要根据驾驶员的喜好调整车辆行驶路径。

关键词：车道对中控制系统驾驶员自适应需求验证主观评价