查询词典 thereby

Architecture description languages and their accompanying toolsets have been proposed as the answer. The XYZ/E is an executable linear temporal logic language. It can represent both dynamic and static semantics of systems. Basing on XYZ/E, the executable linar temporal logic language, we provide an architecture description language XYZ/ADL, which can represent both high-level abstract specification and the concrete implementation, thereby provides premise for the smooth transition from specification to implementation. And it can represent both the specification and the inner structure of a component under the unified logic framework, owing to the representability of the XYZ/E.

本项目研究旨在根据XYZ系统的特性，在时序逻辑语言XYZ/E的基础上，提出一种支持在XYZ系统中设计软件体系结构的描述语言XYZ/ADL，使之不仅能够对软件体系结构进行精确的形式化描述，而且为对其进行求精、验证、演化和分析提供基础，从而能在统一的时序逻辑框架下描述组件的规范和它的内部结构，并逐步过渡到最后的算法实现，从而能够支持软件开发设计的逐步求精全过程，把原有的两种支持软件开发的方法即支持模块化程序设计的方法和支持从规范到算法实现的逐步求精的方法有机地结合起来。

In like manner he practises fasting and virginity that thereby he may repudiate the licence of the world.

在喜欢的方式，他奉行空腹和童贞，从而认为他可能会否定牌照的世界。

Germ depends on, ability of child make a clear distinction between right and wrong is poor, lack controls oneself; Educational means is drab, learning environment is as dry as a chip and drab; Guide be short of break, grooming besides study and specialty still is these, and recreational activities of the other in the life little, and the recreational place spending of and so on of such as cinema is high, your child too far behind to catch up with, bring about the child to feel the life lacks colour very, produce repugn tired thereby, it is inimical behavior even.

根源在于，孩子明辨是非能力差，缺乏自律；教育方式单调，学习环境枯燥乏味；引导缺失，除了学习和特长培训还是这些，而生活中其它娱乐活动又少，而诸如电影院之类的休闲场所消费昂贵，令孩子望尘莫及，导致孩子觉得生活十分缺乏色彩，从而产生厌倦，甚至是抵触行为等。

The results indicated that:(1) It is viable to use the electron affinity energy of the metal atom in the catalyst, and the ortho-/para-substition ratio of phenolic model compounds as parameters. Thereby, the related data of Resole resins catalyzed by different catalysts can be put into the same training set for modelling.

研究结果表明：（1）用催化剂中金属原子的电子亲合能和酚醛模型化合物的邻／对位取代比作为特征参数是可行的，因而可将不同类型催化剂催化的Resole树脂的有关数据合并于同一训练集中进行建模。

This essay has three difficulties: First, difficulty of conception foundation: how to grasp conception foundation, historical background and theory origin of positive economic paradigm and normative economic paradigm from a historical and philosophical perspective? Second, difficulty of formalization system: the viewpoints of positive economists and normative economists are very jumble, this paper tries to clear up the formers' theories, sums up and synthesizes various standpoints, and make it form systematism and standardization. Third, difficulty of combination in visual angle: combining economics and philosophy, resurvey some philosophy problems in economic research from the perspective of ontology, epistemology and methodology, thereby discover new problems, and make rigor argumentation toward it.

本文的难点：1、概念基础难点：如何从一种历史的、哲学的角度准确把握实证经济范式与规范经济范式的概念基础和变更的历史背景、理论渊源。2、形式化体系难点：实证经济学家与规范经济学家的观点非常混杂，本文试图理清前人的思路，总结和综合纷繁不一的观点，并使其体系化、规范化。3、视角结合点难点：将经济学与哲学有机地结合起来，从本体论、认识论、方法论的角度重新看待经济学研究中的一些哲学问题，从而发现新问题，并对其进行严密论证。

Plus you can also access the new Rotate tool, which allows you to swivel the angle of the image on the screen, thereby allowing you to retouch an image without having to turn your head sideways as you do so (see Figure 2)!

另外，您也可以在新的旋转工具，你可以旋转角度的图像在屏幕上，从而使你的形象修整，而不必把你的头侧向你这样做（见图2）！

Thereby,the retranslation of literary works is i...

因此文学作品的复译反映了译者的不同倾向，也反映了社会和读者的需要，所以文学作品的复译仍然是必不可少的。

Thereby, the retranslation of literary works is indispensable because it answers the need of society and readership.

因此文学作品的复译反映了译者的不同倾向，也反映了社会和读者的需要，所以文学作品的复译仍然是必不可少的。

With a single horizontal pattern we would have to choose between leaving the sides of the front rows in acoustical "shadow" or bouncing excessive energy off the side walls, thereby creating a large reverberant field and degrading the intelligibilityand clarity of the sound in the audience area.

若只有单一的水平指向，我们不可避免地要在前排出现声阴影和过多的额外能量投射到侧墙之间选择，但这是会导致巨大的回响，同时会降低观众区的语言清晰度和音乐明晰度。

A support structure is attached to the front or back side of a flexible circuit by direct mounting to the flexible circuit flat ribbon cable, thereby providing a stress-free region of the cable in which the flexible circuit electrical components can be mounted.

采用直接安装于挠性电路扁平带状电缆上的方法将一个支承结构固定在挠性电路的前侧或者后侧，因而在电缆上形成一个无应力区，在该区域内就可以安装挠性电路的电气元件。

However, as the name（read－only memory）implies, CD disks cannot be written onorchanged in any way.

然而，正如其名字所指出的那样，CD盘不能写，也不能用任何方式改变其内容。

Galvanizes steel pallet is mainly export which suits standard packing of European Union, the North America. galvanizes steel pallet is suitable to heavy rack. Pallet surface can design plate type, corrugated and the gap form, satisfies the different requirements.

镀锌钢托盘多用于出口，替代木托盘，免薰蒸，符合欧盟、北美各国对出口货物包装材料的法令要求；喷涂钢托盘适用于重载上货架之用，托盘表面根据需要制作成平板状、波纹状及间隔形式，满足不同的使用要求。