请英语高手帮我翻译一篇自动化专业的论文文献，要求不要机器翻译的，麻烦各位英语牛人了

有不少专业词不知到，尽我所能了。

本论文贡献如下：
- 我门描述了ADL。ADL被称作国家空间发电机的描述语言(SGDL), 是用在AVRORA project2 里的ISILDUR语言的扩展语言
- 我们详述了将SGDL规格转化成可执行模拟器所需要的合成系统。
- 为解决状态爆炸的问题，我们用懒栈评价作为例子详细介绍了自动抽象技术的整合，开发了在二进制程序中使用堆栈（？）的方法。我们还提出了另一个抽象整合，被称作路径减少，能使状态空间的路径在满足一定条件时降低至单一转换。
- 通过比较手写和合成模拟器所需的时间精力，还比较了两种类型的模拟器所生成的状态空间的大小，我们评估了该方法的有效性。
- 通过产生针对Atmel公司的ATmega16的和Intel的MCS - 51单片机的程序的合成模拟器，我们展示了系统的灵活性。

In this paper, we make the following contributions:
在本文中,我们作出以下的贡献:
-We describe an ADL called State-space Generator De-scription Language (SGDL), which is an extension of the language ISILDUR used in the AVRORA project2 .
我们描述一个平衡状态发电机De-scription称为语言(SGDL),这是一个扩展的语言ISILDUR用于AVRORA project2。
-We detail the synthesis system that is needed to translate specifications in SGDL into executable simulators.
我们详细说明了合成系统就是需要翻译成可执行文件SGDL模拟器。
- To tackle the state-explosion problem, we detail the integration of automatic abstraction techniques at the example of the so-called lazy stack evaluation, which
exploits the way the stack is used in binary programs. We also present the integration of another abstraction, called path reduction, which reduces paths in the state space to single transitions in case they satisfy certain conditions
state-explosion——来解决这个问题,我们详细的自动提取技术集成的实例评价所谓懒惰的堆栈,哪一个
　　方法利用堆栈是用于二进制程序。同时也讨论该整合另一个抽象,称为路径减少,从而降低路径在状态空间单一转换以防他们满足一定的条件.

- We evaluate the effectiveness of the approach by compar- ing the effort required for hand-written and synthesized simulators as well as the sizes of state spaces generated by both types of simulators.
　　我们评估了这种分析方法的有效性通过比较- ing需要努力为手写和合成模拟器以及大小的状态空间所产生的两种类型的模拟器。
- We show the flexibility of the system by focussing on the synthesis of simulators for programs targeting the Atmel ATmega16 and the Intel MCS-51 microcontrollers.
我们显示系统的灵活性的合成由集中于目标模拟器的程序。通过mcs—51汇编语言和Atmel ATmega16英特尔微控制器。

w