1) extended calculus of constructions(ECC)
扩展构造演算(ECC)
2) generation calculus
构造演算
3) structual evolvement
构造发展演化
1.
The phases of the structual evolvement decide metallogenic process,period and persistence of stripped target stratum,and control metallogenic type and phases.
文章通过对鄂尔多斯盆地东北部地区断裂体系和构造发展演化分析,指出铀成矿受断裂控制明显,主矿体就位于盆地内主要隐伏断裂附近,断裂活动对成矿起建设性作用的同时也起一定的破坏作用。
4) scale-extension
标度扩展构造法
1.
To realize the assignment scheme of battlefield rush-repair power high effectively, this paper figures out a matrix with full consistence of judgement by using the scale-extension of the judgement matrices, and verifies its availability with a concrete example.
为高效实现战场抢修力量分配,利用判断矩阵的标度扩展构造法生成的矩阵完全满足一致性,进而根据AHP得到一个战场抢修力量的分配方案,并用实例验证此种分配算法可行。
5) left slip propagation tectonics
左旋扩展构造
6) Tectonic gravity spreading
构造重力扩展
补充资料：构造命题演算
构造命题演算
constructive propositional calculus
构造命题演算【。班.。”比犯p润p旧I柱门目因回uS;一口仍临…”..oe肚，.c月.姗..e“.3..a..后l 描述在构造数学(constructive mathematics)观点下永真的表达式的推导方法的逻辑演算(fogical calcu-lus).“构造命题演算”一词通常指的是直觉主义命题演算(intuitionistie ProPC‘itional calculus).然而，在某种构造主义的特定解释下，直觉主义命题演算是不完全的.例如，著名的R谓e公式(Rose formula) ((二，月〕A)〕(二，刁V，月))〕(，，刁V，A)，其中A是公式，pV，q，而p，q是命题变元，在直觉主义命题演算中是不可推导的，同时在递归可实现的幻eene解释下是恒真的，至少在接受构造选择原理(constructive selection prindple)(MapKoB厚理(Mar-kov PrindPle))时是如此.实质问题是研究不同的构造数学语义的构造命题演算的完全性.
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条