上传资源列表
-
标准模型下基于身份的环签名方案
大小:1M 更新时间:2019-12-24 下载积分:1分
本文利用Waters提出的对偶系统加密技术,结合合数阶群上双线性运算的正交性,提出了一个基于身份的环签名方案.该方案在标准模型下是完全安全的,其安全性依赖于两个简单的静态假设.该方案借助分级身份加密(Hierarchical...
-
基于主动学习和否定选择的垃圾邮件分类算法
大小:2M 更新时间:2019-12-24 下载积分:1分
针对现在网络上泛滥的垃圾邮件问题,本文结合主动学习方法和否定选择算法提出了一种二类文本分类方法:主动否定学习算法.根据用户少量标注建立双向兴趣集,利用否定选择算法的自体异常检测机制改善主动学习中的采样策略...
-
软硬件协同设计的SEU故障注入技术研究
大小:1008K 更新时间:2019-12-24 下载积分:1分
针对现有容错计算机故障注入方法缺乏对空间环境中频发的单粒子故障模型的支持,本文提出了一种利用背板技术的软硬件协同仿真与故障注入技术,分别针对寄存器部件和存储器部件的特性,设计了多位错误的单粒子故障模型,在...
-
不确定型模糊Kripke结构的计算树逻辑模型检测
大小:1M 更新时间:2019-12-24 下载积分:1分
本文研究了不确定型模糊Kripke结构的计算树逻辑的模型检测问题,并说明了该问题可以在对数多形式时间内解决.首先给出了不确定型模糊Kripke结构的定义,引入了模糊计算树逻辑的语法和语义.为了刻画存在量词?和任意量词...
-
基于三支决策的不平衡数据过采样方法
大小:1M 更新时间:2019-12-24 下载积分:1分
采样是解决不平衡数据分类问题的一个有效途径.文中结合三支决策理论,根据样本分布将样本划分成三个区域:正域、边界域和负域;在此基础上,分别对边界域和负域中的小类样本进行不同的过采样处理,提出了一种基于三支决策...