多媒体节目时序描述的组合技术

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

组合性是形式描述研究的基本问题,便于大型程序的设计、分析、测试和复用.为了方便用户编制大型多媒体系统的时序描述,组合模型是必须的.目前,这样的模型有基于语言的、基于图形的、基于时间区间的和面向对象的等等.但是,这些模型描述层次过低,很难支持两个多媒体节目之间的时序描述.通过引入单… …   相似文献

赵琛 《软件学报》2001,12(3):398-404

基于广义污点传播模型的操作系统访问控制

下载全文  

动态调整安全级是目前提高强制访问控制模型可用性的主要途径,它大致包括两类方法.其中,安全级范围方法对主体权限最小化的支持不够,而污点传播方法存在已知隐蔽通道.提出了保护操作系统保密性和完整性的广义污点传播模型(generalized taint propagation model… …   相似文献

杨智  殷丽华  段洣毅  吴金宇  金舒原  郭莉 《软件学报》2012,23(6):1602-1619

一个统一的程序验证框架

下载全文  

本文提出了一个简单的方法,其中程序和其性质都由一个逻辑：时序逻辑中的公式表示．文中给出了一个程序的转换模块的定义,提出了时序执行语义的概念．它是一个时序公式,精确地说明了一个程序．将时序逻辑作为规范语言,程序正确性就意味着说明程序的公式蕴含说明性质的公式,其中蕴含即为一般的逻辑蕴… …   相似文献

贾国平  郑国梁 《软件学报》1997,8(2):107-114

数据挖掘与决策支持系统

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

决策支持系统的建立是一项复杂的系统工程。本文分析传统决策支持系统开发中存在的问题．探讨数据挖掘技术在决策支持中的应用,讨论基于这一技术的决策支持系统建立中的有关问题,如数据挖掘的层次空间、数据仓库的组织、知识发现方法等,最后进一步提出决策支持系统的基本结构框架和系统的建立方法。… …   相似文献

谢榕 《计算机系统应用》1999,8(8):9-11

模糊支持向量机中隶属度的确定与分析

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

针对目前模糊支持向量机方法中,一般使用特征空间中样本与类中心之间的距离关系构建隶属度函数的不足,提出了一种新的有效地反映样本不确定性的隶属度计算方法——基于样本紧密度的隶属度方法。在确定样本的隶属度时,不仅考虑了样本与类中心之间的关系,还考虑了类中各个样本之间的关系,并采用模糊连… …   相似文献

张翔  肖小玲  徐光祐 《中国图象图形学报》2006,11(8):1188-1192

无线IP网络中一种针对实时流的报头压缩算法

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

无线IP网中,为了能够有效利用带宽资源,使提供实时业务具有经济上的可行性和现实性,必须采用报头压缩技术减小协议报头带来的额外开销.然而,现有的报头压缩方案在设计时没有考虑无线信道状态.为了能够更好地适应无线链路特性,提出并分析了一种无线IP网络中针对实时流的基于信道状态的健壮报头… …   相似文献

吴亦川  郑健平  黄奎  赵壮  吴志美 《软件学报》2005,16(6):1159-1167

基于约束区域神经网络的动态遗传算法

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

提出一种基于约束区域神经网络的动态遗传算法,将遗传算法的全局搜索和约束区域神经网络模型的局部搜索结合了起来.利用动态遗传算法确定神经网络模型的初始点,同时使用神经网络确定动态遗传算法的适应度函数.该算法具有一定的理论意义和生物意义.与标准的遗传算法相比,缩小了搜索规模,可获得不定… …   相似文献

陶卿  曹进德  孙德敏  方廷健 《软件学报》2001,12(3):462-467

云计算环境下基于评价可信度的动态信任评估模型

  

针对云用户如何选取可信的云服务提供商问题,提出了基于评价可信度的动态信任评估模型。该模型将云服务提供商的服务能力和云用户所需求的服务能力分别划分等级,有效地解决了云服务提供商服务能力动态变化对模型存在的潜在破坏问题。建立了信任度随时间窗变化的动态信任机制,在计算信誉度时,将用户的… …   相似文献

张琳  饶凯莉  王汝传 《通信学报》2013,34(Z1):31-37

RSA 踪迹驱动指令Cache 计时攻击研究

下载全文  

指令Cache 攻击是基于获取算法执行路径的一种旁路攻击方式.首先,通过分析原有RSA 指令Cache 计时攻击存在可行性不高且能够获取的幂指数位不足等局限性,建立了新的基于监视整个指令Cache 而不只是监视特定指令Cache 的踪迹驱动计时攻击模型;然后,提出了一种改进的基于… …   相似文献

陈财森  王韬  郭世泽  周平 《软件学报》2013,24(7):1683-1694

应用可变形模型进行曲线曲面光顺

  总被引：12，自引：0，他引：12

根据物理模型的造型技术可以从另一个角度研究曲线曲面的光顺问题.基于能量的可变形曲线曲面可用于光顺一批有误差的散乱数据点.该方法不必要求数据点有序的条件,通过在数据点与曲线和曲面之间连接假想弹簧,可以克服“光顺”和“插值”的矛盾,得到所需形状.文章采用三次B样条几何表达形式,建立了… …   相似文献

经玲  席平  唐荣锡 《软件学报》1998,9(6):464-468

基于机器学习的彩色匹配技术

  总被引：15，自引：1，他引：15

在不同的设备间保持色彩的一致性是当前彩色印刷的一项重要的世界性技术难题.从机器学习的角度,提出了基于学习的色彩空间变换方法,并利用科学发现的基本思想,较为成功地解决了彩色喷墨打印机中的彩色匹配的自动化和通用性问题,取得了理想的匹配效果.该技术目前已与日本佳能泰克公司进一步合作、开… …   相似文献

钱国良  陈彬  舒文豪  洪勇  马培军 《软件学报》1998,9(11):845-850

一种改进的快速独立分量分析算法及其在图象分离中的应用

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

独立分量分析是信号处理技术的新发展,它作为盲信号分离的一种有效的方法而受到广泛的关注,并在许多方面获得成功应用.讨论了独立分量分析的基本原理、判断条件和算法,并在此基础上,介绍了独立分量分析的一种快速算法——FastICA算法;对FastICA算法的核心迭代过程进行改进,得到M-… …   相似文献

曾生根  朱宁波  包晔  夏德深 《中国图象图形学报》2003,8(10):1159-1165

保障连续媒体流用户层QoS 的缓存控制

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

研究了缓存控制对媒体流用户层QoS 的影响.多媒体系统信宿端通常采用播放缓存来补偿时延抖动,提高媒体流播放的连续性.缓存控制虽然能够降低时延抖动的影响,却增加了端到端时延.时延或时延抖动是用户可感知的QoS 参数,缓存控制对用户层QoS 的影响究竟如何呢?利用已有的应用层向用户层… …   相似文献

邱菡  李玉峰  邬江兴 《软件学报》2009,20(7):1921-1930

遗传算法在高校排课系统中研究与实现

下载全文  

随着高校的不断扩招和合并,由于教学资源的有限,合理的安排教学计划已经成为一个日益严峻的问题. 排课以及教室的合理利用已经成为教学计划管理的一项重要工作. 本文通过对遗传算法和高校排课需求的研究,从教室调度,冲突检测和时间规划三个方面进行深入分析,并且对对应算法的流程进行了详细的描… …   相似文献

马玉芳  张海娜  邵杰 《计算机系统应用》2014,23(5):112-115

异构集群系统中具有QoS 需求的实时任务容错调度

下载全文  

容错调度是调度问题中一个重要的研究内容,是提高系统可靠性的有效手段.目前已有很多集群系统中实时任务的容错调度算法,但是这些算法都没有考虑到任务的QoS需求问题.提出了一种异构集群系统中具有QoS需求的实时任务容错调度算法FTQ(fault-tolerant QoS-based s… …   相似文献

朱晓敏  祝江汉  马满好 《软件学报》2011,22(7):1440-1456

PLN网络的改进及其应用

下载全文  

本文在分析概率逻辑神经元（ＰＬＮ）网络原型存在不足的基础上,提出ＰＬＮ元件的一个改进模型,并指出原来的ＰＬＮ网络模型、Ｈｏｐｆｉｅｌｄ学习律以及Ｂｏｌｔｚｍａｎ机的演化律等都是ＰＬＮ网络改进模型的特例．文中还给出ＰＬＮ网络改进模型在联想记忆应用中的模拟实验结果,说明改进模型无论在… …   相似文献

张钹  张铃 《软件学报》1994,5(3):1-11

基于相对角分布聚类和支持向量机的3维人脸特征点匹配技术的研究

下载全文  

人脸特征点自动定位及对应点匹配是计算机视觉和模式识别领域一个非常热门的研究方向,应用领域包括图像配准、对象识别与跟踪、3维重建、立体匹配等。通过相对角直方图分布和K均值聚类确定脸部特征点的聚类点集,再利用几何信息提取聚类点集的特征,进而采用支持向量机分类最终从点集中分离出39个脸… …   相似文献

麻宏静  张德同  冯筠  耿国华 《中国图象图形学报》2011,16(5):850-856

基于格值命题逻辑系统LP(X)的多元α-归结原理的注记

  

进一步深入研究了基于格蕴涵代数的格值命题逻辑系统LP(X)的多元α-归结原理的基本理论,给出了基于LP(X)的多元α-归结演绎中参与多元α-归结的广义文字个数随着归结演绎的推进而动态变化的基本原则;对基于LP(X)的多元α-归结原理的有效性进行了一定分析,这为建立基于LP(X)的… …   相似文献

刘熠  徐扬  贾海瑞 《计算机科学》2015,42(4):249-252, 280

前景判别的局部模型匹配目标跟踪

下载全文  

目的 在复杂背景下,传统模型匹配的跟踪方法只考虑了目标自身特征,没有充分考虑与其所处图像的关系,尤其是目标发生遮挡时,易发生跟踪漂移,甚至丢失目标。针对上述问题,提出一种前景判别的局部模型匹配(FDLM)跟踪算法。方法 首先选取图像帧序列前m帧进行跟踪训练,将每帧图像分割成若干超像素块。然后,将所有的超像素块组建向量簇,利用判别外观模型建立包含超像素块的目标模型。最后,将建立的目标模型作为匹配模板,采用期望最大化(EM)估计图像的前景信息,通过前景判别进行局部模型匹配,确定跟踪目标。结果 本文算法在前景判别和模型匹配等方面能准确有效地适应视频场景中目标状态的复杂变化,较好地解决各种不确定因素干扰下的跟踪漂移问题,和一些优秀的跟踪算法相比,可以达到相同甚至更高的跟踪精度,在Girl、Lemming、Liquor、Shop、Woman、Bolt、CarDark、David以及Basketball视频序列下的平均中心误差分别为9.76、28.65、19.41、5.22、8.26、7.69、8.13、11.36、7.66,跟踪重叠率分别为0.69、0.61、0.77、0.74、0.80、0.79、0.79、0.75、0.69。结论 实验结果表明,本文算法能够自适应地实时更新噪声模型参数并较准确估计图像的前景信息,排除背景信息干扰,在部分遮挡、目标形变、光照变化、复杂背景等条件下具有跟踪准确、适应性强的特点。… …   相似文献

刘大千  刘万军  费博雯 《中国图象图形学报》2016,21(5):616-627

带约束的摄像机定标方法

下载全文  

由于积累误差和摄像机内部参数的校正误差,基于视觉的摄像机定标结果尽管在图像上的重投影误差很小,但是重建的空间结构往往存在一定程度的扭曲。提出了一种带约束的摄像机定标算法,将场景中存在几何条件（如摄像机路径在一条直线上）作为约束条件,对摄像机定标结果进行再优化,使得重建的空间与真实… …   相似文献

高俊鑫  华炜  章国锋  秦学英 《中国图象图形学报》2010,15(3):536-540