首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   48篇
  国内免费   4篇
  完全免费   20篇
  自动化技术   72篇
  2017年   2篇
  2015年   2篇
  2014年   1篇
  2013年   1篇
  2012年   4篇
  2011年   4篇
  2009年   3篇
  2008年   8篇
  2007年   5篇
  2006年   3篇
  2005年   2篇
  2004年   3篇
  2003年   1篇
  2002年   2篇
  2001年   1篇
  2000年   2篇
  1999年   1篇
  1998年   7篇
  1997年   1篇
  1996年   6篇
  1995年   5篇
  1994年   4篇
  1992年   1篇
  1991年   1篇
  1990年   2篇
排序方式: 共有72条查询结果,搜索用时 15 毫秒
1.
Pumping引理的Petri网描述—Petri网语言属型的一组判定条件   总被引:21,自引:0,他引:21  
吴哲辉 《计算机学报》1994,17(11):852-858
本文通过Pumping引理在Petri网的变迁节引发序列中的反映,揭示了对应的Petri网结构内涵,从而给出判定一个标准Petri网产生的语言分别为正规语言或上下文无关语言的充要条件,这样,就可以从网的结构直接判断其语言属型。  相似文献
2.
Word操作题自动阅卷的设计与实现   总被引:15,自引:1,他引:14  
讨论了Word操作题的组织形式和录入技术,设计了一个自动阅卷方案,该方案已在山西省计算机应用能力考核系统中实现。  相似文献
3.
基于量子逻辑的自动机和文法理论   总被引:10,自引:1,他引:9       下载免费PDF全文
邱道文 《软件学报》2003,14(1):23-27
初步建立了基于量子逻辑的自动机和文法理论的基本框架.引入了量子文法(称为l值文法),特别是证明了任意l值正规文法生成的语言(称为量子语言)等价于某种基于量子逻辑且含动作(的自动机(称为l值自动机)识别的语言,反之,任意l值自动机识别的语言等价于某l值正规文法生成的语言.建立了l值泵引理,并得到量子语言的判定性刻画.最后简要讨论了正规文法与量子文法(即l值正规文法)的关系.因此,为进一步研究更复杂的量子自动机(如量子下推自动机和Turing机)和量子文法(如量子上下文无关文法和上下文有关文法)奠定了基础.  相似文献
4.
数据库操作题自动阅卷的设计与实现   总被引:6,自引:0,他引:6  
李桂成  崔军 《计算机工程与设计》2004,25(6):1005-1006,1018
为克服人工阅卷的诸多困难,给出了一个对数据库操作题自动阅卷的设计方案,该方案以试题的组织形式和录入技术为基础,设计了供阅卷程序识别的形式语言,覆盖了数据库操作题的主要内容,作为山西省计算机应用能力考核系统的子系统,该方案已投入使用。  相似文献
5.
文法推断研究的历史和现状   总被引:5,自引:0,他引:5       下载免费PDF全文
张瑞岭 《软件学报》1999,10(8):850-860
文法推断属于形式语言的归纳学习问题,它研究如何从语言的有限信息出发,通过归纳推断得到语言的语法定义.文章综述文法推断研究的历史和现状.首先阐述文法推断的理论模型,接着罗列上下文无关文法类及其非平凡子类、隐马尔可夫模型以及随机上下文无关文法的推断方法,最后简介文法推断的应用,并展望其发展趋势.  相似文献
6.
关系图文法及其应用   总被引:4,自引:1,他引:3       下载免费PDF全文
方林  谢立 《软件学报》1997,8(2):87-92
字符串文法不适于描述二维以上事物的特征,无法定义事物之间的复杂关系.本文提出了关系图的概念,对关系图的性质进行了研究.在此基础上提出了一种新的文法——关系图文法.该文法能够方便地抽象和概括二维以上复杂对象的特征,为分析和识别这些对象提供工具和方法,可以广泛应用于模式识别、高维文本分析和描述图示语言的语法等领域.为了使关系图文法实用化,本文还提出了相应的识别和匹配算法.  相似文献
7.
图文法综述   总被引:4,自引:0,他引:4       下载免费PDF全文
形式语言理论对计算机科学的发展起了重大的作用,作为对传统字符文法扩展的图文法的形式化研究,其重要意义是不言而喻的.本文在概述图文法的产生、发展和现状的基础上,着重介绍了从一维字符文法扩展到二维图文法所出现的新问题,以及在形式化处理上引出的新方法,其中最主要的是嵌入问题的解决、文法类型的划分和成员问题的判定.文中以目前较为流行的图文法为例,特别是一些典型的上下文无关和上下文相关的图文法,对上述的问题进行了深入的讨论,指出了现有方法中的一些不足之处,并展望了图文法今后值得研究的问题和方向.  相似文献
8.
逐步求精法获取上下文无关文法   总被引:3,自引:0,他引:3  
文法推断研究如何从语言的有限实例,通过归纳推断获取语言的文法定义。文中提出一个基于逐步求精的上下文无关文法推断方法,以尝试将文法推断用于替代或帮助传统手工的文法构造工作。文中的推断方法以Angluinh的交互式学习模型为框架,以逐步求精和复用为主要策略,具有增量式获取结构自然的文法的特点。  相似文献
9.
基于事件反馈的DES监控理论   总被引:3,自引:0,他引:3  
本文首先综述了近年基于事件反馈的DEDS监控理论取得的进展,着重给出了几个主要研究方向的结果和存在的问题,同时对这一理论的应用领域特别是工业过程中的应用进行了讨论,指出了今后的发展方向。  相似文献
10.
正则语言的特征性质   总被引:3,自引:0,他引:3       下载免费PDF全文
叶瑞芬  沈百英 《软件学报》1995,6(7):416-419
通常的关于正则语言的泵引理实际上是刻划了某语言为正则语言的一个必要条件.本文通过修改这个必要条件,得到了关于正则语言的充分必要条件,又泵引理或广义泵引理所叙述的结果作为推论而得到.另外,我们叙述了几个强弱不同的充要条件,以便供不同的使用(作为必要条件来使用,应该是越强越好,但作为充分条件来使用,又应该是越弱越好).  相似文献
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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