-
公开(公告)号:CN104202102B
公开(公告)日:2016-06-08
申请号:CN201410456404.1
申请日:2014-09-10
IPC: H04B17/382
Abstract: 本发明公开了一种考虑恶意节点的认知无线电网络合作频谱感知方法,参与合作感知的节点开始进行周期的频谱检测过程,获得主用户频谱资源的特征;正常感知节点和恶意感知节点通过正交的公共控制信道向数据融合中心进行感知信息的汇报;数据融合中心对收集到的感知信息进行数据融合,并依据恶意节点的恶意攻击模式计算全局的虚警概率;次级用户与主用户共享频谱资源,构建最优化模型,确定有关发射功率和感知时间的约束条件,求解所建立的最优化问题,重复循环步骤以该平均值作为该频谱感知模型的感知参数。本发明计算快,针对性和普适性较强,在带有恶意节点的感知环境下,正确选择最佳的感知周期和信号发射功率。
-
公开(公告)号:CN103561005B
公开(公告)日:2016-05-25
申请号:CN201310502934.0
申请日:2013-10-24
Applicant: 桂林电子科技大学
Abstract: 基于映射几何性质的秘密共享方法,采用映射几何的方法构造,利用m个点确定一个m维的平面,这些点构成的矢量都是线性无关的。秘密拆分是将秘密S映射为线性方程式的整数系数{K1,K2,…,Kk},建立线性方程式K1*x1 +K2*x2+…+Kk*xk=1,通过在线性方程上面取点n个,将这些点分别分配给n个人;秘密恢复主要是建立方程组,并求得系数K1,K2,…,Kk,然后根据映射规则恢复秘密。假设要求k个人集中在一起才能恢复,当有超过或者等于k个人在一起的时候,由于几何性质,可确定平面,进而确定系数,从而恢复秘密;当少于k个人在一起的时候,不能恢复秘密,且无法获取关于这个秘密的信息。
-
公开(公告)号:CN102929781B
公开(公告)日:2015-08-26
申请号:CN201210450761.8
申请日:2012-11-12
Applicant: 桂林电子科技大学
IPC: G06F11/36
Abstract: 基于上下文定界的消息队列通信并发递归程序的验证方法属于软件安全、可靠性技术领域,其特征在于通过对每个下推系统迭代地应用Post*算法,穷尽搜索其执行的状态空间,并通过有限的上下文切换次数k利用上下文切换函数实现不同上下文间的切换,以模拟各个进程之间的交错执行,得到k次上下文执行内的可达格局集合,通过计算可达格局集合与目标格局集合的交集是否为空,判断出目标格局集合即状态是否可达,从而确定程序中存在的设计错误或漏洞,保证程序的正确与可靠。本发明无需用户过多参与,实现了基于可达性求解的程序自动化检验,而且格局计算过程简单而有效,在良序排队约束的条件下,本发明提出的上下文定界可达性是可以判定的。
-
公开(公告)号:CN104202102A
公开(公告)日:2014-12-10
申请号:CN201410456404.1
申请日:2014-09-10
IPC: H04B17/00
Abstract: 本发明公开了一种考虑恶意节点的认知无线电网络合作频谱感知方法,参与合作感知的节点开始进行周期的频谱检测过程,获得主用户频谱资源的特征;正常感知节点和恶意感知节点通过正交的公共控制信道向数据融合中心进行感知信息的汇报;数据融合中心对收集到的感知信息进行数据融合,并依据恶意节点的恶意攻击模式计算全局的虚警概率;次级用户与主用户共享频谱资源,构建最优化模型,确定有关发射功率和感知时间的约束条件,求解所建立的最优化问题,重复循环步骤以该平均值作为该频谱感知模型的感知参数。本发明计算快,针对性和普适性较强,在带有恶意节点的感知环境下,正确选择最佳的感知周期和信号发射功率。
-
公开(公告)号:CN103607276A
公开(公告)日:2014-02-26
申请号:CN201310645437.6
申请日:2013-12-05
Applicant: 桂林电子科技大学
IPC: H04L9/06
Abstract: 本发明属于信息安全领域,涉及一种分组加密方法,利用随机函数来构造分组加密方法,密码(加密)算法是不确定的、随机的,它通过随机的函数来加密,函数的具体形式由密钥、双方秘密共享的参数和其他参数确定,密钥影响函数的具体形式,又是函数的输入参数,这会使得密码分析者在不知道密钥和秘密参数的时候无法确定算法,从而无法通过已知明文密文对进行有效的密码分析,通过不同分组使用不同的函数具体形式,也可以有效方法一些潜在攻击。
-
公开(公告)号:CN102929781A
公开(公告)日:2013-02-13
申请号:CN201210450761.8
申请日:2012-11-12
Applicant: 桂林电子科技大学
IPC: G06F11/36
Abstract: 基于上下文定界的消息队列通信并发递归程序的验证方法属于软件安全、可靠性技术领域,其特征在于通过对每个下推系统迭代地应用Post*算法,穷尽搜索其执行的状态空间,并通过有限的上下文切换次数k利用上下文切换函数实现不同上下文间的切换,以模拟各个进程之间的交错执行,得到k次上下文执行内的可达格局集合,通过计算可达格局集合与目标格局集合的交集是否为空,判断出目标格局集合即状态是否可达,从而确定程序中存在的设计错误或漏洞,保证程序的正确与可靠。本发明无需用户过多参与,实现了基于可达性求解的程序自动化检验,而且格局计算过程简单而有效,在良序排队约束的条件下,本发明提出的上下文定界可达性是可以判定的。
-
公开(公告)号:CN203710174U
公开(公告)日:2014-07-16
申请号:CN201420054907.1
申请日:2014-01-28
Applicant: 桂林电子科技大学
Abstract: 本实用新型属于洁牙领域,涉及一种清洁牙齿的装置,特别是生活洁牙的装置,通过一个吸入装置的吸力,在吸入端将污垢和杂物吸入,吸入后依然夹在牙缝中的一些纤维等杂物,将尚未夹在牙齿中间的部分吸入,然后通过夹持装置夹紧,拔出。同时它还可以进行刷牙和冲洗洁牙。这种装置可以更有效去除牙齿周围污垢,特别是对于塞入牙缝的纤维等具有很好的清除效果,而且不伤害牙齿。
-
-
-
-
-
-