查询词典 xu

Based on the outcome of Xu Yang and Qin Keyun about lattice implication algebra and lattice-valued prepositional logic LP with truth-value in a lattice implication algebra, the author studied the properties of lattice implication algebra and the α-automated reasoning method based on α-resolution principle of LP. The specific contents are as follows: The Study of Lattice Implication Algebra On the basis of previous results of lattice implication algebra, this part consists of the following three points: 1. Some properties of lattice implication algebra L were discussed, and some important results were given if L was a complete lattice implication algebra. 2. The properties of left idempotent elements of lattice implication algebras were discussed, and the conclusion that lattice implication algebra L was equals of the directed sum of the range and dual kernel of a left map constructed by a left idempotent element was proved. 3. The properties of the filters of lattice implication algebra were discussed, the theorem was shown that they satisfy the hypothetical syllogism and substitute theorem of the propositional logic. 4. The concept of weak niters of lattice implication algebras and their properties and structures are discussed. It is proved that all weak filters of a lattice implication algebra form a topology and the the implication isomorphism betweem two lattice implication algebras is a topological mapping between their topological spaces. The Study of α-automated reasoning method based on the lattice-valued propositional logic LP In this part, the author given an a-automated reasoning method based on the lattice-valued propositional logic LP.

本文基于徐扬和秦克云的关于格蕴涵代数和以格蕴涵代数为真值域的格值命题逻辑系统LP的研究工作，对格蕴涵代数以及格值命题逻辑系统LP中基于α-归结原理的自动推理方法进行了系统深入的研究，主要有以下两方面的研究成果：一、关于格蕴涵代数的研究 1、对格蕴涵代数的格论性质进行了研究，得到了当L为完备格蕴涵代数时，关于∨，∧，→运算的一些结果； 2、对格蕴涵代数的左幂等元进行了研究，证明了格蕴涵代数L可以分解为任何一个左幂等元所对应的左映射的像集合与其对偶核的直和； 3、对格蕴涵代数的滤子的性质进行了研究，证明了滤子的结构相似于逻辑学中的Hypothetical syllogism规则和替换定理； 4、给出了格蕴涵代数中弱滤子的概念，对弱滤子的性质个结构进行了研究，证明了格蕴涵代数的全体弱滤子构成一个拓扑结构，格蕴涵代数之间的蕴涵同构是相应的拓扑空间之间的拓扑映射。

Xu Feng arch of Yi Yi, said laughingly: The book is a record of freedom of speech and thought.

徐冯拱了一揖，笑笑说：书是记载言论和思想的。

Xu Jiang is the leading figure in Chinese art academies to promote and study new media art.

这也是他何以去担任总策展人，策划以"影像生存"为主题的2004年上海双年展，也在中国美术学院建立新媒体艺术研究学科等的原因。

NTU Entomologist, Pro. Xu Erlie:"Tree holes like this are easily flooded with water. Mosquitoes will come here and lay eggs, and produce wigglers here. Some other plants with a larger leafstalk will also store water and grow mosquitoes."

台大昆虫学系荣誉教授徐尔烈：「像这样的树洞经常会积水，积水蚊子就会来这边产卵，然后孑孓就在这边繁殖，还有一些像这种叶柄比较大的，那个基部也会积水，也会长蚊子。

French engineer, Ge orges Leclanche patented the carbon-zinc wet cell battery called the Leclanche cell.

XU^3Uv；I'D {'01866年-法国工程师，葛o rges勒克朗谢专利的碳锌电池湿称为勒克朗谢细胞。

Xu, let leftist or rightist know it, u will be......

有没有一首歌会让你想起我。。。

Come to see when Mr Xu, it is him son really if really, live to close in the past hug instantly: You this leveret whelp, you want to die urgently your father mother ah!

当徐先生赶来一见，果真是自己儿子，立即冲过去紧紧抱住：你这个小兔崽子，你想急死你的爸爸妈妈呀！

Be equal to overcome Xu Zhihua of general manager of sporting goods limited company to express.

匹克体育用品有限公司总经理许志华表示。

Finally, Old Xu came out, limping. He seemed to be in pain.

最后，老许一瘸一拐地出来了，他看上去好像很痛苦。

Xu tomorrow: This is a public company, because it is a listed company.

徐明天：这是一家上市公司，因为它是一个上市公司。

It has been put forward that there exists single Ball point and double Ball points on the symmetrical connecting-rod curves of equilateral mechanisms.

从鲍尔点的形成原理出发，分析对称连杆曲线上鲍尔点的产生条件，提出等边机构的对称连杆曲线上有单鲍尔点和双鲍尔点。

The factory affiliated to the Group primarily manufactures multiple-purpose pincers, baking kits, knives, scissors, kitchenware, gardening tools and beauty care kits as well as other hardware tools, the annual production value of which reaches US$ 30 million dollars.

集团所属工厂主要生产多用钳、烤具、刀具、剪刀、厨具、花园工具、美容套等五金产品，年生产总值3000万美元，产品价廉物美、选料上乘、质量保证，深受国内外客户的青睐