查询词典 reducibility

1233 It is possible to imagine a world in which the axiom of reducibility is not valid.

6.1233 可能设想一个世界，其中可归约性公理是无效的。

Propositions like Russell's 'axiom of reducibility' are not logical propositions, and this explains our feeling that, even if they were true, their truth could only be the result of a fortunate accident.

如罗素的"可归纳性公理"这类命题不是逻辑命题，这就说明了我们的这种感觉：即使这些命题为真，也只能是一件碰巧的偶然事情。

This thesis inductively points out where the logicians did not satisfied with the theory of type mainly lies in two points, the axiom of reducibility first and the vicious-circle principle second. This thesis has discussed Ramsay's improvements as well as the criticism from Godel. Then, it observes that they two had a common view, viz. rejecting the vicious-circle principle from the points of Realism. Against Russell's insisting on this principle, such a rejecting seems so distinguished, which, this thesis argued, was the deep difference between Realism and Nominalism shedding on the reality of classes.

文中主要探讨了莱姆塞对类型论所做的改进以及哥德尔对类型论的批评，指出这二者的共同点是从实在论的立场来拒斥恶性循环原则，他们对恶性循环原则的拒斥同罗素对它的坚持形成了鲜明的对比，本文认为，这种对比所反映出来的差别实际上就是在类的实在性问题上实在论和唯名论的差别。

In order to optimize enzymolysis technology for production of antioxidant peptides from chickpea protein, effect of ratio of enzyme to substrate, enzymolysis temperature, and hydrolysis time on the technology in which reducibility and superoxide anion radical capturing rate were taken as response values was analyzed with response surface methodology.

为优化Alcalase蛋白酶酶解鹰嘴豆蛋白制备抗氧化肽的工艺条件，采用响应面分析法，以还原能力、超氧阴离子捕获率为响应值，研究了酶与底物的比值、酶解温度和酶解时间对制备抗氧化肽工艺的影响。

Ratio of enzyme to substrate, temperature, and hydrolysis time for the production of antioxidant peptides were analyzed with Response surface methodology in which reducibility and superoxide anion radical capturing rate was response value to build a predictive model for the enzymolysis of chickpea protein and the optimization of the enzymolysis technology parameters.

为优化Alcalase蛋白酶酶解鹰嘴豆蛋白制备抗氧化肽的工艺条件，采用响应面分析法（response surface methodology，简称RSM），以还原能力、超氧阴离子捕获率为响应值，研究了酶与底物的比值、酶解温度和酶解时间对制备抗氧化肽工艺的影响。

While the concept of reducibility was studied by other researchers as well, it appears that the idea of discharging, crucial for the unavoidability part of the proof, is due to Heesch, and that it was he who conjectured that a suitable development of this method would solve the Four Color Problem.

可约性观念也是从其他研究中学来的，它也发现了输出，在不可避免的证明的部分中非常重要，这应该归功于西斯奇，那也是他猜测出的一个适当的发展出解决四色定理问题的解决方法。

In this thesis, matroid theory is used to study the reducibility and other related topics of central hyperplane arrangements.

本文主要利用拟阵论中的结论讨论构形的可约性及相关问题。

The β-lactoglobulin will produce sulfhydryl when it is heated,which makes the reducibility of milk protein become higher.

借鉴AOAC的蛋白-还原物质测定法，对不同受热处理的牛乳以及酪蛋白、乳清的还原性进行了检测研究。

The study has shown that MgO has different rules on sinter reducibility at 850℃ and 1220℃, i.e.,it promotes reducibility of sinter at 850℃ and restrains sinter reduction at 1220℃.

研究表明，MgO对烧结产物还原性的影响，在850℃和1220℃显示出不同的规律，低温下抑制铁氧化物的还原，高温下有利于还原性能的改善。

In order to reveal the nature of reducibility of organic compounds and find theoretical basis for the selection of organic reductants, the electronic structure of studied organic reductants and related organic compounds has been calculated by means of HMO method、CNDO/2 method in quantum chemistry. It was discovered that the energy of the highest occupied molecular orbital of organic compounds has best correlation with their reducibility, and theoretical criterion for reducibility of organic compounds was presented.

为了揭示有机化合物还原性的本质，为有机还原剂的寻找提供理论依据，应用量子化学HMO法、CNDO/2法计算分析了研究的有机还原剂及相关有机化合物的电子结构特性，发现有机化合物的最高占据分子轨道HOMO能量与其还原性之间具有最好的相关性，据此提出了有机化合物还原性的理论判据。

The absorption and distribution of chromium were studied in ryeusing nutrient culture technique and pot experiment.

采用不同浓度K2CrO4(0，0.4，0.8和1.2 mmol/L)的Hoagland营养液处理黑麦幼苗，测定铬在黑麦体内的亚细胞分布、铬化学形态及不同部位的积累。

By analyzing theory foundation of mathematical morphology in the digital image processing, researching morphology arithmetic of the binary Image, discussing two basic forms for the least structure element: dilation and erosion.

通过分析数学形态学在图像中的理论基础，研究二值图像的形态分析算法，探讨最小结构元素的两种基本形态：膨胀和腐蚀；分析了数学形态学复杂算法的基本原理，把数学形态学的部分并行处理理念引入到家实际应用中。