主  题

不  限

  • 不  限
  • 1915年
  • 1949年
  • 1979年

不  限

  • 不  限
  • 1979年
  • 1949年
  • 1915年
  • 全  文
  • 主  题
  • 篇  名
  • 关键词
  • 作  者
  • 作者单位
  • 摘  要
  • 参考文献
  • 基  金
  • 文献来源
  • 发表时间
  • 中图分类号

主  题

不  限

  • 不  限
  • 1915年
  • 1949年
  • 1979年

不  限

  • 不  限
  • 1979年
  • 1949年
  • 1915年
  • 全  文
  • 主  题
  • 篇  名
  • 关键词
  • 作  者
  • 作者单位
  • 摘  要
  • 参考文献
  • 基  金
  • 文献来源
  • 发表时间
  • 中图分类号

全  文

不  限

  • 不  限
  • 1915年
  • 1949年
  • 1979年

不  限

  • 不  限
  • 1979年
  • 1949年
  • 1915年
  • 全  文
  • 主  题
  • 篇  名
  • 关键词
  • 作  者
  • 作者单位
  • 摘  要
  • 参考文献
  • 基  金
  • 文献来源
  • 发表时间
  • 中图分类号
设置
  • 关闭历史记录
  • 打开历史纪录
  • 清除历史记录
引用
筛选:
文献类型 文献类型
学科分类 学科分类
发表年度 发表年度
作者 作者
机构 机构
基金 基金
研究层次 研究层次
排序:
显示:
CNKI为你找到相关结果

面向不确定环境场景规约的定量时间分析研究  CNKI文献

随着5G通信、物联网技术的发展,越来越多软件、硬件被部署在开放的物理环境中。然而,系统在该环境中运行存在多种不确定性因素(例如,系统输入、消息处理时间和网络延迟),由于缺乏对开放的物理环境中系统的不确定性因素...

段文雪 导师:陈铭松 华东师范大学 2020-05-01 硕士论文

关键词: 场景规约 / 不确定环境 / UML顺序图 / 价格时间自动机

下载(15)| 被引(0)

军事信息系统需求模型一致性检验方法  CNKI文献

在大型军事信息系统研制项目中,如何获取军事需求、分析系统需求、发现需求规约中的各种问题,一直是困扰系统研发部门的难题。提出了一套军事信息系统需求建模和一致性检验方法,该方法由军事信息系统需求概念本...

禹明刚 权冀川... 《火力与指挥控制》 2019年11期 期刊

关键词: 军事信息系统 / 需求模型 / 一致性验证 / 系统工程

下载(131)| 被引(2)

应答器报文编制规则的形式化建模与验证  CNKI文献

应答器报文的正确与否直接关系到列车运行安全。CTCS-2级列控系统应答器的应用原则是C2应答器报文编制的起点和依据,应答器报文的正确性与应用原则的正确性及其是否被正确执行直接相关。基于文本语言描述的应答器应用...

黄旭 刘中田 《铁道学报》 2019年06期 期刊

关键词: 应答器报文 / 应答器应用原则 / 符号模型检验 / UML

下载(141)| 被引(1)

高速磁浮列控系统运行场景构建与形式化验证  CNKI文献

高速磁浮技术作为区别于轮轨高铁的新型交通运输手段,是未来高速和特高速轨道交通系统发展的重要方向。近年来,我国对高速磁浮列车技术开展了相关研究,计划在未来五年之内建成时速600公里条件下的高速磁浮试验线。高速...

屈胤达 导师:李开成 北京交通大学 2019-06-03 硕士论文

关键词: 高速磁浮列控系统 / 运行场景 / 场景构建 / 形式化验证

下载(133)| 被引(0)

CTCS-1级列控车载功能兼容方案建模与验证  CNKI文献

车载功能兼容研究主要解决的是列车跨线运行的问题,其一是通过合理的系统功能设计,使车载系统能支持列车在低等级线路条件下的安全运行控制,其二是通过合理的场景设计,使面临跨线运行的列车能安全且高效地实现在不同控...

王颖卓 导师:刘中田 北京交通大学 2019-06-01 硕士论文

关键词: CTCS-1 / 功能兼容 / 建模与验证 / NuSMV

下载(50)| 被引(0)

基于模型的软件需求验证方法研究  CNKI文献

随着计算机技术的发展,软件在航天控制系统中的应用越来越深入,软件对任务的成功发挥着至关重要的作用,并且成为决定系统产品质量的关键因素之一。航天控制系统的任务特点决定了其软件系统可靠性、实时性要求极高。据...

杜泽民 导师:王晓玲 中国航天科技集团公司第一研究院 2018-05-01 硕士论文

关键词: 需求验证 / 模型检测 / 形式化方法 / 实时性

下载(154)| 被引(2)

UML交互模型的时间性质验证及修正技术研究  CNKI文献

软件设计在软件工程的整个生命周期中所占的比重越来越大,合理正确的设计将会使后序的开发过程更加的稳定正确。同时,软件问题发现得越早,修复产生的代价就越小,因此软件设计的验证就成为了非常重要的部分。一方面由~...

范宣德 导师:李宣东 南京大学 2018-05-01 硕士论文

关键词: UML交互模型 / 时间满足性检验 / 布尔可满足性问题 / 线性规划

下载(30)| 被引(1)

应答器报文编制规则的建模、验证与应用  CNKI文献

应答器系统作为实现地-车信息传输的重要设备,其向车载传输的报文数据的正确性直接关系到列车运行安全。应答器报文是由编制人员依据应答器应用原则将线路工程数据进行编制而得。然而应用原则只是从列控系统功能需求的...

黄旭 导师:刘中田 北京交通大学 2018-03-13 硕士论文

关键词: 应答器报文 / 编制规则 / 符号模型检验 / UML

下载(138)| 被引(2)

基于NuSMV和STPA的RBC交接场景安全分析方法研究  CNKI文献

中国列车运行控制系统 3 级(Chinese Train Control System Level 3,CTCS-3)是我国高速铁路的核心装备,负责保障高速铁路列车的行车安全,也是高速铁路的“神经中枢”,其安全性对于高速铁路的安全运营起到了关键的作用...

夏宇 导师:王化深 北京交通大学 2018-03-01 硕士论文

关键词: 系统理论过程分析 / UML扩展 / RBC交接场景 / 模型检验

下载(170)| 被引(7)

基于场景的中断驱动系统建模与验证  CNKI文献

中断驱动系统被广泛应用于安全关键的嵌入式系统中,如航空航天、工业过程控制等。这些系统对软硬件的可靠性要求极为苛刻,一旦出现系统错误或失效会造成重大经济损失、大规模环境破坏、甚至人员伤亡等严重后果,因此保...

黄信欢 导师:张天 南京大学 2017-05-01 硕士论文

关键词: 中断驱动系统 / 模型检验 / 场景规约 / UML序列图

下载(5)| 被引(0)

列控安全计算机平台测试方法研究  CNKI文献

与区域控制器和数据存储单元有着密切交互的安全计算机平台是列控系统中的核心装备和重要安全单元之一。为了打破技术封锁,拥有自主化安全计算机平台,北京交通大学轨道交通控制与安全国家重点实验室已经开发出下一代列...

孙鹏 导师:马连川 北京交通大学 2017-04-01 硕士论文

关键词: 混合测试 / 可追综性信息流 / 模型转换 / 需求和结构分析

下载(132)| 被引(2)

面向CPS时间属性的软件可信建模与验证方法研究  CNKI文献

软件形式化方法已经在工业领域得到广泛应用,形式化方法已成为提高软件可信性的重要手段。但是在CPS中,软件的体系结构会随着需求和环境而动态变化,不仅需要满足功能性要求,还要求时间等非功能属性具有可信性。如何精...

许海洋 导师:庄毅 南京航空航天大学 2017-03-01 博士论文

关键词: 形式化模型 / 时间可信属性 / 需求规范 / 有界模型检测

下载(90)| 被引(0)

UML顺序图形式化语义的研究综述  CNKI文献

UML顺序图构建形式化语义,不仅有利于精确描述软件系统的动态交互过程,而且有利于进行基于UML模型的分析和验证,是有效提高软件系统可靠性的重要保障。结合近年来国内外对UML顺序图形式化语义的研...

郭艳燕 张楠... 《计算机科学》 2017年02期 期刊

关键词: 统一建模语言UML / 形式化方法 / 顺序图 / 组合交互片段

下载(340)| 被引(18)

基于通信的列车控制系统可信构造:形式化方法综述  CNKI文献

基于通信的列车控制系统(communication based train control system,简称CBTC)已经成为世界范围内建造轨道交通信号系统的标准制式.CBTC采用更加灵活和精确的列车控制,并提供连续的安全列车间隔保证和超速防护,在很大...

陈铭松 鲍勇翔... 《软件学报》 2017年05期 期刊

关键词: 基于通信的列车控制系统 / 安全攸关 / 可信构造 / 形式化方法

下载(364)| 被引(8)

基于模型驱动的嵌入式软件测试技术研究  CNKI文献

软件测试是保证软件可靠性的一种最重要的手段,而软件自动化测试又是保证软件测试效率的一种十分有效的方式。基于模型驱动的软件测试是一种自动化程度较高的测试方法。论文对模型驱动测试技术进行了综述...

雷海申 王轶辰 《网络空间安全》 2016年08期 期刊

关键词: 模型驱动测试 / 测试需求建模 / UML / MARTE

下载(175)| 被引(6)

问题框架中问题领域因果行为的形式化验证  CNKI文献

为问题框架中问题渐变所依赖的问题领域因果行为的确立提出一种形式化验证方法。为了对问题渐变过程中事件间的因果关系提供可验证的证据支持,简化问题表征的复杂度,进而提高计算机领域软件规约的可靠性,采纳了一种基...

朱利鲁 李智 《计算机科学》 2015年12期 期刊

关键词: 问题框架 / 关键问题领域 / 因果行为 / 符号模型检验

下载(77)| 被引(5)

基于验证的软件架构演化分析与评估  CNKI文献

演化反映了“在演化实体或其组成元素的属性方面不断改进的过程”,而软件演化就是指软件系统或内部组成元素不断地改变来满足新的功能需求或属性需求。在现代软件系统的生命周期内,演化是一项贯穿始终的活动,系统需求...

俞析蒙 导师:李必信 东南大学 2015-06-03 硕士论文

关键词: 软件架构演化 / UML顺序图 / 架构验证 / 演化操作

下载(83)| 被引(2)

问题框架理论中领域因果行为形式化验证的研究  CNKI文献

近年来,随着计算机产业的快速发展,软件和信息技术服务业规模不断扩大,复杂程度不断提高,一部分软件产品在研发过程中由于经费,人力等原因造成工程进度滞后,软件质量无法满足设计要求,逐渐脱离前期需求标准。从软件工...

朱利鲁 导师:李智 广西师范大学 2015-04-01 硕士论文

关键词: 问题框架 / 关键问题领域 / 因果关系 / 符号模型检验

下载(52)| 被引(2)

矿井机车无人驾驶系统无线区段交接过程形式化建模与验证研...  CNKI文献

矿井机车无人驾驶系统(UMLUS)的运输场景主要有:注册启动、灾害防护、注销、无线区段交接等,其中比较重要的是无线区段交接(WST)。WST实现矿井机车在相邻WST管辖区段之间的安全交接功能,保证机车切换的无人值守,同时...

吕增威 导师:魏振春 合肥工业大学 2015-03-01 硕士论文

关键词: 矿井机车无人驾驶系统 / 无线区段交接 / 形式化建模 / 形式化验证

下载(100)| 被引(2)

基于UML的系统需求形式化分析方法  CNKI文献

Unified Modeling Language (UML,建模语言或标准建模语言)始于1997年的一个OMG (Object Management Group,对象管理组织)标准,是一个支持模型化和软件系统开发的图形化语言,为软件开发的所有阶段提供#~

刘心钰 导师:杜晔 北京交通大学 2015-03-01 硕士论文

关键词: UML / 语义转换 / 形式化验证 / NuSMV

下载(399)| 被引(21)

学术研究指数分析(近十年)详情>>

  • 发文趋势
时间的形状