国家部委资助项目(513150402)
- 作品数：2 被引量：3H指数：1
- 相关作者：陈锦富卢炎生丁晓锋洪亮雷义伟更多>>
- 相关机构：华中科技大学中国人民解放军海军工程大学武汉大学更多>>
- 发文基金：国家部委资助项目湖北省自然科学基金国家重点实验室开放基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 自适应软件需求的形式化建模与验证被引量：1
- 2015年
- 为使自适应软件的需求规约与软件约束一致性验证能够得到已有验证工具的支持,提出了一种基于模型转换的验证方法。该方法通过对Tropos建模方法进行上下文和异常条件扩展来满足自适应软件需求,给出从Tropos需求模型到状态变迁模型的映射规则,并通过验证软件约束公式在状态变迁模型上的可满足性,达到验证软件需求与软件约束一致性的目的。最后,通过舰船火灾损管系统的实例说明了自适应软件需求的建模和验证过程。
- 雷义伟贲可荣何智勇
- 关键词：自适应软件
- 一种基于位置数据库聚类的动态适应缓存位置信息策略被引量：2
- 2008年
- 移动环境中提高定位移动用户性能的一个重要方法是缓存用户的位置信息.然而已经提出的缓存策略针对的是单个用户,造成缓存的效率不高.针对群体用户提出了一种基于位置数据库聚类的动态适应缓存位置信息(DACaL)策略.其中位置数据库聚类算法通过挖掘群体移动用户的运动模式对位置数据库进行聚类,以确定缓存层次和降低位置管理的代价.动态适应缓存位置信息算法根据聚类结果对位置数据库进行重组,在相邻聚类之间缓存位置信息,建立旁路指针,以缩短消息传输的路径和减少查询位置数据库的次数.实验表明,DACaL策略能够有效地降低总体代价,性能上优于相关策略.
- 洪亮卢炎生陈锦富丁晓锋
- 关键词：聚类位置数据库移动环境
