从而

Secondly, by using multimodal propositional logic, we axiomatize AKRL and prove soundness, completeness, and finite model property of AKRL.

在AKRL完备性的证明中，指出了AKRL在表示情境的对象性方面的困难，从而论证了用表达能力更强的逻辑系统来分析研究类比知识表示系统的必要性。

Through the use of a coordinate axis and function tools, it tries to create a mathematical model and integration of the choice funnel and the counter-fact inference, and to make a functional analysis of the funnel model and find the mathematical relationship between the choice funnel and the counter-fact inference, and finally to definite the demarcation of the range of its usage and the limit of its effectiveness.

通过使用坐标轴和函数工具，对"选择的漏斗"和"反事实推理"进行数学建模与整合，对漏斗模型进行函数分析，从而推导出"选择的漏斗"与"反事实推理"之间的数学关系，界定两者的使用范围和效力限度。

By using a set of simple formula and calculating method with the rotating of coordinate axis, this paper gives the concrete expression of the reflectance and transmissivity of monopodium with discretional optical axis.

研究了光从各向同性介质入射至单轴晶体界面上时反射和折射情况，采用一套较为简单的公式和计算方法，再加上坐标轴的旋转，从而给出了在晶体光轴取向任意的一般情况下，光在晶体界面上的透射、反射系数的具体表达式。

HD-G Multifunctional Slimming Machine combine main and collateral channels and acupuncture therapy,with modern computer technology,Control electric pulse by the procedure,simulate acupunture massage acupunture point,can make human's body organ relating physiological reaction,adjust bio computer and metabolism,increase human body's lactate dehydrogrnase,adjust human body's incretion,improve human body's metabolism, slow down the speed of glucose transformed into fat,especially,to paly the important part to fat metabolism,can hydrolyze most 3 sour and sweet axunge,and make its leave fat cell,through a series of special decomposition approach, 3 sour and sweet axunge will be transfromed into energy Co2 and water being consumed,that fat cell volume will be small,that effect in weight loss and tightening skin

HD-G美体减肥仪器结合了中医的经络学和针灸理疗学，应用现代电脑技术，通过程序控制电子脉冲，模拟针灸按摩穴位，让人体相关的器脏产生相应的生理反应，有效调解生物电脑和新陈代谢，增加人体内乳酸脱氢酶活力，彻底调整人体内分泌，改善人体新陈代谢，减缓葡萄糖转化成脂肪的速度，特别是对脂肪代谢的分解发挥作用，可使原有脂肪中绝大部分的三酸甘油脂水解成脂肪酸和甘油，并使之离开脂肪细胞，通过一系列特殊分解途径，最好转化为能量二氧化碳和水被消耗。从而使脂肪细胞体积变小，达到减肥收紧皮肤的效果。

This method can determine the orienting azimuth and give the actual description o...

该方法可以确定出定向方位等参数，并给出漂移轨道的实际描述，从而为钻井实践提供真正意义上的理论指导。

To choosing the best dispensing of Nutrismart which special for tomato, the Nutrismart were mixed with different proportioning of regular chemical fertilizer. Then the mixtures were used on tomato in the greenhouse to compare the outputs, growth ways, qualitys and efficacy of the plant after those mixtures were used. The results showed: Nutrismart can offer abundant microelement such as azote, phosphor, kalium etc.

绿营高生态肥与常规化肥以不同配比的方式混合，形成不同配方的"绿营高有机无机复混肥"，将这种复混肥分别施用于大棚番茄和水稻上，通过比较产量、长势及经济效益等方面的功效，从而确定绿营高生态肥在番茄、水稻上的最佳专用性配方肥。

Initial success with Turkey, Tackled in 1696 in the Azov port, which in a sense opened up Russia to the road leading to the Black Sea.

与土耳其初战告捷，于1696年攻克了亚速港，从而在某方面来说给俄国开辟了通往黑海之路。

Nietzsche' s Dionysiac theory stresses the Bacchic spirit of breaking through all barriers and obstacles , thus highlighting the physical dimension of egoism and desire.

尼采的酒神理论突出了摧毁一切阻碍的酒神精神，从而凸显出唯我的欲望的躯体向度。

Zai is original in very Bacchic bazaar, if the advertisement sound that separates numerous medium is too big, can guide send aggravation of the environment that buy thing to cause client allergy thereby, if ad volume is too minor, effect of advertisement of You short of, which go is the person that bazaar buys thing dull to run to liquid crystal screen to fall to see ad?

在本来就很喧闹的商场里，分众传媒的广告声音如果太大，就会导致购物环境恶化从而引起顾客反感，如果广告音量太小小，又达不到广告效果，哪个去商场购物的人会无聊到跑到液晶屏下去看广告？

In contrast, European economic strength, particularly in Germany, added to the upward pressure on interest rates and accordingly bond prices fell back, with the yield on the ten-year German bond rising to 4.15% over the month.

不同的是，欧洲，尤其是德国的经济增长势头进一步提升了加息压力，从而使得债券价格回落，德国10年期债券收益率在4月份升至4.15%。

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万美元，产品价廉物美、选料上乘、质量保证，深受国内外客户的青睐