期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
3
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
多区间上非线性程序的终止性判定
被引量:
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
职称材料
题名
多区间上非线性程序的终止性判定
被引量:
3
1
作者
牟琳
李轶
李玲娜
刘栋
机构
中国
科学
院成都
计算
机应用研究所
电子科技大学计算科学与工程学院
出处
《四川大学学报(工程科学版)》
EI
CAS
CSCD
北大核心
2011年第3期76-80,共5页
基金
国家重点基础研究发展计划资助项目(2004CB318003)
文摘
主要解决了如下形式的程序的终止性判定的问题: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)。
关键词
程序验证
计算机代数
非线性程序
不动点
Keywords
program verification
computer algebra
nonlinear program
fixed point
分类号
TP181 [自动化与计算机技术—控制理论与控制工程]
TP301 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
认证群密钥协商协议的安全性分析与改进
被引量:
3
2
作者
汪小芬
李胜强
肖国镇
机构
西安
电子科技大学
ISN综合业务网国家重点实验室
电子科技大学计算科学与工程学院
出处
《电子科技大学学报》
EI
CAS
CSCD
北大核心
2009年第1期51-54,共4页
基金
国家自然科学基金(60773003,60603010)
文摘
对Tseng协议构造了一种有效的中间人伪造攻击,敌手可以成功获得群会话密钥,因此Tseng协议不满足密钥认证性。然后基于Tseng协议的安全缺陷,提出改进协议,并进行安全性分析和性能分析。改进协议实现了通信节点之间的双向认证,不但满足前向安全性、密钥认证性,还能有效抵抗被动攻击和中间人伪造攻击。改进协议中的低能量节点计算出会话密钥的时间只需2.03s,高能量节点的计算时间仅为原协议的1/2,并且通信开销减小了40%,更适用于能量受限,带宽受限的移动通信系统。
关键词
群密钥协商
前向安全性
密钥认证
中间人伪造攻击
Keywords
group key agreement
forward secrecy
key authentication
man-in-middle attack
分类号
TN918 [电子电信—通信与信息系统]
在线阅读
下载PDF
职称材料
题名
移动用户人口统计信息预测
被引量:
2
3
作者
王亦雷
嵇智源
夏勇
秦臻
程红蓉
机构
电子科技大学
信息与软件
工程
学院
科技
部高技术研究发展中心
电子科技大学计算科学与工程学院
出处
《电子科技大学学报》
EI
CAS
CSCD
北大核心
2015年第6期917-920,933,共5页
基金
国家自然科学基金(61133016
61300191
+3 种基金
61370026)
教育部-中国移动科研基金(MCM20121041)
四川省科技支撑计划(2014GZ0106)
中央高校基金(ZYGX2013J003)
文摘
提出了一种基于支持向量机的预测方法,通过分析智能手机应用的使用情况,预测用户的人口统计信息。手机使用行为数据约为5万智能手机用户在3个月期间使用手机应用产生的网络日志文件,包括179 954 181条日志记录。通过对日志记录的主题进行分析,可将179 954 181条日志记录匹配到266个不同的主题。在此基础上,通过将每个用户的人口统计信息与该用户对266个不同主题的访问权重进行关联,可构建训练数据,并代入支持向量机模型进行计算。实验结果表明该方法对用户的性别和年龄预测能够取得良好的预测结果。
关键词
人口统计信息
预测
智能手机应用
支持向量机
Keywords
demographic information
prediction
smartphone application
support vector machine
分类号
TP393 [自动化与计算机技术—计算机应用技术]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
多区间上非线性程序的终止性判定
牟琳
李轶
李玲娜
刘栋
《四川大学学报(工程科学版)》
EI
CAS
CSCD
北大核心
2011
3
在线阅读
下载PDF
职称材料
2
认证群密钥协商协议的安全性分析与改进
汪小芬
李胜强
肖国镇
《电子科技大学学报》
EI
CAS
CSCD
北大核心
2009
3
在线阅读
下载PDF
职称材料
3
移动用户人口统计信息预测
王亦雷
嵇智源
夏勇
秦臻
程红蓉
《电子科技大学学报》
EI
CAS
CSCD
北大核心
2015
2
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部