江苏省科技攻关计划(BE2003064)
- 作品数：14 被引量：36H指数：3
- 相关作者：许满武魏维刘凤玉杨群李千目更多>>
- 相关机构：南京大学南京理工大学成都信息工程大学更多>>
- 发文基金：江苏省科技攻关计划国家自然科学基金江苏省自然科学基金更多>>
- 相关领域：自动化与计算机技术电子电信生物学更多>>
- 一种带有delegation的对象演算
- 2007年
- 随着研究与应用的深入,传统的基于类的面向对象语言对动态变化要求的支持不足越来越明显。而且,由于软件系统复杂性的不断提高,这个问题变得更加突出。近年来,人们一直在进行着各种研究和尝试,寻求解决办法。delegation是一种在基于原型的面向对象语言中实现的对象动态继承,由于它支持对象行为在运行期动态改变,能提供对象动态扩展功能的能力,因此探讨如何在基于类的面向对象语言中引入delegation成分,以提供软件运行时刻的结构与行为变更能力,是十分有意义的。本文提出了一种命令式、带有delegation的Φ对象演算,以该演算系统刻划程序设计语言的基本特征;通过给出Φ演算的语法和操作语义;详细描述程序中各种操作的实现方法;着重说明在程序语言中引入delegation成分后,对象之间共享方法和对象扩展功能所具有的灵活性和简单性。从而说明在程序语言中引入delegation,以支持软件动态变更是一种有效且可行的途径。
- 杨群陈宏兵许满武
- 具有多峰正态分布属性的视频语义分类研究
- 2006年
- 视频语义分类中常遇到多峰正态分布属性,如采用单峰值正态分布设计的贝叶斯分类模型会造成较大分类误差。本文采用定步长组合划分算法(FLCPA)对多峰分布属性值域按类进行划分,以留一校验法(LOOCV)估算分类错误,找出给定步长下属性的多峰分布边界点,并用监督参数估计推断出每个分段区间上的概率分布函数,从而得到整个值域上的总体分布。此外,文中给出了涉及多峰分布属性的视频语义分类器设计步骤。实验数据表明,该方法能明显降低分类错误,有效提高分类性能。
- 魏维徐建刘凤玉许满武
- 关键词：贝叶斯分类器
- 语义视频检索综述被引量：21
- 2006年
- 视频内容检索是多媒体应用的一个活跃研究方向,现有的内容检索技术大多是基于低层次特征的。这些非语义的低层特征难以理解,与人思维中的高层语义概念相差甚远,严重影响视频内容检索系统的易用性。低层特征和高层语义概念间的语义鸿沟很难逾越。如何跨越语义鸿沟,用语义概念检索视频内容是目前基于内容视频检索最具挑战性的研究方向。本文介绍语义视频检索出现的背景,分析语义鸿沟出现的原因,对现有尝试跨越语义鸿沟的主要方法进行综述;评述了相关技术的优缺点,探讨了各方法将来可能的研究发展方向以及视频语义检索近期、长期可能的技术突破点。
- 魏维游静刘凤玉许满武
- 关键词：语义鸿沟低层特征语义概念
- 一种基于时空变化信息的视频内容检索方法
- 2007年
- 提出一种基于时空变化信息的视频内容检索方法.此方法以自适应变间隔关键帧选择策略提取镜头在时间域上的变化内容,采用时空注意力模型提取空域显著内容;然后对每一显著区域按Mpeg-7标准抽取相似纹理描述子、可扩展颜色描述子和基于轮廓的形状描述子,联合三低层视觉特征进行显著区域间的匹配度计算;最后提出用于视频检索的两镜头相似度匹配算法.对比实验表明该方法能有效进行基于内容的视频检索.
- 魏维舒红平刘凤玉
- 关键词：时空信息
- 一种适用于构件系统的软件抗衰技术框架
- 2006年
- 近年来,软件抗衰技术已被证实是解决软件衰老问题的有效途径。本文针对构件系统特点,将Micro-Reboot思想引入到软件抗衰技术中,也即将单个构件作为抗衰技术中检测和措施的对象,一方面使得每个构件能够长时间保持在良好状态,从而提高整个体系的性能,另一方面引入Request-Retry机制,提高系统的可用性。本文基于J2EE构件模型开发出一种新的软件抗衰技术框架,相关理论已成果并在江苏省科技攻关项目“城域网海量视听信息实时点播系统”中应用。
- 郑贤福杨群许满武
- 关键词：软件抗衰可用性
- 视频语义分析两级多模式融合算法被引量：3
- 2007年
- 为了全面准确地获取视频高层语义信息,提出了一种基于仿生的视频语义分析两级多模式融合算法。该算法仿照人脑多感觉融合机理,先将视频中多模式特征按不同类别划分为组,然后对每一组中的多模低层特征用层次隐马尔可夫模型(HHMM)进行数据融合;同时将以似然率表示的多个低层融合结果作为高层融合的输入,再通过基于核的非线性算法把输入空间变换到高维特征空间;最后在特征空间中求取最优线性分类面,即可得到最终的多模式两级融合结果。实验表明,该方法不仅能有效融合视频中的多模式特征,而且能获取全面、准确的高层语义信息。
- 魏维李千目刘凤玉许满武
- 视频语义分析运动特征表征与抽取技术研究
- 2007年
- 视频运动特征蕴含丰富的语义信息,运动特征的简洁表征方式和高效抽取方法研究是视频语义分析的关键技术之一。针对视频语义分析的特点,将运动特征分为3类,分别对各类运动特征进行表征和抽取。相关抽取实验证明此方法可有效抽取语义分析所需的运动特征,同时在运动特征抽取的基础上实现了基于运动的视频语义分析原型系统。
- 魏维何嘉刘凤玉
- 关键词：特征抽取视频语义分析摄像机运动
- 可更新数据的数据完整性保护方法
- 2006年
- 数据收集是移动Agent的一类重要应用,在多个领域的移动Agent应用系统中涉及到数据收集。由于移动Agent可能受到恶意主机攻击,如何保证收集数据的完整性是一个重要的安全问题。文中在分析移动Agent数据收集的安全性属性的基础上,提出了一个用于保证移动Agent在潜在恶意主机上访问时保护所收集数据的完整性安全协议。该协议能够实现数据的完整性验证与数据被收集的顺序无关,从而可以随机地访问主机,并且同一主机提交的数据可以自己更新,非常适合数据动态变化的应用系统。
- 陈宏兵刘志军李千目许满武
- 关键词：安全性数据完整性移动AGENT
- 视频语义分类特征选择算法被引量：6
- 2006年
- 提出一种将连续特征数字量化后进行特征选择的算法(ABFSA)。利用样本集中的先验信息选择出特征值域中最具类间区分意义的区域,将其作为完整量化区间。采用向后式的启发搜索策略,搜索合并后能使贝叶斯分类错误率降低的相邻量化区间。合并搜索得到的两相邻量化区间,量化的级数降低一阶。重复搜索和合并过程,直至贝叶斯分类错误率不再降低为止。所有特征搜索、合并完成后,总的特征量化阶数得到大幅降低。用UCI仿真数据集及真实视频数据进行实验,对比结果表明该算法能有效选取视频语义概念分类的重要特征,其综合性能较优。
- 魏维赵学龙刘凤玉许满武
- MAS交互协议的形式化描述和验证
- 2006年
- 在MAS的分析与设计中,Agent间的交互协议设计是极其重要的内容.特别是交互协议的正确性、有效性和可验证性尤为关键,因此形式化描述和验证多Agent的交互协议非常有必要.定义了用于描述多Agent基于对话的交互协议的一个演算,该演算是基于进程代数的并且独立于Agent的推理过程.该机制可以实现异构多Agent系统的交互协议验证.通过Agent会话环境的状态和演算的形式语义,可以验证会话协议的一些属性,例如:终止性、是否死锁等.该方法可以有效地解决交互协议的语义验证问题,因为协议的状态和Agent的行为由协议本身定义,并且可以避免基于状态搜索的状态空间爆炸问题.
- 陈宏兵杨群李千目许满武
- 关键词：交互协议多AGENTΠ演算
