检索结果-内蒙古大学图书馆

清华大学学报（自然科学版） 2016年第7期56卷 777-784页

作者：张 钱俊彦李舟军马殿富北京航空航天大学计算机学院北京100085 湖北大学计算机与信息工程学院武汉430062 桂林电子科技大学计算机科学学院桂林541004

程序安全性验证是软件系统安全领域的研究难点,构造程序不变式是程序安全性验证的主要方法之一。验证程序是否满足时态性质的问题可转化为不动点求解问题,然而直接构造不动点的求解算法是非常困难的。该文探讨了一类基于抽象解释框架的... 详细信息

程序安全性验证是软件系统安全领域的研究难点,构造程序不变式是程序安全性验证的主要方法之一。验证程序是否满足时态性质的问题可转化为不动点求解问题,然而直接构造不动点的求解算法是非常困难的。该文探讨了一类基于抽象解释框架的不变式求解构造方法。首先通过Tableau方法构造时态公式的谓词图,基于传统不变式构造规则,使用前向或逆向状态转换,改进不变式验证规则;然后采用抽象解释框架构造抽象状态转换系统,给出了抽象不变式验证规则;最后基于不动点抽象定理,通过前向或逆向转换求解近似的不动点,使用加宽近似和收窄近似操作进一步加速收敛,从而给出基于抽象不动点的不变式验证算法,最终完成了基于抽象不变式的程序安全性自动验证。

关键词：抽象解释不变式验证不动点程序安全性验证

来源：评论

学校读者我要写书评

暂无评论

基于文本加权KNN算法的中文垃圾短信过滤

引用

计算机工程 2017年第3期34卷 193-199页

作者：黄文明莫阳桂林电子科技大学广西可信软件重点实验室广西桂林541004 桂林电子科技大学计算机与信息安全学院广西桂林541004

针对K最近邻(KNN)算法在文本分类决策规则上由于样本重要性相同而导致分类效果不佳的问题,提出一种基于文本加权的KNN文本分类算法,并将其应用于垃圾短信的分类问题。在提取出特征词之后,考虑到特征词在文本中出现的频率对文本重要性的... 详细信息

针对K最近邻(KNN)算法在文本分类决策规则上由于样本重要性相同而导致分类效果不佳的问题,提出一种基于文本加权的KNN文本分类算法,并将其应用于垃圾短信的分类问题。在提取出特征词之后,考虑到特征词在文本中出现的频率对文本重要性的影响,引入第1个加权公式,同时针对垃圾短信数据集,采用关联规则算法挖掘出在垃圾短信中频繁出现的共现词组,并以此引入第2个加权公式,最后将引入的2种文本权重计算公式对每个短信文本进行复合加权处理,以区分各个训练样本对于判定隶属类别的影响程度,从而在分类决策规则上作出改进。实验结果表明,与未经过文本加权的KNN算法相比,该算法对垃圾短信和正常短信在分类准确率、召回率、F1值等指标上都有较大的提升。

关键词：垃圾过滤关联规则特征选择 K最近邻算法向量空间模型

来源：评论

学校读者我要写书评

暂无评论

一类混合生产过程的混杂Petri网建模与调度

引用

控制与决策 2010年第6期25卷 884-888页

作者：廖伟志古天龙广西师范学院信息技术系南宁530001 西安电子科技大学电子工程学院西安710071 桂林电子科技大学计算机与控制学院广西桂林541004

针对混合整数线性规划方法在解决混合生产过程调度中存在的问题,提出一种混合间歇/连续生产过程的时间约束混杂Petri网模型,该模型能够对间歇操作时间可变和连续速率可变的混合生产过程进行有效描述.结合模型行为演变和遗传算法提出一... 详细信息

针对混合整数线性规划方法在解决混合生产过程调度中存在的问题,提出一种混合间歇/连续生产过程的时间约束混杂Petri网模型,该模型能够对间歇操作时间可变和连续速率可变的混合生产过程进行有效描述.结合模型行为演变和遗传算法提出一种新的混合生产过程调度方法.实验结果表明了所提出方法的有效性.

关键词：时间约束混杂Petri网遗传算法混合生产过程调度

来源：评论

学校读者我要写书评

暂无评论

基于随机背包的公钥密码

引用

电子与信息学报 2010年第7期32卷 1580-1584页

作者：王保仓韦永壮胡予濮西安电子科技大学计算机网络与信息安全教育部重点实验室西安710071 信息安全国家重点实验室中国科学院软件研究所北京100049 桂林电子科技大学信息与通信学院桂林541004

该文构造了一个背包型公钥密码算法。该背包公钥密码具有如下优点:加解密只需要加法和模减法运算,因此加解密速度快;该算法是基于随机背包问题而不是易解背包问题而构造的;证明了在攻击者不掌握私钥信息情况下该密码算法能抵抗直接求解... 详细信息

该文构造了一个背包型公钥密码算法。该背包公钥密码具有如下优点:加解密只需要加法和模减法运算,因此加解密速度快;该算法是基于随机背包问题而不是易解背包问题而构造的;证明了在攻击者不掌握私钥信息情况下该密码算法能抵抗直接求解背包问题的攻击,包括低密度攻击和联立丢番图逼近攻击等;证明了攻击者能够恢复私钥信息与攻击者能够分解一个大整数是等价的。分析表明,该算法是一个安全高效的公钥加密算法。

关键词：公钥密码随机背包密钥恢复攻击安全性

来源：评论

学校读者我要写书评

暂无评论

极化对Bi基压电陶瓷BNT-BKT-BiFeO_3介电特性的影响

引用

四川大学学报（工程科学版） 2009年第2期41卷 150-154页

作者：周昌荣刘心宇杨桂华袁昌来桂林电子科技大学信息材料科学与工程系广西桂林541004 桂林工学院电子与计算机系广西桂林541004

为了改善无铅压电陶瓷介电性能,采用传统陶瓷制备方法,制备一种新型Bi基钙钛矿型三元系无铅压电陶瓷(1-x-y)BNT-xBKT-yBiFeO3,并研究极化对该体系陶瓷介电性能的影响以及介电性能随频率的变化规律。结果表明:极化后的介电常数和介电损... 详细信息

为了改善无铅压电陶瓷介电性能,采用传统陶瓷制备方法,制备一种新型Bi基钙钛矿型三元系无铅压电陶瓷(1-x-y)BNT-xBKT-yBiFeO3,并研究极化对该体系陶瓷介电性能的影响以及介电性能随频率的变化规律。结果表明:极化后的介电常数和介电损耗低于极化前。极化前的介电常数和介电损耗随BiFeO3含量的增加变化不明显,极化后的介电常数和介电损耗随BiFeO3含量的增加而增加。极化前和极化后的介电常数和介电损耗随BKT含量的增加而增加。介电常数和介电损耗随频率增加分别降低和增加,但降低和增加速率随频率增加而降低。

关键词：钛酸铋钠介电性能钙钛矿结构铁电体

来源：评论

学校读者我要写书评

暂无评论

基于堆栈稀疏自编码融合核极限学习机的近红外光谱药品鉴别

引用

分析化学 2018年第9期46卷 1446-1454页

作者：张卫东李灵巧胡锦泉冯艳春尹利辉胡昌勤杨辉华桂林电子科技大学计算机与信息安全学院北京邮电大学自动化学院中国食品药品检定研究院

提出一种基于堆栈稀疏自编码融合核极限学习机(Stacked sparse auto-encoders combine kernel extreme learning machine,SSAE-KELM)的近红外药品鉴别方法,通过引入核极限学习机代替SSAE的Softmax分类和BP微调阶段,减少了模型的训练步... 详细信息

提出一种基于堆栈稀疏自编码融合核极限学习机(Stacked sparse auto-encoders combine kernel extreme learning machine,SSAE-KELM)的近红外药品鉴别方法,通过引入核极限学习机代替SSAE的Softmax分类和BP微调阶段,减少了模型的训练步骤、训练参数以及训练时间,提高了深度学习网络的实际应用能力,核函数的引入提高了模型的分类能力。其中,SSAE用于初始化整个网络模型,并且从输入数据中学习到有用的特征,KELM用于实现分类任务。研究了SSAE-KELM模型对不同厂商生产的同一包装形式(铝塑或非铝塑)药品鉴别的预测能力、稳定性及训练时间,以实现药品的二分类和多分类的无损鉴别。同时,与ELM、SSAE、BP、SVM及随机隐退深度信念网络(Dropout-DBN)进行对比。结果表明,无论是二分类还是多分类,SSAE-KELM不仅具有更优的分类能力和稳定性、还减少了训练时间。因此,SSAE-KELM是一种有效的光谱分类建模工具。

关键词：稀疏自编码网络核极限学习机核函数近红外光谱药品鉴别

来源：评论

学校读者我要写书评

暂无评论

年龄结构、接触模式和接种对手足口病传播机制的影响

引用

应用数学和力学 2020年第5期41卷 557-567页

作者：周峰祝光湖唐甜桂林电子科技大学数学与计算科学学院广西桂林541004 桂林电子科技大学广西密码学与信息安全重点实验室广西桂林541004 桂林电子科技大学电子电路国家级实验教学示范中心广西桂林541004

为进一步揭示手足口病的传播机制和优化免疫决策,提出了一类具有年龄结构、接触模式和疫苗接种的手足口病传染病模型.首先运用下一代生成矩阵求解模型基本再生数;然后利用稳定性和动力学的有关理论证明无病平衡点和地方病平衡点的存在... 详细信息

为进一步揭示手足口病的传播机制和优化免疫决策,提出了一类具有年龄结构、接触模式和疫苗接种的手足口病传染病模型.首先运用下一代生成矩阵求解模型基本再生数;然后利用稳定性和动力学的有关理论证明无病平衡点和地方病平衡点的存在性以及全局稳定性;最后通过数值模拟分析模型参数的影响权重.研究发现,年龄分组、接触矩阵和疫苗使用会极大地影响传播,其中年龄结构的异质性可能会恶化疫情,而隔离病人、提高疫苗的覆盖率和接种率均能够有效控制疾病传播.该文工作对于如何有效预防和控制手足口病的传播具有科学指导意义.

关键词：手足口病动力学模型基本再生数稳定性

来源：评论

学校读者我要写书评

暂无评论

7轮AES-128的非对称不可能飞来器攻击

引用

计算机学报 2011年第7期34卷 1300-1307页

作者：董晓丽胡予濮陈杰韦永壮西安电子科技大学计算机网络与信息安全教育部重点实验室西安710071 中国科学院软件研究所信息安全国家重点实验室北京100049 桂林电子科技大学信息与通信学院广西桂林541004

分组密码是信息安全中实现数据加密、认证和密钥管理的核心密码算法,其安全性分析是密码学的重要课题之一.基于差分分析原理,文中提出了分组密码新的分析方法:非对称不可能飞来器攻击.该方法是通过构造非对称不可能飞来器区分器,排除满... 详细信息

分组密码是信息安全中实现数据加密、认证和密钥管理的核心密码算法,其安全性分析是密码学的重要课题之一.基于差分分析原理,文中提出了分组密码新的分析方法:非对称不可能飞来器攻击.该方法是通过构造非对称不可能飞来器区分器,排除满足这种关系的密钥,并最终恢复出秘密密钥的一种攻击方法.利用密钥编排方案,基于差分表查询技术和数据多次利用技术,把新方法应用于AES-128.研究结果表明:攻击7轮AES-128所需的数据复杂度为2105.18个选择明文,时间复杂度为2115.2次加密,存储复杂度为2106.78个AES分组.就攻击轮数、数据复杂度和时间复杂度而言,新分析优于已有针对AES-128的攻击.

关键词：密码分析分组密码 AES 飞来器时间复杂度

来源：评论

学校读者我要写书评

暂无评论

33轮SHACAL-2的差分非线性攻击

引用

西安电子科技大学学报 2010年第1期37卷 102-106,118页

作者：韦永壮胡予濮陈杰西安电子科技大学计算机网络与信息安全教育部重点实验室陕西西安710071 桂林电子科技大学信息与通信学院广西桂林541004 中国科学院软件研究所信息安全国家重点实验室北京100039

利用SHACAL-2的一个17轮差分非线性区分器,结合被猜测子密钥空间分割的方法和快速傅立叶变换,提出了一种攻击33轮SHACAL-2的新方法.该方法攻击33轮SHACAL-2需要244的选择明文、2496.6的33轮SHACAL-2加密和2502次算术运算,攻击成功概率为... 详细信息

利用SHACAL-2的一个17轮差分非线性区分器,结合被猜测子密钥空间分割的方法和快速傅立叶变换,提出了一种攻击33轮SHACAL-2的新方法.该方法攻击33轮SHACAL-2需要244的选择明文、2496.6的33轮SHACAL-2加密和2502次算术运算,攻击成功概率为99%.与已有的结果相比较,新攻击有效地提高了单密钥下SHACAL-2的攻击轮数.

关键词：分组密码差分非线性攻击 SHACAL-2算法计算复杂度

来源：评论

学校读者我要写书评

暂无评论

基于802.15.4的低速率拒绝休眠攻击及其防御机制研究

引用

传感技术学报 2013年第5期26卷 734-738页

作者：叶进林婧张向利广西大学计算机与电子信息学院南宁530004 桂林电子科技大学信息与通信学院广西桂林541004

拒绝休眠攻击是一类致力于快速耗尽节点能量的特殊拒绝服务攻击,无线传感器网络如何防御恶意节点的低速率拒绝服务攻击,保障节点正常生命周期是一个重要的问题。IEEE 802.15.4作为目前无线传感器网络较常使用的一种MAC协议,存在着信标... 详细信息

拒绝休眠攻击是一类致力于快速耗尽节点能量的特殊拒绝服务攻击,无线传感器网络如何防御恶意节点的低速率拒绝服务攻击,保障节点正常生命周期是一个重要的问题。IEEE 802.15.4作为目前无线传感器网络较常使用的一种MAC协议,存在着信标广播漏洞。本文首次提出了一种针对该漏洞的拒绝休眠攻击方法及其防御机制,并通过仿真实验验证了攻击的危害性和防御机制的有效性。

关键词：无线传感器网络 IEEE802 15 4 拒绝休眠攻击同步攻击

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：