请英语高手帮我翻译一篇自动化专业的论文文献，要求不要机器翻译的，要比较专业的翻译，麻烦各位英语牛人
有不少专业词不知到，尽我所能了。
本论文贡献如下：
- 我门描述了ADL。ADL被称作国家空间发电机的描述语言(SGDL), 是用在AVRORA project2 里的ISILDUR语言的扩展语言
- 我们详述了将SGDL规格转化成可执行模拟器所需要的合成系统。
- 为解决状态爆炸的问题，我们用懒栈评价作为例子详细介绍了自动抽象技术的整合，开发了在二进制程序中使用堆栈（？）的方法。我们还提出了另一个抽象整合，被称作路径减少，能使状态空间的路径在满足一定条件时降低至单一转换。
- 通过比较手写和合成模拟器所需的时间精力，还比较了两种类型的模拟器所生成的状态空间的大小，我们评估了该方法的有效性。
- 通过产生针对Atmel公司的ATmega16的和Intel的MCS - 51单片机的程序的合成模拟器，我们展示了系统的灵活性。
In this thesis writing process, I consider a variety of design and technology. Combination of subjects (small system), which ultimately I chose to adopt a purely digital circuit. At the circuit design process, through a series of modifications and the use of Multisim simulation, finally identified the design.
This traffic signal controllers for the main structure: the clock circuitry, timing control circuit, the countdown display circuit, control circuit 15 seconds.
This system uses the main techniques are: sequential logic circuit technology. Overall, the sequential circuit by combinational circuits and storage circuits composed of two parts. At any one time not only with the output signal of the input signal at the time, but also with the circuit related to the original status.
Design of sequential circuits to control the traffic lights, one set of eight start status: 1, train from west to east is not pressure on x1; 2, from west to east pressure on x1; 3, from west to east is located between x1 and x2; 4, from west to east pressure on x2; 5, train from east to west is not pressure on x2; 6, from east to west pressure on x2; 7, from east to west is located between x2 and x1; 8, from east to west pressure on x1. Conversion of traffic lights can not be achieved. Solution: The 5 status 1 status and be merged into the "train is located outside of x1 and x2."
很明显，这个程序依然需要在抽象技术自动凑合和针对SGDL码的个别硬件的静态分析程序的合成这两个方面上投入更多的审视和研究。而且，虽然我们相信SGDL和潜在的（基本的）合成系统已经足够应付不同种类的微控制器（程序）平台，但是我们在将来会通过对16位微控制器，例如Renesas R8C/23（应该是程序的名称吧）的合成来进行对其实用性的审视。
-------------------------------------------------------------------------------
翻译完了，呵呵。这是我自己翻译的。
希望对楼主有帮助。
This paper shows that automatically synthesized simulators are a competitive alternative to handcrafted simulators for binary code model checking. While the generation of hardware simulators from hardware descriptions has been long used in different fields, our work is new in that it highlights and approaches the need for automatic integration of abstraction techniques in order to tackle the state-explosion problem. As shown in the case study, only the smallest programs can be verified otherwise.
本文显示采用自动合成模拟系统替代手工模拟器对二进制编码模型进行检验是极具竞争性的一种方式。源自硬件描述的硬件模拟器尽管已在不同的领域中经久使用，但我们的研究工作具有新意因为它强调并探讨提取技术自动集成的需要，以便应对状态爆炸的难题。犹如
个案研究所示，只有最小的程序可被证实不那样。
Clearly, the work calls for further investigation of abstraction techniques that can be integrated automatically, and also, the synthesis of hardware-specific static analyzers from SGDL code. Moreover, even though we believe that SGDL and the underlying synthesis system are general enough to handle different kinds of microcontroller platforms, we further want to investigate its applicability by synthesizing simulators for
16-bit microcontrollers such as the Renesas R8C/23.
显然，研究工作主张对可自动合成的提取技术，以及从SGDL代码进行硬件特定静态分析器的合成作进一步的研究。此外，虽然我们相信SGDL及其基础合成系统可通用于处理各种不同的微控制器平台，但我们通过合成例如Renesas R8C/23的16位微控制器模拟系统，来进一步研究它的适用范围。
注：SGDL – Sudoku Game Design Language 数独游戏设计语言
【英语牛人团】
本文表明，自动合成的仿真器是有竞争力的替代手工仿真器的二进制代码模型检查。虽然从硬件描述硬件仿真器代已久的使用在不同的领域，我们的工作是新的，它突出和接近抽象技术的自动集成的需要，以解决状态爆炸的问题。案例研究显示，只有最小的方案，否则可以验证。
很明显，工作要求抽象，可自动集成技术的进一步调查，，SGDL代码特定于硬件的静态分析的合成。此外，即使我们相信，SGDL和基础合成系统一般，足以应付各种不同的微控制器平台，我们进一步要探讨其适用性合成仿真器
如瑞萨R8C/23的16位微控制器。
答：翻译示例：Automation is divided into two parts: software and hardware.正文：Automation is divided into two parts: software and hardware.自动化这个专业分为软件和硬件两个部分。Software refers to programming with software on computer.软件是指在电脑上用软件进行编程。Hardware refers to circuit ...
答：自动化的停车场 我们正在处理一个简单的系统,这个系统可以控制在最大的100辆车(Fig.20-1)。每次一辆车进入,PLC自动加入到了总额中发现其他的汽车开进车库。每一辆车,那就会自动起飞。当100辆汽车公园,信号将打开一个车库signalizing满并通知其他司机不得入内,因为没有的可用空间。在信号从一个传感器IR...
答：如果不同的毛细管直径是用来在同一温度下研究了混合流和相同的壁面剪切率条件下，相同的粘度值将被测量的相同的混合物。One needs only to regulate the applied pressure in different cases to maintain this rheologic condition．你只需要调节所施加的压力在不同的情况下保持这一流变条件。To verify th...
答：这篇文章展示了自动合成工序仿真器（或者叫仿真程序）在成为传统手工型仿真器的代替品种展现了其能够胜任的潜力，特别是在处理和检核二进制编码的模型。虽然在硬件描述中已经看出在同时代的硬件仿真器已经在不同领域被运用得有一段长时间了，但是由于我们的仿真器在原有的基础上更加强调对抽象技术的自动凑...
答：The automation is a dynamic concept, has widespread and the profound connotation. At present makes the automated technology the research to be active, the research content automation is one involves the discipline to be many, the application widespread comprehensive nature science and ...
答：1、培养要求:本专业主要学习电气自动化的专业技术知识,应具有较强的本专业技术应用能力。 2、职业能力分析 (1)具有良好的身体素质、职业道德和人文素质,较强的语言文字表达能力和一定的社会交往能力及继续学习能力。 (2)具有较强的用英语进行人际和人机交流能力,具有阅读和翻译本专业有关英文资料的能力。 (3)具有...
答：迄今没找到对这个问题的一个模棱两可的回答。Often与生物系统平行被描述。 然而，那里那么少许仍然知道(甚而在最低的细胞水平)关于生物系统，我们为我们的arti_cial神经系统使用的模型似乎介绍‘生物’模型的oversimpli_cation。In这条路线我们给介绍arti_cial神经网络。 我们采取的观点是那计算机学家。 我...
答：Fundamentals and Application of Sensors 轮机自动化 Marine machinery Automation 船舶电气 Marine Electric 过程控制系统 Process Control System 交流电机控制技术 AC Electromotor Control Technology 电器与PLC控制技术 Electric Appliances and PLC Control Technology 搞定，查阅机械英语翻译，请验收 ...
答：调度自动化系统是保证电网安全、可靠、稳定、经济运行，提高调度运行管理水平的重要手段。本文就自动化系统通道配置方案提出几点看法。译文：Dispatching automation system is to ensure grid safety, reliability, stability, economic performance and raise the level of operation and management of scheduling ...
答：PLC在集散自动化系统中充分发挥其强大功能。使用范围可覆盖从替代继电器的简单控制到更复杂的自动化控制。应用领域极为广泛，覆盖所有与自动检测，自动化控制有关的工业及民用领域，包括各种机床、机械、电力设施、民用设施、环境保护设备等等。如：冲压机床，磨床，印刷机械，橡胶化工机械，中央空调，电梯控制...
