及格

If you want to pass that exam, you'll have to knuckle down .

你要想考试及格，就得开始下功夫了。

If you want to pass that exam, you'll have to knuckle down to some hard work

你要想考试及格，就得开始下功夫了

You'll really have to knuckle diwn if you want to pass the examination.

如果你希望考试及格，那你真得认真学习了。

The results of lattice beam internal force calculated method based on double parameter groundsill model are more approach the experiment measured values because of consideration of the pass of shearing force in soil, and its calculated workloads are similar with the method of winkler elastic foundation. Besides, the thesis also discusses the moment of torque affected results on node stress situation and the correction of stress value at the bottom of cross node of lattice beam. Due to the repeat calculation of node area during internal force calculation, the stress value of the bottom of beam is lower, this may lead the calculated value unsafe, but the corrected stress value will more approach to practical situation.

对格构梁的内力计算提出基于双参数地基模型的格构梁内力计算方法，其计算结果表明，双参数地基模型上的格构梁内力由于考虑土中剪力的传递更加接近于试验实测值，其计算工作量与winkler弹性地基梁法相当，此外，文中还探讨了扭矩作用对格构梁节点受力情况的影响结果以及格构梁交叉节点底部的应力值的修正，由于内力计算过程中节点处的面积被重复计算，使得梁底应力偏小，可能导致计算结果的偏于不安全，修正后的应力值更接近于实际情况。

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

Chris: My parents think I am not going to pass English because I am laze.

克里斯：我老爹和老妈说我是条懒虫，英语考试肯定不及格。

I can't believe that he failed the literacy test.

我无法相信他识字测试不及格。

Students who ate an adequate amount of fruit, vegetables, protein, fiber and other components of a healthy diet were significantly less likely to fail a literacy test.

饮食健康，摄入足量水果、蔬菜、蛋白质和纤维等营养成分的学生读写测试不及格的可能性较低。

Students who ate an adequate amount of fruit, vegetables, protein, fiber and other components of a healthy diet were significantly less likely to fail a literacy test, Dr.

加拿大埃德蒙顿亚伯达大学的鲍尔J维格勒博士及其同事发现，饮食健康，摄入足量水果、蔬菜、蛋白质和纤维等营养成分的学生读写测试不及格的可能性较低。

They played the prelude to Act 3 of Wagner's Lohengrin, Dvorak's New World Symphony and An American in Paris by George Gershwin.

乐团演奏了瓦格纳歌剧《罗恩格林》第三序曲、德沃夏克的《新世界交响曲》以及格什温的《一个美国人在巴黎》等作品。

With Death guitarist Schuldiner adopting vocal duties, the band made a major impact on the scene.

随着死亡的吉他手Schuldiner接受主唱的职务，乐队在现实中树立了重要的影响。

But he could still end up breakfasting on Swiss-government issue muesli because all six are accused of nicking around 45 million pounds they should have paid to FIFA.

不过他最后仍有可能沦为瑞士政府&议事餐桌&上的一道早餐，因为这所有六个人都被指控把本应支付给国际足联的大约4500万英镑骗了个精光。