搜索筛选:
搜索耗时1.2545秒,为你在为你在102,285,761篇论文里面共找到 17 篇相符的论文内容
发布年度:
[学位论文] 作者：阚双龙,
来源：南京航空航天大学 年份：2016
...
[期刊论文] 作者：阚双龙,黄志球,杨志斌,
来源：计算机科学与探索 年份：2018
反应式系统是指与环境不断发生交互的控制系统。这类系统通过接收外部环境输入，对输入进行计算，并将计算结果反馈到外部环境来控制系统的行为。同步语言是一种规约反应式系统的......
[期刊论文] 作者：程亦涵,黄志球,阚双龙,
来源：计算机工程与科学 年份：2015
随着嵌入式软件在安全关键领域广泛应用，系统可靠性随着其规模、复杂度和性能需求的不断提升而愈显重要。结构分析设计语言AADL是应用于嵌入式领域的体系结构建模、分析和验证......
[期刊论文] 作者：廖莉莉, 沈国华, 黄志球, 阚双龙,,
来源：计算机工程与科学 年份：2015
目前,随着本体的广泛使用和快速发展,本体在结构与语义上变得越来越复杂。如何对本体的质量进行评估成为本体构建和重用的主要问题。在本体构建过程中,对本体进行评估有利于...
[期刊论文] 作者：廖莉莉, 沈国华, 黄志球, 阚双龙,,
来源：计算机应用研究 年份：2015
本体是知识共享的重要工具,也是语义Web的支柱。本体的使用是以保证其质量为前提。本体评估为本体构建的质量及本体的选择重用提供了技术支持。分析了本体评估的必要性;对本...
[期刊论文] 作者：丁泽文,郭鸿昌,阚双龙,张弛,
来源：计算机工程与科学 年份：2017
抽象解释静态程序分析技术用来发现运行时错误,保证程序正确性，已经被成功应用到工业界。抽象域是抽象解释理论中的一个重要方面,然而大部分已存在的数值抽象域无法表示程序的......
[会议论文] 作者：吕威,黄志球,陈哲,阚双龙,
来源：第十一届全国软件与应用学术会议(NASAC2012) 年份：2012
信息化社会中人们对软件可信性的要求越来越高，传统的测试技术已经不能充分保证系统的安全性，基于模型的形式化验证技术成为解决此类问题的重要途径.SPIN作为典型的模型检测工具，在学术界和工业界都得到了广泛应用.本文在Eclipse平台上设计并实现了一个基于SPIN的......
[期刊论文] 作者：阚双龙, 黄志球, 陈哲, 徐丙凤,,
来源：软件学报 年份：2014
提出使用事件自动机对C程序的安全属性进行规约,并给出了基于有界模型检测的形式化验证方法.事件自动机可以规约程序中基于事件的安全属性,且可以描述无限状态的安全属性.事...
[期刊论文] 作者：陈光颖,黄志球,陈哲,阚双龙,,
来源：计算机科学 年份：2016
DO-333是对机载软件安全性标准DO-178C关于形式化方法的补充,为机载软件开发过程中形式化方法的使用提供指导。模型检验作为一种形式化方法,可以应用于对软件需求和设计阶段制品的严格验证。基于DO-333,使用模型检验对飞控系统中襟缝翼控制单元不同阶段的软件制......
[期刊论文] 作者：黄志球, 徐丙凤, 阚双龙, 胡军, 陈哲,,
来源：软件学报 年份：2014
嵌入式软件在安全关键系统中的应用,使得保障软件安全性成为软件工程领域的研究热点之一.以典型嵌入式软件系统机载软件为基础,对机载软件安全性保障的标准、方法及工具进行...
[期刊论文] 作者：吕威, 黄志球, 陈哲, 阚双龙, 魏欧,,
来源：计算机工程与应用 年份：2013
信息化社会中人们对软件可信性的要求越来越高，传统的测试技术已经不能充分保证系统的安全性，基于模型的形式化验证技术成为解决此类问题的重要途径。SPIN作为典型的模型检测工......
[期刊论文] 作者：曹德建,黄志球,阚双龙,黄传林,,
来源：小型微型计算机系统 年份：2015
随着嵌入式系统在能源、交通等安全关键领域的广泛应用,针对软件模型的安全性分析与验证方法一直是学术界和工业界的研究热点之一.功能模型和安全需求分析模型是分析嵌入式安...
[期刊论文] 作者：朱羿全, 沈国华, 黄志球, 康达周, 阚双龙,,
来源：小型微型计算机系统 年份：2015
云计算环境中,一致的安全策略是用户和服务能够成功交互的基础.如何有效地实现安全策略的匹配已经成为保证云计算环境安全的重要关注点之一.因此,提出一种云计算环境中支持语...
[期刊论文] 作者：谢健, 阚双龙, 黄志球, 王飞, 杨志斌, 李伟湋,,
来源：计算机学报 年份：2019
模型检验是硬件和软件形式化验证最成功的技术之一.目前大部分的模型检验技术是基于状态的而不考虑迁移上的操作和事件.这导致模型检验在验证使用事件进行交互的组件系统中面...
[期刊论文] 作者：曹彦,黄志球,阚双龙,彭焕峰,柯昌博,
来源：计算机研究与发展 年份：2018
随着物联网和信息物理融合系统等新一代信息技术的发展，位置约束的访问控制系统的安全性需求不仅体现在虚拟的信息空间，还体现在现实的物理空间.如何在这种新需求下制定位置约......
[期刊论文] 作者：陆陈,黄志球,阚双龙,曹德建,黄传林,,
来源：小型微型计算机系统 年份：2016
嵌入式软件在安全关键领域的广泛运用使得保障软件安全性成为工业界和学术界关注的重要课题.抽象解释作为一种形式化方法为程序变量的数值分析提供了一种通用框架,八边形抽象...
[期刊论文] 作者：王飞, 黄志球, 杨志斌, 阚双龙, 沈国华, 陈光颖,,
来源：计算机学报 年份：2018
嵌入式系统在航空、航天、核能及交通等安全攸关领域中的广泛应用,使得保障其安全性至关重要.需求可追踪是安全攸关领域标准的基本要求,也是安全性分析与保障的重要前提.当前...
相关搜索：
