开发的

It is important for the application of formal approach and formal specification in all stages of software development to study and design automatic refinement from Z to high-levellanguage: Insure complete formalization in all stages of software development; Avoid antilogy in refinement due to mistaken operation or computative mistake and insure consistency and integrity of system; Due to avoiding manual operation in refinement process, it is feasible to bulid a compile environment that Z specification automatic refine and form high-level programme, this will accelerate the promotion and application of Z in industry.

Z到高级语言自动求精的研究与设计对于形式化方法及形式规格说明应用于软件开发的各个阶段具有非常重要的意义：确保了从需求分析阶段开始的软件开发周期的完全形式化；避免了人工的误操作或演算错误导致的求精前后不一致，保证了系统的一致性和完整性；由于求精过程避免了手工操作，因而Z规格说明自动精化为程序代码的编译环境可以建立，这将会加速Z规格说明在工业界的推广应用。

In South Chicago real estate you'll find Gresham: 2-4 bedroom single family homes in established neighborhoods, Hamilton Park: Lots of brand new duplexes, a lot of raw land and a few very large old mansions, Marquette Park: Duplexes, two story older homes and single family homes with 2-4 bedrooms, and Calumet Heights: Some duplexes, small single family homes and some raw land.

在南芝加哥的房地产，你会发现格雷沙姆： 2-4卧室单一家庭住宅，在既定的街道，汉密尔顿公园：大量的全新的双连屋，有很多未开发的土地和几个非常大的旧大厦，马凯特公园：双连屋，两故事老院及单亲家庭，与2-4间卧室，并calumet高地：有些双连屋，小单户家庭住房和一些未开发的土地。

It can show the relation of angular speed for each component of automatic transmission. This paper established general mathematical models of multi-DOF transmission analysis on speed ratio and kinematics and dynamics. As generalized coordinates with parameter of independent component. And the developed relevant general programs.

以运动独立构件为广义坐标，建立了包含任意接合元件的多自由度变速器的档位分析，运动分析，力矩分析和动力分析的通用数学模型，并开发了相应的通用计算机程序，通过对典型变速器的实例分析，验证了所建立的通用数学模型的正确性以及所开发的计算机通用程序的有效性。

They can improve the measuring resolution 2-3 grade higher then ordinary direct subdivision technology. Based on Windows 95 operating system and object-oriented technology, a PCbased open architecture CNC hobbing system (including software platform and servo driving) has been developed and used in Y83A hobber successfully.

开发了基于PC总线的内嵌式开放结构的CNC滚齿机数控系统的配套硬件结构：滚齿范成运动的闭环数字式交流伺服驱动系统和滚刀轴向进给运动的步进伺服驱动系统。Y38A滚齿机上的应用实践，证明所进行的改造和开发的开放式CNC滚齿系统是可行的、成功的。

In the environment of developing YC6108Q diesel engine that is a substitute for YC6105QC whose production and sale are at the top in China, analytical and experimental methods are researched to solve actual problems including strength of structure, test of fatigue, balance of inertia mass, lubrication of bearing and torsional vibration of crank shaft.

置于玉柴机器股份有限公司YC6108Q柴油机产品开发的工作环境和具体的产品设计任务（YC6108Q作为国内产销量最大的中吨位车用柴油机YC6105QC的改进型产品），研究了有关产品发展的分析与试验方法，从而解决产品开发过程中某些方面的实际问题，所进行的工作涉及机件结构强度、疲劳测试、惯性质量平衡、轴承润滑、曲轴扭振。

H owever, in the process of tapping, with the characteristics of secret in content of file information, stagnating behind in delivery, the primitiveness of its fu nction and the decentralization in its taking care of, the tapping archives info rmation under the condition of network encounters unprecedented difficulties.

但在开发的过程中，由于档案信息具有内容的机密性、传递的滞后性、作用的原始性和保管的分散性等特点，使网络环境下的档案信息开发遇到了前所未有的困难。

The main contributions are included as follows: the first, the research of technology of parametric model and establishment of part library, the second, the study of the technology of automatic assembly, the third, the study of functions of Unigraphics and approach of quadratics exploitation of UG .Used this technology in transmission CAD system, the fourth, the establishment of the parametric transmission CAD system using technology of automatic assembly.

本课题主要工作包括以下几个方面：第一，研究分析参数化特征造型技术的理论，并且将此理论应用于零件库的建立，总结零件库的多种实现方法；第二，分析研究机械产品自动装配技术的实现；第三，研究分析UG软件的功能和对其进行二次开发的途径和技巧，以及该软件在变速器CAD系统中的应用；第四，将参数化特征造型技术和自动装配技术的理论，结合UG软件的二次开发，应用于变速器CAD系统中。

In the new situation of the world economics globalization and that our country joins WTO, the summary and discussion to the research mind, the new progress of studies along with the application practice of the domestic and foreign related competency, not only has certain quotable function to the theory of the HR management and development in our country, also gives important reality guiding significance to the practice of the HR management and development.

在世界经济全球化和我国加入WTO的社会经济转型的新形势下，对国内外有关能力素质的研究思路、研究新进展以及应用实务进行总结和探讨，不仅对我国人力资源管理与开发的理论具有一定的借鉴作用，对人力资源管理与开发的实践也具有重要的现实指导意义。

Beijing compared with the current hot real estate is residential projects, which in the CBD planning to do a lot of residential projects, the current developer and will soon come into the main developers of residential projects have been doing from the function, if the CBD Central Business District there are some changes in function, it will affect the development of CBD.

太多北京住宅项目相比，目前的热点是房地产住宅项目，这些项目在CBD的规划做了大量的住宅项目，目前的开发和即将开发的主要住宅项目已经做了功能，如生物多样性公约中央商务区也有一些变化的功能，它会影响生物多样性的发展。

This is considerably important to dredge up antecedent precipitation to mitigate the hazards of abrupt sediment yield.

运用软件工程的思想，根据生命周期法，本文首先介绍了软件开发的一般方法，然后介绍了在玉丰流域水土保持决策的开发中所进行的设计，最后，简要地介绍了系统的主要功能。

We have no common name for a mime of Sophron or Xenarchus and a Socratic Conversation; and we should still be without one even if the imitation in the two instances were in trimeters or elegiacs or some other kind of verse--though it is the way with people to tack on 'poet' to the name of a metre, and talk of elegiac-poets and epic-poets, thinking that they call them poets not by reason of the imitative nature of their work, but indiscriminately by reason of the metre they write in.

索夫农 、森那库斯和苏格拉底式的对话采用的模仿没有一个公共的名称；三音步诗、挽歌体或其他类型的诗的模仿也没有——人们把&诗人&这一名词和格律名称结合到一起，称之为挽歌体诗人或者史诗诗人，他们被称为诗人，似乎只是因为遵守格律写作，而非他们作品的模仿本质。

The relationship between communicative competence and grammar teaching should be that of the ends and the means.

交际能力和语法的关系应该是目标与途径的关系。