查询词典 truth set

Thesis and mainly discuss the following problems:What we mainly discussed in the second chapter as follows:(1) S1,S2 are sets of symmetric orth-symmetric matrices;(2) S1,S2 are sets of bisymmetric matrices;(3) S1,S2 are sets of anti-symmetric orth-anti-symmetric matrices;(4) S1,S2 are sets of bi-anti-symmetric matrices;(5) S1 is the set of symmetric orth-symmetric matrices, S2 is the set of anti-symmetric orth-anti-symmetric matrices;(6) S1 is the set of bisymmetric matrices, S2 is the set of bi-anti-symmetric matrices;(7) S1 is the set of anti-symmetric orth-anti-symmetric matrices, S2 is the set of symmetric orth-symmetric matrices;(8) S1 is the set of bi-anti-symmetric matrices, S2 is the set of bisymmetricmatrices;On the base of studying the basic properties of the matrices, the expression of solutions and some numerical examples are presented.

本文第二章将主要就上述问题讨论如下几种情况： 1.S_1，S_2为对称正交对称矩阵； 2.S_1，S_2为双对称矩阵； 3.S_1，S_2为反对称正交反对称矩阵； 4.S_1，S_2为双反对称矩阵； 5.S_1为对称正交对称矩阵，S_2为反对称正交反对称矩阵； 6.S_1为双对称矩阵，S_2为双反对称矩阵； 7.S_1为反对称正交反对称矩阵，S_2为对称正交对称矩阵； 8.S_1为双反对称矩阵，S_2为双对称矩阵。

The fixed assets are 78 million Yuan. The main equipment for mould is imported from abroad such as: Three coordinate numerical control milling machine imported from Japan, on set; large type the five coordinate milling machine typed dragon imported from Spain, sise (4000 x 2500), one set; three coordinate numerical control processing center size (2000 x 1000) imported from Spain, one set; powerful numerical control milling machine typed dragon imported from Taiwan, size (3200 x 2540), one set; five coordinate milling machine typed with five drift link movement imported from Italy, size (4000 x 2500), one set; Five faces numerical control milling machine HVM502T typed dragon imported from Taiwan, one set; numerical control scanning measuring machine imported from America size (5000 x 2438 x l824), one set. Others sophisticated equipment are made in China, such as numerical control cutting machine, planer typed dragon, pressing machine for research, total 16 set; advanced computer graphical working station, total 40 sets. The automobile cover has become into advantage, which is supplied various auto. Cover mould and cool Press mould to many big factories, such as: Jinan Auto. Manufacturing General Factory, Beijing Light-duty Auto. Manufacture Co., Changhe Auto. Manufacturing Factory, Shandonq Bulldozed General Factory, Jinan Diesel Factory, Qongdao Sifang Locomotive Factory, Dongfeng Auto.

该厂现有固定资产7800万元，用于模具制造的有日本引进的数控三座标铣床一台，西班牙引进的大型五坐标龙门仿形铣床一台（4000*2500），三座标数控加工中心一台（2000*1000），从台湾引进的强力数控龙门铣床一台（32O0*2540），从意大利引进的五轴联动五座标龙门铣床一台（4000*2500），从台湾引进五面体数控龙门铣床HVM502T一台，从美国引进的数控扫描测量机一台（5000*2438*1824）以及国产联高精尖的数控切割机，龙门刨床、研配压床等大型设备 I6 台套，高档计算机图形工作站40多台，在模具制造方面已形成制造汽车覆盖件模具的优势，产品质量达到国内先进水平，多年来为济南汽车制造总厂、北京轻型汽车制造有限公司，昌河汽车制造厂、山东推土机总厂、济南柴油机厂、青岛四方机车厂、东风汽车公司等大型骨干企业的产品更新换代生产制造了各种类型的覆盖件模具及冷冲模具，受到用户的好评，并建立了较稳定的供需关系。

Armour rods (to be installed in suspension clamps) Parallel clamps Sub-Total, items 4.1-4.7 OTHER HARDWARE Counterweights for jumper or suspension insulator strings, including necessary device for attachement 50 kg 100 kg Sub-total, item 5.1 – 5.3 SPARES Insulator Units Type U160 Type U210BS Hardware for Conductor ACSR-BISON Complete set of hardware and fittings for suspension string Complete set of hardware and fittings for tension string Complete set of hardware and fittings for jumper string Complete set of hardware and fittings for transposition string Extra suspension clamps Extra tension clamps Extra tension joints Extra repair sleeves Extra vibration dampers Extra armour rods Extra spacers: for span for jumper alternatively spacer dampers Hardware for Earthwire 7 No. 6 AWG Complete suspension set Complete tension set Vibration dampers, Stockbridge type Extra tension clamps Extra tension joints Extra vibration dampers Extra parallel clamps Extra armour rods Hardware for Earthwire 7 No. 6 AWG Complete suspension set Complete tension set Vibration dampers, Stockbridge type Extra tension clamps Extra tension joints Extra vibration dampers Extra parallel clamps Extra armour rods Sub-Total, items 6.1-6.4 Sub-total, Items 1.4, 2.7, 3.8, 4.8, 5.4 and 6.5 Transfer to Summary, Schedule AS-1

装甲棒 平行夹具小计，项目4月1号至4月7号其他硬件重物跳线或中止绝缘子串，包括必要的设备attachement 50公斤 100公斤小计，项目5月1号至5月3号备件绝缘子单位型U160 类型U210BS 硬件导体钢芯铝绞线，拜森一套完整的硬件和配件的暂停字符串一套完整的硬件和配件的紧张字符串一套完整的硬件和配件的跳投字符串一套完整的硬件和配件的转字符串额外的悬浮夹额外的紧张局势夹额外的紧张关节额外的修理袖子额外的振动阻尼器额外的装甲棒额外的间隔：为跨度跳线或者间隔减震器硬件Earthwire 7特设工作组第6号完整的悬挂设定一套完整的紧张局势振动阻尼器，斯托克型额外的紧张局势夹额外的紧张关节额外的振动阻尼器额外的平行夹具额外的装甲棒硬件Earthwire 7特设工作组第6号完整的悬挂设定一套完整的紧张局势振动阻尼器，斯托克型额外的紧张局势夹额外的紧张关节额外的振动阻尼器额外的平行夹具额外的装甲棒小计，项目6月1号至6月4号小计，项目1.4 ， 2.7 ， 3.8 ， 4.8 ， 5.4和6.5 （换乘摘要，附表1 仅供参考

I agree the standard of the legal truth in china ,and think the standard of the objective truth ignores the relative truth and the particularity of the lawsuit ;as a idea of justice ,the objective truth couldn't be approached in justiciary practice .

笔者赞同我国应实行法律真实证明标准，认为客观真实证明标准忽视了认识的相对性和诉讼证明的特殊性；作为一种司法理念，客观真实在司法实践中难以实现。

The third part proposes in Luk the concept of lattice-valued truth degrees based on the second part by generalizing truth values from the MV-unit interval(a special MV-algebra) to a general MV-algebra. And the properties of lattice-valued truth degrees suggest that this generalization is natural and reasonable. Because of the equivalence between the two algebra systems, i.e. MV-algebra and lattice implication algebra, it's natural and easy to grade the truth of formulas in lattice-valued propositional logic whose basic algebra system is the lattice implication algebra.

中。 本文第三部分在第二部分的基础上，将Luk中公式的真度值推广到了一般的MV代数上，相对于第二部分的数值真度，给出公式的格值真度，并通过格值真度的性质说明格值真度是数值真度的合理推广。

In the historical evolution of mathematic thought, content and method, m athematic truth has assumed some postmodern characteristics.The targets of the pursuit of mathematic truth have changed from the objectives and valu es of metaphysics to the relative and varied theoretical constructions.Mat hematic truth is an open system with different levels and frameworks. It h as transcended the scope of natural truth and has generated a new dimensio n,i.e.,selectivity.Both formalization and non-formalization are effec

在数学思想、内容与方法的历史性变革过程中，数学真理的观代性开始发生转向，逐步表现出一些后现代特征：数学真理从追求形而上学的目标与价值转向追求相对的、多样化的理论构建；数学真理是一个具有不同层次性和等级结构的开放体系；数学真理超越了自然真理的范畴，开始生长出一种新维度——可选择性；形式化与非形式化都是获得数学真理的有效手段。

He claimed that "truth, compassion and forbearance" is "the basic Buddhist Law" and "the nature of the universe" while all natural and social phenomena are nothing but "a different discourse at different levels" of "truth, compassion and forbearance", and that everything is made of "truth, compassion and forbearance"-"Air particles, stone, wood, soil, steel, the human body - all matter has the nature of 'truth, compassion and forbearance'".

真善忍&是&根本佛法&，是&宇宙特性&，一切自然现象和社会现象不过是&真善忍&在&不同层次的不同论述&，万事万物都是由&真善忍&构成的，&空气微粒、石头、木头、土、钢铁、人体，一切物质中都存在着'真、善、忍'这种特性。

Intuitionism admits valuation's cognitive essence, but attributes the truth of valuation to the intuition, which easily leads to relativism and occultism; emotionalism denies the cognitive essence of valuation and dispels its truth, which sounds unreasonable; prescriptivism tacitly approve the cognitive essence of valuation, hide the truth of valuation, which is contradictory in its method and its theory; the foregoing naturalism understands the cognitive essence and truth of evaluation from the angle of experience, which is rather scientific.

直觉主义承认评价的认识本质，但将评价的真理性诉诸直觉，容易导致神秘主义和相对主义；情感主义否认评价的认识本质进而消解评价的真理性，其论据是不成立的；规定主义默认评价的认识本质，隐匿评价的真理性，其方法和理论之间存在矛盾；刘易斯以前的自然主义从经验角度理解评价的认识本质和真理性，是比较科学的。

And he also deduces the complete systemic universal theory that the comic's circling movement from the ancient and it graduated layer upon layer and to evolve from the beginning to the end, and grow out of nothing empty to solid; and the universe formula:E = mn1+n2+…nn + mc2 ;and the truth of the gravitation origin; and the extragalactic nebula red shift phenomenon is the result of its galaxy quality structure and the magnitude characteristic attraction, mutually by no means was far away but explodes, and he obtained the universe theory different from the large explosion completely. At the same time it will explain the abstract cultural natural sciences knowledge truth secret something like: Pan-Gu heaven and earth, the River-Chart and the Luo-River-Book, primal chaos and Yi Gua, the profound and abstruse principles of Daoism, the symbolism number of Yi-ology and so on, and it is so broad and profound mystical that it is to be lost many years in Chinese eternity civilization. Then, he establishment the law of myriad things with one method; and deciphered the method that CongzhiZu instantaneously obtained the girth quotient density earlier near millennium than the European at the Han Dynasty, and broke the misunderstanding that all to think he has use shearing the round technique method in the world; and expounded the Pan Gu truth that the world occurs and forms with, broke the thought Pan Gu was the god superstition which the folk spread; and has cleared the-River-Chart and Luo-river-book is the nature objective reflection appearance of the universe transportation principle; and has opened the universe code numeral secret; and explained the scientific truth Fu Xi drawing the ancient divination symbol, furthermore, the writer has drawn all the ancient divination symbol order orientation diagram that had lost the thousands years of the pre-heaven Lian-shan, the midst Gui-cang, the after earth Qian-kun,and the after heaven Zou-Yiology. Through the universe laws and regulations law of from the beginning to the ultimate and myriad things all out of Pangu River-chart Luo river book primal chaos, explained thoroughly the digital code of the universe myriad things' transports and constitution. The digital code only a digital odd and even, but the binary system code deduced the world myriad things' number.

推论出宇宙万物从无到有、由虚化实、由始到终、从一到万、盘旋古衡地层层量级运动演化完备系统的万有理论；推算出了宇宙万有品质及能量公式 E = mn1+n2+…nn +mc2；论述了万有引力、磁力、电流、微观中的强力弱力诸能量的由来，以及宇宙万有物质和三大力等统一为一体的道理；推论出一切物质构成存在皆是能量结晶体，得出&一切物质皆是能量实在&，&物质本身即是能量&的理论；讲明了银河外星系的红移现象是其盘旋圆合成的星系巨大品质结构和量级特性的引力所致，并非相互远离而爆炸，得出了与大爆炸完全不同的理论；同时破解了中国博大精深神秘玄奥的华表准天、八节太极、弇兹九宫、盘古天地、河图洛书、太极易卦、天机道秘、象数彖爻等自然科学知识道理奥秘；释解并创立了万物同准法理论；解密了古代祖冲之早於欧洲近千年，瞬间得出圆周率密率的方法，打破了世界上都认为密率是用割圆术等推算出的误解；阐明了盘古天地发生形成的宇宙自然之道，以及日晷观天历纪二十四节气等等，许多天地万物万事的科学同准方法，揭秘了认为盘古是民间流传的神话迷信；理清了河图洛书是天地垂象万物负图之客观自然规律出现的宇宙物有运化成物的基本道理的数理定律；解开了现代专家教授都迷惑不解的太极易卦天地编码万物数理秘密；释解了伏羲画卦的科学道理，把失传数千年的先天连山易、中天归藏易、后地乾坤形易以及后天周易的遗失卦象次序方位数学矩阵图全都补画出来；通解了宇宙天地万有运化构成的基因数码，只用一这个最简单元始数字，奇偶一二进位地组成编码天地数字推演万物。

Company has 8 sets Vertical Machining Center, 1 set Horizontal Machining Center, 6 sets NC lathe, 1 set O.D. Grinding machine, 1 set Plane Grinding machine, 3 sets EDM, 1 set CMM, 1 set universal tool microscope, 1 set cutter aligner, 1 set roughness instrument, etc., much of equipments are the most advanced in domestic.

主要 设备有：加工中心9台（最大加工范围800mm）、数控车床6台（最大加工直径360mm）、外圆磨、平面磨、慢走丝线切割机、快走丝线切割机，电火花成形机、三维坐标测量仪、万能工具显微镜，精密对刀仪、粗糙度仪等。

After explaining total design of automated test system for microcircuit , the thesis introduces GPIB standard .

文章在说明了微电路模块自动测试系统的总体设计后，对GPIB标准进行了介绍。

He interceded in my behalf.

他替我说情。