首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   20篇
  完全免费   3篇
  自动化技术   23篇
  2000年   1篇
  1999年   1篇
  1996年   1篇
  1995年   1篇
  1994年   1篇
  1993年   1篇
  1992年   3篇
  1991年   1篇
  1990年   5篇
  1989年   5篇
  1981年   2篇
  1980年   1篇
排序方式: 共有23条查询结果,搜索用时 62 毫秒
1.
关于横向程序变换的若干研究   总被引:5,自引:0,他引:5       下载免费PDF全文
本文对我们近几年来在递归程序等价变换方面之一系列研究工作做了分类总结,所提出的一些新变换模式和技术进一步丰富了人们对横向程序变换技术的认识。 软件自动化是计算机科学的前沿课题之一,其主要研究途径有:演绎综合途径、程序变换途径、实例推广途径和过程化途径,其中尤以程序变换途径得到研究工作者更多的关注。程序变换大体上可分为横向变换和 纵向变换两大类,所谓横向变换是指在相似的抽象级上将一个语言成分转化为另一个与之等价但效率更高的语言成分。 横向程序变换的研究可追溯到1966年Cooper首次提出的Cooper变换,而英国爱丁堡大学的Burstall和Darlington的研究以及他们所研制的ZAP系统是目前这方面最有代表性的工作。 本文对横向程序变换作了较深入的探讨,其中有相当多一部分递归程序等价变换模式是笔者及其同事们近几年来陆续提出的。 我们将采用函数式递归程序模型作为讨论的基础(参阅[12]之第七章),并把递归程序变换模式分成若干类型加以阐述,限于篇幅,我们只简要叙述各类变换的输入模式、输出模式、可用性条件和应用示例,有关变换的正确性证明(采用结构归纳法)将不在此列出(感兴趣的读者可参阅有关文献)。  相似文献
2.
加权模糊逻辑的研究   总被引:4,自引:0,他引:4  
本文首先指出用累加模型处理加权模糊逻辑的缺点,然后讨论处理加权模糊逻辑所应满足的若干约束。在此基础之上,给出处理加权模糊逻辑的相对权重模型。  相似文献
3.
关于递归变换之“函数嵌入法”的若干研究   总被引:3,自引:0,他引:3  
本文对递归变换之“函数嵌入法”进行剖析,揭示它与抽象的“输入/出模式”之间的内在联系。  相似文献
4.
Mathematica在横向程序变换中的应用   总被引:3,自引:0,他引:3  
本文讨论用Mathematica的两大核心工作机制即模式匹配和规则来实现横向程序变换,以两类不同的递归程序变换的抽象模式为例,本文设计了相应的Mathematica程序包将非尾递归的程序变换成为相应的尾递归形式,然后利用Mathematica3.0提供的MathLink机制,在VB5.0的环境下实现它们的应用。  相似文献
5.
6.
模糊专家系统的结构与设计   总被引:3,自引:0,他引:3  
本文概述基于使用模糊逻辑和模糊推理的模糊专家系统的一般结构,并举出一个应用例子,最后给出一个实用模糊中医专家系统的设计思想。  相似文献
7.
IBARM:一种基于区间表示的不精确推理模型   总被引:3,自引:0,他引:3       下载免费PDF全文
不精确推理是根据应用系统中的不确定信息(可能是概率的、模糊的、不完备的等),按一定的搜索策略(如深度优先或广度优先),采用一定的推理技术(如正向、反向或双向)和不确定值传播算法,得出应用系统中近乎合理的结论。一个不精确推理模型主要包括知识的不确定性描述方式、不  相似文献
8.
一类递归算法的多种计算方案及其比较   总被引:2,自引:1,他引:1  
本文讨论一类递归算法 ,利用“递推关系”,“多步递归变换”及“函数嵌入法”等方法可得到它们的多种计算方案 ,对它们的运行效率做了比较  相似文献
9.
10.
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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