用户名： 密码： 找回密码 中文版 English 本站信箱 收藏本站 本网介绍

首页加盟期刊收录期刊评价中心文献导读期刊动态博客美文问题解答在线订阅新浪微博RSS
网站动态： 中国计算机期刊网介绍          欢迎关注中国计算机期刊网微信订阅号！          中国计算机期刊网正式发布,欢迎访问!          如何申请成为收录期刊和加盟期刊         
  •   按检索    检索词：    高级检索
     排序：相关度 OA 时间 被引次数 点击次数 下载次数 共有10000条符合的查询结果，以下是第8881-8900项 搜索用时 137 毫秒
[首页] « 上一页 [440] [441] [442] [443] [444] 445 [446] [447] [448] [449] [450] 下一页 » 末  页»
8881.
本文介绍归纳法推理系统的核心──归纳法模式的自动生成程序．该程序从递归函数定义出发,自动生成归纳法模板;从待证定理出发,借助归纳法模板,自动生成归纳法模式和归纳法公式．该系统已在微机上用编译ＬＩＳＰ语言实现．  相似文献
李卫华  张黔  张亮  刘娟 《软件学报》1996,7(3):168-174
8882.
提出了一种基于迭代动态规划的双目Helmholtz立体视觉算法,并将其应用于高光物体的测量。算法首先对获取的Helmholtz图像对作图像校正,然后确定扫描线的端点,最后设计了一种迭代动态规划方法建立匹配获取视差图,从而恢复出高光物体的表面深度。实验采用光线跟踪方法获取带有高光的… …   相似文献
8883.
自动生成测试用例是测试编译程序的途径之一,目前一般均使用Purdom提出的产生式选择策略来自动生成测试用例,本文提出了描述前后文无关文法的一种图表示方法,这种图称为文法的DG图。基于DG图,我们给出了一种优于Purdom策略的新的编译程序测试用例自动生成策略,并讨论了这种策略的实… …   相似文献
8884.
  
介绍了一种基于程序行为切片的测试用例生成系统的实现方案,系统在不扫描全部程序路径的情况下,生成可以覆盖全部程序行为的测试用例集。系统分为静态分析、动态符号执行以及测试用例生成3个模块。在静态分析模块中根据输入的程序代码分析程序的控制流和信息流,提取程序的控制依赖和数据依赖,并计算… …   相似文献
8885.
通过对界面开发库CEGUI（Crazy Eddie＇s GUI）的研究基础上,采用归纳与总结、流程优化及代码与框架重构的思想实现对CEGUI界面库的python脚本封装,形成框架而进行界面开发,并以此框架开发界面编辑器,实现对界面开发流程优化,降低界面开发成本以及提高界面开发效率… …   相似文献
8886.
针对基本分形图像编码算法时间过长的问题,提出了一种基于与中间块比较的快速分形编码算法。该算法是对基于形态特征的快速分形图像编码算法的改进,将形态特征意义下的最近邻匹配改进为与中间块的误差意义下的最近邻匹配,并且在最近邻的邻域内进一步搜索最优匹配父块时,对各父块进行8种等距变换,而… …   相似文献
8887.
下载全文  总被引：3，自引：1，他引：3
给出Petri网弱活性（无死锁）与活性的两个语言刻画,讨论了同步合成Petri网的语言性质,基于Petri网语言,给出了判定Petri网活性的充分必要条件。同时研究了Petri网同步合成过程中活性保持问题,给出保持活性的充分必要条件。这些结果为讨论网的活性测试和控制提供了形式语言… …   相似文献
蒋昌俊  陆维明 《软件学报》2001,12(4):512-520
8888.
本文形式地定义了问题的有序分解,并采用导通率和导通分支系数衡量子目标之间的交互作用,为实际中如何选定子目标提供了一种定量的标准,进一步,本文还论述了如何建立中转站网络,它是一种网络结构的有序分解,且更具有应用潜力。最后本文还给出了一个利用这种网络的搜索算法T_w。  相似文献
8889.
  
图像定位技术在现实中有广泛的应用,如导航、路径规划、虚拟现实等.对于用户而言,只需拍摄一张图像即可实现定位.本文提出了一种基于射线摄像机模型的图像定位系统,包含基于射线模型的三维重构算法和基于位姿图优化的图像定位方法.提出的三维重构算法利用射线模型的内在几何性质,能够处理全景和鱼… …   相似文献
8890.
建立意图后承的形式化推理系统是意图形式化研究中的一个重要课题.提供了一个新的基于\"归约蕴涵\"的意图后承形式系统Lm5c,给出了意图后承的形式规范.与已有的意图后承形式系统相比,这个系统比较简单,并具有许多现有同类系统所不具备的优良性质,比如无副作用.此外,还具有较强的推理能力,可供Agent自身用于意图推理和目标修改.… …   相似文献
朱紫汝  陈小平  周熠 《软件学报》2002,13(7):1271-1277
8891.
下载全文  总被引：2，自引：0，他引：2
为了对步进立方体算法进行加速,首先分析了在等值面生成时此算法出现蜕变点的原因1,并提出了相应的解决方法;然后论述了一种加速步进立方体方法的数据结构——基于层和对象(SOB)的结构,并同八叉树和行程编码方法进行了比较.实验数据表明当数据体中存在一个对象时,SOB方法和八叉树方法的绘… …   相似文献
8892.
提出了一种单视三维重构方法,该方法是利用用户提供图像点及其对应的三维点之间几何信息。由于结构场景是由大量平面构成的,存在大量的平行性、正交性约束,因此该方法主要应用于结构场景的三维重构。首先,相机定标和计算每个平面的度量信息,即先基于3组互相垂直方向的影灭点,对方形像素相机标定,… …   相似文献
8893.
下载全文  总被引：2，自引：1，他引：2
为了更好地利用Snake模型来提取彩色图象中的物体轮廓,因而对Snake原型提出两点主要改进,即针对snake模型的手工初值设置问题,通过引入彩色聚类预处理过程来减少对人的依赖,首先,采用色彩聚类算法对原始图象进行分割,然后用改进的边缘追踪算法提取有意义区域的边缘,并用这一结果作… …   相似文献
李书达  张新荣 《中国图象图形学报》2003,8(11):1266-1271,F007
8894.
  
开放环境下的机器人具有环境敏感性、行为自主性和并发性、反应实时性等特点,这对支撑这类机器人的控制软件及其编程语言提出了新的要求,包括支持对环境进行显式表示,支持自主和并发的行为,需要对行为间在时间、空间、物理上的关系进行规约等等.面向Agent的编程语言将软件系统的基本执行单元视… …   相似文献
8895.
  总被引：10，自引：0，他引：10
文章提出了一种利用Bézier插值曲面进行图像放大的方法,该方法是为数字图像的每一个色彩分量构造一个分块双三次Bzier插值C1曲面,图像放大等价于以不同的采样速率对该曲面进行采样的过程.实验结果表明,该方法可以大大改善放大图像的效果.… …   相似文献
8896.
为了复原缺乏先验知识的降质图像以及探索层析X射线图像重构的新途径,借鉴Spall 和Cristion的随机扰动近似(SPSA)方法,将其扩展到高阶和多元的情形,进而提出了一种新的随机扰动梯度近似算法.此算法无须先验知识或后验概率,具有良好的稳定收敛性.对比实验表明,将此算法用于图… …   相似文献
刘传才  傅清祥 《软件学报》2002,13(10):2044-2050
8897.
下载全文  总被引：12，自引：0，他引：12
对ＰＣＢ的自动检测在信息化时代显得更为重要,该文对检测的关键步骤探针定位进行了研究。其基本原理是利用Ｈｏｕｇｈ交换将边缘检测后的不连续边缘象素连接起来,最后达到判断出标志形状和位置的目的。  相似文献
8898.
下载全文  总被引：3，自引：0，他引：3
在多智能体交互的研究中,KQML(knowledge query manage language)通信模型是最具代表性的.通过对KQML通信模型的分析,为实现在知识水平上面向智能体编程所需的通信支持作了一定的阐述.首先,通过建立KQML状态模型和KQML通信的转换模型,分别针对同… …   相似文献
刘海龙  吴铁军 《软件学报》2002,13(4):853-858
8899.
针对认知网络高度动态性带来的服务随机失效问题,提出了一种服务迁移方法以保障认知网络的 QoS.首先,采用先迁移、后优化的思想,重新生成关联服务有向无环图(directed acyclic graph,简称DAG),并在此基础上提出 DAG 动态重构算法,将关联服务转化为层次化 D… …   相似文献
林俊宇  王慧强  马春光  卢旭  吕宏武 《软件学报》2014,25(10):2373-2384
8900.
提出一个小波域上图像扩散滤波恢复新模型。主要思想是把原图像作为最精细尺度下的小波子带,根据噪声分布的特点,导出保护较大尺度下信息的泛函模型代替小波阈值除噪,对泛函求变分得：Euler-Lagrange方程。新的滤波方法能避免小波阈值除噪的伪Gibbs现象,改进了同类型非线性扩散方… …   相似文献
[首页] « 上一页 [440] [441] [442] [443] [444] 445 [446] [447] [448] [449] [450] 下一页 » 末  页»
关于我们 | 广告服务 | 商务洽谈 | 联系我们 | 免责条款 | 隐私声明 | 网站导航
网站版权所有：中国科学院软件研究所  京ICP备09084417号-9
地址：北京海淀区中关村南四大街4号 邮编：100190 电话：010-62562563 E-mail ： cj_mail@jscas.ac.cn
本系统由:北京勤云科技发展有限公司提供技术支持