1) chemical abstract machine
化学抽象机
1.
This paper introduces Chemical Abstract Machine(CHAM)that is the formal description of Software Architectures and summarizes the characteristics of Queueing Network Models(QNM)and their creation process.
介绍了软件体系结构的形式化描述方法-化学抽象机(ChemicalAbstractMachine,CHAM),总结了队列网络模型(QueueingNetworkModel,QNM)及其产生过程的特点。
2.
Testing techniques of software architecture based on CHAM(Chemical Abstract Machine)can model software architecture dynamically by software architecture specification of CHAM description.
以基于化学抽象机CHAM(ChemicalAbstract Machine)的软件体系结构测试技术为研究方向。
2) CHAM
化学抽象机
1.
The rule dependence graph is derived from software architecture specification formally described in CHAM and then defines criteria of testing coverage and the algorithm to generate test sequence,using the software architecture of a Client/Server system to illustrate the derivation of RDG and the generation of test sequence at last.
本文提出一种软件体系结构测试序列生成方法,首先用化学抽象机描述体系结构,然后生成相应的反应规则依赖图RDG,再根据定义的测试覆盖准则及测试序列生成算法,产生软件体系结构测试序列,最后以客户机/服务器体系结构实例说明了导出RDG及生成测试序列的过程。
2.
Research on the Method of Generating Test Cases at Cluster Level Based on CHAM;
该方法选择化学抽象机CHAM(Chemical Abstract Machine)作为建模工具,CHAM通过反应规则能有效反映系统动态行为,所以选择CHAM对类之间的交互关系进行形式化建模;另外,标号迁移系统LTS(Labelled Transition System)作为系统动态行为的描述工具,所以选择LTS来描述CHAM模型中类簇的动态行为,由此产生用于类簇测试的测试用例。
3) scientific abstract
科学抽象
1.
Marxism with Chinese characterist ics is scientific abstract of the CPC s guiding ideology.
中国化的马克思主义是党的指导思想的科学抽象 ,体现了党的指导思想的本质属性和基本原则 ,毛泽东思想、邓小平理论和“三个代表”重要思想是党的指导思想的时代内容。
4) mathematical abstraction
数学抽象
1.
This paper discusses the characteristics of mathematical abstraction,and considers how to train the ability of mathematical abstraction in mathematics teaching.
本文论述了数学抽象的特点，探讨了如何培养数学抽象能力的问题。
2.
Through analyzing and studying the background, emergence, content, method and process of mathematical abstraction, we could understand several dialectical relationships of activity of mathematical abstraction, such as the relationship between the process and result, form and content.
数学抽象体现了人类的活动。
6) scientific abstraction
科学抽象
1.
In order to further deepen the studies on Marxian labor theory of value, this paper puts forward four points of view on how to fully and exactly understand the highly scientific abstraction of the theory and how to adopt a scientific attitude toward it.
从进一步深化对马克思劳动价值论的研究出发,就当前中国经济理论界如何全面准确地理解马克思劳动价值论的高度科学抽象性,以及怎样科学地对待马克思的劳动价值论等方面进行了新的论述。
补充资料：抽象计算机
抽象计算机
computer, abstract
【补注】以上描述的抽象计算机概念不仅包括现今使用的基于机器的模型，而且包括更多面向演算的形式体系.例如，执行又演算以一以Iculus)中项的归约的“媒体”是上述概念意义土_的个抽象算法. 存在一些重要的分类特饭，生_文未作叙述现在来加以讨云仑. ‘致性与非一致性比较:在研究公式复杂日或网络复杂性中，个是研究给定函数对长度人(k为给定整数)输人的限制，另个是研究计4算这种限制的公式或网络的规模或深度.可以想象，不存在有效步骤，能对任意长度人产性一这一限制的最低复杂性的公式或网络的描述，因此，这些极小设备表小原始函数的非一致议备.另一方面.给定的T盯mg机算法提供了整个函数的一致性描述. 并行与非并行计算比较:在抽象串行计算机「仁存在着单个处理器，它在单一转换过程中对被认为是在原沂构形的有限部分皿运算扣丁是，正如上文作者所注意到的.这仍能表示像一个字符那样的真原广对象，或像一个数，一个字或一个图那样的结构化对象).在并行处理器中，存在潜在无界批量处理器可同时对可能的不相交数据进行运算.在并行模型的范围内，还可以对同步并行与异步并行之间作进一步区分，取决于处理器是同步运算还是在其专用时标内分别运算.另一个区别涉及不同处理器执行的指令.如果所有处理器在单一运算周期中对不同数据执行相同运算，那么，这种机器称为单指令多数据(Sn讨D)机.如果不同的处理器能对不同的数据执行任意指令，那么，这是多指令多数据(MIMD)机.并行处理器能在公用存储器上运算，或者用另一种方法，每个处理器有私用存储器，且不同的处理器借助于在连接具体处理器的通道上发送和接收的消息来交换信息.抽象计算机{~户.姗，al石。，Ct;.峨，.01“”习~M~城元「，以.，恤〕抽象机(a比tractma而民) 描述汁算机模型的数学概念，而忽略存储寄存器的限界容量和电子计算机的其他技术参数.和实际计算机布、同，抽象汁算机能计算在无限的可构造个体域l_定义的函数(例如，整数，有限字母表l_的‘字，有限图，无限树等等见构造对象(constructlve ohjeCt”抽象机用作严格地定义算法(algorlthr司的直觉思想的概念这种概念用研究算法存在的问题(即算法问题回gorltlllnlcPr。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条