monadic
1. This paper presents an approach to extend the modular monadic slicing for handling pointers.
(3)含指针程序的模块单子切片。
2. The Equivalence of the Idempotent Monad and the Adams Completions
Adams完备化与局部化的等价性
3. monad radical
一价基
4. Monadic quadratic equation
一元二次方程
5. Deduction of Monadic Quadratic Equation
一元二次方程的精彩演绎
6. monadic algebra
一元代数
7. Applications of the Monad Function Calculus
一元函数微积分的一些应用
8. Some Notes of Extremum of Monadic Function
一元函数极值的若干注记
9. Monadic Boolean algebras have an important connection to topology.
一元布尔代数与拓扑学有重要联系。
10. Monadic Boolean algebras also have an important connection to modal logic.
一元布尔代数还与模态逻辑有重要联系。
11. monadic boolean operator
一元布尔运算符 一元布尔算符
12. monadic instruction
一元指令
13. monadic indication
一元指示
14. monadic indicant
一元指示符
15. monadic operator
一元算子
16. monadic operand
一元运算对象 一元操作数
17. monadic logic
一元逻辑
18. There are twelve Monad, each representing a race having survived the divine wars as mortal.
一共有12个月,每个月代表了一个种族在战争中幸免于难。
19. monadic Boolean operation
一目布尔运算 一元布尔运算
20. The monadic boolean operation the result of which has the boolean value opposite to that of the operand
一种一元布尔运算,其运算结果的布尔值与操作数的值相反。同NOT operation。
21. The monadic Boolean operation the result of which has the Boolean value opposite to that of the operand.
一种一元布尔运算,其运算结果的布尔值与操作数的值相反。同NOToperation。
22. Construction of a Simple Reflect Language Interpreter Based on Monad
一种基于monad反射语言解释器的构造
23. An Approach to Dynamic Program Slicing Based on Modular Monadic Semantics
一种基于模块单子语义的动态程序切片方法
24. the monad of the uniform structure
一致结构的单子
25. The monad of the uniform structure and its applications
一致结构的单子及其应用
26. Invesitigation and Analysis on Mild Monad Food Intoxication Mixed with Vibrio Parahaemolyticus
一起副溶血性弧菌混合温和气单胞菌食物中毒的调查分析
27. On this background, this paper studies two aspects of the basic theory of modular monadic slicing and extends it to handle pointers.
主要工作包括:(1)模块单子切片算法终止性的精确证明。
28. Application of Monadic linearity Regression Analysis Method at Coal Mine Enterprises
井下主煤流配煤胶带机的应用创新及自动化监控
29. A Monadic Perspective on Leibniz's Research into the Subject of Knowledge
从单子特性看莱布尼茨对知识主体的探究
30. but most people do no longer use this division and henceforth prefer to number the Dekad in a Yano from 1 to 48 and the Djay in a Monad from 1 to 40.
但是大部分人不再使用这种分类法,之后更喜欢使用1-48的数字来计算周和以1-40来计算每个月的日期。
31. The way of making this sort of moxa stick is the same as that of the great monad herbal moxa stick, except that the ingredients in this moxa stick are different.
其制做方法与“太乙针”相同,惟药物处方有异。
32. From there I will be able to exert motive force, drawing on potentials from a monadic engine I have already positioned in the paraspace.
到那时我就能发动早已安排在那个超空间内的单细胞引擎,通过吸收它存储的能量,我就能随意挥洒力量。
33. monadic symbols
单一符号
34. monadic second-order Lukasiewicz logic
单体二阶Lukasiewicz逻辑
35. monadic breeding
单倍体育种
36. monadic operation
单值[单项]运算
37. monadic formula
单值公式
38. inversion monad
单反演轴
39. monad category
单子范畴
40. monadic semantics
单子语义
41. monad transformers
单子转换器
42. monadic sentence
单无命题
43. The essence of the negative art should be twofold: it is the autonomous substance and the society fact monad.
另一方面,它又是社会事实单子。
44. In the same way, intelligence at DNA's level designed and fabricated from monad to multi-cell being then to human.
同理,DNA层次的智力,也是一步一步设计制造出单细胞生物、细胞生物,直至自诩为万物之灵的人类。
45. Keywords regression analysis;monadic mathematic model;conversion method of gypsum;chloride free potassium fertilizer;potassium sulphate;
回归分析;一元数学模型;石膏转化法;无氯钾肥;硫酸钾;
46. Marxism has to reflect on and find answers to it, for the sake of its self-evolution.In this thesis, it is argued that the value of the internet is not monadic but of a complex system.
因为网络具有哪些价值,这些价值是正是负,将直接影响到网络本身的发展,也将影响到人类社会前进的方向。
47. In species evolution process, grow sexual live thing from asexuality monad, multiply of this kind of male and female is one miracle really, undeniable.
在物种演化过程中,从无性单细胞生物发展到有性生物,这种雌雄繁衍的确是一奇迹,不可否认。
48. The main work includes: (1) The proof of the termination of modular monadic slicing algorithm.
在现有理论的基础上,利用指称技术及不动点理论给出终止性证明。
49. Network Capability Management Based on Monadic Regressive Analyse
基于回归分析的网络性能管理
50. Using improved Genetic algorithm to solve the root of monadic nonlinear equations
基于改进的遗传算法求一元非线性方程的根
51. They are to monadic predicate logic what Boolean algebras are to propositional logic, and what polyadic algebras are to first-order logic.
它们对应一元谓词逻辑,而布尔代数对应于命题逻辑,而 多元代数 对应于一阶逻辑。
52. Numerical analysis demonstrates the validity of the model, which provides an effective method for establishing monadic and multivariate nonlinear models.
实例计算证实了所建模型的有效性,为一元或多元非线性建模提供了一条可行途径。
53. Hence S5-algebra is a synonym for monadic Boolean algebra.
所以 S5-代数 是一元布尔代数的同义词。
54. Applying theory to specific cases to analyse ideogical method of transformation of several problems,briefly problems the principle and significance of transformation method in monadic calculus.
扼要论述了化归的原则及意义,从理论和实例分析讨论了一元微积分中若干典型问题化归的基本方法.
55. The calculations of extreme value for monadic and binary function are essential problem in mathematical analysis, which can apply to calculate maximum and minimum.
摘要求一元、二元函数的极值问题是数学分析中的基本内容,可应用于实践中求最大、最小的问题。
56. Monadic Polynomial Ring Of Domain
整环上的一元多项式环
57. The method of application and indications and its indications are basic the same as that of the great monad herbal moxibustion with.
施灸方法及主治与“太乙针”基本相同。
58. Whether from the view of continental law system or common law system, from "monadic theory" or "binary theory", their application respectively have their advantages and disadvantages.
无论是从大陆法系还是英美法系抑或是从“一元说”还是“二元说”说因果关系理论的视角出发,它们的应用都有着各自的优缺点。
59. However, some important aspects of modular monadic slicing theory haven't been study, and the language mechanism that can be addressed by modular monadic slicing is still limited.
本文在已有工作的基础上,部分完善了模块单子切片的基本理论,并将之扩展以处理含指针的程序。
60. This paper discusses the definition of a complete functional I/O file system based on the stale transformer. Using a nondeterministic monad, we describe the process networks of the operating system, giving the semantics of the file system.
本文通过状态转换器来定义I/O的文件系统,并用非确定性monad描述了操作系统的进程网,从而给出了文件系统的语义。
61. chromosome monad
染色体单分体
62. According to fragrance characteristics of black tea, the process that using monadic perfume base of different note to make black tea essence would introduced.
根据红茶的香味特点,介绍了如何运用不同香韵的单体香原料调配出红茶香精的过程。
63. The modal logic S5, viewed as a theory in S4, is a model of monadic Boolean algebras in the same way that S4 is a model of interior algebra.
模态逻辑 S5,被看作 S4 中一个理论,是一元布尔代数的模型,如同模态逻辑 S4 是内部代数的模型。
64. Using Simulated Annealing Algorithm to Solve the Root of Monadic Nonlinear Equations
模拟退火算法求算一维非线性方程的根
65. Keywords H+ consistence;Monadic acid;Simple calculation;
氢离子浓度;一元酸;简易方法;
66. On Method of Transformation of the Typical Problems in Monadic Calculus
浅谈一元微积分中典型问题的化归方法
67. Simply Talking about Application of Monadic Linear Regression Analysis, Straight Line Interpolation in Jack Calibration
浅谈一元线性回归分析、直线插值法在千斤顶标定中的应用
68. How to Control the Monad Project Cost
浅谈单位水利工程项目的成本控制
69. soul monad hypothesis
灵魂单子假说 灵魂单子假说
70. ideal monad
理想单子
71. Likewise, monadic Boolean algebras supply the algebraic semantics for S5.
类似的,一元布尔代数为 S5 提供了代数语义。
72. pure monadic sentence
纯一元语句 纯一元命题
73. Since Pythagorean put forward the concept of monad, then indivisibles have appeared in mathematics lasted for twenty-five hundred years or more.
自公元前六世纪毕达哥拉斯在数学中提出单子概念开始,数学中就出现了不可分量的概念。
74. This is the plane of the Monad, or oversoul.
这是单体层,或超灵层。
75. The utility of Leap function in the crown growth process with changing point is better than the usual regression methods , and the Monadic power model is the best one.
阶跃函数模型在具有变点的桉树林分树冠生长过程中的应用优于一般回归拟合模型效果,而且以 阶跃幂函数模型为最佳。