河南省自然科学基金(0411012169)
- 作品数：5 被引量：8H指数：2
- 相关作者：周清雷朱维军王迤冉赵晓凡赵东明更多>>
- 相关机构：郑州大学周口师范学院北京科技大学更多>>
- 发文基金：河南省自然科学基金国家自然科学基金河南省教育厅基金更多>>
- 相关领域：自动化与计算机技术生物学更多>>
- 时间自动机模型验证的研究进展被引量：4
- 2008年
- 基于时间自动机的模型验证是一种形式化的实时并发系统时间性质验证技术,重大软件对时间行为、时序关系的高可靠性要求,不断刺激时间自动机模型验证技术的发展。介绍了时间自动机理论、模型验证算法及工具,对该领域的研究进展做了综述,指出了时间自动机模型验证存在的问题和研究方向。
- 朱维军王迤冉周清雷
- 关键词：时间自动机实时系统
- 一种基于有限运行时间自动机的基因网络模型
- 2007年
- 阐述了最近几年来国外基因网络系统逻辑行为的研究新进展——基于有限状态自动机模型的方法,针对该方法的局限性,提出了一种基于有限运行时间自动机的基因网络模型,以描述网络行为的时间约束.
- 周清雷朱维军张树仁
- 关键词：时间自动机有限状态自动机基因网络
- 基于线性时态逻辑的Petri网模型检测研究被引量：3
- 2009年
- 线性时态逻辑Petri网结合了Petri网和时序逻辑的优点,清晰简洁的描述并发系统事件间的时序和因果关系,包括系统的活性和安全性。其中自动机的体积是模型检验的一个关键性问题,为了得到尽可能小体积的自动机,在LTL公式转换为Büchi自动机之前,对LTL公式进行预处理来减少冗余,然后通过布尔技术优化自动机。
- 赵晓凡周清雷赵东明
- 关键词：线性时态逻辑PETRI网BÜCHI自动机
- 时间自动机两种模型的构造互模拟研究
- 2007年
- 基于时间自动机不同模型的验证被工业界广泛应用,本文形式描述了两种这样的模型,给出了从事件时钟自动机到双向时间自动机的构造方法,证明了二者识别语言之间的包含关系。
- 朱维军王迤冉李琳娜周清雷
- 基于多神经网络模块的入侵检测技术被引量：1
- 2008年
- 神经网络应用于入侵检测可以克服传统检测技术的一些不足,如误报率高、对已知攻击的变种无法检测等,然而一般的神经网络模型只能判断系统是否遭到攻击,却无法知道是什么类型的攻击。本文描述的多神经网络模型以及训练方法不但可以判断是否受到攻击,而且可以识别出攻击的类型。
- 张俊松周清雷
- 关键词：神经网络特征提取
