全  文

不  限

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

不  限

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

全  文

不  限

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

不  限

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

Ptolemy离散事件模型形式化验证方法  CNKI文献

Ptolemy是一个广泛应用于信息物理融合系统的建模和仿真工具包,主要通过仿真的方式保证所建模型的正确性.形式化方法是保证系统正确性的重要方法之一.提出了一种基于形式模型转换的方法来验证离散事件模型的正确性.离...

陆芝浩 王瑞... 《软件学报》 2021年06期 期刊

关键词: 形式化验证 / Ptolemy离散事件模型 / 模型自动转换 / 时间自动机

下载(10)| 被引(0)

一种面向安全关键软件的AADL模型组合验证方法  CNKI文献

安全关键软件变得越来越复杂,这类软件的形式化验证是一个具有挑战性的问题.本文针对火箭发射控制子系统实例,提出一种组合验证方法,该方法采用组合验证与模型转换相结合的方法完成对该系统的验证与分析.首先,使用体系...

张博林 杨志斌... 《计算机学报》 2020年11期 期刊

关键词: 安全关键软件 / 火箭发射控制子系统 / 组合验证 / AADL

下载(65)| 被引(0)

基于自然语言的实时安全需求不一致性验证方法研究  CNKI文献

安全需求的质量直接关系到系统的成败,乃至人们的生命财产安全。随着系统规模的增大,安全需求急需自动化的精确分析。很多安全标准推荐使用形式化方法,但现在大部分公司仍然使用自然语言对需求进行描述。为了跨越自然...

刘筱珊 导师:陈小红 华东师范大学 2020-10-09 硕士论文

关键词: 实时安全需求 / 模式语言 / 不一致性验证 / 实时不一致性

下载(11)| 被引(0)

基于模型驱动的光电跟踪系统人机界面研究  CNKI文献

随着硬件、软件技术的快速发展,更新换代,人机交互的需求及环境变得日益复杂,给光电跟踪系统带来了新的挑战。目前我国光电跟踪系统现有的人机交互方式在功能上虽然基本能够满足操作使用要求,但缺乏对人机交互界面设计...

冯晓霞 导师:柳万胜 中国科学院大学(中国科学院光电技术研究所) 2020-09-01 硕士论文

关键词: 光电跟踪系统 / 模型驱动 / 人机交互 / MVC模型

下载(38)| 被引(0)

强碱三元复合驱储层结垢智能预测方法研究  CNKI文献

复合驱油技术是一种大幅提高采收率的手段,矿场试验表明,对比水驱,强碱三元复合驱的增油控水效果明显,与水驱相比可提高采收率20%以上。伴随着强碱三元复合驱替体系注入地层,其与地层流体以及岩石矿物发生物化反应,打...

胡亚楠 导师:李春生 东北石油大学 2020-07-14 博士论文

关键词: 强碱三元复合驱 / 储层结垢 / 智能预测 / 知识建模

下载(45)| 被引(0)

不确定环境下的人机物融合系统的建模与验证  CNKI文献

随着科技的进步,新型复杂系统例如人机物融合系统(Human Cyber-Physical Systems,HCPS)已经与人类社会生活越来越密不可分。软件系统所处的信息空间与人们日常生活所处的物理空间日渐融合。物理空间内环境的复杂多变、...

安冬冬 导师:刘静 华东师范大学 2020-07-01 博士论文

关键词: 人机物融合系统 / 机器学习 / 不确定性建模 / 动态验证

下载(450)| 被引(0)

CTCS-1级列控系统线路数据的生成及验证方法的研究  CNKI文献

列控系统线路数据是描绘列车运行线路的重要信息,准确、完备的线路数据是列控系统安全运行的基础。然而既有线实际控车数据由人工编制,与LKJ基础数据不完全一致,人工编制存在漏编和错编的可能,导致线路数据的准确性难...

张紫菡 导师:刘中田 北京交通大学 2020-06-30 硕士论文

关键词: 线路数据模型 / 编制规则 / 建模与验证 / NuSMV

下载(21)| 被引(0)

CBTC系统移动授权的安全建模与验证  CNKI文献

我国的城市轨道交通行业在近年来实现了飞跃式发展,而其运行系统即基于通信的列车运行控制(Communication Based Train Control,CBTC)系统凭借自身可靠、安全、高效的性质成为了城市轨道列控系统的主流趋向。在城市轨...

蔚璠 导师:汤旻安 兰州交通大学 2020-06-18 硕士论文

关键词: CBTC / 移动授权 / 时间自动机 / UPPAAL

下载(44)| 被引(0)

基于UML扩展机制的RBC控车场景功能安全分析方法  CNKI文献

随着我国高速铁路技术的发展及对高速铁路管理规章制度的出台,我国对CTCS-3(China Train Control System level 3,中国列车运行控制系统)级列控系统的需求规范也逐渐完善。RBC(Radio Block Center,无线闭塞中心)作为C...

周游 导师:何涛 兰州交通大学 2020-06-18 硕士论文

关键词: CTCS-3级列控系统 / UML扩展机制 / 有色Petri网 / 安全特性

下载(35)| 被引(0)

面向协作交流的概念图库构建方法研究  CNKI文献

协作交流是开展多专家合作、多学科交叉研究的重要途径。针对复杂地理系统的综合模拟分析,地理学各领域研究者需要通过协作交流来进行思路的碰撞、理念的融合、方案的探索,从而支撑形成更加整体的地理认知。随着互联网...

芦宇辰 导师:温永宁 南京师范大学 2020-06-16 硕士论文

关键词: 协作交流 / 概念图库 / 概念结构化描述框架 / 检索

下载(37)| 被引(0)

基于UML-Promela的联锁软件形式化建模与验证  CNKI文献

计算机联锁系统作为典型的安全苛求系统是铁路控制系统的核心部分,在保障行车安全方面起着无可替代的作用,因此必须保证其安全性和可靠性。形式化方法是提高系统可靠性和安全性的有效手段,所以使用形式化方法对联锁系...

宋宇 导师:李绍斌 北京交通大学 2020-06-12 硕士论文

关键词: 联锁 / UML / SPIN / 形式化验证

下载(21)| 被引(0)

高速铁路ATO系统一致性与互联互通特性分析方法研究  CNKI文献

伴随着高速铁路突飞猛进的发展,高速铁路自动化程度的提升成为当前研究重点,在这个背景下,高速铁路列车自动驾驶系统(Automatic Train Control System,简称“ATO系统”)应运而生。京张“智能高铁”的开通标志我国高速...

尤瑞君 导师:李开成 北京交通大学 2020-06-10 硕士论文

关键词: 高速铁路ATO系统 / 运行场景 / 一致性 / 形式化方法

下载(19)| 被引(0)

基于STAMP和时间自动机的列控系统临时限速运营场景风险耦合...  CNKI文献

列车运行控制系统(以下简称列控系统)是高速铁路信号系统的关键技术和核心装备,能有效保证列车安全、准时、舒适、高速、高密度不间断运行,是高速铁路的“大脑和中枢神经”。列控系统作为安全苛求系统,一旦发生危险失...

高僮 导师:张亚东 西南交通大学 2020-06-01 硕士论文

关键词: 列控系统 / 临时限速场景 / STAMP / STPA

下载(0)| 被引(0)

基于组合测试的嵌入式软件时序测试用例生成算法研究  CNKI文献

随着计算机技术的不断发展,嵌入式软件在人们的生活中存在的更加广泛,逐渐渗透于国民经济发展的各个领域。保证嵌入式软件的可靠性十分重要。在嵌入式软件的测试过程中,嵌入式软件的时序特性不可忽略。嵌入式软件的时...

付尧 导师:魏长安 哈尔滨工业大学 2020-06-01 硕士论文

关键词: 组合测试 / 嵌入式软件测试 / 测试用例生成 / 约束

下载(38)| 被引(0)

一种可配置动态故障树的定量分析方法研究  CNKI文献

系统是相互作用的结构和功能的单位,是动态且复杂的整体,随着金融、教育、医疗、科研等领域对系统的广泛应用,系统的规模愈加庞大,结构也愈加复杂。确保相对冗杂的动态系统在具体的运行过程当中呈现出良好的稳定性以及...

白青格日 导师:张德珍 大连海事大学 2020-06-01 硕士论文

关键词: 故障树分析法 / 马尔科夫链 / MCMC

下载(94)| 被引(0)

航天嵌入式软件模型验证系统研究  CNKI文献

随着现代航天科技的发展,嵌入式软件在航天领域的应用越来越广泛,航天嵌入式软件的规模、复杂度及其在整个航天系统中的功能比重急剧上升,呈现综合化、复杂化的发展趋势,导致对航天嵌入式软件的可靠性、安全性的要求越...

傅磊 导师:叶蕾 浙江工业大学 2020-06-01 硕士论文

关键词: 模型检测 / 状态空间爆炸 / 航天安全 / 状态空间约简

下载(21)| 被引(0)

基于统计模型检验的新型列控系统安全性研究分析  CNKI文献

随着列控系统的不断发展,以“车载设备为核心”的新型列控系统,将传统地面进路控制和移动授权计算等功能集成到车载设备上,并采用全IP和车-车通信等技术,成为研究热点。新型列控系统作为典型的安全苛求系统,在运营过程...

黄佳 导师:吕继东 北京交通大学 2020-06-01 硕士论文

关键词: 新型列控系统 / 统计模型检验 / HAZOP / 安全性分析

下载(15)| 被引(0)

若干二叉树算法的开发与Isabelle机器辅助证明  CNKI文献

随着计算机的发展,软件在各行各业已扮演着越来越重要的角色。自2007年“可信软件基础研究”重大研究计划启动以来,我国投入了大量的科研经费,其中可信软件相关开发工具及其支撑平台、可信软件的构造及验证是该研究计...

许帆 导师:王昌晶 江西师范大学 2020-06-01 硕士论文

关键词: 非线性结构 / 二叉树 / 非递归算法 / 循环不变式

下载(39)| 被引(0)

基于自然语言理解的事件驱动物联网模型与规约生成  CNKI文献

物联网(Internet Of Things,Io T)如今已深入到个人生活和工业生产的各个方面,智能设备大量出现在家庭生活中,为用户带来舒适和便利。然而由于智能家居系统复杂多变,用户缺乏专业知识等原因,所面临的安全挑战也越来越...

张时雨 导师:卜磊 南京大学 2020-05-30 硕士论文

关键词: 事件驱动物联网 / 智能家居 / 模型抽取 / 线性时序逻辑

下载(35)| 被引(0)

基于模型检验的EFVS安全性建模与分析技术研究  CNKI文献

增强飞行视景系统作为飞机上的复杂电子系统,传统的安全性分析面临工作量大,过于依赖分析人员经验,容易出错等问题,Petri网、概率模型等形式化方法虽然提高了分析的自动化水平,减少了一定的分析工作量,但也面临不能自...

刘成伟 导师:王鹏 中国民航大学 2020-05-11 硕士论文

关键词: 模型检验 / 安全性分析 / 增强飞行视景系统 / 形式化方法

下载(32)| 被引(0)

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

  • 发文趋势
时间的形状