南京大学计算机软件新技术国家重点实验室开放课题基金
- 作品数：25 被引量：58H指数：5
- 相关作者：曹春红毛宇光王相海张斌赵大哲更多>>
- 相关机构：南京大学东北大学南京航空航天大学更多>>
- 发文基金：国家自然科学基金江苏省自然科学基金中央高校基本科研业务费专项资金更多>>
- 相关领域：自动化与计算机技术电子电信天文地球更多>>
- 基于局部熵的高度场三角格网化研究被引量：5
- 2002年
- 不规则三角格网表示以其优越的性能在地形高度场数据的简化中得到了广泛的应用 .在不规则三角格网生成的过程中 ,插入点的选取是关系到最终简化后的地形逼近质量好坏的关键 .由于我们通常对原始格网上的每一个点给出一个重要性度量 ,并以该度量值作为插入点选取的依据 ,因此重要性度量值计算方法的选取成为研究的重点 .本文在对传统重要性度量方法的性能比较和分析基础上 ,提出了一种基于局部熵的重要性度量方法 .实验结果表明 ,基于局部熵的插入点选取方法在各项性能上均优于局部误差估计的方法 ,并且有效的克服了以往方法中的“短视性”问题 .
- 明德烈尤克非田金文柳健
- 关键词：高度场地形简化TIN局部熵
- SQL语言中的空值问题
- 2004年
- 结构化查询语言(SQL)是关系数据库中重要的查询语言,同时由于关系数据库中空值存在的必要性,因此在对不完全信息数据库进行SQL操作时,如何正确地处理空值是一个很重要的研究方向。文中简述了SQL语言标准中对空值的描述,从理论角度分析了引入空值后SQL语言的语义变化,同时从应用角度阐述了引入空值后所引发的一系列问题,最后介绍了下一代数据库语言标准SQL3对NULL处理方法的扩充。由于现实数据库信息的不完全性,文中对于如何正确地认识SQL语言中的空值问题具有很大的借鉴意义。
- 潘娜毛宇光韩波
- 关键词：关系数据库结构化查询语言空值三值逻辑
- 并发对象技术初探
- 1998年
- 在分析和比较典型的并发面向对象程序设计语言的基础上，提出了一个并发对象模型的架构．其特色在于对象的并发特征函数和对消息传递方式的处理．从语言设计的角度对并发对象模型与继承之间的有机集成进行了初步探讨．
- 瞿裕忠沈军唐立中朱海林朱一清
- 不完全信息数据库的逻辑基础研究
- 2006年
- 不完全信息问题存在于每一种数据库模型中。传统的二值逻辑难以适应不完全信息处理的需求,而多值逻辑能更多地捕获不完全信息的直觉含义。在关系数据库系统的实现中,对不完全信息的处理通常采用三值逻辑。为满足实际应用的需要,本文选取了适用于不完全信息处理的一组联结词∧、∨、→、和μ作为构造逻辑系统的原始联结词。构造了一种新的三值逻辑命题演算系统M PM和三值逻辑谓词演算系统M FM,证明了其可靠性和完备性,并给出了在查询优化方面的应用。M FM可作为研究不完全信息数据库理论的逻辑基础。
- 毛宇光曹子宁任凯周勇
- 关键词：不完全信息三值逻辑空值命题演算谓词演算
- 因果信息在不同粒度上的迁移性被引量：1
- 2019年
- 知识与粒度相关,在不同粒度上对现象的解释不同,而因果性描述的是现象的本质特征。因果性与粒度之间存在着怎样的关联,一个粒度上的因果关系是否可移植到其他不同粒度上,是目前人工智能研究亟待解决的问题。针对由观测数据构成的信息系统,从数据中直接抽取因果变量所需满足的基本图形结构,估算变量间的因果关系;再通过向系统中添加新属性以及合并多个信息系统,改变原系统中信息的粒度,研究所识别的因果关系在新系统中的可迁移性。若新属性作用于结果变量,则原系统中的因果关系不可迁移至新系统;若新属性对结果变量无影响,则原系统中的因果关系可移植至新系统。
- 姚宁苗夺谦张志飞
- 关键词：因果关系粗糙集粒度因果图
- 采用改进Levenberg-Marquardt法的快速弹性运动估计被引量：1
- 2019年
- 弹性运动估计是近年来出现的一种有效的时间维视频预测编码技术,但其基于高斯-牛顿法的优化求解仍存在计算量高、收敛不稳定的问题。为此提出一种基于改进Levenberg-Marquardt(L-M)法的弹性运动估计算法。首先,根据弹性基函数和黑塞矩阵的数值对称性,给出了L-M黑塞矩阵的快速计算方法,将其计算量降低了62.5%。其次,通过理论和实验分析发现,L-M对角矩阵阻尼系数的更新因子对弹性运动估计性能有明显影响,进而采用最近2次迭代的搜索步长的平方商自适应地确定更新因子,并对该阻尼系数进行正、负交替更新。实验结果表明,对于具有不同空间分辨率和场景特点的视频序列,算法始终能够保持较高的估计精度,运动补偿的平均峰值信噪比较之基于块平移模型的全搜索和基于改进高斯-牛顿法的弹性运动估计分别提高2.54dB、1.77dB。并且,所提算法收敛速度快,一般只需1~2次迭代就能取得高于传统弹性运动估计和块平移全搜索的峰值信噪比。
- 宋传鸣闵新闫小红王相海尹宝才
- 关键词：视频编码
- 软件体系结构的图形语法被引量：2
- 1997年
- 软件体系结构是最近几年计算机科学热点研究课题之一。图形软件体系结构具有更多的视觉效果,并且更容易让人理解。软件系统是由许多组件组合而成的,大规模的软件系统可能超过一般人的理解能力。这需要一种能精确描述软件组织和结构的规则。软件体系结构的语法描述提供了这样一种手段．文中提出一种适合描述软件体系结构的图形语法,并说明它在软件体系结构逆向工程的应用。
- 鲍敢峰尤晋元
- 关键词：软件体系结构
- 基于雁群启示的粒子群优化算法的几何约束求解被引量：6
- 2011年
- 几何约束是约束求解技术中最关键的问题之一.求解一个几何约束问题的最终目的是确定几何图形中每一个几何体的具体坐标位置.几何约束问题可以等价为求解非线性方程组问题.约束问题转化为一个优化问题.本文采用基于雁群启示的粒子群优化算法来求解该问题.该算法受雁群飞行特征启发,一方面将粒子排序,每个粒子跟随其前面那个较优粒子飞行,保持了多样性;另一方面使每个粒子利用更多其他粒子的有用信息,粒子之间的竞争被增强.两个方面的结合将平衡速度和精度之间的矛盾.实验表明,该方法可以提高几何约束求解的效率和收敛性.
- 曹春红唐川赵大哲张斌
- 关键词：几何约束求解粒子群优化算法
- 基于运动和外形度量的多目标行人跟踪被引量：2
- 2016年
- 单目视觉的行人检测跟踪是计算机视觉领域研究的热点和难点之一。现有的检测跟踪算法对于遮挡情况的处理仍然不够理想,尤其是未经校正的缺少深度信息的单目场景。文中面向普通单目视频,针对行人的短暂遮挡情形,提出了一种基于运动外形信息融合的多目标行人跟踪方法。首先对视频序列中检测出的行人多目标提取其运动信息和外形信息,并根据信息的分布情况调整相应系数,将行人目标与各轨迹的距离度量融合为距离代价,构成代价矩阵,最终使用匈牙利算法实现任务分配,以此进行关联跟踪。PETS2009监控视频行人跟踪数据库的实验结果表明了文中算法对于行人目标短暂遮挡处理的可行性和有效性。
- 花景培陈昌红干宗良刘峰
- 关键词：多目标行人跟踪数据关联信息融合
- 一种基于多目标优化的遗传规划模型被引量：3
- 2003年
- 遗传规划常因进化过程中层次树的复杂度无节制的增大 ,导致运行时间过长而难以直接在工程上应用 .本文在传统遗传规划中引入多目标优化原理 ,这种基于多目标优化的遗传规划模型不仅产生精度更高的最优结果 ,而且提供了一种在随机搜索过程中有效控制树结构长度的方法 .通过对符号回归问题的实验验证 。
- 崔逊学张霞
- 关键词：多目标优化复杂度
