首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   170篇
  国内免费   2篇
  完全免费   14篇
  自动化技术   186篇
  2017年   3篇
  2015年   1篇
  2014年   7篇
  2012年   3篇
  2011年   16篇
  2010年   9篇
  2009年   19篇
  2008年   14篇
  2007年   12篇
  2006年   10篇
  2005年   14篇
  2004年   16篇
  2003年   13篇
  2002年   14篇
  2001年   3篇
  2000年   2篇
  1999年   2篇
  1998年   2篇
  1997年   2篇
  1996年   1篇
  1995年   2篇
  1994年   5篇
  1993年   3篇
  1992年   3篇
  1989年   1篇
  1986年   1篇
  1985年   2篇
  1982年   1篇
  1980年   2篇
  1979年   2篇
  1976年   1篇
排序方式: 共有186条查询结果,搜索用时 62 毫秒
1.
基于量子逻辑的自动机和文法理论   总被引:10,自引:1,他引:9       下载免费PDF全文
邱道文 《软件学报》2003,14(1):23-27
初步建立了基于量子逻辑的自动机和文法理论的基本框架.引入了量子文法(称为l值文法),特别是证明了任意l值正规文法生成的语言(称为量子语言)等价于某种基于量子逻辑且含动作(的自动机(称为l值自动机)识别的语言,反之,任意l值自动机识别的语言等价于某l值正规文法生成的语言.建立了l值泵引理,并得到量子语言的判定性刻画.最后简要讨论了正规文法与量子文法(即l值正规文法)的关系.因此,为进一步研究更复杂的量子自动机(如量子下推自动机和Turing机)和量子文法(如量子上下文无关文法和上下文有关文法)奠定了基础.  相似文献
2.
文法推断研究的历史和现状   总被引:5,自引:0,他引:5       下载免费PDF全文
张瑞岭 《软件学报》1999,10(8):850-860
文法推断属于形式语言的归纳学习问题,它研究如何从语言的有限信息出发,通过归纳推断得到语言的语法定义.文章综述文法推断研究的历史和现状.首先阐述文法推断的理论模型,接着罗列上下文无关文法类及其非平凡子类、隐马尔可夫模型以及随机上下文无关文法的推断方法,最后简介文法推断的应用,并展望其发展趋势.  相似文献
3.
智能机器人体系结构的理论研究   总被引:4,自引:0,他引:4  
田华  蒋慰孙 《控制与决策》1993,8(5):330-337
4.
关系图文法及其应用   总被引:4,自引:1,他引:3       下载免费PDF全文
方林  谢立 《软件学报》1997,8(2):87-92
字符串文法不适于描述二维以上事物的特征,无法定义事物之间的复杂关系.本文提出了关系图的概念,对关系图的性质进行了研究.在此基础上提出了一种新的文法——关系图文法.该文法能够方便地抽象和概括二维以上复杂对象的特征,为分析和识别这些对象提供工具和方法,可以广泛应用于模式识别、高维文本分析和描述图示语言的语法等领域.为了使关系图文法实用化,本文还提出了相应的识别和匹配算法.  相似文献
5.
图文法综述   总被引:4,自引:0,他引:4       下载免费PDF全文
形式语言理论对计算机科学的发展起了重大的作用,作为对传统字符文法扩展的图文法的形式化研究,其重要意义是不言而喻的.本文在概述图文法的产生、发展和现状的基础上,着重介绍了从一维字符文法扩展到二维图文法所出现的新问题,以及在形式化处理上引出的新方法,其中最主要的是嵌入问题的解决、文法类型的划分和成员问题的判定.文中以目前较为流行的图文法为例,特别是一些典型的上下文无关和上下文相关的图文法,对上述的问题进行了深入的讨论,指出了现有方法中的一些不足之处,并展望了图文法今后值得研究的问题和方向.  相似文献
6.
Mutually nonblocking supervisory control of discrete event systems   总被引:3,自引:0,他引:3  
M.  R.   《Automatica》2000,36(12):1863-1869
A single maximally permissive and nonblocking supervisor to simultaneously fulfill several marked specifications pertaining to a single plant is investigated. Given a plant G and two marked specification languages K1 and K2, a supervisor S is said to be (K1,K2)-mutually nonblocking if (for i,j=1,2) . This means that when the closed-loop system marks a trace of Ki, then it is always able to continue to a trace of Kj, also marked in the closed-loop system. Thus, the controlled system can execute traces within one specification while always being able to continue a trace of the other and hence not blocking the other specification. A complete, globally nonblocking and (K1,K2)-mutually nonblocking supervisor such that Lm(G || S)K1K2 exists if and only if there exists a controllable mutually nonblocking sublanguage of the union of the specifications. There does exist a supremal such language. Furthermore, in the case that each specification is nonconflicting with respect to the prefix-closure of the other, this supremal language can be calculated by expressing it as the union of the supremal prefix-bounded sublanguages of the respective specifications. Finally, we show that the multiply nonblocking supervision of Thistle, Malhame, Hoang and Lafortune ((1997). Internal Report, Dept. de genie electrique et de genie informatique, Ecole Polytechnique de Montreal, Canada) is equivalent to globally and mutually nonblocking supervision.  相似文献
7.
A Refinement of de Bruijn's Formal Language of Mathematics   总被引:3,自引:0,他引:3  
We provide a syntax and a derivation system fora formal language of mathematics called Weak Type Theory (WTT). We give the metatheory of WTT and a number of illustrative examples.WTT is a refinement of de Bruijn's Mathematical Vernacular (MV) and hence:– WTT is faithful to the mathematician's language yet isformal and avoids ambiguities.– WTT is close to the usualway in which mathematicians express themselves in writing.– WTT has a syntaxbased on linguistic categories instead of set/type theoretic constructs.More so than MV however, WTT has a precise abstractsyntax whose derivation rules resemble those of modern typetheory enabling us to establish important desirable properties of WTT such as strong normalisation, decidability of type checking andsubject reduction. The derivation system allows one to establish thata book written in WTT is well-formed following the syntax ofWTT, and has great resemblance with ordinary mathematics books.WTT (like MV) is weak as regardscorrectness: the rules of WTT only concern linguisticcorrectness, its types are purely linguistic sothat the formal translation into WTT is satisfactory as areadable, well-organized text. In WTT, logico-mathematical aspects of truth are disregarded. This separates concerns and means that WTT– can be easily understood by either a mathematician, a logician or a computerscientist, and– acts as an intermediary between thelanguage of mathematicians and that of logicians.  相似文献
8.
基于事件反馈的DES监控理论   总被引:3,自引:0,他引:3  
本文首先综述了近年基于事件反馈的DEDS监控理论取得的进展,着重给出了几个主要研究方向的结果和存在的问题,同时对这一理论的应用领域特别是工业过程中的应用进行了讨论,指出了今后的发展方向。  相似文献
9.
字的组合的半群方法   总被引:3,自引:0,他引:3  
刘耀军  徐宗本 《计算机学报》2005,28(7):1138-1145
该文利用半群方法给出了语言的一些代数性质.首先,讨论了稠密语言的半群结构,给出了包含语言w(wk)(其中w∈A+,k是正整数)的一个稠密语言类;证明了稠密正规语言包含一个字与一个稠密正规右酉幺半群的积.其次,讨论了自由幺半群的正规分支可分解性,证明了自由幺半群及正规分支可分解语言与正规分支可分解的后缀语言的积是正规分支可分解的;应用这些结果证明了Shyr和Yu关于正规语言的两个猜想.  相似文献
10.
自然语言处理技术在药物专利检索中的应用研究   总被引:2,自引:2,他引:0  
本文研究了自然语言处理技术在药物专利检索中的应用,开发出一套翻译软件,能够将药物专利中对族性变量的文本描述半自动化地转化为符合规则的GSCCT格式,为准确、高效地建立药物专利检索数据库打下了基础。  相似文献
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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