查询词典 by this means

This paper discussed a kind of transferable utility game with restricted coalition and gave a solution of this game- marginal contribution value for games with restricted coalition by the means of axiomatization.

讨论了一类有限制结盟的效用可转移对策，利用公理化方法刻画出这类对策的一个解———有限制结盟的边际贡献

Finally, there are some diagrams and a few of advices(the ways by which risks are evaded). This paper gives the conclusion: there are not any serious risk sources, and the majority of risk incidents in tables can be avoided by some means or other.

本研究认为，在对该系统进行风险分析的过程中，没有发现不可接受的重大风险源，风险事件表中所列的风险事件，在采取一定的措施后，大多数都是可以避免的。

At the same time , we discuss the determinism and nondeterminism of formula-clock automata and the closure propertied under Boolean operation of the language which is accepted by formula-clock automata. We also prove the expressive equivalence between the deterministic formula-clock automata and the nondeterministic formula-clock automata. This means that every nondeterministic formula-clock automata can be transformed to a deterministic formula-clock automata which exactly accept the timed language identified by the fomer.We also extend timed words to infiniteness and define the formula-clock Buchi automata and the formula-clock Muller automata. At last, we show its application in formal verification and modeling of real-time system.

然后讨论了公式时钟自动机的确定性和非确定性，公式时钟自动机识别的语言类在并、交、补运算下的封闭性；并证明了确定的公式时钟自动机和非确定的公式时钟自动机表达能力的等价性，这意味这每一个非确定的公式时钟自动机都能转换为一个与之识别相同时间语言的确定的公式时钟自动机；我们将时间字扩展为无穷的，从而定义了公式时钟Buchi自动机与公式时钟Muller自动机；最后给出了用它进行实时系统的形式化验证方面及对实时系统建模的应用。

This it certainly is, but this is by no means is its only achievement, for there are many suggestions for further lines of research, and the discursive passages are crisply provocative of new ideas and new ways of looking at established findings.

确实如此，可是这并不是书的**成就，因为书内有许多关于进一步研究范围的建议。推论性篇章及能令人非常感兴趣的看待现存成果的新观点和新方法。

By all means, this isn't an all-exclusive answer but, I hope there is enough resourceful information to give every 'Earthling, Who Loves Animals' an upper hand in making our lives better by making our pets lives better.

运用一切手段，这不是一个所有排他性的答案，但我希望有足够的财力信息，让每一个'地球行星，热爱动物的一个得势，使我们的生活更美好，使我们的宠物的生活更美好。

However,at present we lack study on this system in theory, and has the tendency of formalistic eyeless introduction in practice In order to perfectly exert the role that this Independent Director System plays on the corporation and legal person supervision structure, we must exactly analyze and evaluate its function and avoid by all means regarding it as the ca...

为了真正发挥独立董事制度对完善我国公司法人治理结构的作用，本文认为必须客观地分析评价独立董事制度的功能，切忌把独立董事制度看作"包医百病"的"灵丹妙药"，同时还必须从中国现存的政治、经济体制以及公司制度的现实出发，建立健全中国式的独立董事制度。

We need to select multiple layers, you can by using the Select tool from the selected file, functioningas come up with a select gridlines, and then hold down the ALT key "", when the cursor turns into a corner with a small big ""-+"" numbers (this means that by selecting a zone or pixels), in the first box inside pull-out the second box and hold down the Shift key "", when the cursor changes to a corner with a small big ""++"" letter, and then in the second box inside out the third selection box so that you can use both on a rotational basis, multi-tier choice.

我们必给众层拔取时，可以不后用拔取东西选定文件洋的地区，拉制不入一个拔取虚框；然后按住"Alt"键，当光标酿成一个右下角带一小"-"的不小"＋"号时(这表现加少被拔取的地区或像素)，在第一个框的本质拉不入第二个框；而后按住"Shift"键，当光标变为一个右下角带一小"＋"的不小"＋"号时，再在第二个框的本质拉不入第三个拔取框，这样二者轮番搁置，即可进动众层拔取了。

According to the above reasons,this paper goes from the industrialization down to the aspect of the macroscopical and microcosmic, analyzing the courrent development of paying digital television, by dint of the industry lifecycle、 industry structure 、 industry highness and other economics theory, the author conclude comparatively successful cases including Shanghai ,Shenzhen,Qingdao and Foshan by the means of indagation and cases analyzed..

苏州付费数字电视要实现产业化发展也尚待时日。基于以上原因，本文从产业化的角度出发，对当前我国付费数字电视的发展从宏观和微观两个层面进行深入剖析。文章借助产业生命周期、产业结构和产业高度及相关经济学的理论，采用调查研究和案例分析的方法对近几年来发展比较成功的运营模式进行了有益的整理和归纳。

This purports to be more than just a bid to irk Labour by pinching one of its favourite adjectives, promising to realise "progressive ends by conservative means".

它的目的不仅仅是用自己挖空心思找到的最喜欢的一个形容词"进步"来惹恼工党，它承诺的是"通过保守党的手段来实现进步的终极目标"。

Let us try to understand what the Lord really means by this command. He came to earth to make known God's love to us. He was returning to the Father. He had revealed the love of God the Father, and would leave this love on earth in charge of His disciples. He said to them:"Love one another, as I have loved you."

让我们试从这条命令来真正认识基督，基督降世为人来表明神的爱，彰显神的爱，他在世上将神的爱藉着爱门徒而启示出来，他又对他们说："你们要彼此相爱，正如我爱你们一样。"

Breath, muscle contraction of the buttocks; arch body, as far as possible to hold his head, right leg straight towards the ceiling (peg-leg knee in order to avoid muscle tension).

呼气，收缩臀部肌肉；拱起身体，尽量抬起头来，右腿伸直朝向天花板（膝微屈，以避免肌肉紧张）。

The cost of moving grain food products was unchanged from May, but year over year are up 8%.

粮食产品的运输费用与5月份相比没有变化，但却比去年同期高8％。