查询词典 axiomatic set theory

To declare what we can do with a set, we start a header file Set.h:#ifndef SET_H #define SET_H extern const void * Set; void * add (void * set, const void * element); void * find (const void * set, const void * element); void * drop (void * set, const void * element); int contains (const void * set, const void * element);#endif The preprocessor statements protect the declarations: no matter how many times we include Set.h, the C compiler only sees the declarations once.

宣布我们能做些什么用一套，我们开始一个头文件Set.h ：＃ ifndef SET_H ＃定义SET_H 外部构造无效*设置；无效*地址（无效*一套，无效*常量元素）；无效*找到（常量无效*一套，无效*常量元素）；无效*下降（无效*一套，无效*常量元素）；国际载（常量无效*一套，无效*常量元素）；＃ endif 预报表保护声明：无论多少次我们包括Set.h ， C编译器将只看到申报一次。

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 仅供参考

The theory of Confucianism founded by Lu Gu and Jia Yi was originated from the theory of Xun Zi, However, not the same as the thougt of Lu Gu, in the theory of Jia Yi, which reflected the aristocracy-oriented feature of the upper class, the ideology of aristocratism was aroused. Han Ying initiated the self-awakening man's original mind or nature and reestablished the theory of born good. His theory was regarded as an anabranch of Confucianism in the early stage of Han Dynasty, and a reecho of historical movement of the aristocratic theory of Confucianism advocated by Confucius and Mencius. During the periods of Emperor. Jing of Han and Emperor Wu of Han, an aristocratic upper class had come into being. Therefore, in the face of the society that experienced populace-oriented baptism, Dong Zhong-shu kept down the aristocratic components existed in Jia Yi's theory, absorbed populace-oriented consciousness, which formed the foundation for theoretical system, and transferred instrument-centered Confucianism to the one with sanctification. Thus, Confucianism acquired its theoretical remolding and historical transforming.

汉初的陆、贾儒学的思想理路是由荀学发展而来，但不同于陆贾之说，在贾谊思想里，作为当时上层社会走向贵族化这一时代特征的反映，贵族化思想成分开始被唤起；陆、贾之后的韩婴则倡导心性修养，重建性善论，他的学说是孔孟儒学贵族化历史乐章之回响，为汉初儒学的支流；景武之际，汉初上层社会已经完成了贵族化转变，为此，董仲舒保留了贾谊学说中的贵族化思想成分，然更为重要的是，面对一个经过平民化洗礼的社会，董仲舒吸纳平民思想意识以建构理论体系，将陆贾、贾谊承自荀子的工具性特征显著之儒学转变成具神学特征的儒学，使儒学获得一次理论上的大改铸，实现了儒学的历史转型。

Typical accident-causing" theories includes Heinrich" s Domino" s theory, its development by Bird, Adams and other people, progress of which is that it is deficiencies of management system that are the root cause in accident causation sequence. This is author" s idea resource and main method to produce the water traffic accident-causing theory . in addition, uncontrolled transferring of energy theory, applies widely in safety management scheme for water traffic; human error accident model can be used to analyze causes of collision accident and to take preventive measures; perturbation theory and multilinear event sequencing method is a very useful investigation method to water traffic accidents. All of these theories have contributed to the development of water traffic accident-causing theory. As to orbit intersecting theory, the paper thinks it extension of Domino s theory, although it exists independently.

有代表性的事故致因理论有海因里希因果连锁理论以及博德、亚当斯等人对该理论的发展，这些发展的主要进步是突出了管理缺陷是事故因果连锁中的基本原因，是本文分析和发展水上交通事故致因理论的主要思想来源和方法论；能量意外转移理论，广泛的应用在水上交通安全的各项具体管理制度中；人失误事故模型能用于指导对碰撞事故的原因分析和预防；动态变化理论及多线性事件连锁论对指导事故调查是较好的分析方法；轨迹交叉理论虽然以独立的理论形式存在，但本文认为其实质仍然是因果连锁理论的发展。

Graph theory s 02 graph theory widely used for its own development. 40-60 20th century era matroid theory and graph theory-very graph theory, algebra and graph theory. topology theory has great development.

详细说明：图论讲义02 图论的广泛应用，促进了它自身的发展。20世纪40-60年代，拟阵理论、超图理论、极图理论，以及代数图论、拓扑图论等都有很大的发展。

After Reform and opening—up democratical development of China is discussed ardently and there comesinto being some kinds of typical modes:electoral democracy theory,elite democracy theory,pluralistic democracy theory,negotiatory democracy theory,liberal democracy theory,mixed democracy theory and increment democracy theory.

改革开放30年来，随着社会主义民主的发展，学术界对中国民主发展进行了热烈讨论，形成了以下几种典型的理论模式：选举民主论、精英民主论、多元民主论、协商民主论、自由民主论、混合民主论、增量民主论。

This paper has done a deeply research on the evaluative method, which focus on maintaining and ensuring the camion. After deeply analyzing the maintain theory of army equipment and the stratagem 's characteristic and combining the current systems engineering evaluating theories and methods, it has analyzed and solved all limitations that coming forth when a single model is used to evaluate the maintain capacity. After analyzing and ameliorating the judgment of AHP's coherence, the calculation of the expert power value and the optimizing of the more-extreme judging model, a new calculation method, the multidimensional complex calculation theory, is presented, which much fits for the evaluative calculation of the camion. The new theory's feasibility and the evaluation's reliability have been proved in theory in this paper. This paper also analyses the principle and the program, which is about building a camion evaluating system. According to the multidimensional complex calculation theory, an evaluative model has been built. Applying the levels analytical method, this paper fixes on the calculation of every target's power, brings the optimization allot precept of macro spatial resource, optimizes the resource of the maintainability of theater of operations' vehicle, which offers a theory foundation for optimizing of the resource space. The research not only brings out a uniform standard for the evaluating of the maintain ability of the camion, but also presents a theory foundation and method for perfecting the camion maintain system.

本文对军用车辆维修保障能力评估的方法论进行了深入研究，在理论上通过对军事装备维修理论及战略特性的深入剖析，结合现有系统工程评估理论、评估方法的特点，分析解决了应用单一模型评估装备维修能力问题的各种缺陷，就AHP法判断矩阵一致性判定，群策专家权重值的确认及多元评判模型的优化进行了研究和改进，形成了适应军事车辆维修保障能力评估应用的新算法--多元复合算法理论，对这一创新评价理论的科学性及评估可靠性进行了理论证明和算法应用；研究分析了建立军用汽车维修保障能力评估指标体系的原则和程序，并按照多元复合算法的理论，建立了车辆维修保障能力评估模型；应用层次分析法的原理，明确了各指标权重的算法，提出了宏观空间维修资源优化分配方案，优化了战区车辆装备维修能力资源空间，为某一具体车辆装备维修能力形成所需维修资源空间的优化提供了理论依据；本文的研究既为军用车辆装备维修保障能力评估提供了统一的衡量标准，也为军事装备维修保障系统的进一步完善提供了理论依据及方法手段。

The cultural inheritance that this theory left to us was very huge and plentiful, To research this theory very clearly and overall is beyond the author"s ability , knowledge and .the article"s space , so in this paper , through elaborating on the following theories that composed the theory of speech acts -Attaching importance to the preferential status of the ordinary language philosophy A the distinction theory of language and speeclu the distinction theory of performative utterance and constative utterance , Three theories of speech acts, Three theoriesreplaced the distinction theory of performative utterance and constative utterance, the author introduced the contents, philosophy significance and contribution of this theory .

奥斯汀的言语行为理论给我们留下的文化遗产是十分巨大和丰富的，要对这一理论做全面透彻的深入细致的研究是笔者的学识、能力和篇幅所不能及的。本文通过对构成奥斯汀言语行为理论的注重日常语言的优先地位、语言与言语区分说、履行式话语与记述式话语区分说、言语行为三分说、&三分说&取代&区分说&等各个部分的阐述，介绍了奥斯汀的言语行为理论的内容并在此基础上阐述了奥斯汀言语行为理论的哲学意义及贡献。

The shaping method of noncircular part and the tool holder's radial motion characters in noncircular turning process are discussed in detail in the thesis.

论文详细研究了非圆零件的成型方法和加工过程中刀架的径向运动规律。

I have not really liked him,I do not like his this kind of disposition.

我没有真的喜欢他，我不喜欢他的这种性格。