国家科技支撑计划(2006BAG01A07)
- 作品数：14 被引量：33H指数：4
- 相关作者：景宁李军王钧王考杰宋一丁更多>>
- 相关机构：国防科学技术大学总后勤部后勤科学研究所北京科技大学更多>>
- 发文基金：国家科技支撑计划国家自然科学基金国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术交通运输工程航空宇航科学技术更多>>
- 运输态势交互模型及其CSP形式化研究
- 2009年
- 人机交互(HCI)技术的迅猛发展为自然高效和谐的HCI提供了基础支持,随着HCI行为的日益复杂,如何验证其过程的正确性成为研究HCI领域的重心。根据双手触摸光感应触控平台在运输态势的HCI,提出一种体现用户操作与设备响应相结合的运输态势HCI模型,该模型采用通信顺序进程形式化描述,并结合甘特图验证其单用户操作的逻辑正确性和稳定性。
- 陆锡高凌云翔老松杨
- 关键词：通信顺序进程形式化方法
- 一种基于滑动窗口的数据流摘要构造算法
- 2013年
- 由于数据流具有无限、高速等特性,使得对数据流的查询处理往往不是面向整个数据流,而是把查询处理的范围限定在某个可操作的范围内,比如一个数据窗口。另一方面,通过数据摘要近似表达数据,也是数据流查询处理应对存储空间约束的常用策略。本文提出一种基于滑动窗口的数据流小波摘要构造算法,利用了窗口技术与数据摘要技术的优点。算法的基本思路是基于滑动窗口模型,将数据流划分成若干等宽基本窗口,每个基本窗口内数据进行小波分解与系数约简,从而形成滑动小波摘要窗口。为使窗口内数据摘要绝对重构误差最优,定义一个系数删减标准,采用贪心策略对窗口内小波系数逐步求精,从而获得最优绝对误差小波摘要。实际应用结果证明了算法的有效性。
- 曲阜平王考杰吕玉华
- 关键词：数据流小波分解
- 考虑随机回放的卫星数传调度问题的一种求解方法被引量：4
- 2009年
- 针对考虑随机回放的卫星数传调度问题,从置换空间到调度解空间的映射方法和置换空间的搜索算法两方面进行了研究。提出了一种时间窗优先的置换序列映射算法,并证明该映射算法可以将置换序列映射到调度解空间上的最优解。提出了一种遗传随机搜索算法,基于有记忆功能的随机邻域搜索,在置换空间上搜索产生优化调度的置换序列。仿真计算表明,遗传随机搜索算法可以增强遗传算法的局部搜索能力,在搜索结果上平均获得了2.72%的改进。
- 靳肖闪李军王钧景宁
- 关键词：卫星数传调度遗传算法
- 面向轨迹数据流的KNN近似查询被引量：4
- 2011年
- 提出一种基于滑动窗口的K-最近邻(KNN)近似查询算法。将滑动窗口内数据通过聚类划分成若干大小不一的基本窗口,针对每个基本窗口给定一个采样率,对窗口内数据进行偏倚采样,形成数据流摘要,并基于该摘要,采用计算几何平面扫描算法执行分布式最近邻查询。仿真实验结果表明该算法有效,且具有较好的可扩展性。
- 王考杰郑雪峰宋一丁曲阜平
- WSCP/R-net:一种新的服务动态聚合流程建模与分析模型
- 2009年
- 服务聚合流程建模和分析是流程驱动的服务聚合研究中两个关键问题。针对现有基于基本Petri网和WF-net的服务动态聚合流程建模与分析方法的不足,从服务聚合的过程维和资源维出发定义了服务聚合流程定义元模型;与流程定义元模型相一致,基于着色Petri网提出了一种新的服务聚合流程/资源描述模型WSCP/R-net,有效解决了服务聚合流程模型中不确定活动选择和服务的动态变化性问题;从流程结构正确性、数据依赖有效性和资源有效性三个方面提出了WSCP/R-net模型健壮性的概念,并对模型健壮性成立的充要条件及其组合特性进行了分析。
- 刘书雷陈荦景宁
- 关键词：健壮性
- 置换表示方法求解多卫星多地面站调度问题被引量：1
- 2010年
- 针对多卫星成像和多地面站数传并存的对地成像调度问题,从置换空间到调度解空间的映射方法和置换空间的搜索算法两方面进行了研究.提出了一种数传时间窗优先的置换序列映射算法,并证明该映射算法可以将置换序列映射到调度解空间上的最优解.提出了一种遗传随机搜索算法,基于有记忆随机邻域搜索,在置换空间上进行搜索.仿真计算表明,随机邻域搜索可以增强遗传算法的局部搜索能力,搜索结果平均获得了4.64%的改进.
- 靳肖闪李军王钧景宁
- 关键词：遗传算法
- 一种遥感影像的层次化组织分布式存储管理方法
- 提出了一种针对遥感影像数据的层次化组织、分布式存储的管理方法。通过结合Plate Carree投影与金字塔索引的优势,构建了遥感影像的多级层次化数据结构,提出了面向全球任意区域的数据访问策略。构建基于通用PC集群环境的分...
- 程果陈荦景宁赵亮左怀玉
- 关键词：遥感影像分布式存储并发访问
- 文献传递
- 带数据传输的光学卫星成像调度系统关键技术研究被引量：2
- 2008年
- 针对光学小卫星成像调度系统设计需求,考虑侧视、存储容量、能量和数据传输等复杂约束,面向小规模问题应用,设计了问题求解流程。建立了顶点和边都带权的成像约束图模型,并提出了基于标记更新最短路算法的复杂约束成像卫星调度算法解决成像方案生成过程;对数传方案生成过程,给出背包模型并采用带回看策略的贪婪启发式方法进行问题求解。实验结果表明,该方法是可行和适用的。
- 郭玉华李军王钧景宁
- 关键词：对地观测卫星成像调度启发式搜索
- 航海天文定位绘算系统设计被引量：1
- 2013年
- 采用传统高度差原理,整理归纳了天体真高度、天体恒星格林时角与赤纬和天文船位的解算模型,使用C#编程工具,设计出天文定位绘算系统,并进行了误差分析.该系统经过实际航海应用和软件测试,将自动计算结果与手工计算进行比对,可知该系统计算迅速、结果准确,能够满足航海要求,并且避免了在最通常情况下手工计算所不可避免的误差或错误,证明了系统的实用性和可靠性.
- 彭赐龙王国林陈希真罗从文文明
- 关键词：天文定位自动计算系统设计
- 一种基于滑动窗口的数据流相似性查询算法被引量：2
- 2010年
- 相似性查询是一种非常重要的数据挖掘应用。由于数据流具有无限、高速等特性,传统的查询算法不能直接应用于数据流。提出了一种基于小波滑动窗口的多数据流相似性查询算法。算法首先将滑动窗口划分成若干等宽基本窗口,然后对每个基本窗口内的数据进行小波分解与系数约简,从而形成小波摘要窗口。执行相似性查询时,直接基于小波摘要进行计算,而无需数据重构。由于利用了小波分解的线性处理优点,算法具有较低的时间复杂度。最后,基于实际数据对算法进行了实验,实验结果证明了算法的有效性。
- 王考杰郑雪峰宋一丁
- 关键词：数据流相似性查询小波分解
