吴立军
- 作品数：15 被引量：99H指数：7
- 供职机构：电子科技大学计算机科学与工程学院更多>>
- 发文基金：国家自然科学基金广东省自然科学基金国家重点基础研究发展计划更多>>
- 相关领域：自动化与计算机技术电子电信经济管理更多>>
- 基于固定内存和状态管理的模型检测方法
- 2011年
- 在研究固定内存和状态管理的基础上,提出了一种新的模型检测方法,使得在任何计算机上都能对任意规模的并发系统进行模型检测。
- 吴立军骆翔宇
- 关键词：形式化方法状态空间爆炸
- 一种多项式时间复杂度的密码协议秘密性验证方法
- 2005年
- 密码协议的秘密性验证是网络安全领域的一个难题,本文在提出协议行为结构的基础上,通过对协议行为及其结构的分析,提出了一种新的密码协议的秘密性验证算法,该算法的时间复杂度是多项式时间的,从而简化了秘密性验证过程,文中最后,作为实例,给出了TMN密码协议的秘密性验证。
- 吴立军苏开乐
- 关键词：时间复杂度密码协议秘密性多项式时间网络安全TMN
- 一卡通网络管理信息系统的安全性设计被引量：3
- 2004年
- 随着计算机网络技术、信息技术的迅速发展,智能化管理已经成为许多机关单位和公司的重要管理手段,其安全性也越来越受到重视。以一卡通网络管理信息系统为例,从操作系统安全性、数据库安全性、IC卡安全性、数据安全性和操作安全性等方面进行分析探讨,从而实现一卡通网络管理信息系统的安全性设计。
- 吴立军
- 关键词：信息系统安全性操作系统IC卡企业管理计算机局域网
- 一种基于角色PMI的访问控制安全模型被引量：7
- 2004年
- 访问控制一直是信息安全的重要保证之一。它包括三种主要的策略,即自主访问控制、强制访问控制和基于角色的访问控制。文中介绍了以上三种访问控制策略以及角色指派属性证书和角色规范属性证书,以此为基础讨论了基于角色的PMI体系结构,然后探讨了基于角色PMI的访问控制安全模型。该模型具有灵活、方便、占用较少存储空间以及减少了网络通信的开销等优点,目前正将该模型使用到大型网络信息管理系统中,实现系统的访问控制。
- 吴立军
- 关键词：公钥证书访问控制
- 一种基于HHT的信号周期性分析方法及应用被引量：13
- 2005年
- 提出了一种基于HHT(Hilbert＿HuangTransform)的信号周期性分析方法,通过分析信号的非线性对主频分布的影响,找到了具有丰富高频含量的近似周期信号的主频与其周期性的近似对应关系,实验表明,根据信号的主频分布来估计信号的周期性具有很好的精确性。将其应用于自然纹理图像的分析,能很好地提取纹理图像的周期特征,为纹理分类、分割、识别和图像检索提供了新的解决途径。
- 杨志华齐东旭杨力华吴立军
- 关键词：HILBERT-HUANG变换纹理分析
- 多智体系统时态认知规范的模型检测算法被引量：15
- 2004年
- 模型检测技术一直以来主要是检验用时态逻辑描述的规范,人们很少注意认知逻辑的模型检测问题,而在分布式系统领域,系统和协议的规范已广泛地采用知识逻辑来描述.着重研讨了时态认知逻辑的模型检测算法.在SMV(symbolicmodelverifier)模型检测器的基础上,根据知识的语义和集合理论,提出了多种检验知识和公共知识的算法,从而使SMV的检测功能由时态逻辑扩充到时态认知逻辑.这些方法也适用于其他以状态集合作为输出的模型检测方法和工具的功能扩充.
- 吴立军苏开乐
- 关键词：符号模型检测多智体系统SMV
- 基于经验模式分解的汉字字体识别方法被引量：26
- 2005年
- 提出了一种基于经验模式分解(empiricalmodedecomposition,简称EMD)的汉字字体识别方法.通过对大量汉字字体的研究比较,选取了能反映汉字字体基本特征的8种基本笔画.以这8种汉字笔画为模板,在汉字文档图像块中随机地抽取笔画信息,形成笔画特征序列.通过对笔画特征序列作EMD分解,提取每个笔画特征序列的高频能量,并结合汉字文档图像块的平均灰度,形成字体识别的一个9维特征.
- 杨志华齐东旭杨力华吴立军
- 关键词：字体识别
- 多主体系统时态认知规范的“On the Fly”模型检测算法研究被引量：3
- 2006年
- 时态认知逻辑已被广泛应用于分布式系统和协议的规范描述,模型检测时态认知规范已成为一个新的研究领域,因此着重研讨时态认知规范的“OntheFly”模型检测算法·在“OntheFly”模型检测时态逻辑描述规范的基础上,根据自动机理论、深度优先方法和知识的语义,提出了“OntheFly”模型检测时态认知规范的算法,该算法在模型检测带有知识算子的时态规范时,在找到一个反例之前,往往只需构造系统的部分甚至小部分状态空间,从而避免了时态认知规范的模型检测中内存不足和状态爆炸等问题,实现了“OntheFly”模型检测时态认知规范,并且算法的复杂性是多项式时间的·最后,通过该方法在验证TMN密码协议中的应用来作为一个例子说明该方法的有效性·
- 吴立军苏开乐陈清亮杨志华
- 关键词：自动机时态认知逻辑多主体系统
- 多智能体系统时态认知规范高效符号模型检测的算法研究被引量：3
- 2008年
- Clarke和McMillan提出了利用mu演算和OBDDs符号模型检测时态逻辑的方法.这些方法是非常有效的,能用于验证许多具有极大状态空间的实际系统(状态个数可以超过1020).但是,这些方法不能检测知识逻辑.而时态认知逻辑能更精确地描述分布式领域中系统和协议的规范.文章首先讨论了Kripke结构和mu演算的扩展,然后提出了利用扩展mu演算和OBDDs符号模型检测时态认知逻辑的方法.
- 吴立军苏金树苏开乐
- 关键词：时态认知逻辑符号模型检测安全协议验证
- 多智能体系统中并发动态知识、信念和肯定性逻辑的研究被引量：1
- 2010年
- 将知识、信念和肯定性逻辑从单个智能体扩展到多智能体系统,并且实现了多智能体系统中知识、信念和肯定性逻辑与具有并发动态属性的行为之间的很好结合.以此为基础,提出了多智能体系统中并发动态知识、信念和肯定性逻辑,简称CDKBC逻辑.为了对CDKBC逻辑进行解释,也给出了CDKBC模型,并且讨论了知识、信念和肯定性之间的关系,即知识蕴涵着肯定性,肯定性蕴涵着信念.文中也给出了一个相应的证明系统(即公理系统),证明了该系统是可靠的和完备的,并且证明了系统的有效性问题是EXPTIME完全的.最后论文给出了CDKBC逻辑的实例.
- 苏金树吴立军杨志华
- 关键词：多智能体系统
