首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   47篇
  国内免费   2篇
  完全免费   19篇
  自动化技术   68篇
  2018年   1篇
  2015年   1篇
  2014年   1篇
  2012年   5篇
  2011年   2篇
  2010年   3篇
  2009年   4篇
  2008年   10篇
  2007年   7篇
  2006年   7篇
  2005年   3篇
  2004年   3篇
  2002年   1篇
  2001年   1篇
  2000年   1篇
  1999年   1篇
  1998年   1篇
  1997年   1篇
  1996年   1篇
  1995年   2篇
  1993年   2篇
  1992年   1篇
  1990年   1篇
  1988年   2篇
  1987年   1篇
  1979年   1篇
  1978年   1篇
  1977年   1篇
  1976年   1篇
  1974年   1篇
排序方式: 共有68条查询结果,搜索用时 31 毫秒
1.
2.
基于MDA的模型转换方法研究   总被引:9,自引:0,他引:9  
模型驱动方法提高了软件开发的产品及效率,而模型转换是开发基于MDA应用工具的关键技术。该文首先简要介绍了MDA的基本理论,着重分析模型转换的研究方法、分类及其在开发工具中的应用,并且通过实例说明模型转换器的规范化和实现,最后,列举了未来研究方向上一些需要考虑的问题。  相似文献
3.
图文法遗传算法   总被引:4,自引:0,他引:4       下载免费PDF全文
本文讨论了进化神经网络的编码表示机制,分析了它们的优缺点;提出了遗传算法的一种图文法编码表示机制,给出了相应的算子定义,以及模式、模式长度及其阶的定义;证明了一个基于图文法表示机制的遗传算法模式定理,描述了交叉和突变对模式作用的效果。  相似文献
4.
可视化语言文法形式化描述综述   总被引:4,自引:1,他引:3       下载免费PDF全文
许红霞  张莉 《计算机科学》2005,32(4):201-204
可视化是人机交互的主要形式,可视化语言是计算机科学中一个重要研究领域,文法为可视化语言提供了一种有价值的形式化描述方法。本文基于可视化语言的特征,介绍了可视化语言文法形式化描述体系的基本理论,分析了几种典型形式模型,并探讨了当前的主要研究内容和面临的挑战。  相似文献
5.
图文法综述   总被引:4,自引:0,他引:4       下载免费PDF全文
形式语言理论对计算机科学的发展起了重大的作用,作为对传统字符文法扩展的图文法的形式化研究,其重要意义是不言而喻的.本文在概述图文法的产生、发展和现状的基础上,着重介绍了从一维字符文法扩展到二维图文法所出现的新问题,以及在形式化处理上引出的新方法,其中最主要的是嵌入问题的解决、文法类型的划分和成员问题的判定.文中以目前较为流行的图文法为例,特别是一些典型的上下文无关和上下文相关的图文法,对上述的问题进行了深入的讨论,指出了现有方法中的一些不足之处,并展望了图文法今后值得研究的问题和方向.  相似文献
6.
基于图文法的动态软件体系结构支撑环境   总被引:4,自引:0,他引:4       下载免费PDF全文
马晓星  曹 春  余 萍  周 宇 《软件学报》2008,19(8):1881-1892
使用类型化的属性图及其图文法来直观而形式地刻画软件体系结构和体系结构风格,用图转换来刻画动态体系结构的重配置行为.基于这种刻画,构建了一个动态软件体系结构支撑环境.该环境一方面,通过一个基于图文法的编辑器来支持体系结构图模型的可视化构造和操纵;另一方面,基于内置运行时体系结构技术实现了体系结构图模型在具体系统中的物理实施,并使得图模型上的图转换操作可以自动映射到实际系统的动态重配置上.再加上一系列的辅助设施,形成了一个较为完整的基于图文法的动态软件体系结构支撑环境.  相似文献
7.
软件体系结构的属性图文法描述及其约束验证*   总被引:3,自引:0,他引:3       下载免费PDF全文
在前人工作的基础上,使用了一种利于约束检查和属性刻画的属性图文法,该方法形式地描述了体系结构及其演化;接着给出了一个算法检查演化动作是否会破坏体系结构约束.在对属性图文法系统AGG的图形解析器进行定制和改进的基础上,设计并实现了体系结构自动检查器.该检查器已应用于面向体系结构的服务集成开发平台Artemis-ARC系统中.  相似文献
8.
嵌入一致图语法的依赖图   总被引:2,自引:0,他引:2       下载免费PDF全文
李国东  张德富 《软件学报》2004,15(7):956-968
图语法将字符串上的形式文法扩充为图上的形式文法,提供一种能够使用精确的数学方法来模拟图变换的机制.提出了几种新的基于一致图语法的方法来表示控制流图、数据流图、控制数据流图、二分图和超图,并说明如何通过图重写来自动生成依赖图并挖掘并行性,从而协助并行编译器和并行语言的设计和实现.  相似文献
9.
一种基于边的上下文相关图文法形式化框架   总被引:2,自引:1,他引:1       下载免费PDF全文
曾晓勤  韩秀清  邹 阳 《软件学报》2008,19(8):1893-1901
围绕解决图文法中的主要问题——嵌入问题,提出了一种基于边的上下文相关图文法形式化框架,并对由此定义的文法的一些性质及相应的归约算法进行了讨论.对所提出的图文法与已有的文法进行了比较.同时,展望了今后值得进一步研究的一些问题和方向.  相似文献
10.
一种可行的自动程序理解途径   总被引:1,自引:0,他引:1  
自动程序理解是软件工程和人工智能的非常活跃的研究领域,本文提出了一种独立于程序设计语言,具有明显结构性和流图结构的中间表示plan来表示程序代码,本文首次提出了应用图文法分析技术于自动程序理解的方法,并给出了基于人工智能技术来进行自动程序理解的模型。  相似文献
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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