搜索筛选:
搜索耗时0.6641秒,为你在为你在102,267,441篇论文里面共找到 146 篇相符的论文内容
发布年度:
[期刊论文] 作者：周清雷,
来源：郑州大学学报：理学版 年份：1994
本文提出了一类交替的ω－有穷自动机（ω－ＵＡＦＡ），并采用了构造方法证明了ω－ＵＡＦＡ和简单的ω－ＵＡＦＡ在Ｃ＿１、Ｃ＿２、Ｃ＿５和Ｃ＿４接受条件下的等价性。...
[会议论文] 作者：周清雷,
来源：第六届全国青年计算机工作者会议 年份：1996
该文给出了两类特殊的ω－识别模型，并证明了它们识别的模型，并证明了它们识别的语言类的等价性。...
[期刊论文] 作者：李斌, 周清雷,,
来源：计算机应用研究 年份：2013
针对软件水印鲁棒性差、水印分存算法执行效率低的问题, 提出了一种基于混沌优化的分存软件水印方案。该方案通过引入混沌系统, 将水印信息矩阵分割、混沌置乱, 形成分存水印...
[期刊论文] 作者：周清雷,李斌,
来源：计算机工程 年份：2013
针对软件水印抗攻击性差和编码数据率低的缺点，提出一种具有防篡改功能的双重软件水印方案。利用寄存器分配的隐蔽性构造改进颜色排列算法。结合基数k编码的高数据率及平面环......
[期刊论文] 作者：张迪, 周清雷,,
来源：计算机应用研究 年份：2014
针对动态图水印数据率低、水印信息遭到攻击后不易恢复的问题，提出了一种水印信息可恢复的软件水印方案。该方案结合了动态图水印和线程水印技术。为了使水印信息可恢复，在水印......
[期刊论文] 作者：周清雷,周静,,
来源：计算机工程与设计 年份：2013
RFID(无线射频识别)搜索协议作为RFID领域的一种新兴协议存在着标签成本高以及易遭受攻击等问题。针对于此,着重从降低标签成本和提高安全性角度,通过在协议的整个过程中完全采用伪随机函数、引用秘密信息更新机制和增加搜索标志位机制的方法,设计了一个所需标......
[期刊论文] 作者：刘松,周清雷,,
来源：计算机工程与设计 年份：2011
为了提高DDOS攻击检测器的准确率，解决因离线训练分类器而导致的样本标注困难，分类器不能随流量模式变化而更新的问题，提出了一种DDOS攻击的实时检测模型。该模型以One—class S...
[期刊论文] 作者：刘征,周清雷,
来源：计算机工程与设计 年份：2010
为了有效解决传统的数据分类算法不能很好的适应数据流的数据无限性和概念漂移性带来的问题,提出了一种实时的数据流的挖掘算法。贝叶斯数据流分类算法充分考虑了离散属性和...
[期刊论文] 作者：周清雷,郭锐,,
来源：计算机工程 年份：2010
针对图像秘密共享前需要像素置乱的问题,基于(t,n)门限多重秘密共享思想,提出一种免置乱的图像秘密共享方案,以第n+1人的秘密份额作为因子参与秘密分割与重构,加大相邻像素之间的差距。该方案无需进行额外的密钥传输,运算简单高效、易于扩展,生成的影子图像也仅......
[期刊论文] 作者：席琳,周清雷,,
来源：计算机工程 年份：2010
在卿-周逻辑（软件学报,2001年第9期）的基础上提出一种改进的逻辑分析方法,用于分析电子商务协议的安全性,如可追究性、公平性和原子性。该方法通过引入消息新鲜性机制,使被重放......
[期刊论文] 作者：冯峰,周清雷,
来源：现代计算机 年份：2020
拟态防御是邬江兴院士提出的"改变游戏规则"的革命性防御技术。目前拟态防御主要用作保护其中的异构冗余执行体,因此针对数据保护问题对拟态防御进行架构创新,提出防数据攻击...
[期刊论文] 作者：赵慧,周清雷,,
来源：电脑知识与技术(学术交流) 年份：2007
本文以著名的开源网络入侵检测系统Snort为基础，通过跟踪国内外网络入侵检测系统的研究动向和Snort的研究热点，在对Snort源代码进行分析的基础上，提出Snort系统在IPv4向IPv6过渡...
[期刊论文] 作者：周清雷,汪国安,
来源：河南大学学报：自然科学版 年份：1999
关于ω－有穷自动要的接受条件的研究，旨在揭示ω自动识别语言的能力以及对语言类作进一步的划分，到目前为止ω－自动机的接受条件已有六种，本文给出了一些新形式的接受条件并且研究......
[期刊论文] 作者：高冠龙,周清雷,,
来源：计算机工程 年份：2006
随着网络协议复杂性的增大，其自身的潜在错误变得更加甫要。使用形式化的方法来捕述和验证网络阱议可以发现其中的潜在错误。时间自动机是形式化方法的一种，可以很好地应用于网......
[期刊论文] 作者：周清雷,周文俊,
来源：软件学报 年份：1994
到目前为止，交替的ω－有究自动机的接受条件仅有６种，本文给出了６种新形式的接受条件，并研究了交替的ω－有究自动机交些条件下识别语言的能力，最后给出了ω－自动机在各种接受条件下识别......
[期刊论文] 作者：周清雷,周文俊,
来源：郑州大学学报：自然科学版 年份：1999
本文研究了交替ω－有穷自动机关于接受条件Ｚ１和Ｚ２接受ω＝语言的能力，并且与交替ω－有穷自动机关于另外接受条件接受ω－语言的能力进行了比较，从而得出了下面主要结果：ＡＣ１＝ＡＺ１＝Ａ６２Ｚ１＝Ａ＾ＳＺ２＝ＡＺ２。......
[期刊论文] 作者：周清雷,王静,
来源：计算机应用研究 年份：2005
时延Petri网和时间自动机都可以有效地对实时系统的行为进行模拟和性能分析。利用时延Petri网到时间自动机等价转换算法(简记作TPNtoTA转换),将一个描述实时系统的时延Petri网模型转换成与其语义等价的一组时间自动机模型。使用时间自动机中成熟的模型验证工具U......
[期刊论文] 作者：周清雷,闪虹,
来源：微计算机信息 年份：2009
用多个时间自动机来规范模拟风洞试验自动控制系统，给出了一种自动化的风洞试验控制模型（CRW），并采用实时系统验证工具Uppaal对CRW进行了验证，证明了该模型具有安全性、有效性和可......
[期刊论文] 作者：李菲菲,周清雷,,
来源：计算机应用研究 年份：2014
在传统的k-gram方法提取的特征的基础上,为了选出更加有效的特征,提出了一种新的特征选择方法——信息增益。由于针对信息增益方法中未对特征碎片的词频给予足够重视,从而导致特征分布不均的问题,将特征频率应用于信息增益方法上,提出了一种基于信息增益的改进......
[期刊论文] 作者：王坤,周清雷,,
来源：小型微型计算机系统 年份：2015
针对物联网发展的新形势提出一个新型的双向认证协议.有别于传统的RFID认证协议,通过基于零知识证明的认证方法来认证成员身份,并将参与主体的身份安全规约到其自身身份密钥的安全性上.解决了传统的基于加密算法的认证协议中主体的身份安全依赖于所有参与实体信......
相关搜索：
