•   按检索    检索词:    高级检索
     排序:相关度 OA 时间 被引次数 点击次数 下载次数 共有10000条符合的查询结果,以下是第8901-8920项 搜索用时 140 毫秒
[首页] « 上一页 [441] [442] [443] [444] [445] 446 [447] [448] [449] [450] [451] 下一页 » 末  页»
8901.
针对红外图像中的小目标检测,提出了一种利用经验模态分解(EMD)提取海空背景下红外弱小目标的新方法。该方法基于Delaunay三角剖分和分段三次样条插值,将1维EMD方法推广到2维,并将其应用于红外图像中的小目标的检测。仿真实验结果表明,该新方法能快速和准确地检测出海空背景下的红… …   相似文献
邓鹤  李红 《中国图象图形学报》2008,13(11):2144-2150
8902.
针对认知网络高度动态性带来的服务随机失效问题,提出了一种服务迁移方法以保障认知网络的 QoS.首先,采用先迁移、后优化的思想,重新生成关联服务有向无环图(directed acyclic graph,简称DAG),并在此基础上提出 DAG 动态重构算法,将关联服务转化为层次化 D… …   相似文献
林俊宇  王慧强  马春光  卢旭  吕宏武 《软件学报》2014,25(10):2373-2384
8903.
下载全文  总被引:4,自引:0,他引:4
本文提出在大型互联网络上实现协作求解的一种方法.基于假设的协作求解模型ACPS(assumption-basedcooperativeproblemsolving)能够实现不确定环境下多主体间的连续协作求解.本文介绍了ACPS模型的基本思想,并以军事态势估计问题为背景简要说明了该… …   相似文献
姚莉 《软件学报》1997,8(12):914-919
8904.
  总被引:1,自引:0,他引:1
基于上下文的自适应二进制算术编码(context-based adaptive binary coding,CABAC)是一种高效的熵编码方法,但是其高计算复杂度制约了该算法的编码速度,已成为其应用的一个主要瓶颈。为解决此问题,在分析CABAC算法及其计算复杂度的基础上,对其概率… …   相似文献
8905.
  
鉴于医学图像层间插值是医学数据可视化的一个关键环节,它直接影响人体组织器官的3维重建结果和医疗诊断的正确性和准确性,为此,针对传统医学图像层间插值方法精度不高和效率低下的缺陷,提出了一种基于像素分类的医学图像层间插值方法。该方法首先根据待插值图像与其相邻原始图像的对应像素的相关性… …   相似文献
8906.
本文叙述了两类并行文件系统中diskcache一致性的维护方法,并基于release一致性模型,给出了其正确性证明.  相似文献
8907.
下载全文  总被引:1,自引:0,他引:1
视频目标分割与立体匹配是目标基立体视频编码中的核心技术.首先在单通道视频目标分割的基础上提出一种轮廓跟踪匹配算法,以提取立体视频目标对,然后提出一种基于目标的视差估计算法.它以具有特征信息的像素为匹配基元,结合视差匹配约束进行视差估计,克服了传统块匹配算法视差场不连续、视差精度差… …   相似文献
朱仲杰  郁梅  蒋刚毅  吴训威 《软件学报》2003,14(11):1971-1976
8908.
作为电网企业对外服务窗口,电网客户服务中心需要整合企业内部各种异构数据资源、存贮和分析海量的客户服务语音信息和 WEB 服务信息。如何对电网企业各类数据进行高效、可靠、低廉地存储,并快速访问和分析,是当前重要的研究课题。首先分析了大数据的特征和大数据的关键技术,其后,设计了大数据… …   相似文献
8909.
建立意图后承的形式化推理系统是意图形式化研究中的一个重要课题.提供了一个新的基于\"归约蕴涵\"的意图后承形式系统Lm5c,给出了意图后承的形式规范.与已有的意图后承形式系统相比,这个系统比较简单,并具有许多现有同类系统所不具备的优良性质,比如无副作用.此外,还具有较强的推理能力,可供Agent自身用于意图推理和目标修改.… …   相似文献
朱紫汝  陈小平  周熠 《软件学报》2002,13(7):1271-1277
8910.
本文论述从逻辑程序本身提取启发式控制信息,以克服由于逻辑语言系统中控制策略的机械性所带来的不完备性和低效性。具体地给出若干启发式控制规则,并证明了这些规则的正确性。运用这些控制规则可以大大地提高系统的运行效率或改善逻辑程序的语义性质。文章最后给出启发式WAM(记作HWAM),并且… …   相似文献
8911.
本文提出了基于演绎和知识相结合的通过构造性证明综合程序的方法,进而讨论了不确定型逻辑程序的综合和自动综合的有关问题。用append程序的综合展示了这些方法。  相似文献
8912.
  
针对传统推荐系统中存在的冷开始和准确性等问题,提出了一种基于改进URP模型和K近邻的推荐方法.该方法利用改进的URP模型对用户和项目进行建模,可以有效地解决新用户的问题;并通过推荐项目的K近邻对预测等级进行优化,可以显著提高对新项目预测的准确性.实验结果表明,该方法可以有效地解决… …   相似文献
8913.
提出的Java芯片操作系统是一个基于Java芯片系统的、针对嵌入式应用的面向对象操作系统.它由服务器、内核和转换层等3种组件构成.这些组件的抽象特征构成了其基本框架.特定组件继承了上述的特征,并进行特化.与经典操作系统相比,该操作系统更容易开发和维护,并具有更好的可伸缩性、代码的… …   相似文献
陈虎  戴葵  杨晓东  胡守仁 《软件学报》2002,13(4):774-782
8914.
  
针对传统盲源分离算法无法在单路接收的跳频通信场景中使用的问题,提出一种结合经验模态分解的单通道盲源分离跳频通信抗干扰方法。首先通过理论分析和仿真确定了采用EMD对混有干扰的单路接收跳频信号进行增维的方法,将单通道盲分离的欠定问题转为正定问题,之后分别利用全盲盲源分离和半盲盲源分离… …   相似文献
齐扬阳  于淼 《计算机科学》2016,43(1):149-153
8915.
  
图像修补是图像恢复研究中的一个重要内容,它的目的是根据图像的现有信息来自动恢复丢失的信息。虽然图像修补的基本思想十分简单,但是许多的图像修补算法都十分复杂,而且难于实现。快速行进算法(FMM)与水平集法(Level Set)相结合进行曲线进化是一种高效的曲线进化算法,该算法的时间… …   相似文献
8916.
模型转换是模型驱动开发中的核心技术.为了解决复杂的转换问题,需要将多个相对简单的转换组合起来构成组合转换.目前存在多种转换技术,它们之间存在异构性,阻碍了组合转换的实现.首先分析实现组合转换的必要条件,进而提出一个组合转换模型,其中主要包括公共类型表示、公共模型表示、公共转换描述… …   相似文献
何啸  麻志毅  冯超  邵维忠 《软件学报》2012,23(4):816-830
8917.
下载全文  总被引:4,自引:2,他引:4
本文描述了断言信度偏差,规则强度偏差,断言可靠度,规则可靠度,二级不确定性等概念,给出了处理信度偏差与规则强度偏差的推理方法和具有两级不确定性(可信度,可靠度)的推理模型,本文还对参与协作的诸ES所输出的结论的评价方法进行了讨论。  相似文献
8918.
Russo提出了一种模糊图像增强方法,该方法的效果由一个事先给定的参数来控制,由于同一幅图像不同区域的灰度值分布不尽相同,所以固定的参数并不能取得满意效果。为了获得更好的滤噪效果,研究了一种基于图像区域信息的改进的自适应模糊图像增强方法。该方法首先计算每个像素与其邻域像素的平均灰… …   相似文献
8919.
下载全文  总被引:2,自引:0,他引:2
深入研究了多主体系统中的交互及其协议,并用一种进程演算;即π演算进行了形式化的描述.为了研究主体之间的交互,首先对参与交互的主体的行为进行了分类,并形式化地描述了其行为规范,然后用进程定义了主体间的交互协议,并在此基础上分析了主体交互的一致性及无死锁性.  相似文献
焦文品  史忠植 《软件学报》2001,12(8):1177-1182
8920.
下载全文  总被引:1,自引:1,他引:1
本文介绍了知识库更新的基本概念及命题知识库更新的复杂性研究现状.近年来,学者们提出了许多方法进行命题知识库的更新,一类是基于公式的方法;一类是基于模型的方法,但所有这些方法在通常情况下都是难解的.本文讨论基于公式的Ginsberg更新方法,并给出在公式个数远小于变元个数情况下的一… …   相似文献
陶雪红  孙伟  马绍汉 《软件学报》1996,7(5):300-305
[首页] « 上一页 [441] [442] [443] [444] [445] 446 [447] [448] [449] [450] [451] 下一页 » 末  页»