形式系统 meaning in English
formal system
logistic system
Examples
- In 1996 , professor wang guojun built formal deductive system l * of fuzzy prepositional calculus , then in the frame of system l * , constructed the logical base for fuzfcy reasoning rules from sematics
王国俊教授于1996年建立了模糊命题演算的形式系统l ~ * ，之后在系统l ~ *的框架中，从语义上为模糊推理规则构建了逻辑基础。 - Man ' s objective observation of the space in view of his movement and vision is the starting point of the research of space morphology , which can be divided into static space observation and dynamic space observation
人类基于运动和视觉对空间的客观体验是建筑空间形式系统研究的出发点，根据不同的体验方式，可以将其设定为静态空间体验和动态空间体验。 - The parameter b is such that the denominator of above system does not vanish for non - negative x , in fact , we only need suppose system ( l ) has very strong biological background and challenging complex dy - namics , so many biologists and mathematicians are interested in it . in late decade , a lot of articles are concerned about it or more general system , and some interesting dynamical phenomena are found : " paradox of enrichment " , for example , and the existence of homoclinic orbit , etc . ( see [ 3 ] , [ 4 ] , [ 6 ] , [ 7 ] , [ 8 ] )
系统( 1 )由于它具有较强的生物背景和富有挑战性的复杂动力学性态吸引了大批生物学家和数学家的兴趣。近十几年来，有大批的文献对它或更一般形式系统进行研究，发现一些有趣的动力学现象，如“富食悖论” ( paradoxofenrichment ) ，存在同宿轨等等， (参见[ 3 ] ， [ 4 ] ， [ 6 ] ， [ 7 ] ， [ 8 ]及它们所引的文献) 。 - When referring to the theoretical thoughts of novel itself and the thoughts of methodology , the theoretical research of the system of aesthetic form such as the structural acrobatics , plot model , narrative methods and style characteristics of literary works , all belongs to categories of the study of the poetical novels
摘要凡涉及到小说本体的理论思考和方法论的思考，诸如文学作品的结构技巧、情节模式、叙述方法、文体特征等审美形式系统的理论研究，均属于小说诗学研究的范畴。 - The second part builds a new algebra syetem rl , which in the definition of bl - algebra gets rid of the stronger condition and studies the properties of rl - algebra . in the same time , using rl - algebra as the true - value field this paper builds a more extentively formal deductive system of fuzzy prepositional calculus - - - - - - logic system rl . obtains a series of theorems , and studies the completeness of rl logic
第二部分：在以bl逻辑为背景的bl代数的定义中去掉限制性较强的条件a b = a ( a b ) ，建立了一种新的代数系统rl ，并进一步研究了rl代数类的性质；以rl代数为赋值域建立了一种更为广泛的模糊命题演算的形式系统? ?剩余格值逻辑系统rl ，得到了一系列定理，同时研究了逻辑系统rl的(弱)完备性