查询词典 results

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、给出了格蕴涵代数中弱滤子的概念，对弱滤子的性质个结构进行了研究，证明了格蕴涵代数的全体弱滤子构成一个拓扑结构，格蕴涵代数之间的蕴涵同构是相应的拓扑空间之间的拓扑映射。

The results show that the interplanar crystal spacing and lattice index of Al-rich α phase reduce gradually with increasing pressure. When the pressure reaches from common pressure to 5 GPa , Al-rich α phase lies on the (200) and (220) crystal faces, the interplanar crystal spacing are reduced by 1.07% and 1.15%. From common pressure to 3 GPa , the microstructure of ZA27 alloy changes from thick dendrites to fine dendrites, and finally to granular. According to the effect of solute diffusion coefficient under super high pressure and the calculation of Scherrer formula, it can be seen that the crystal organization is fine within the bounds of certain pressure. This conclusion is consistent with the experiment results.

结果表明：随着压力的增加，晶面间距和晶格常数都逐渐减小，当压力达到5 GPa时，富铝α相在(200)与(220)晶面处，晶面间距较常压力时的分别减小1.07%和1.15%；在常压至3 GPa范围内，晶粒由粗大的树枝晶→细小的树枝晶→粒状、椭球状枝晶转变的趋势，通过压力对合金凝固溶质扩散系数的影响结合Scherrer公式计算分析其组织变化原因，得出在一定的压力范围内，随着压力的增大，晶粒尺寸逐渐变小，这一结论与实验结果相符。

Through comparison of the results of numerical simulation and experiment results, two equation model was validated with constants recommended by Launder and Spalding in the paper.

采用Launder和Spalding提供的模型常数，通过数值模拟分析结果与实验值的比较确认了两方程κ-ε湍流模型对本实验装置的适用性。

Through the characteristic parameters, the system's real-time moment of inertia is given. Then golden section adaptive control law and logic derivative control law both based on moment of inertia are designed. The two kind of control laws are combined to control the attitude of spacecraft and their simulation results are compared with the ones of PD control law which is designed based on the certainly-known system model. The results show that this adaptive control law is effective on the kind of time-variable system studied in this paper.

根据特征模型的参数推算了系统实时的转动惯量，设计了基于转动惯量的黄金分割自适应控制器和逻辑微分控制器，将这两种控制器相结合对带有可伸缩挠性附件的刚体进行姿态控制，仿真结果与基于确知系统模型所设计的变系数PD控制器相对照，表明了该自适应方法控制一类时变系统的有效性。

First of all, this study will be multi-walled carbon nanotubes by chemical oxidation process purified so it can be modified to deal with than the purification of purity before the modified 5 wt%, more than 1.89 times the surface area to increase the surface potential decrease of about 10 ~ 20 mV and the surface functional base (-COOH and-OH) to increase 1.45 times, and then the control technology of electroless preparation parameters include: analysis of plating time, plating analysis of temperature, metal ions in solution than the (Fe2+/ Ni2+), bath pH and the added value of dispersion Agent and other research towards Fe-Ni particles to increase the iron content and Fe-Ni particles spread in the MWCNT upper fixed targets,the results found that when the parameters for the preparation of 50 ℃, pH10, do not add dispersant, metal ions than the solution (Fe2 +/ Ni2 +) 7, the highest iron content can be Fe = 40.55 at%(flat iron content 111.17 mg / g) of nanocomposites Fe-Ni/CNT, then for a series of the nature of its analysis, the final evaluation Fe-Ni/CNT nanocomposites were processed on the effectiveness of the application of mixed pollutants, the results showed that in 120 minutes at the same time when Adsorption of heavy metal ions lead nitrate 10 ppm, selenium heavy metal ion degradation of 1 ppm and orange azo dye AO7 50 ppm standard of effluents, and after a total Fe-Ni nano-particles to SEM / EDS analysis of more than 50% still remaining.

本研究首先将多壁奈米碳管以化学氧化法做纯化改质处理能使其纯度较纯化改质前提高5 wt％、比表面积提高1.89倍、表面电位下降约10~20 mV以及表面官能基提高1.45倍，再控制无电镀技术之制备参数包括：析镀时间、析镀温度，镀液中金属离子比(Fe2+/Ni2+)、镀液pH值及是否添加分散剂等，研究朝提高Fe-Ni粒子的含铁量与Fe-Ni粒子散布固定在MWCNT上等目标进行，研究结果发现当制备参数为50 ℃、pH10、不添加分散剂、镀液金属离子比(Fe2+/Ni2+)7时，可得到最高铁含量Fe = 40.55 at％(单位铁含量111.17 mg/g)之奈米复合材料Fe-Ni/CNT，接著对其作一系列性质分析，最后评估奈米复合材料Fe-Ni/CNT对共处理混合污染物之应用效益，结果显示其在120分钟时能够同时吸附重金属硝酸铅离子10 ppm、重金属硒酸根离子1 ppm及降解偶氮橘色染料AO7 50 ppm达放流水标准，且共处理后奈米Fe-Ni粒子以SEM/EDS分析仍剩余50 %以上。

The testing results suggests that the increase of H2S concentration will raise the brittleness coefficient, leading to the decrease of corrosion resistance for either X70 base metals or welding joints. Meanwhile, the results reveals that effect of H2S concentration on X70 base metals and welding joints is different: the influence of H2S concentration on welding joints'SSCC is bigger than on base metals'SSCC.

揭示了随着硫化氢浓度的增加，国产X70管线钢及其焊接接头的脆性系数增加，抗腐蚀能力减弱；硫化氢浓度对国产X70管线钢母材和焊缝的SSCC性能有着不同程度的影响：在相同的试验条件下，焊缝的脆性系数显著大于母材的脆性系数，即焊缝较母材的SSCC敏感性大。

The theoretical analysis and experimental results show that the result of the first one has bug error with optimal results, and the second one is superior to the former, and the third one is best, which can get the optimal result based on least upper bound of error probability.

证实了"基于最小错误概率上界特征提取"是目前可以用迭代算法完成的最好的特征提取，而"基于马氏距离特征提取"在错误概率上界上升很小的代价下，简化了计算量，也是一种可行的方法。

The method is testified by experiments on the leftwards spiral quartz beam, and the results of the experiments coincide well with the results of calculating.

以左旋石英晶体为例，依据对扭转效应产生的极化电荷与电场的分析结果，有效地布置了检测电极，从而实现了单压电体扭矩检测，得到了同理论计算结果相符合的实验数据。

For instance, audit planning goes throughout the whole job, and the plan may be adjusted depeding on results from following work. On the occasion of continuous audit, working papers done in the previous years will be reviewed, along with results from pre-finals. When breaking down the general leger balances on the field, auditors determine the breakdown rule by comprehensively considering the cycle, the flux, and the materiality. The "Voucher→Books" route will be considered when auditing some liabilities accounts, preventing the client to "decrease" its liabilities.

比如审计计划贯穿整个工作的始终，并且可能会随着后续阶段的结果而发生变化；连续审计的情况下，通常要看客户上一年度的底稿和预审的结果；在客户现场就总账余额列明细时，审计师们会结合循环特点、波动水平、之前定下的重要性水平综合考虑明细分类的标准；在审计一些负债类科目时实行的是"证→账"路线，以防客户虚减负债。

The MTF of the same lens in the different space frequency is measured, the results agree well with the practical results.

对同一双胶合透镜在不同空间频率下的MTF值进行了测量，所得结果与实际值基本吻合。

And Pharaoh spoke to Joseph, saying, Your father and your brothers have come to you.

47：5 法老对约瑟说，你父亲和你弟兄们到你这里来了。

Additionally, the approximate flattening of surface strip using lines linking midpoints on perpendicular lines between geodesic curves and the unconditional extreme value method are discussed.

提出了用测地线方程、曲面上两点间短程线来计算膜结构曲面测地线的方法，同时，采用测地线间垂线的中点连线和用无约束极值法进行空间条状曲面近似展开的分析。