工学 >>> 计算机科学技术 >>> 计算机科学技术基础学科 >>> 自动机理论 可计算性理论 计算机可靠性理论 算法理论 数据结构 数据安全与计算机安全 计算机科学技术基础学科其他学科
搜索结果: 1-7 共查到计算机科学技术基础学科 移动计算相关记录7条 . 查询时间(0.052 秒)
2019年1月8日下午, 移动计算与新型终端北京市重点实验室第三届学术委员会第二次会议在计算所446会议室顺利召开。学术委员会李国杰院士、李幼平院士、陈益强研究员、李锦涛书记、刘昌平研究员、隆克平教授、钱跃良正高工、石晶林研究员、史元春教授、孙凝晖研究员、王兆其研究员、张平教授,计算所科研处罗瑞丽处长、吴金凤主管工程师,以及重点实验室的骨干人员参加了本次会议。
2014年4月25号下午, 移动计算与新型终端北京市重点实验室学术委员会第三次会议在计算所四层报告厅顺利召开。出席会议的有中国科学院计算技术研究所首席科学家李国杰院士、中国工程物理研究院李幼平院士、计算所孙凝晖所长、李锦涛书记等各位学术委员会委员及北京市科学技术委员会领导。计算所科研处相关领导及重点实验室的科研人员也参加了此次会议。
分析了Ge等人提出的直接匿名证明方案的安全缺陷,指出该方案的认证协议在用于远程证明时不能抵抗重放攻击和平台伪装攻击。提出一种改进的直接匿名证明的认证协议,引入会话密钥协商机制,增强互认证功能。分析表明,改进方案在正确进行直接匿名证明的前提下,满足不可伪造性和匿名性,能够抵抗重放攻击和平台伪装攻击,协议性能满足移动计算平台的可信验证需求。
移动计算中挖掘满足用户需求的长频繁邻近类别集时,为了避免产生冗余候选项和减少重复计算量,提出一种基于幂集数递减的约束频繁邻近类别集挖掘算法,其能够提取包含约束条件的长频繁邻近类别集;该算法用幂集数递减序列来产生候选频繁邻近类别集,有效地删除了不满足用户需求的冗余候选项和减少了重复扫描空间实例的计算量.实验表明在挖掘满足用户需求的长频繁邻近类别集时,该算法比现有算法更快速.
位置管理问题是移动计算环境中的一个重要问题。提出了一种解决位置管理问题的离散差分进化算法,给出了种群的离散编码方法和一种新的变异操作机制,提出了基于问题特性的种群初始化启发式方法,以及早熟收敛问题的解决策略。基于随机生成的数据对算法进行了模拟实验,将该算法的结果与遗传算法、禁忌搜索算法及蚁群算法进行了对比。
安全策略为移动计算的安全性提供了必要的保证,而其表达和移动计算的形式化模型往往采用不同的技术实现。该文给出安全策略的一种进程表示方法,通过安全策略的进程表示,很容易将移动计算模型及移动计算的安全性问题在统一的框架下实现。为实现移动计算及其安全性提供了一种简单、可行的方法。
提出一种基于LRU算法的版本矢量动态维护算法(DVAL)。理论分析和实验结果表明,该算法降低了节点之间数据同步时版本值的比较时间;只需传输最小数量的版本元素即可达到节点数据同步的目的。

中国研究生教育排行榜-

正在加载...

中国学术期刊排行榜-

正在加载...

世界大学科研机构排行榜-

正在加载...

中国大学排行榜-

正在加载...

人 物-

正在加载...

课 件-

正在加载...

视听资料-

正在加载...

研招资料 -

正在加载...

知识要闻-

正在加载...

国际动态-

正在加载...

会议中心-

正在加载...

学术指南-

正在加载...

学术站点-

正在加载...