1) abstraction
[英][æb'strækʃn] [美][æb'strækʃən]
抽象化
1.
Combining case analysis, this paper discusses the relationship between faith to style and adjustment in the inter-translation of English and Chinese and analyses the applicable techniques of embodiment and abstraction in translation from Chinese to English.
结合案例分析 ,论述了英汉互译中对文体的忠实与调整的关系 ,剖析了在汉译英中具体化与抽象化翻译方法的实用技术。
2.
Major applications of linguis- tic dynamic systems include abstraction and linguistic analysis of c.
语言动力学将主要应用于数值动力学系统的抽象化分析,基于词描述的经济、社会、管理和生态系统的动态分析、决策综合、政策评估、以及大数据量的知识挖掘和动态表示等。
2) abstract subject
对象化抽象
3) abstraction refinement
抽象精化
1.
A mathematical definition of variable minimal unsatisfiability (VMU) is introduced to drive this abstraction refinement process.
引入变量极小不可满足(VMU)的数学概念来驱动抽象精化的验证过程。
2.
And they are combined by using the" counter example-guided abstraction refinement"framework and model checking.
针对模型组合中常见的"状态空间爆炸"问题,分析了抽象和组合两种方法各自的优缺点,采用"反例引导的抽象精化"框架和模型检验思想,将抽象和组合结合起来,为模型组合的检验提出了一种新的方法。
4) Abstract& predigest ion
抽象简化
5) 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)的软件体系结构测试技术为研究方向。
6) 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模型中类簇的动态行为,由此产生用于类簇测试的测试用例。
补充资料：公理化方法(见公理化和形式化)
公理化方法(见公理化和形式化)
axiomatical method
gongllbuafangfa公理化方法化和形式化。(axiomatieal method)见公理
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条