周波
- 作品数:8 被引量:14H指数:3
- 供职机构:解放军理工大学指挥自动化学院更多>>
- 发文基金:国家自然科学基金武器装备预研基金国家部委预研基金更多>>
- 相关领域:自动化与计算机技术更多>>
- 基于DL-Safe规则的UML状态图形式化和一致性验证被引量:3
- 2009年
- 为了对UML状态图进行形式化验证,将状态图中的语义分为静态语义和动态语义两部分,用描述逻辑知识库表示静态语义,用DL-Safe规则表示动态语义.研究了检查UML状态图一致性的算法,该算法能够用DL-Safe规则对知识库进行推理达到检查状态图一致性的目的,最后分析了算法的可行性.
- 何红悦宋自林周波
- 关键词:UML状态图描述逻辑一致性
- 基于特征的航空视频序列拼接方法被引量:3
- 2012年
- 针对航空侦察视频序列,提出了一种基于特征点的视频序列拼接方法,论述了该方法的流程和模块。该方法矫正了航空视频序列中普遍存在的径向扭曲;改进了SIFT特征提取和匹配策略,缩短了算法的时间;提出了改进的RANSAC算法用于剔除匹配外点,提高了视频帧图像之间的变换精度;提出双频带融合技术消除边缘跳变和模糊叠影现象,改善了视频帧融合的视觉效果。实验结果表明,该方法能够有效地实现航空视频序列的近实时拼接,同时保持对噪声、光照和目标运动鲁棒。
- 王家宝张亚非陆建江周波徐伟光李阳
- 关键词:图像拼接SIFT特征RANSAC算法
- 一个新的基于EFALC的推理算法(英文)被引量:1
- 2006年
- 针对目前的扩展模糊描述逻辑缺乏TBox约束下的推理算法,提出TBox约束下扩展模糊描述逻辑EFALC截概念可满足性问题及其推理算法.该算法的设计参考用于经典描述逻辑的tab-leau算法;详细描述了EFALC的转化规则和推理算法的过程,并使用递归函数调用、分支裁减和引入中间结果集合这3种技术对算法进行优化.证明了该优化推理算法的最坏时间复杂性为指数,且具有完备性和正确性,同时证明了TBox约束下EFALC截概念可满足性问题的复杂性是指数时间完全的.
- 周波陆建江张亚非康达周李言辉
- 限制数量约束的扩展模糊描述逻辑的推理复杂性(英文)
- 2007年
- 为了解决限制数量约束的扩展模糊描述逻辑(EFALCQ)的推理复杂性问题,采用限制数量约束的描述逻辑(ALCQ)离散模拟EFALCQ,并重用ALCQ的推理结论来证明EFALCQ推理问题的复杂性.提出了EFALCQ一致性推理问题的ALCQ模拟方法,将EFALCQ的可满足性推理问题转换为EFALCQ的一致性推理问题,并用EFALCQ的一致性推理问题离散模拟EFALCQ的可满足区间推理问题.最后证明了EFALCQ的可满足性、一致性、以及可满足区间推理问题的推理复杂性是PSPACE-complete问题.
- 陆建江李言辉张亚非周波康达周
- 基于模糊描述逻辑的模糊UML类图形式化被引量:2
- 2010年
- 由于UML难以表示现实世界中存在的大量不确定和模糊的信息,因此前人提出了模糊UML。与UML类似,模糊UML是半形式化语言,缺乏精确的语义。为解决这一问题,提出一种用模糊描述逻辑形式化表示模糊UML类图的方法,扩展模糊描述逻辑f-SHOIN(D)为其逻辑基础,详细描述模糊UML类图中的类、属性和各种关系转化为模糊描述逻辑表达的形式化过程,最后用实例证明该方法是可行的。
- 周波张亚非陆建江王进鹏苗壮
- 关键词:类图模糊描述逻辑形式化
- 关系数据集成中的语义查询处理技术(英文)被引量:1
- 2011年
- 为解决基于语义的关系数据集成中的查询处理正确性问题,形式化定义了SPARQL查询语句的语义.在查询重写过程中,发现查询相关的数据表并将其分解为最小可连接单元,再根据查询语义连接最小可连接单元来产生正确的查询.给出了基于语义的查询重写和查询转换算法.对算法复杂性进行了讨论,在最坏情况下,查询分解算法可在O(n2) 时间内完成,查询重写的时间复杂度为O(nm) .通过实验验证了算法的性能,实验结果表明当查询长度小于8,而数据源较多时,查询处理算法具有较好的效果.
- 苗壮张亚非王进鹏陆建江周波
- 关键词:数据集成关系数据库SPARQL查询处理
- 基于语义的智能多媒体信息检索技术研究被引量:4
- 2007年
- 面对海量的多媒体数据,缺乏有效的信息检索手段。为了提高多媒体信息检索智能化程度和准确率,必须实现语义检索。本文借助于多媒体元数据标准MPEG-7和资源描述框架模式RDFS,研究构建基于RDFS的MPEG-7语义元数据通用参考模型的方法,并提出了基于语义的智能多媒体信息检索系统框架。
- 赵天忠张亚非苗壮周波陆建江
- 关键词:语义检索MPEG-7RDFSSCHEMA
- 基于语义的数据集成研究
- 数据集成是系统集成的核心,也是实现异构系统互操作的基础.传统的数据集成方法多是对数据进行结构上的转换使之成为统一的格式,这些方法很少考虑数据的含义,不能解决数据语义层次上的异构问题。本文介绍了数据集成的含义和主要的数据集...
- 苗壮周波王进鹏
- 关键词:数据集成异构数据库语义标注数据格式
- 文献传递