排序方式: 共有31条查询结果,搜索用时 15 毫秒
1.
Mathematica在横向程序变换中的应用 总被引:3,自引:0,他引:3
本文讨论用Mathematica的两大核心工作机制即模式匹配和规则来实现横向程序变换,以两类不同的递归程序变换的抽象模式为例,本文设计了相应的Mathematica程序包将非尾递归的程序变换成为相应的尾递归形式,然后利用Mathematica3.0提供的MathLink机制,在VB5.0的环境下实现它们的应用。 相似文献
2.
新一代智能语言VISUAL PROLOG 总被引:8,自引:0,他引:8
Visual Prolog是新一代的智能语言,它既具有传统Prolog的推理能力。又具备友好的图形用户界面,它的应用已不仅仅局限于人工智能的研究范围,它将作为 一代计算机语言,和其他流行的编程语言一争高下,成为实际应用的选择。基于此,本文介绍Visual Prolog的特点和如何用它开发实际应用。 相似文献
3.
程序变换中的Cooper变换与函数反演变换之比较 总被引:1,自引:0,他引:1
本文介绍了Cooper变换与函数反演变换的不同特点,并通过一系列的示例来加深对这些特点的认识。 相似文献
4.
5.
6.
IBARM:一种基于区间表示的不精确推理模型 总被引:3,自引:0,他引:3
不精确推理是根据应用系统中的不确定信息(可能是概率的、模糊的、不完备的等),按一定的搜索策略(如深度优先或广度优先),采用一定的推理技术(如正向、反向或双向)和不确定值传播算法,得出应用系统中近乎合理的结论。一个不精确推理模型主要包括知识的不确定性描述方式、不 相似文献
7.
蔡经球 《小型微型计算机系统》1989,10(11):32-36
一般而言,要把并行递归程序转化为等价的尾递归程序(它直接对应于循环迭代程序)是十分困难的。本文指出,具有某种性质的两类(分别称为α类和β类)并行递归程序可以转化为等价的尾递归程序,从而具有较高的时空运行效率。 相似文献
8.
9.
10.
递归程序变换是软件自动化研究中程序变换途径的一种方法。本文介绍了递归程序等价变换的一系列模式以及根据递归程序变换基本思想而构造的人-机交互实验系统XDPTS的梗概。 相似文献