期刊文献+
共找到3篇文章
< 1 >
每页显示 20 50 100
多区间上非线性程序的终止性判定 被引量:3
1
作者 牟琳 李轶 +1 位作者 李玲娜 刘栋 《四川大学学报(工程科学版)》 EI CAS CSCD 北大核心 2011年第3期76-80,共5页
主要解决了如下形式的程序的终止性判定的问题:wh ile(x∈Ω)do{x:=f(x)}end,其中,x为程序变元,Ω(Ω=(a1,b1‖∪‖a2,b2‖∪…∪‖an,bn),其中,‖∈{(,),[,]},n∈N*)是间段并集,f是一个多项式函数。证明了:当φ(b1)φ(a2)>0,…,φ(b... 主要解决了如下形式的程序的终止性判定的问题:wh ile(x∈Ω)do{x:=f(x)}end,其中,x为程序变元,Ω(Ω=(a1,b1‖∪‖a2,b2‖∪…∪‖an,bn),其中,‖∈{(,),[,]},n∈N*)是间段并集,f是一个多项式函数。证明了:当φ(b1)φ(a2)>0,…,φ(bn-1)φ(an)>0(其中,φ(x)=f(x)-x)时,这类区间上的非线性程序不终止的必要条件是:在Ω内部或者边界上存在不动点。如果不动点仅仅在Ω内部,则上述结果是充要条件。通过添加一定的约束条件,对于仅区间边界有不动点的情况,也给出了判定的方法。对一类多项式函数的终止性给出了完备性的算法(TNPSI)。 展开更多
关键词 程序验证 计算机代数 非线性程序 不动点
在线阅读 下载PDF
认证群密钥协商协议的安全性分析与改进 被引量:3
2
作者 汪小芬 李胜强 肖国镇 《电子科技大学学报》 EI CAS CSCD 北大核心 2009年第1期51-54,共4页
对Tseng协议构造了一种有效的中间人伪造攻击,敌手可以成功获得群会话密钥,因此Tseng协议不满足密钥认证性。然后基于Tseng协议的安全缺陷,提出改进协议,并进行安全性分析和性能分析。改进协议实现了通信节点之间的双向认证,不但满足前... 对Tseng协议构造了一种有效的中间人伪造攻击,敌手可以成功获得群会话密钥,因此Tseng协议不满足密钥认证性。然后基于Tseng协议的安全缺陷,提出改进协议,并进行安全性分析和性能分析。改进协议实现了通信节点之间的双向认证,不但满足前向安全性、密钥认证性,还能有效抵抗被动攻击和中间人伪造攻击。改进协议中的低能量节点计算出会话密钥的时间只需2.03s,高能量节点的计算时间仅为原协议的1/2,并且通信开销减小了40%,更适用于能量受限,带宽受限的移动通信系统。 展开更多
关键词 群密钥协商 前向安全性 密钥认证 中间人伪造攻击
在线阅读 下载PDF
移动用户人口统计信息预测 被引量:2
3
作者 王亦雷 嵇智源 +2 位作者 夏勇 秦臻 程红蓉 《电子科技大学学报》 EI CAS CSCD 北大核心 2015年第6期917-920,933,共5页
提出了一种基于支持向量机的预测方法,通过分析智能手机应用的使用情况,预测用户的人口统计信息。手机使用行为数据约为5万智能手机用户在3个月期间使用手机应用产生的网络日志文件,包括179 954 181条日志记录。通过对日志记录的主题进... 提出了一种基于支持向量机的预测方法,通过分析智能手机应用的使用情况,预测用户的人口统计信息。手机使用行为数据约为5万智能手机用户在3个月期间使用手机应用产生的网络日志文件,包括179 954 181条日志记录。通过对日志记录的主题进行分析,可将179 954 181条日志记录匹配到266个不同的主题。在此基础上,通过将每个用户的人口统计信息与该用户对266个不同主题的访问权重进行关联,可构建训练数据,并代入支持向量机模型进行计算。实验结果表明该方法对用户的性别和年龄预测能够取得良好的预测结果。 展开更多
关键词 人口统计信息 预测 智能手机应用 支持向量机
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部