王小龙
- 作品数：14 被引量：30H指数：2
- 供职机构：大连理工大学更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：自动化与计算机技术经济管理电子电信社会学更多>>
- 软件动态执行网络建模及其级联故障分析
- 随着人们对软件功能需求的不断增加,软件系统的结构和规模越来越复杂.如何对复杂软件系统的拓扑结构及其质量进行有效分析和评估是软件工程中亟待解决的难题.采用复杂网络理论对软件系统进行建模和求解,将软件源代码中的函数作为节点,...
- 王小龙侯刚任龙涛周宽久常军旺王竹
- 关键词：拓扑结构耦合映像格子级联故障
- 文献传递
- 一种基于光子准晶体光纤的氢气传感器
- 本发明属于氢气检测技术领域，提供一种基于光子准晶体光纤的氢气传感器，包括：宽带光源、第一单模光纤、气室、光子准晶体光纤、第二单模光纤、分光光度计及电脑终端。宽谱光源发出的光经过第一单模光纤传送至光子准晶体光纤上，当待测气...
- 毕胜王小龙韩旭
- 模型检测中状态爆炸问题研究综述被引量：25
- 2013年
- 模型检测已成为保证软件系统正确性和可靠性的重要手段,但随着软件功能日益强大,其规模和复杂度也越来越大,在模型检测过程中容易产生状态爆炸问题。如何解决模型检测中的状态爆炸,已成为工业界和理论界无法回避的重要课题。系统地综述模型检测领域解决状态爆炸问题的关键技术和主要方法,并提出该领域的最新研究进展与方向。
- 侯刚周宽久勇嘉伟任龙涛王小龙
- 关键词：软件系统状态空间爆炸形式化验证
- 大连市食品安全信用体系建设研究
- 市场经济是信用经济,因此信用是市场秩序的根本保证。如果丧失了信用,那么市场就将变得无序,市场经济也就无法健康顺利发展。党的十六大报告提出“整顿和规范市场经济秩序,健全现代市场经济的社会信用体系。”十六届三中全会更提出了加...
- 王小龙
- 关键词：食品安全信用
- 文献传递
- 基于Summer框架的在线学习系统设计与实现
- 二十一世纪是信息化的时代,知识成为了带动经济文化等发展的决定性因素,传统的教学模式和培训的方法已经不能适应现代化的形势需要。因此,在线学习培训考试系统应运而生。
该系统是针对各类岗位的工作需要,综合了各类部门的培...
- 王小龙
- 关键词：SUMMERORACLE
- 文献传递
- 基于层次化时间STM软件设计的形式化验证
- 状态迁移矩阵(State Transition Matrix,STM)是一种基于表结构的程序建模语言.事件变量类型单一,事件和状态数量的增加很容易造成状态空间爆炸问题,无法表达具有时间语义的软件系统等原因,极大限制了该建...
- 周宽久任龙涛王小龙勇嘉伟侯刚
- 关键词：软件设计形式化验证
- 文献传递
- 基于时间Petri网的嵌入式系统中断建模与验证
- 2014年
- 嵌入式系统为中断驱动系统,但中断触发的随机性和不确定性导致中断缺陷很难被追踪发现,并且一旦发生中断故障,往往会使整个嵌入式系统陷入崩溃。因此必须保证中断系统软件的可信性,但是目前缺乏有效的中断系统资源冲突检测方法。针对上述问题,文中首先提出了一种基于时间Petri网的中断系统建模方法,其能够对中断的并发性和时间序列进行有效建模。然后,为方便后续形式化验证,将时间Petri网模型转化为与之等价的时间自动机模型,并提出一种符号编码方法对时间自动机进行形式化编码,将系统模型与所需验证性质编码为一阶谓词逻辑公式,从而能够通过SMT对时间自动机的不变属性进行BMC验证。最后,通过SMT求解器Z3进行实验,实验结果证明了所提方法的有效性。
- 周宽久常军旺侯刚任龙涛王小龙
- 关键词：有界模型检测时间自动机时间PETRI网
- 软件系统动态执行网络建模及级联效应分析
- 随着人们对软件功能需求的不断增加,软件系统的结构和规模也越来越复杂.如何对复杂软件系统的拓扑结构及其质量进行有效分析和评估是软件工程中亟待解决的难题.本文采用复杂网络理论对软件系统进行建模和求解,将软件源代码中的函数作为...
- 侯刚王小龙王洁周宽久李瑞
- 关键词：软件开发拓扑结构
- 文献传递
- 信息安全遵从行为的正式控制机制研究
- 信息安全遵从行为是指组织内部雇员在执行信息安全制度过程中的具体遵守行动。近年来的相关调查研究表明，组织内部雇员的不遵从信息安全制度的行为导致了非常多的信息安全事件，甚至仅仅一个雇员的不遵从行为就足以给其组织的资产、声誉与...
- 王小龙
- 关键词：信息安全激励机制
- 基于程序骨架的软件模型验证加速方法
- 模型验证作为一种形式化技术，已逐渐应用于软件系统可靠性验证。但对结构复杂的大规模软件的验证，由于状态空间爆炸往往会导致验证过程效率低甚至失败。本文针对ANSI-C 软件程序的性质(正确性)验证问题，提出一种基于程序骨架的...
- 王小龙周宽久勇嘉伟任龙涛侯刚
