English translation for "category theory"
|
- 分类理论, 范畴论
小范畴
Related Translations:
- Example Sentences:
| 1. | Applications of modern category theory to lexical field
现代范畴理论在词汇领域中的应用 | | 2. | Springer - verlag , second edition , 1998 . 7 category theory . wikipedia , the free encyclopedia , 2005
幺元类型可以和任何类型组合，并且保持组合另一方的类型不变。 | | 3. | A typed category theory is proposed for the abstract description of knowledge and knowledge processing
为了兼顾知识的语义，我们引进类型的概念，提出带类型范畴论。 | | 4. | Ijcai - 77 , 1977 , pp . 1045 - 1058 . 20 johnson m , dampney c n g . on category theory as a meta ontology for information systems research . in proc
对象间态射的缺失意味着知识内部结构性的缺失，从而产生了对各种知识不完备性以及不完备知识完备化的范畴论意义上的研究。 | | 5. | Entity - relationship - attribute designs and sketches . theory and application of category theories , 2002 , 10 : 94 - 112 . 19 burstall r m , goguen j a . putting theories together to make specifications
所谓类范畴，就是放弃了带类型范畴中两个首尾相接的态射一定能组合成第三个态射，且它们的类型也相应组合这一要求。 | | 6. | Its importance may be judged from the fact that it has had many applications in fields as diverse as general topology , lattice theory , category theory and theoretical computer science as well as in many other areas of mathematics
Domain理论为计算机程序设计语言的指称语义学奠定了数学基础，处于拓扑学，格论，范畴论及理论计算机等多学科的交汇处，有着重要的研究价值。 | | 7. | 4 . presentation of buffer overflow attack model based on category theory . buffer overflow attack model based on category theory is brought forward in the paper by exploring the process of buffer overflow attack and systematically summarize its attack process
4 .给出了以范畴论描述的缓冲区溢出攻击模型通过对缓冲区攻击过程的研究,提出了以范畴论描述的缓冲区溢出攻击模型,对缓冲区溢出攻击过程进行了系统地总结。 | | 8. | It differs from the traditional category theory in two directions : all morphisms have types and the composition of morphisms is not necessary a morphism . two aspects of application of typed category theory are discussed : cones and limits of knowledge complexity classes and knowledge completion with pseudo - functors
一个带类型范畴是一个四元组k o , m , g , t ，其中o是一组对象, m是一组态射,每个态射有一个类型，表示f是从a到b的态射，具有类型t 。 | | 9. | The paper is concerned with periodic solutions to nonautonomous second order hamilton systems where , m : [ 0 , t ] - s ( rn , rn ) is a continuous mapping in the space s ( rn , rn ) of symmetric real ( n x n ) - matrices , such that for some u > 0 and all ( t , z ) [ 0 , t ] x rn , ( m ( t ) x , x ) > u | x | 2 . a s ( rn , rn ) , f : [ 0 , t ] x rn r is continuous and f : [ 0 , t ] xr r exists , is continuous and we study the existence of periodic solutions of the systems by using ekeland variational principle and the saddle points theorem . we suppose that the nonlinearity vf and potential f belongs to a class of unbounded functional . our work improves the existed results . we obtained the results of multiplicity of periodic solutions of the systems by using lusternik - schnirelman category theory and the generalized saddle points theorem , and the functional does not need the condition of constant definite . at last , we obtained the existence of infinity many distinct periodic solutions of the corresponding non - perturbation systems by using the symmetric mountain pass theorem
( ? ， ? )为r ~ n中内积， | ? |为对应范数。 f [ 0 ， t ] r ~ n r连续， ? f ( t ， x )存在且连续， h l ~ 1 ( 0 ， t ； r ~ n ) 。利用ekeland变分原理和鞍点定理讨论了该系统周期解的存在性，把非线性项和位势函数放宽到一类无界函数，推广了这方面工作的一些已有结果；利用广义鞍点定理和lusternik - schnirelman畴数理论得到了该系统的多重周期解，取掉了泛函的常定要求；最后利用对称山路定理得到没有扰动时系统的无穷多周期解。 | | 10. | In this article , with the guidance of " 16th party congress " and fujian " tenth five - year plan " , the aid of pavitt innovation department category theory ， production function model of cobb - douglas ( c - d ) and using sample statistical interpretation method ， the author has studied features of technological innovation model as well as technological innovation spillover effects of industrial department of fujian
本文以“十六大”精神和福建省“十五”纲要为指导，借助帕维特（ pavitt ）创新部门分类理论和柯布?道格拉斯（ c - d ）生产函数模型，运用样本统计分析方法，实证研究了福建工业产业部门技术创新模式以及产业间技术创新扩散溢出效应的特点。 |
- Similar Words：
- "category structures" English translation, "category symbol" English translation, "category system" English translation, "category tax" English translation, "category test" English translation, "category two" English translation, "category v" English translation, "category voltage" English translation, "category width" English translation, "category-ii operation" English translation
|
|
|
