首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   868篇
  国内免费   25篇
  完全免费   298篇
  自动化技术   1191篇
  2018年   6篇
  2017年   17篇
  2016年   18篇
  2015年   20篇
  2014年   38篇
  2013年   32篇
  2012年   68篇
  2011年   108篇
  2010年   74篇
  2009年   100篇
  2008年   118篇
  2007年   98篇
  2006年   98篇
  2005年   66篇
  2004年   57篇
  2003年   51篇
  2002年   36篇
  2001年   30篇
  2000年   24篇
  1999年   12篇
  1998年   18篇
  1997年   14篇
  1996年   11篇
  1995年   16篇
  1994年   10篇
  1993年   11篇
  1992年   7篇
  1991年   9篇
  1990年   1篇
  1989年   3篇
  1988年   2篇
  1987年   2篇
  1986年   2篇
  1984年   5篇
  1982年   3篇
  1980年   2篇
  1977年   1篇
  1975年   3篇
排序方式: 共有1191条查询结果,搜索用时 31 毫秒
1.
火焰、烟、云等不规则物体的建模方法研究综述   总被引:53,自引:1,他引:52  
对计算机图形学领域的火焰,烟、云等不规则物体建模及模拟方法的研究动态进行了综述性介绍,在介绍描述云的分形几何模,描述火焰的细胞自动模型,描述气体现象运动特征的扩散过程及粒子系统模型,纹理映射模型和光照模型的基础上,分析和总结了几个主要方法的特点及使用场合。  相似文献
2.
改进的多模式匹配算法   总被引:28,自引:2,他引:26  
在有限自动机的多模式匹配算法(DFSA算法)的基础上,结合Quick Search算法的优点,提出了一个快速的多模式字符串匹配算法,之后在算法中以连续跳跃的思想,给出了另一个更加有效的改进,在一般情况下,这两个算法不需要匹配目标文本串中的每个字符,并充分利用了匹配过程是本次匹配不成功的信息,跳过尽可能多的字符,在模式串较长和较短的情况下,算法都有很好的性能,实验表明,在模式串较短时,所提出的算法需要的匹配时间仅为DFSA算法的1/2到1/5,在模式串较长时,所需时间为DFSA算法的1/3至1/7。  相似文献
3.
UML Statecharts的模型检验方法   总被引:23,自引:2,他引:21       下载免费PDF全文
董威  王戟  齐治昌 《软件学报》2003,14(4):750-756
统一建模语言UML已广泛应用于软件开发中,验证UML模型是否满足某些关键性质成为一个重要问题.提出了对UML Statecharts进行模型检验的方法.首先用扩展层次自动机结构化地表示UML Statecharts,然后给出其操作语义,通过寻找最大无冲突迁移集可以保证语义的正确性.对于具有无穷运行的系统,该操作语义可以映射到一个Büchi自动机.使用基于自动机理论的模型检验方法来验证UML Statecharts的线性时态逻辑性质,并给出方法验证由Statecharts和协同图建模的复杂多对象系统.  相似文献
4.
基于树自动机的XPath在XML数据流上的高效执行   总被引:21,自引:3,他引:18       下载免费PDF全文
如何在XML数据流上高效地执行大量的XPath查询成为数据流应用中一个迫切需要解决的关键问题.目前提出的算法或者不能完全支持XPath的常规特性,或者在算法的执行效率和空间代价上不能满足数据流应用的要求.提出了基于树自动机的XEBT机来解决这个问题.与传统方法相比,XEBT机具备如下特征:首先,XEBT机基于表达能力丰富的树自动机,无须附加中间状态,或保存中间结果,就能处理支持{[]}操作符的XPath;其次,XEBT机支持多种优化策略,包括基于DTD的XPath查询自动机的构造;在空间代价有限增加的情况下采用局部确定化减少并发执行的状态;采用自上而下和自下而上相结合的查询处理策略.实验结果表明,提出的方法能够支持复杂的XPath查询,在执行效率和空间代价方面优于传统算法.  相似文献
5.
细胞自动机反向迭代加密技术研究   总被引:19,自引:0,他引:19  
细胞自动机固有的组成单元的简单性、单元之间作用的局部性和信息处理的高度并行性 ,并表现出复杂的全局特性等特点使得细胞自动机尤其适合于密码学中的应用 .该文简述了细胞自动机的基本概念 ,研究了基于细胞自动机反向迭代的输出序列熵最大化加密技术 ,并对系统保密性进行了分析 .  相似文献
6.
一种实现水波动画的新算法   总被引:18,自引:0,他引:18  
近年来,自然景物的模拟一直是计算机图形学中最具挑战性的问题之一,关于山,水,云,烟,火焰等自然景物的模拟,在计算机游戏,影视,广告等各种领域中有着广泛的用途,作为自然景物模拟的重要内容,对流水,波浪的模拟正日益引起人们的关注,该文基于小振幅波理论和细胞自动机的模型,给出了一种实现水波动画的新算法,较之于以往的做法不同的是,作者既没有去特意构造具体的波形函数,也没有去求解复杂的Navier-Stokes方程,而是基于小振幅波理论和细胞自动机的模型,采用邻域传播的思想对水波进行动态的造型,在小振幅波理论中,水波的波形近似成正弦分布,根据这一规律,可以构造出不同邻域下水波演变的细胞自动机模型,文中还采用以POINT图元为基本粒子的粒子系统,对水花效果进行了实时的模拟,为了不波和浪花逼真地结合在一起,本文运用了色彩融和的技术来完成浪花的显示,实践证明用该算法模拟水波,效果比较真实,而且在普通的PC平台上即可满足一般动画的实时需求。  相似文献
7.
基于场景规约的构件式系统设计分析与验证   总被引:16,自引:0,他引:16  
使用接口自动机及接口自动机网络来描述构件式系统的行为设计模型,使用UML顺序图表示基于场景的需求规约,对系统设计阶段的构件交互行为的动态兼容性进行形式化分析和检验.通过对接口自动机网络状态空间的分析,给出了一系列算法以检验系统行为的存在一致性以及几种不同形式的强制一致性性质,包括前向强制一致性、逆向强制一致性以及双向强制一致性等.  相似文献
8.
基于和模型的时空建模方法研究   总被引:16,自引:1,他引:15  
目前商用地理信息系统(GIS)尚不能完整地表示地理实体的时态信息和时空关系,且缺乏时空分析和时空动态建模能力,这已成为GIS界的一个共识,而未来GIS在各应用领域的深入发展,以及在实现“数字地球”战略过程中,都要求发展新的时空分析和建模方法。由于细胞自动机(Cellular Automata)是一种“自下而上”的动态模拟建模横加,并具有模拟复杂系统时空演化过程的能力,因而将标准CA模型的四元组进行扩展,以满足GIS环境下时空动态分析的要求,进而建立了土地持续利用模拟模型,并运用此模型对包头市城市扩展和土地可持续利用进行了比较成功的模拟。  相似文献
9.
基于Matlab的元胞自动机的仿真设计   总被引:15,自引:3,他引:12  
元胞自动机不仅是理论计算机科学领域的一个重要的计算模型 ,而且可视为一无限维的离散动力系统 ,被广泛应用于自然科学和社会科学各领域的复杂性的研究中 ,是一个重要的研究方法和工具。该文以Matlab为开发工具 ,开发了元胞自动机的可视模型 ,为其在各个领域的复杂性研究提供了一个简易、可行的计算机仿真工具。  相似文献
10.
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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