搜索结果: 1-15 共查到“计算机科学技术 移动计算”相关记录20条 . 查询时间(0.128 秒)
2019年1月8日下午, 移动计算与新型终端北京市重点实验室第三届学术委员会第二次会议在计算所446会议室顺利召开。学术委员会李国杰院士、李幼平院士、陈益强研究员、李锦涛书记、刘昌平研究员、隆克平教授、钱跃良正高工、石晶林研究员、史元春教授、孙凝晖研究员、王兆其研究员、张平教授，计算所科研处罗瑞丽处长、吴金凤主管工程师，以及重点实验室的骨干人员参加了本次会议。
2014年4月25号下午, 移动计算与新型终端北京市重点实验室学术委员会第三次会议在计算所四层报告厅顺利召开。出席会议的有中国科学院计算技术研究所首席科学家李国杰院士、中国工程物理研究院李幼平院士、计算所孙凝晖所长、李锦涛书记等各位学术委员会委员及北京市科学技术委员会领导。计算所科研处相关领导及重点实验室的科研人员也参加了此次会议。
改进的移动计算平台直接匿名证明方案
可信计算 远程证明 直接匿名证明 密钥协商
2014/3/21
分析了Ge等人提出的直接匿名证明方案的安全缺陷，指出该方案的认证协议在用于远程证明时不能抵抗重放攻击和平台伪装攻击。提出一种改进的直接匿名证明的认证协议，引入会话密钥协商机制，增强互认证功能。分析表明，改进方案在正确进行直接匿名证明的前提下，满足不可伪造性和匿名性，能够抵抗重放攻击和平台伪装攻击，协议性能满足移动计算平台的可信验证需求。
在移动计算中挖掘满足用户需求的长频繁邻近类别集时,为了避免产生冗余候选项和减少重复计算量,提出一种基于幂集数递减的约束频繁邻近类别集挖掘算法,其能够提取包含约束条件的长频繁邻近类别集;该算法用幂集数递减序列来产生候选频繁邻近类别集,有效地删除了不满足用户需求的冗余候选项和减少了重复扫描空间实例的计算量.实验表明在挖掘满足用户需求的长频繁邻近类别集时,该算法比现有算法更快速.
移动计算环境下装备故障诊断模型研究
案例推理 故障诊断 移动设备
2009/9/30
针对目前装备维护方面的实际需求，提出了基于案例推理的移动计算环境下装备故障诊断模型；在充分考虑到移动设备与PC机性能差异的基础上对案例推理的中心环节——案例检索进行了优化，并重点研究了相似度匹配算法，最后对整个模型进行了实验验证。结果表明该模型适用于移动设备，且具有较高的效率。
解决移动计算位置管理的离散差分进化算法
离散差分进化算法 种群初始化 早熟收敛
2009/7/15
位置管理问题是移动计算环境中的一个重要问题。提出了一种解决位置管理问题的离散差分进化算法，给出了种群的离散编码方法和一种新的变异操作机制，提出了基于问题特性的种群初始化启发式方法，以及早熟收敛问题的解决策略。基于随机生成的数据对算法进行了模拟实验，将该算法的结果与遗传算法、禁忌搜索算法及蚁群算法进行了对比。
移动计算环境下数据复制一致性研究
数据复制 单副本可串行化 最终一致性
2009/7/6
通过对移动计算环境下已复制数据一致性的研究，提出了一种新的数据复制控制协议。该协议对已复制数据库对象的读操作或写操作等临时信息进行探索，使单副本可串行化和最终一致性两个标准可以同时得到保证。文章最后还对协议的正确性进行了分析。
移动计算环境中的自适应混合广播
移动计算 数据传输 混合广播 动态信道和数据分配
2009/12/28
提出一种自适应混合广播算法。在周期广播数据分配时采用多信道非均匀分配，使高访问率的数据获得高广播频率。在确定周期广播数据和联机请求数据个数时考虑联机请求信道响应时间和访问率之间的关系，从而在少量比较次数后获得数据最佳分割点。实验结果表明，该算法可以根据系统负载和用户访问模式的变化动态调节信道和数据的分配，性能优于纯广播和纯基于请求的广播，访问时间少于现有的混合数据广播方式。
第三届全国可穿戴计算与移动计算学术会议
第三届 全国可穿戴计算与移动计算 学术会议
2009/4/10
可穿戴计算和移动计算作为当前计算机技术发展的热点研究领域，具有重要的理论研究价值和广阔的应用前景，作为该领域重要的学术交流、沟通和合作平台，由中国计算机学会主办，电子科技大学、哈尔滨工业大学联合承办，中国人工智能学会人工心理与人工情感专业委员会协办的第三届全国可穿戴计算与移动计算学术会议将于2009年6月中旬在四川省成都市召开。
项目所属科学技术领域、主要内容、特点及应用推广情况：本成果属于计算机科学与技术领域，主要内容是研究能够将个人计算与移动计算紧密结合的算通机构造技术和系统原型。算通机系统由前端系统和客户端设备构成。项目得到了国家863计划和国家九五攻关计划支持，算通机系统成果主要内容及特点为：l 瘦客户端算通机。瘦客户端算通机系统也称为网络计算机，它利用通信资源扩展低配置客户端硬件的能力。系统硬件采用PowerPC...
基于类型的安全移动计算模型
移动计算 位置 类型系统
2009/1/23
Agent的迁移和通信是影响移动计算安全性的重要问题，但是已有的移动计算模型缺乏相应的安全机制。针对这一问题，文中讨论了移动计算环境中基于语言的安全技术，同时建立了Confinedπ计算模型，通过引入类型系统，该模型将Agent迁移和通信的安全问题转换成相应的静态分析特性，然后从静态分析的角度研究了保证Agent迁移和通信安全性的机制。
安全策略为移动计算的安全性提供了必要的保证，而其表达和移动计算的形式化模型往往采用不同的技术实现。该文给出安全策略的一种进程表示方法，通过安全策略的进程表示，很容易将移动计算模型及移动计算的安全性问题在统一的框架下实现。为实现移动计算及其安全性提供了一种简单、可行的方法。
移动计算环境下的通用安全支付系统框架
移动支付 移动代理 移动商务
2008/12/12
移动代理在未来的移动商务中具有举足轻重的地位，它能提供更好的灵活性和性能。但也面临着许多新的安全问题。以移动代理和SEMOPS模型为基础，结合现有的移动支付协议，抽象出移动支付系统通用的业务模块，提出了一种新的移动计算环境下通用安全移动支付系统框架。
移动计算环境中基于广播的数据缓存策略
移动计算 广播 数据缓存
2008/12/12
在研究了数据广播频率的变化对缓存策略的影响之后，提出以移动客户机（Mobile Client，MC）从广播中读取数据的平均响应时间为标准，来决定是否缓存该数据项。其优点是可以避免每次访问这些数据项等待较长时间，同时也可降低移动客户机缓存管理的代价，提高其工作性能。