国家部委资助项目(513150402)

作品数：2被引量：2H指数：1
导出分析报告
相关作者：陈锦富卢炎生丁晓锋洪亮雷义伟更多>>
相关机构：华中科技大学中国人民解放军海军工程大学武汉大学更多>>
相关期刊：《计算机研究与发展》《海军工程大学学报》更多>>
相关主题：移动环境信息策略聚类位置数据库形式化建模与验证更多>>
相关领域：自动化与计算机技术更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
自适应软件需求的形式化建模与验证被引量：1
《海军工程大学学报》2015年第6期73-78,共6页雷义伟 贲可荣 何智勇 
国家部委基金资助项目(513150402);软件工程国家重点实验室基金资助项目(SKLSE 2012-09-38)
为使自适应软件的需求规约与软件约束一致性验证能够得到已有验证工具的支持,提出了一种基于模型转换的验证方法。该方法通过对Tropos建模方法进行上下文和异常条件扩展来满足自适应软件需求,给出从Tropos需求模型到状态变迁模型的映射...
关键词：自适应软件 需求分析 可满足性验证 
一种基于位置数据库聚类的动态适应缓存位置信息策略被引量：1
《计算机研究与发展》2008年第7期1203-1210,共8页洪亮 卢炎生 陈锦富 丁晓锋 
国家部委基金项目(513150402);湖北省自然科学基金项目(ABA048)
移动环境中提高定位移动用户性能的一个重要方法是缓存用户的位置信息.然而已经提出的缓存策略针对的是单个用户,造成缓存的效率不高.针对群体用户提出了一种基于位置数据库聚类的动态适应缓存位置信息(DACaL)策略.其中位置数据库聚类...
关键词：动态适应缓存 聚类 位置数据库 移动环境 旁路指针 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部