一种描述逻辑与逻辑程序相结合的杂合系统DLclog

下载全文  

  相似文献

杨方凯  陈小平 《软件学报》2008,19(12):3100-3110

一种强壮的基于几何特征分布的3维点模型数字水印算法

  

3维点模型与传统的三角网格模型相比,更适合处理外形非常复杂并且不规则的几何体,但基于点模型的数字水印算法却屈指可数。为了对3维点模型进行有效的保护,提出了一种新的基于几何特征分布的3维点模型数字水印算法。该算法首先根据所需嵌入的水印信息来修改主元分析后3维点模型中各个点到模型中心… …   相似文献

冯小青  李黎  潘志庚 《中国图象图形学报》2009,14(8):1534-1541

大数据智能决策

下载全文  总被引：7，自引：2，他引：5

在全球信息化快速发展的背景下, 大数据已经成为一种战略资源.各行各业的决策活动在频度、广度及复杂性上较以往有着本质的不同.决策过程中的不确定性因素增多, 决策分析的难度不断加大.传统的数据分析方法以及基于人工经验的决策已难以满足大数据时代的决策需求, 大数据驱动的智能决策将成为决… …   相似文献

于洪  何德牛  王国胤  李劼  谢永芳 《自动化学报》2020,46(5):878-896

AIFS 区分的IEEE 802.11e EDCA 吞吐率分析模型与自适应MAC 算法

下载全文  

针对IEEE 802.11e EDCA(enhanced distributed channel access)支持业务区分服务的特点,提出了一个基于AIFS(arbitration inter-frame space)区分的信道吞吐率分析模型,该模型将不同接入等级的业务统一到一… …   相似文献

白翔  毛玉明  冷甦鹏  毛建兵  谢军 《软件学报》2009,20(4):780-794

基于多观测模型的粒子滤波头部跟踪算法

  

粒子滤波在非线性和非高斯问题上具有独特的优越性,但在视频跟踪过程中,其跟踪性能却在很大程度上依赖于观测模型的选择。为了解决被跟踪目标特征状态随时间变化而与粒子观测模型不匹配的问题,提出了一种新的粒子滤波算法,即将被跟踪目标的不同特征状态与粒子观测模型相结合,形成一组具有不同观测模… …   相似文献

安国成  高建坡  吴镇扬 《中国图象图形学报》2009,14(1):106-111

细粒度超媒体描述模型及其使用机制

  

针对多种数字媒体融合、海量数字信息和大量的数字媒体文件对象化管理的发展趋势,在分析多个关联多维数字媒体文件之间关联内容、位置等关系的基础上,提出一个细粒度超媒体描述模型及其相应的使用方式,同时给出了其XML描述语法体系和对数字媒体的访问控制方法,该模型能够满足用户对超媒体文档对象… …   相似文献

苏铓  史国振  李凤华  申莹  黄琼  王苗苗 《通信学报》2013,34(Z1):223-229

移动Ad Hoc网络中基于ID的信道预约多址接入协议

下载全文  

为了在移动ad hoc网络中有效利用无线信道资源,提出一种基于ID的信道预约(ID-based channel reservation,简称IDBCR)多址接入协议.该协议在公共信道上发送Request-To-Send/Clear-To-Send(RTS/CTS)分组实现握手,采… …   相似文献

邢小琴  刘凯 《软件学报》2010,21(10):2690-2700

快速优化筛选多尺度矩形域的二进制描述

  

目的 为更好地兼顾基于手动设置的二进制特征描述子优越的实时性能和基于优化学习的二进制特征描述子鲁棒的区分性能,提出一种快速优化筛选多尺度矩形域的二进制描述算法(MRFO),运用于识别卫星装配时所需的典型工件目标。方法 按像素的灰度值和梯度方向划分图像并利用不同的高斯核函数进行平滑,建立多尺度的子图像集合;从多尺度的子图像中,快速通过约束条件提取候选矩形域;在训练阶段,通过优化学习计算候选矩形域的相关得分及最优阈值,筛选出其中具有强区分性和低相关性的集合;在测试阶段,计算筛选出的矩形域响应值并利用最优阈值进行二值化,将结果依次串联构成二进制描述向量。结果 实验通过ROC曲线图和80%精确率条件下的召回率统计结果证明MRFO描述算法具有优越的区分性能,平均的精确度能够高出对比算法8%~12%;并在真实的视频图像中利用MRFO描述算法识别出典型工件目标;根据训练阶段的执行时间只有传统优化学习算法的4.35%,只是在测试阶段略高于手动设置的二进制描述算法,证明MRFO描述算法具有优良的实时性能。结论 MRFO描述算法能够更好地克服各种视角、尺度和旋转变换的干扰以及周围相似背景信息的影响,准确识别出典型工件目标,有助于提高卫星的地面装配精度和效率,改善国内相关行业的自动化水平。普遍适用性较强,具有良好的应用前景。… …   相似文献

白丰  张明路  张小俊  孙凌宇 《中国图象图形学报》2016,21(3):303-313

模型检测新技术研究

  总被引：18，自引：1，他引：17

1 引言软件是否可信赖已成为一个国家的经济、国防等系统能否正常运转的关键因素之一,尤其在一些诸如核反应堆控制、航空航天以及铁路调度等安全悠关(safety-critical)领域更是如此。这类系统要求绝对安全可靠,不容半点疏漏,否则将导致灾难性后果。如1996年6月4日,欧洲航天… …   相似文献

戎玫  张广泉 《计算机科学》2003,30(5):102-104

算法框架:算法重定位的一种可操作的方法

下载全文  

算法框架是实现算法重定位的一种可操作的方法.文章给出了算法重定位的定义,讨论了如何通过选择操作和组合操作来设计算法框架.然后给出了定义选择操作和组合操作的一种方法.由文章所定义的算法框架得到求解某一问题的算法模式,从该算法模式就可以生成求解该问题的算法.文章最后讨论了算法框架和算… …   相似文献

栾尚敏  李未  马绍汉 《软件学报》1999,10(7):679-684

多特征融合与独立测度学习的行人再识别

  

目的 由于行人图像受到光照、视角、遮挡和行人姿态等变化的影响,在视觉上容易形成很大的外观差异,对行人再识别造成干扰。为了提高行人再识别的准确性,针对以上问题,提出一种基于多特征融合与独立测度学习的行人再识别算法。方法 首先通过图像增强算法对原始图像进行处理,减少因光照变化产生的影响,然后对处理后的图像进行非均匀分割,同时提取行人图像的HSV、RGS、LAB和YCbCr 4种颜色特征和SILTP（scale invariant local ternary pattern）纹理特征,在基于独立距离测度学习方法下,融合行人的多种特征,学习得到行人图像对的相似度度量函数,最后将行人图像对的相似度进行加权匹配,实现行人再识别。结果 在VIPeR、iLIDS和CUHK01这3个数据集上进行实验,其中Rank1（排名第1的搜索结果即为待查询人的比率）分别达到42.7%、43.6%和43.7%,Rank5（排名前5的搜索结果中包含待查询人的比率）均超过70%,识别率有了显著提高,具有实际应用价值。结论 提出的多特征融合与独立测度学习的行人再识别算法,能够有效表达行人图像信息,且对环境变化具有较强的鲁棒性,有效提高了识别率。… …   相似文献

齐美彬  胡龙飞  蒋建国  高灿 《中国图象图形学报》2016,21(11):1464-1472

基于遗传算法搜索的运动目标跟踪

  

随着视频监视系统智能化要求的提高,监控系统对运动目标的正确跟踪已成为本领域的一个研究热点。如何通过摄像头采集的2维视频画面,获得目标物的纵深运动状态,从而实现对摄像机焦距的控制是需要解决的问题。为此,提出了一种基于遗传算法搜索的运动目标跟踪方法,采用遗传算法,对运动目标的3维边缘… …   相似文献

王栋  朱虹  马文庆 《中国图象图形学报》2009,14(8):1696-1699

基于概率计算模型改进的相关性层次遮挡裁剪算法

下载全文  

对复杂动态场景进行高效的可见性裁剪是实时绘制领域研究中的一个重要问题.围绕该问题开展工作,并针对相关性遮挡裁剪算法中的问题进行了改进.针对相关性层次遮挡裁剪算法存在冗余和不必要遮挡查询的问题,给出了一种概率计算模型.通过比较遮挡查询时间开销与绘制时间开销的数学期望,改进了相关性遮… …   相似文献

梁晓辉  任威  于卓  梁爱民 《软件学报》2009,20(6):1685-1693

基于HSV色彩空间的MODIS云检测算法研究

下载全文  总被引：1，自引：0，他引：1

云是一种自然现象,广泛、高频、不规律地出现在地球上空,因此云也经常在卫星影像上有所体现。在遥感影像中,云覆盖在很大程度上降低了数据的质量和利用率。云检测是进行遥感数据处理与分析的基础和必要环节,因此准确地提取云区所在位置是一个非常有意义的研究课题。提出基于HSV色彩空间的MODI… …   相似文献

李微  李德仁 《中国图象图形学报》2011,16(9):1696-1701

求解二维矩形Packing面积最小化问题的动态归约算法

下载全文  

二维矩形Packing 面积最小化问题(rectangle packing area minimization problem,简称RPAMP)是具有NP难度的高复杂度的布局优化问题,也是大规模集成电路设计中floorplanning 问题的一个核心问题.通过动态构造矩形框的宽和… …   相似文献

何琨  姬朋立  李初民 《软件学报》2013,24(9):2078-2088

渐进图像传输的码率分配快速算法

下载全文  

针对带限时变信道上的渐进图像传输,提出了一种信源信道联合编码码率分配快速算法,首先参考一组速率兼容信道码字的误码性能划分信道分区,在各分区内缩小可用信道码率集后,通过前后向码率搜索求解最佳码率分配。该算法运算复杂度低,计算次数比启发式码率搜索算法降低了一个数量级,缩短了运算时间。… …   相似文献

宋丹  彭华 《中国图象图形学报》2011,16(1):8-13

基于AdaBoost.MH的Reyes渲染架构时间预估算法

  

在大规模真实感渲染系统中,需要对渲染任务进行分解和调度,将其优化后分配给不同的可用计算资源,实现快速集群渲染。为了实现渲染任务的有效分解和调度,提高并行效率,高精度的时间预估算法是不可欠缺的。通过深入研究使用RenderMan规范的渲染器常用的Reyes渲染架构中对渲染时间产生影… …   相似文献

孟庆利  吕琳  靳颖  孟祥旭  孟雷 《计算机科学》2014,41(2):76-81

基于悖论分析和增量求解的快速反例压缩算法

下载全文  

使用反例压缩算法,从反例中剔除冗余信息,从而使反例易于理解,是目前的研究热点.然而,目前压缩率最高的BFL(brute force lifting)算法,其时间开销过大.为此,提出一种基于悖论分析和增量式SAT(boolean satisfiablilty problem)的快速… …   相似文献

沈胜宇  李思昆 《软件学报》2006,17(5):1034-1041

Agent思维状态模型

下载全文  总被引：19，自引：1，他引：19

文章综述了20世纪90年代以来多Agent系统中Agent思维状态模型的研究结果.从直观分析、形式化模型、结构模型、合作研究和应用方面来介绍Bratman的哲学观点、Cohen和Levesque的意图模型、Rao和Georgeff的BDI模型等重要成果,最后介绍了正在开展的工作.… …   相似文献

马光伟  徐晋晖  石纯一 《软件学报》1999,10(4):342-348

一种有效的概率上下文无关文法分析算法^*

下载全文  总被引：4，自引：1，他引：3

句法分析的研究是自然语言处理领域的一个重要组成部分。该提出并实现了一种有效的概率上下无关法ＳＣＦＧ（ｓｔｏｃｈａｓｔｉｃ ｃｏｎｔｅｘｔ－ｆｒｅｅ ｇｒａｍｍｅｒ）的分析算法。首先对原有的ＧＬＲ分析有加以改造,以便能够利用分析过程的控制结构来计算有关的概率;然后对分析过程中的… …   相似文献

朱胜火  周明  刘昕  黄昌宁 《软件学报》1998,9(8):592-597