您要查找的是不是:
- Modern category theory is the foundation of cognitive linguistics. 现代范畴理论是认知语言学的理论基础。
- A typed category theory is proposed for the abstract description of knowledge and knowledge processing. 为了兼顾知识的语义,我们引进类型的概念,提出带类型范畴论。
- CDT model is the formal description model of the construction of data types and based in category theory. CDT模型是以范畴理论为基础,以数据类型的构造为目的的形式化描述模型。
- Such a definition generalizes to the concept of an identity morphism in category theory, where the endomorphisms of M need not be functions. 此一定义广义化成了于范畴论中恒等态射的概念,其中M的自同态并不必然要是个函数。
- For the class of nonlinear maps, applying category theory, we give some resonance theorems which state that pointwise order-boundedness implies uniform order-boundedness. 对于这类非线性映照;应用纲理论;并给出了关于点态序有界蕴涵一致序有界的共鸣定理.
- Then it inspects and proves that the category CBF of consistently bifinite domains with Scott-continuous function is Cartesian closed in terms of category theory. 并从范畴学的角度考察证明了以相容双有限domain为对象;Scott连续映射为态射的范畴CBF是笛卡儿闭范畴.
- Categorical Date Type (CDT) is built on category theory, which is equipped with parallel operations used to program in a data parallel or skeleton style. 范畴数据类型是基于范畴理论基础建立的,用于并行计算或框架结构设计中的并行操作。
- Newmark's text category theory provides a new perspective for the study of translation.Different types of text need different approaches to translation. 摘要纽马克的文本范畴理论为翻译实践标准提供了新的视角,不同的文本需要不同的翻译标准。
- Because Combo Malware is a multiple malware technique, so we can use category theory, which is a very efficient tool in analysising structured information, to learn the relation and difference among malware techniques more clearly and definitly. Combo Malware是多种Malware技术的复合,为了更清楚、明确地了解和把握各种Malware技术间的联系与区别,引入了处理结构化信息强有力的数学工具范畴论,从范畴论的角度把Malware本身视为一个范畴,而把Malware技术特征看作范畴内的射元关系,并对Malware范畴应满足的范畴的基本性质予以论证。
- Notable examples are the development of category theory, which provides a useful framework for a large part of mathematics, homological algebra, and applications of model theory to algebra. 比较明显的例子是范畴论的发展,范畴论对数学,同调代数,以及模论在代数上的应用都提供了一个十分有用的框架。
- By feat of category theory, the impact mechanism of actualization consequences of decision alternatives shared among decision units on improving organizational decision-making was explored. 摘要探讨了组织决策中单元共享决策方案实施结果对提高决策质量的作用机制。
- Many loop invariants can be expressed in the form of the fixed point of a predicate universal function while weakest precondition is least fixed point and explained in the view of category theory. 在此基础上引入不动点原理深入刻划循环不变式的含义,循环不变式可以表示为谓词泛函的最小不动点,并从范畴论的角度解释该过程。
- Category Theory and Cognitive Motivations of Euphemism 范畴理论和委婉语的认知理据
- Applications of Modern Category Theory to Lexical Field 现代范畴理论在词汇领域中的应用
- The letter was written on a single sheet of paper. 这封信只用一张纸写成。
- One single, second class, to winchester, please. 买一张去温撤斯特单程二等票。
- Development of Category Theory and Its Contributions to Cognitive Linguistics 范畴理论的发展及其对认知语言学的贡献
- Development of Category Theory and Its Contributions to Fuzzy Semantics Studies 原型范畴理论的历史渊源及其对模糊语义研究的意义
- He got over the stream with a single leap. 他一跃就跳过了小溪。
- The Theological System of Ancient Chinese Literature: Category Theory 中国古代文学理论体系·范畴论