1) Warren abstract machine
沃伦抽象机
2) abstract homotopy Category
抽象同伦范畴
3) abstract machine
抽象机
1.
The Implementation and Application of B-Method in Abstract Machine Library;
论B方法在抽象机库中的实践与应用
2.
By using B method,this paper models elevator control system as an abstract machine,proves its liveness and auto-generates the software,advances the reliability and stability of elevator control system.
文中使用B方法对电梯控制系统建立了抽象机模型并对其进行活性证明,自动生成相应软件,提高了电梯控制系统的可靠性和稳定性。
3.
This paper discusses some problems about the combination of multiple knowledge representation paradigms, and describes the implementation of the abstract machine of the HEST.
本文讨论多种知识表示模式结合的一些问题,并设计了一个面向逻辑函数相结合的知识表示语言的抽象机。
4) B abstract machine
B抽象机
5) warren's abstract machine
WAM抽象机
6) abstract mechanism
抽象机制
1.
In this paper,the necessity and function of the abstract mechanism in solving the programming prob-lems by computer are expounded,Then the abstract mechanism of process-oriented and object-oriented program-ming language are analyzed.
论述了抽象机制在计算机解决问题中的作用和必要性,并对面向过程和面向对象两类程序设计语言的抽象机制进行分析研究,讨论了它们之间的区别和联系,旨在引导计算机学习者掌握抽象工具解决实际问题。
补充资料：抽象计算机
抽象计算机
computer, abstract
【补注】以上描述的抽象计算机概念不仅包括现今使用的基于机器的模型，而且包括更多面向演算的形式体系.例如，执行又演算以一以Iculus)中项的归约的“媒体”是上述概念意义土_的个抽象算法. 存在一些重要的分类特饭，生_文未作叙述现在来加以讨云仑. ‘致性与非一致性比较:在研究公式复杂日或网络复杂性中，个是研究给定函数对长度人(k为给定整数)输人的限制，另个是研究计4算这种限制的公式或网络的规模或深度.可以想象，不存在有效步骤，能对任意长度人产性一这一限制的最低复杂性的公式或网络的描述，因此，这些极小设备表小原始函数的非一致议备.另一方面.给定的T盯mg机算法提供了整个函数的一致性描述. 并行与非并行计算比较:在抽象串行计算机「仁存在着单个处理器，它在单一转换过程中对被认为是在原沂构形的有限部分皿运算扣丁是，正如上文作者所注意到的.这仍能表示像一个字符那样的真原广对象，或像一个数，一个字或一个图那样的结构化对象).在并行处理器中，存在潜在无界批量处理器可同时对可能的不相交数据进行运算.在并行模型的范围内，还可以对同步并行与异步并行之间作进一步区分，取决于处理器是同步运算还是在其专用时标内分别运算.另一个区别涉及不同处理器执行的指令.如果所有处理器在单一运算周期中对不同数据执行相同运算，那么，这种机器称为单指令多数据(Sn讨D)机.如果不同的处理器能对不同的数据执行任意指令，那么，这是多指令多数据(MIMD)机.并行处理器能在公用存储器上运算，或者用另一种方法，每个处理器有私用存储器，且不同的处理器借助于在连接具体处理器的通道上发送和接收的消息来交换信息.抽象计算机{~户.姗，al石。，Ct;.峨，.01“”习~M~城元「，以.，恤〕抽象机(a比tractma而民) 描述汁算机模型的数学概念，而忽略存储寄存器的限界容量和电子计算机的其他技术参数.和实际计算机布、同，抽象汁算机能计算在无限的可构造个体域l_定义的函数(例如，整数，有限字母表l_的‘字，有限图，无限树等等见构造对象(constructlve ohjeCt”抽象机用作严格地定义算法(algorlthr司的直觉思想的概念这种概念用研究算法存在的问题(即算法问题回gorltlllnlcPr。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条