首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   147篇
  国内免费   10篇
  完全免费   68篇
  自动化技术   225篇
  2018年   2篇
  2017年   3篇
  2016年   1篇
  2015年   7篇
  2014年   19篇
  2013年   9篇
  2012年   15篇
  2011年   13篇
  2010年   17篇
  2009年   15篇
  2008年   21篇
  2007年   32篇
  2006年   14篇
  2005年   11篇
  2004年   11篇
  2003年   6篇
  2002年   5篇
  2001年   3篇
  2000年   3篇
  1999年   4篇
  1997年   6篇
  1996年   3篇
  1995年   2篇
  1993年   1篇
  1992年   1篇
  1991年   1篇
排序方式: 共有225条查询结果,搜索用时 46 毫秒
1.
The loop invariants take a very important role in the design,proof and derivation of the algorithmic program.We point out the limitations of the taditional standard strategy for developing loop invariants.and propose two new strategies for proving the existing algorithmic program and developing new ones.The strategies ure recurrence as vehicle and integrate some effective methods of designing algorithms,e.g.Dynamic Porgramming,Greedy and Divide-Conquer,into the recurrence relation of problem solving sequence.This lets us get straightforward an approach for solving a variety of complicated problems,and makes the standard proof and formal derivation of their algorithmic programs possible.We show the method and advantages of applying the strategies with several typical nontivial examples.  相似文献
2.
隐式曲线、曲面的几何不变量及几何连续性   总被引:12,自引:3,他引:9  
张三元 《计算机学报》1999,22(7):774-776
首先给出了隐式曲线的曲主计算公式的隐式表达形式,进而给出了隐式曲面的高斯曲率公式以及平均曲率公式的隐式形式,其次利用曲面的几休不变量高斯曲率和平均曲率的连续性和到了一种代数曲面之间的过渡曲面的构造方法,使得过渡曲面也是代数曲面,且能合这渡曲面的尽可能低,并且过渡曲面与给定的曲面有达到G^2连续,最后给出一个应用实例。  相似文献
3.
轮廓矩不变量及其在物体形状识别中的应用   总被引:12,自引:2,他引:10  
为了有效地刻画物体的形状特征,在基于区域的Hu矩不变量的基础上,构造了一种基于物体轮廓曲线的新的矩不变量,即轮廓矩不变量。该不变量不仅独立于物体本身的颜色和灰度级,而且具有平移、旋转和尺度不变性,因此可将轮廓矩不变量应用于物体形状的识别,为了能快速地进行物体形状识别,还讨论了小波边缘检测和轮廓的获取问题及其算法。实验表明,基于这种轮廓矩的识别算法具有很好的识别率。  相似文献
4.
基于结构矩不变量的形状相似性比较   总被引:7,自引:0,他引:7  
李宗民  李华 《计算机工程》2006,32(8):189-191
在传统的几何矩定义的基础上进行扩展,给出了结构矩的定义和计算。其实质是对原有几何矩定义中的密度函数经过变换得到新的密度函数。在此基础上定义的不变矩突出或者扩大了形状之间的差别,因而使形状相似性的比较建立在更为可靠的基础上。基于平方变换的实验表明,与传统的几何矩相比结构矩方法具有更好的效果。  相似文献
5.
基于Petri网的语义Web服务自动组合方法   总被引:7,自引:0,他引:7       下载免费PDF全文
汤宪飞  蒋昌俊  丁志军  王成 《软件学报》2007,18(12):2991-3000
Web服务组合使得开发人员可以快速地创建自己的应用程序.但是,随着Internet上可用的Web服务数目的增加,Web服务组合是一项高度复杂的任务.针对语义Web服务的自动组合问题,提出了一种既考虑服务输入/输出又考虑服务行为约束的自动组合方法.首先,注册服务被转化为一组Horn子句形规则,用户的输入和输出请求分别被转化为Horn子句中的事实和目标,从而将寻找满足用户输入/输出请求的合成服务问题转化为Horn子句的逻辑推理问题;然后,用Petri网来为该Horn子句集建模,T-不变量技术被用来判定是否存在满足用户输入/输出请求的合成服务;最后给出了两种算法来获取既满足用户输入/输出请求又满足用户行为约束的合成服务的Petri网模型.  相似文献
6.
基于几何不变量的图像特征识别   总被引:6,自引:0,他引:6  
图像的特征识别是图像处理和识别中的一个重要问题,几何不变量作为特征的特征值在很多领域已经得到了广泛的应用。实际中,普遍采用在仿射变换及射影变换下保持不变的仿射、射影不变量作为特征值。本文根据具体图像的特点,利用4类仿射和射影不变量构成特征的特征值空间,依据4步识别策略来识别图像中的特征点,从而完成识别任务。实验表明,这4类不变量能够较好地识别出实际图像中的特征。  相似文献
7.
共形几何代数与几何不变量的代数运算   总被引:4,自引:0,他引:4  
几何不变量的使用是计算机视觉和图形学的一个重要手段.发现一个不变量后,如何找到它与其他不变量的关系,是实际应用中的一个重要问题,这种关系的探讨主要依靠在不变量层次上的代数运算.文中介绍了共形几何代数中的基本、高级和有理不变量如何在几何问题中自然出现,它们之间如何进行代数运算,以及如何通过不变量的化简,自然地得到几何条件的充分必要化和几何定理的完全化.几何定理的机器证明作为几何定理完全化的副产品,被发展成几何定理的关系定量化,这种量化的几何还原就是几何定理的自然推广.几何不变量之间的几何关系的计算是这些技术的一个具体应用.  相似文献
8.
具有不可控变迁离散事件系统的Petri网控制器   总被引:4,自引:2,他引:2       下载免费PDF全文
考虑可用具有不可控变迁的受控Petri网建模的离散事件动态系统.提出了在这类 系统中实现一组不等式约束的控制器的综合方法.所提出的控制器可通过给系统Petri网模 型增加一些Petri网元素来实现,其计算是建立在本文提出的Petrl网的路增益概念基础上 的.方法是系统、简单、计算量小.  相似文献
9.
使用Petri网T-不变量求解子句的逻辑推论   总被引:3,自引:0,他引:3  
本文研究了子句逻辑规则的Petri网模型的表示及使用Petri网分析方法进行逻辑推论.基于四值逻辑和冲突变迁的概念,表示了非Horn子句Petri网模型的构造,并使用T-不变量方法解决于句推论问题.另外,本文还显示了向前推论和向后推论在子句Petri网模型中的应用.  相似文献
10.
二维连续形变物体的计算机识别技术研究   总被引:3,自引:1,他引:2  
冯志全  李金屏  董吉文  赵磊  蔡镜 《计算机学报》2003,26(12):1637-1644
在对包括连续形变物体等在内的基本概念给出严格定义的基础上(为使该文自封闭),首先对物体的刚性相似问题进行了深入研究,提出了新的不变量理论,即长度相似不变量和方向相似不变量,进一步揭示出物体拓扑相似与物体刚性相似之间所存在的内在联系,最后研究了物体连续形变与物体拓扑相似之间的内在联系,并以定理形式给出了物体连续形变的充要条件——成为该文识别算法的理论依据;另外,拓扑同胚以及相似不变量等概念在算法的研究过程中起着较为重要的作用.  相似文献
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号