全  文

不  限

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

不  限

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

全  文

不  限

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

不  限

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

    基于DNA计算的线性时序逻辑模型检测方法  CNKI文献

    该文研究基于脱氧核糖核酸(Deoxyribonucleic Acid,DNA)计算的线性时序逻辑(Linear Temporal Logic,LTL)模型检测问题.为此,该文给出了使用粘贴自动机实现LTL模型检测的方法.首先,使用3′-5′型单链DNA分子对LTL公式的...

    朱维军 周清雷... 《计算机学报》 2016年12期 期刊

    关键词: 模型检测 / 脱氧核糖核酸 / 线性时序逻辑 / 粘贴自动机

    下载(245)| 被引(3)

    以DNA为载体的线性时序逻辑模型检测  CNKI文献

    线性时序逻辑模型检测被广泛应用于处理器设计与验证、网络协议验证、安全协议验证等领域.然而到目前为止,该技术只能在电子计算的平台上实现.为了以脱氧核糖核酸(Deoxyribo Nucleic Acid,DNA)为载体对线性时序逻辑(L...

    朱维军 周清雷... 《电子学报》 2016年06期 期刊

    关键词: 模型检测 / 脱氧核糖核酸 / 线性时序逻辑 / 粘贴自动机

    下载(119)| 被引(7)

    基于统计差分的轨迹隐私保护  CNKI文献

    随着车联网不断地发展,车联网为驾乘者提供便捷服务的同时,也带来了相应的隐私保护问题.轨迹数据发布将可能泄露用户位置隐私,从而危害用户人身安全;为改变已有差分隐私保护方法中添加随机噪音的弊端,提出一种基于统计...

    朱维军 游庆光... 《计算机研究与发展》 2017年12期 期刊

    关键词: 轨迹数据 / 差分隐私 / Markov过程 / 数据发布

    下载(207)| 被引(0)

    基于图像加密的置乱性能分析研究  CNKI文献

    为了安全的使用图像加密方案,促进图像加密技术的进一步发展,对这些加密算法的安全性进行比较与分析是非常必要的。提出了对加密图像置乱度进行评价的若干参数,这些参数包括:不动点比、信息熵、灰度平均变化值、图像r...

    王迤冉 朱维军... 《计算机工程与设计》 2006年24期 期刊

    关键词: 图像加密 / 置乱度 / 信息熵 / 图像相似度

    下载(298)| 被引(29)

    基于功能切片的拟态防御体系结构及安全等级评估方法  CNKI文献

    网络空间安全领域,邬江兴院士提出了拟态防御理论及动态异构冗余(DHR,dynamic heterogeneous redundancy)架构。目前对该机制的实现都着眼于系统全栈化,有复杂度大与成本高等问题。由于应用层具有可控性,有利于被引入...

    周清雷 冯峰... 《通信学报》 2018年S2期 期刊

    关键词: 拟态防御 / 体系结构 / 动态异构冗余 / 拟态安全

    下载(82)| 被引(0)

    基于时序逻辑的3种网络攻击建模  CNKI文献

    与其他检测方法相比,基于时序逻辑的入侵检测方法可以有效地检测许多复杂的网络攻击。然而,由于缺少网络攻击的时序逻辑公式,该方法不能检测出常见的back,ProcessTable以及Saint 3种攻击。因此,使用命题区间时序逻辑(...

    聂凯 周清雷... 《计算机科学》 2018年02期 期刊

    关键词: 命题区间时序逻辑 / 实时攻击签名逻辑 / 模型检测 / 入侵检测

    下载(118)| 被引(1)

    从线性时序逻辑公式到自动机的转换算法(英文)  CNKI文献

    To combat the well-known state-space explosion problem in Propositional Linear Temporal Logic (PLTL) model checking, a novel algorithm capable of translating PLTL formulas into Nondeterministic Autom...

    朱维军 周清雷... 《中国通信》 2012年06期 期刊

    关键词: theoretical / computer / science / model

    下载(110)| 被引(5)

    基于时间自动机若干新模型的研究  CNKI文献

    时间自动机被广泛用于实时系统验证和模型检测。一方面出现了很多算法和工具;另一方面有不少基于时间自动机的不同模型被提出,以适应不同类型的系统验证。信号自动机与时间树自动机是两个新提出的模型。 ...

    朱维军 导师:周清雷 郑州大学 2005-05-01 硕士论文

    关键词: 时间自动机 / 时间树自动机 / 信号自动机 / 基因网络

    下载(338)| 被引(7)

    离散时间区间时序逻辑可满足性的判定  CNKI文献

    目前还没有模型检查的方法自动检测模型是否满足时间区间时序逻辑描述的性质.我们约束时间域到离散时间,证明了离散时间区间时序逻辑的可满足性是可判定的,因而是可模型检查的.提出了时间正则图模型,通过从离散时间区...

    朱维军 张海宾... 《电子学报》 2010年05期 期刊

    关键词: 模型检查 / 离散时间区间时序逻辑 / 时间正则图 / 可满足性判定

    下载(194)| 被引(5)

    线性时序逻辑公式Xp模型检测的DNA计算方法  CNKI文献

    突破传统计算框架的DNA计算为模型检测提供了新思路.目前已经实现了LTL公式 Uq的DNA模型检测算法,并在其基础上实现了Gp、Fp模型检测的DNA算法.但是Xp无法用含有U算符的公式来表示,目前也没有关于Xp的DNA模型检测算法...

    韩英杰 朱维军... 《小型微型计算机系统》 2017年03期 期刊

    关键词: 模型检测 / 线性时序逻辑 / DNA计算 / 粘贴自动机

    下载(57)| 被引(3)

    在多FPGA上的高性能VPN口令恢复方法  CNKI文献

    随着国家不断加大对网络安全领域的重视程度,工信部出台规定私人不得自行建立和租用VPN.但由于VPN通信的保密性导致有关部门难以有效监管.因此,实现一种高效的VPN口令恢复方案具有重要意义.通过对VPN使用的身份验证协...

    韩宇 周清雷... 《小型微型计算机系统》 2019年04期 期刊

    关键词: VPN / 口令恢复 / FPGA / 高性能计算

    下载(37)| 被引(0)

    一种基于区间时序逻辑模型检测的入侵检测算法(英文)  CNKI文献

    Model checking based on linear temporal logic reduces the false negative rate of misuse detection.However,linear temporal logic formulae cannot be used to describe concurrent attacks and piecewise at...

    朱维军 王忠勇... 《中国通信》 2011年03期 期刊

    关键词: network / security / intrusion / detection

    下载(74)| 被引(14)

    动态虚拟MSISDN的拟态自动机模型与安全性验证方法  CNKI文献

    移动通信MSISDN号码对外公开,导致用户数据信息泄露或被恶意窃取。动态虚拟MSISDN号码通过引入拟态防御机制,可实现用户信息防泄露和防窃取。然而,对于该技术在全状态空间的安全性,目前尚缺乏有效的分析方法。文章首先...

    朱维军 樊永文... 《信息网络安全》 2018年04期 期刊

    关键词: 拟态自动机 / 模型检测 / MSISDN虚拟化 / 拟态防御

    下载(37)| 被引(1)

    动态异构冗余数据保护安全架构  CNKI文献

    针对传统数据保护方法难以应对未知的漏洞和后门等安全问题,提出一种基于拟态防御思想的动态异构冗余数据保护安全架构——拟态数据安全架构(Mimic Data Security,MDS),用以提升数据服务的安全性.首先,根据拟态防御技...

    樊永文 朱维军... 《小型微型计算机系统》 2019年09期 期刊

    关键词: 数据安全 / 异构冗余 / 动态调度 / 拟态防御

    下载(26)| 被引(0)

    一种基于梯度提升回归树的系外行星宜居性预测方法  CNKI文献

    系外行星的宜居性是近年来探索宇宙的一个热点研究课题,机器学习为系外行星宜居性分类提供了一种可行的手段。然而,现有的宜居性分类效果面临严重不足与局限。为此,给出一种基于梯度提升回归树的系外行星宜居性分类预...

    朱维军 王鑫... 《计算机科学》 2019年S1期 期刊

    关键词: 梯度提升回归树 / 系外行星 / 宜居性 / 二分类

    下载(43)| 被引(0)

    基于时间区间时序逻辑的实时系统统一模型检测  CNKI文献

    在同一个逻辑框架内无法自动验证实时区间模型的实时区间性质。为此,该文使用一个离散时间区间时序逻辑公式建立实时系统模型,使用另一个离散时间区间时序逻辑公式描述实时系统需要满足的性质,在此基础上,离散时间区间...

    朱维军 乔芃喆... 《电子科技大学学报》 2014年05期 期刊

    关键词: 统一模型检测 / 实时系统 / 可满足性判定 / 时间区间时序逻辑

    下载(110)| 被引(1)

    有向图k边导出子图的DNA粘贴算法  CNKI文献

    针对经典计算的有向图k边导出子图生成算法时间复杂度较高问题,提出了一种在脱氧核糖核酸粘贴机上运行的子图生成算法.首先,以粘贴系统提供的标准生化元操作为算法使用的基本元算子,并使用元操作所产生的生化结果的图...

    朱维军 徐朝辉... 《西安电子科技大学学报》 2013年05期 期刊

    关键词: 有向图 / 脱氧核糖核酸 / 时间复杂度 / 粘贴系统

    下载(57)| 被引(2)

    基于拟态防御机制的全舰计算环境安全架构设计  CNKI文献

    针对全舰计算环境(Total Ship Computing Environment,TSCE)体系结构的计算安全性问题,提出基于动态异构冗余的TSCE体系结构设计思想。首先,对TSCE的基础设施和应用系统分别进行动态异构冗余(Dynamic Heterogeneous R...

    朱维军 樊永文... 《数字技术与应用》 2018年01期 期刊

    关键词: 动态 / 异构 / 冗余 / 拟态防御

    下载(95)| 被引(0)

    有向图k顶点导出子图的DNA粘贴算法  CNKI文献

    在经典的电子计算中,有向图k顶点导出子图是一个高度复杂的问题。DNA计算是近年来发展的以DNA为载体求解计算问题的非经典计算技术。文中研究了使用DNA计算解决有向图k顶点导出子图的问题,从而提出了一种在粘贴机上运...

    朱维军 张春艳... 《计算机科学》 2019年01期 期刊

    关键词: 粘贴机 / 脱氧核糖核酸 / 有向图 / 顶点导出子图

    下载(20)| 被引(0)

    一种基于随机过程和模糊数学的教学评估模型与算法  CNKI文献

    阐述了基于马尔可夫链和模糊综合评判的教学质量评估方法 ,提出了一种教学评估模型 ,并给出了算法 .该算法对教学质量进行自动、合理、有效的评判 .对计算机教研组的教学评估实例收到了良好的效果

    朱维军 杜诗军 《河南教育学院学报(自然科学版)》 2003年03期 期刊

    关键词: 马尔可夫链 / 模糊综合评判 / 教学评估 / 算法

    下载(314)| 被引(8)

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

    • 发文趋势

    获得支持基金

      同机构合作作者

      其他机构合作作者

      主要合作者关系图

      轻松读懂《孙子兵法》