•   按检索    检索词:    高级检索
     排序:相关度 OA 时间 被引次数 点击次数 下载次数 共有10000条符合的查询结果,以下是第8821-8840项 搜索用时 104 毫秒
[首页] « 上一页 [437] [438] [439] [440] [441] 442 [443] [444] [445] [446] [447] 下一页 » 末  页»
8821.
  总被引:7,自引:0,他引:7
本文介绍了基于微机的归纳法推理系统。用该系统,作者已证明了一批计算机程序的正确性及一些有价值的程序属性,包括算术表达式编译程序的正确性、FORTRAN编译程序的正确性、LISP解释程序的正确性等。文中简介了系统的理论基础、数据类型、总体结构,举例说明了系统的推理能力等。… …   相似文献
李卫华  张黔 《计算机学报》1996,19(3):230-236
8822.
  总被引:7,自引:0,他引:7
基于特征的设计在当今CAD/CAM技术中扮演了十分重要的角色,本文以我们自行开发的面向机械产品设计的参数货物上造型系统ZD-MCADⅡ^〔1〕为背景,介绍了ZD-MCADⅡ中的全局产品数据模型,给出了特征及其依赖的描述方法,特征依赖以半序网的形式表示,设计特征与制造特征通过特征映… …   相似文献
8823.
  总被引:7,自引:0,他引:7
由于算法的简单和效果的出色,Nave Bayes被广泛地应用到了垃圾邮件过滤当中。通过理论与实验分析发现,结构差异较大的邮件集特征分布差异也较大,这种特征分布差异影响到了Nave Bayes算法的效果。在此基础上,论文提出了一种基于结构特征的双层过滤模型,对不同结构的邮件使用… …   相似文献
王斌  许洪波  王申 《计算机应用》2006,26(1):191-0194
8824.
  总被引:7,自引:0,他引:7
本文主要介绍了将人工智能技术与传统数据处理技术有机地相结合,处理测土配方施肥决策的方法等处理技术。  相似文献
8825.
  总被引:7,自引:0,他引:7
本文提出概念模型的概念,作为实际问题到Petri网模型的桥梁,也就是系统的规格说明,概念模型包括功能图,资源图和约束集三部分,由此将系统设计中的功能与环境严格区分开,给出实际问题到概念模型,以及概念模型到Petri网模型的转换算法,从而构成一个面向功能的系统的Petri网规范设计… …   相似文献
蒋昌俊 《计算机学报》1995,18(7):532-538
8826.
  总被引:7,自引:1,他引:7
本文介绍了作者与合作者们研制成功的城市交通智能式实时控制系统(简称TICS)的硬体结构框图,从交通工程学、计算机技术、系统结构和控制方式等角度分析了它的基本原理,给出了包括主控回路和学习回路的控制原理框图,从交通状态推理和实时控制变量推理二个方面介绍了它的推理机制,说明了它的学习… …   相似文献
8827.
  总被引:7,自引:0,他引:7
本文综述了赋形波束双弯曲反射器天线理论之研究。主要内容是:反射器的分类问题;提出了可采用一般的椭圆型条带(称为斜条带)来组成反射器,而水平带和焦点带只是它的特殊情形,使得综合理论更一般化;给出了此类天线远区场的主极化分量和交叉极化分量的计算公式,以及馈源斜置时和馈源偏离轴线时天线… …   相似文献
8828.
下载全文  总被引:7,自引:0,他引:7
H.324系统中,H.263图象编码速度一直是影响系统实时性能的瓶颈,而运动搜索和DCT等模块又是其中运算量最大的模块,为了进一步降低图象编码的运算量,提出了一种基于零块发现的运动搜索方法。该方法在对活动图象进行运动搜索时,应用了一种基于发现全零块的中止准则,使得H.263中占用… …   相似文献
8829.
下载全文  总被引:7,自引:1,他引:7
针对风线与曲面拟事问题,研究多结点样条插值方法。这类方法具有基数型,显式计算及局部性等优点。主要的新结果是:对多结点样条基本函数的构造给出了新的表述;提出了一类新的不带移动的混合形多结点样条基本函数;基于多尺度分析的思想,给出了一种自适应的细化算法,它对消减采样数据的相关性是简便… …   相似文献
8830.
  总被引:7,自引:1,他引:7
提出了一个基于状态和变化的统一时空数据模型SCUDM(state and change based unified spatio-temporial datamodel).时空数据库的状态是关于对象、空间和时间的三元组,时空数据库的变化就是状态的变化.按照对象域、空间域和时间域将… …   相似文献
郑扣根  谭石禹  潘云鹤 《软件学报》2001,12(9):1360-1365
8831.
  总被引:7,自引:0,他引:7
首先介绍了虚拟旅游的基本概念、研究意义、开发模式和主流开发平台,进而针对虚拟旅游的关键技术作了综述性研究,最后对虚拟旅游将来的开发方向进行了展望性研究。  相似文献
8832.
  总被引:7,自引:1,他引:6
作为现代工业过程运行的首道保护层,报警系统对保障过程安全、可靠和高效生产起着举足轻重的作用.然而,目前大多数工业报警系统存在着“报警泛滥”这一问题,严重影响了报警系统的应有功能.本文结合工业过程特点和报警管理生命周期,总结了导致“报警泛滥”的主要原因,并依据这些原因,从报警建模与… …   相似文献
8833.
  总被引:7,自引:1,他引:6
An adaptive output feedback neural network tracking controller is designed for a class of unknown output feedback nonlinear time-delay syste… …   相似文献
8834.
  总被引:7,自引:3,他引:7
雾是常见的一种自然现象,它将使所拍摄到的图像模糊不清。将雾对景物的退化作用等效成照度变化的结果,根据Retinex理论及有雾图像直方图的特点,分析了MSR算法,采用正态截取拉伸对其输出图像进行处理,取得了较好的图像去薄雾效果。  相似文献
芮义斌  李鹏  孙锦涛 《计算机应用》2006,26(1):154-0156
8835.
下载全文  总被引:7,自引:0,他引:7
三维立体重建中的主要难题之一就是如何有效选择兴趣点,虽在文献[2]-[5]中提出了各种算法,但这些方法计算量大,且不能有效抑制干扰噪声,对光照条件的要求也十分苛刻,基于此,提出了一种二维图象特征点快速提取方法,通过与文献[2],[4]中方法就特征点识别与提取结果的实验对比,证实了… …   相似文献
8836.
  总被引:7,自引:0,他引:7
为了实现准确分词,实用的汉语信息处理系统都需有其专用的领域词典.针对现有词典构造方法存在的不足,本文提出了一种领域词典的构造方法;利用通用词典对领域生语料进行分词处理,并提出了基于切分单元的最大匹配算法,从而得到候选词串集,然后利用规则对其进行优化,最终生成领域词典.词典的生成过… …   相似文献
8837.
  总被引:7,自引:0,他引:7
结合人眼的视觉感知特性与图像的局部相关特性,提出了一种基于模糊聚类分析的自适应图像空间域水印嵌入算法.该算法首先根据人眼视觉系统(HVS)的感知特性,结合模糊c-均值(FCM)聚类分析,自适应确定出数字水印嵌入位置;然后利用图像自身的局部相关性,通过修改像素值,将二值水印图像降维… …   相似文献
8838.
  总被引:7,自引:0,他引:7
Web服务作为一种崭新的分布式计算模型,是Web上数据和信息集成的有效机制。动态Web服务组合作为一种灵活、快速集成信息的重要方法,成为开放异构环境中复杂分布应用的新的研究热点。本文首先分析了几种Web服务描述方式并给出了动态Web服务组合定义及模式;其次,结合目前存在的一些组合… …   相似文献
8839.
  总被引:7,自引:0,他引:7
有效的任务调度与放置是发挥可重构计算性能优势的重要因素.针对实时任务在二维可重构器件上的在线调度问题,定义了调度算法完全识别的概念,即算法不会拒绝能够成功调度的任务.提出了新的实时在线调度与放置算法,充分利用了任务的时间信息,实现了完全识别的调度.实验表明,与已有的算法相比,新算… …   相似文献
周学功  梁樑  黄勋章  彭澄廉 《计算机学报》2007,30(11):1901-1909
8840.
  总被引:7,自引:0,他引:7
手写汉字切分是根据输入笔迹的空间位置关系进行汉字部件的合并切分,形成完整的汉字笔划以便进行识别处理.综合利用了汉字部件的结构位置关系和笔划的空间位置关系,根据笔划的最小生成树(minimal spanningtree,简称MST)对联机连续手写输入汉字进行切分,取得了较好的切分结… …   相似文献
韩勇  须德  戴国忠 《软件学报》2006,17(3):403-409
[首页] « 上一页 [437] [438] [439] [440] [441] 442 [443] [444] [445] [446] [447] 下一页 » 末  页»