朱维军
- 作品数:60 被引量:123H指数:5
- 供职机构:郑州大学更多>>
- 发文基金:国家自然科学基金国家高技术研究发展计划河南省科技攻关计划更多>>
- 相关领域:自动化与计算机技术生物学文化科学医药卫生更多>>
- 一种面向教学的排课冲突检测算法
- 2015年
- 排课算法可在大规模空间上对排课元素实施自动编排.然而,目前未见报道有关针对已排好的课表实施正确性检测的通用全自动方法.为此,给出课表所需满足约束条件的形式化描述;在此基础上,分别给出3个子算法以检测3种约束条件;顺序调用这些子算法,即可得到一种面向教学实践的排课冲突检测算法.检测实验证实了新方法的有效性.
- 朱维军王迤冉
- 关键词:排课系统课程表
- J2EE平台上MVC设计模式在造纸企业ERP中的研究与应用被引量:4
- 2006年
- 传统的ERP软件是基于C/S结构的,难以扩展,可重用性差。本文通过MVC设计模式,给出银鸽造纸企业ERP软件的一种设计解决方案,该方案能够简化软件开发过程,提高软件的性能和可维护性,避免了开发者和设计者的重复投资,对其它ERP软件的开发设计具有借鉴作用。
- 王迤冉朱维军
- 关键词:EJBERP
- 基于SOAP的Web安全性研究
- 2008年
- 随着网络技术的应用与发展,Web服务安全问题日益突出.文章讨论了SOAP消息在网络中传输的安全性要求,分析了产生这些要求的原因,并结合实例说明了满足这些安全性要求的方法,以保护SOAP消息的安全.
- 王迤冉朱维军
- 关键词:WEBSOAP数字签名消息加密
- 动态虚拟MSISDN的拟态自动机模型与安全性验证方法被引量:1
- 2018年
- 移动通信MSISDN号码对外公开,导致用户数据信息泄露或被恶意窃取。动态虚拟MSISDN号码通过引入拟态防御机制,可实现用户信息防泄露和防窃取。然而,对于该技术在全状态空间的安全性,目前尚缺乏有效的分析方法。文章首先使用有穷状态自动机描述动态虚拟MSISDN的状态迁移;使用细胞自动机描述动态虚拟MSISDN的变化结构;使用层次自动机描述动态虚拟MSISDN的不同计算粒度。其次,将各种自动机按照一定的逻辑关系组织起来,即可获得描述动态虚拟MSISDN内在行为的拟态自动机模型。然后,使用特定的线性时序逻辑公式描述动态虚拟MSISDN安全性。最后,将动态虚拟MSISDN安全性问题按如下方式规约为拟态自动机模型检测问题:若模型检测结果指出拟态自动机满足给定的线性时序逻辑公式,则动态虚拟MSISDN满足安全性;若模型检测结果指出拟态自动机不满足给定的线性时序逻辑公式,则动态虚拟MSISDN不满足安全性。由此便可在全状态空间上自动验证动态虚拟MSISDN的安全性。仿真实验证实了文中方法的高效性。
- 朱维军樊永文班绍桓
- 基于图像加密的置乱性能分析研究被引量:21
- 2006年
- 为了安全的使用图像加密方案,促进图像加密技术的进一步发展,对这些加密算法的安全性进行比较与分析是非常必要的。提出了对加密图像置乱度进行评价的若干参数,这些参数包括:不动点比、信息熵、灰度平均变化值、图像r-m自相关度和图像相似度。最后利用这些参数对图像加密算法进行了模拟实验分析和安全性评价。
- 王迤冉朱维军詹新生
- 关键词:图像加密置乱度信息熵图像相似度
- 以DNA为载体的线性时序逻辑模型检测被引量:4
- 2016年
- 线性时序逻辑模型检测被广泛应用于处理器设计与验证、网络协议验证、安全协议验证等领域.然而到目前为止,该技术只能在电子计算的平台上实现.为了以脱氧核糖核酸(Deoxyribo Nucleic Acid,DNA)为载体对线性时序逻辑(Linear Temporal Logic,LTL)实施模型检测,给出了使用粘贴自动机实现Until算子模型检测的方法.首先,使用粘贴自动机对Until公式的有穷状态自动机(Finite State Automata,FSA)模型进行编码;然后,将系统模型转换为粘贴自动机的输入字符串;最后,用粘贴自动机验证系统是否满足公式.仿真实验结果证实,新方法可实现对LTL逻辑时序算子的检测.
- 朱维军周清雷李永亮
- 关键词:脱氧核糖核酸线性时序逻辑
- 一种基于鲸鱼优化算法的软件缺陷定位方法及处理装置
- 本申请实施例提供一种基于鲸鱼优化算法的软件缺陷定位方法及处理装置,属于软件测试技术领域,该方法包括:获取缺陷覆盖矩阵,将获取的缺陷矩阵作为鲸鱼优化算法的输入,构造出鲸鱼位置的适应度函数,对每个搜索个体的适应度值进行排序,...
- 邓淼磊王菲曹鹤玲朱维军
- 离散时间区间时序逻辑可满足性的判定被引量:4
- 2010年
- 目前还没有模型检查的方法自动检测模型是否满足时间区间时序逻辑描述的性质.我们约束时间域到离散时间,证明了离散时间区间时序逻辑的可满足性是可判定的,因而是可模型检查的.提出了时间正则图模型,通过从离散时间区间时序逻辑到时间正则图的构造,提出了基于该逻辑的判定算法,该算法可以推广到其它的时序逻辑模型检查,并优于现有的基于自动机的时序逻辑判定方法.
- 朱维军张海宾周清雷
- 关键词:可满足性判定
- 基于二分类机器学习的时序逻辑近似模型检测方法及系统
- 本发明属于人工智能与模型检测技术领域,特别涉及一种基于二分类机器学习的时序逻辑近似模型检测方法及系统,该方法包含:给定若干系统模型与时序逻辑公式,利用模型检测算法对它们实施模型检测,获得由系统模型、时序逻辑公式、模型检测...
- 朱维军樊永文班绍桓周清雷
- 文献传递
- 基于PVS的ITL定理证明方法被引量:1
- 2009年
- 介绍了区间时序逻辑ITL的语法、语义和公理系统以及通用的辅助定理证明工具PVS,研究了嵌入ITL到PVS的原理,给出了描述ITL的PVS模块,并给出一个实例,实现了基于PVS的ITL推理.在此基础上可以进一步实现基于PVS的多种扩展ITL推理.
- 朱维军王迤冉周清雷
- 关键词:区间时序逻辑