首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   8篇
  国内免费   2篇
  完全免费   13篇
  自动化技术   23篇
  2016年   1篇
  2015年   1篇
  2014年   1篇
  2012年   3篇
  2011年   3篇
  2010年   2篇
  2008年   1篇
  2007年   2篇
  2006年   1篇
  2000年   1篇
  1998年   1篇
  1997年   2篇
  1996年   1篇
  1995年   2篇
  1991年   1篇
排序方式: 共有23条查询结果,搜索用时 78 毫秒
1.
图文法遗传算法   总被引:4,自引:0,他引:4       下载免费PDF全文
本文讨论了进化神经网络的编码表示机制,分析了它们的优缺点;提出了遗传算法的一种图文法编码表示机制,给出了相应的算子定义,以及模式、模式长度及其阶的定义;证明了一个基于图文法表示机制的遗传算法模式定理,描述了交叉和突变对模式作用的效果。  相似文献
2.
图文法综述   总被引:4,自引:0,他引:4       下载免费PDF全文
形式语言理论对计算机科学的发展起了重大的作用,作为对传统字符文法扩展的图文法的形式化研究,其重要意义是不言而喻的.本文在概述图文法的产生、发展和现状的基础上,着重介绍了从一维字符文法扩展到二维图文法所出现的新问题,以及在形式化处理上引出的新方法,其中最主要的是嵌入问题的解决、文法类型的划分和成员问题的判定.文中以目前较为流行的图文法为例,特别是一些典型的上下文无关和上下文相关的图文法,对上述的问题进行了深入的讨论,指出了现有方法中的一些不足之处,并展望了图文法今后值得研究的问题和方向.  相似文献
3.
软件体系结构的属性图文法描述及其约束验证*   总被引:3,自引:0,他引:3       下载免费PDF全文
在前人工作的基础上,使用了一种利于约束检查和属性刻画的属性图文法,该方法形式地描述了体系结构及其演化;接着给出了一个算法检查演化动作是否会破坏体系结构约束.在对属性图文法系统AGG的图形解析器进行定制和改进的基础上,设计并实现了体系结构自动检查器.该检查器已应用于面向体系结构的服务集成开发平台Artemis-ARC系统中.  相似文献
4.
软件体系结构动态演化的条件超图文法及分析   总被引:2,自引:0,他引:2       下载免费PDF全文
徐洪珍  曾国荪  陈波 《软件学报》2011,22(6):1210-1223
针对目前.软件体系结构动态演化描述方法的不足,提出用约束超图表示软件体系结构,用左右应用条件刻画软件体系结构动态演化的前断言和后断言,用条件超图文法建模软件体系结构动态演化过程.通过案例分析,讨论了如何构建条件超图文法并应用于软件体系结构动态演化.在此基础上,建立软件体系结构动态演化的一致性条件定义,给出动态演化的一致性判定方法.最后,设计实验进行分析,验证了方法的有效性.  相似文献
5.
关于并行语言Gamma的结构化扩充   总被引:1,自引:0,他引:1       下载免费PDF全文
韦梓楚 《软件学报》2000,11(11):1560-1566
Gamma(general abstract model for multiset manipulation)语言是一个可以避免人为序化的高层次并行程序设计工具.P.Frade t等人提出结构化Gamma以利于结构化应用数据以及表达特殊的控制约束和程序的自动分析. 在摒弃了基于“地址”的定义方式的基础上,给出结构化Gamma的更一般形式的语法、语义描 述,在两个层次上讨论结构重集(structured multiset)的类型,并指出,这种新模型保持了有 关程序的静态类型检测等理论成果.  相似文献
6.
基于图文法的并发系统状态测试方法及其实现   总被引:1,自引:1,他引:0       下载免费PDF全文
徐建礼  周龙骧 《软件学报》1996,7(10):587-605
在并发系统的研究和开发中,迫切需要一种能正确有效地描述并发系统的动态进程互联结构、动态进程通信和进程演化行为的形式化方法以及基于这种形式化方法的并发系统动态状态的测试手段.本文介绍一种基于图文法模型的并发系统状态测试方法,该方法与描述并发系统结构和行为的图文法模型相结合,构成了一个并发系统开发支持环境.这一方法可根据对并发系统的状态测试要求,在并发系统的运行期自动跟踪和记录并发系统的运行状态和通信情况,使并发系统的开发者可以实时地得到并发系统的运行状态,或者在并发系统运行结束后重演并发系统的状态变化过程.  相似文献
7.
上下文相关图文法分析及其应用初探   总被引:1,自引:0,他引:1       下载免费PDF全文
冉平  石兵  马晓星  吕建 《计算机科学》2006,33(3):255-260
图文法是一种对可视化语言进行形式化定义的元语言,具有表达自然、能力强大的特点.随着使用可视化语言的最终用户编程技术的广泛应用,图文法分析尤其是上下文相关图文法分析在工程应用中的重要性日益突出.国内外相关文献或着重于纯理论探讨,或局限于特定语法类的特定应用,不利于工程应用人员参考.本文选取简洁明了的符号体系,介绍上下文相关图文法分析的一般性过程,并将其中规则选取关键步骤描述为CSP问题,利用已有的针对CSP问题的优化方法来优化算法,介绍了现有的优化方法并给出实现算法;同时,结合自身实践,讨论其在一个面向体系结构的Web服务集成系统中的应用.  相似文献
8.
数据流分析是计算机科学的重要研究领域,本文通过分析可归纳流图和半结构图文法的特点,提出了使用半结构流图文法进行数据流分析的方法。  相似文献
9.
本文从语言学和形式化角度对软件领域中广泛使用的软件图进行了研究,提出了软件图语言这一概念。本文首先提出了关于软件图语言的一组基本概念,其次研究软件图语言的同态和同构,以构成软件图形式描述的基础;最后讨论了软件图语言的形式表示法,并提出了基于图符网的文法,使图文法更适合于表示软件图语言。本文工作可以作为设计面向软件图语言的软件工具的基础。  相似文献
10.
采用在线手绘草图识别和理解技术,设计并实现了一个支持用户流畅输人的二维方案设计CAD系统.该系统的主要特点体现在3个方面:采用一种基于曲率的笔画分割方法,能适应不同用户的输入习惯;提供了基于上下文的显著图符成组功能,可以支持用户方案构思过程中手绘输入的流畅性;引入主动纠错机制,提高了基于草图文法的图符识别效果.最后,用针对电路图设计所开发的原型系统验证了该方法的有效性.  相似文献
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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