说明:双击或选中下面任意单词,将显示该词的音标、读音、翻译等;选中中文或多个词,将显示翻译。
您的位置:首页 -> 词典 -> 高坡变形演绎
1)  high slope deformation deduction
高坡变形演绎
2)  transformation of the image
形象演绎
3)  deduction of slipping deformation
滑坡变形反演
4)  deduction of fractal dimension
分形维数演绎
5)  Formal deductive system B
形式演绎系统B
6)  formal deductive system
形式演绎系统
1.
The Operationand Deductive Theorem in the Formal Deductive System L~*;
形式演绎系统L~*中的运算与演绎定理
2.
A formal deductive system L* has been introduced, and L* has been applied to fuzzy reasoning.
研究了模糊逻辑的形式演绎系统L 及R0 代数的性质,得到形式系统L 的两个更简捷的等价系统,证明了R0 代数的对偶代数是有界逆序对合BCK 代数,并给出关于R0 代数的一个重要反例,说明了R0 代数中∨与→是各自独立的。
3.
The formal deductive system L  is fuzzified in both aspects of semantics and syntax,and a meaningful extension L  is obtained.
从语义和语法两个方面将形式演绎系统L 层次化 ,得到L 的一个扩张 ,从而增强了系统L 的表达能力 ,使之能更有效地应用于模糊系统的研究 。
补充资料:高坡乡

从贵阳出发,经花溪、青岩、黔陶至高坡,路程仅48公里,乘车约两个小时后,已自海拔1000米攀升到1500米。高坡乡属高寒山区,最高海拔达到1712.1米,北高南低。北部为高山台地,高坡之所以得名,大抵由此。境内多属典型的喀斯特地貌,大小溶洞随处可见。该乡面积107.4平方公里,是一个民族风情浓郁、名胜古迹独特、田园和自然风光秀丽的旅游之乡。

高坡乡居住着汉、苗、布依等民族。每逢正月“跳场”、“跳硐”、“四月八”、“斗牛节”和“吃新节”等民族节日,这里都要举行赛马、斗牛、对歌和芦笙会,尤以苗族的“四月八”最为隆重。“四月八”活动之一是射背碑,女方将精心刺绣的背牌挂起做“靶”,让相中的男青年以弩射之,如中靶,即像徵姻缘美满。

高坡最令人称奇探秘的就是“洞葬”了。相传,高坡苗族从开始实行洞葬至今,已有600多年的历史。高坡的苗族把洞葬叫作“把个杜”三个字,据说,“把个”是洞的意思,“杜”则是苗语的鬼,合起来的意思就是“洞里面的鬼”。在高坡的甲定龙打岩、大洪与水塘交界处,有古代苗族洞穴悬棺葬遗址一处。位于甲定村栗木山的半山腰上,这个洞为u字形,上下有两个洞口,棺柩摆放在为繁树浓荫所掩的上洞,洞口豁敞,高十余米,宽亦有十余米,纵深约有三四十米,目测可看见上百具棺柩置于“井”字形木架之上,列成五排,棺柩或头朝外,或头朝里,其中似乎有其规则。高坡乡至今保存完整的洞葬有两处,一处是上面介绍的甲定洞葬。一处是杉坪洞葬,不过,这个洞只能看不能进入。洞口堆满残破朽烂的棺材,要想进去,已经无路可觅了。

高坡乡自然风光优美,这里有峡谷、石林、多级瀑布及万亩田园景观、云顶草场等多处美丽风景。去高坡旅游,可分为4条线17个点。畅游苗乡,民风淳朴,民俗保存完整:浓烈的迎送宾客仪式,欢快悲壮的跳场跳洞,轻歌曼舞的“四月八”,神秘莫测的地下洞堡,远古的悬棺洞葬,密竹重围的苗家山寨,独树一帜的苗族服饰,笙鼓喧闹的七月斗牛节,流动的鼓,多情的芦笙,观瀑布,看水碾,览峡谷,到布依人家喝米酒,徒步探险,高山览胜,布依风情及“播淼”(溶洞奇观)等游玩方式给人感觉其乐其味无穷。

说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条