l科技文献翻译电子档答案.docxVIP

科技文献翻译考试试题1.大型飞机自动化装配技术摘要：本文简述了大型飞机及其结构特点，通过比较人与机器两种装配系统的特性，分析装配自动化水平与装配成本等诸多因素的关系曲线，指出了自动化装配技术在保证大型飞机长寿命、高效率、低成本研制和生产等方面的意义；对外国大型飞机的装配自动化发展状况进行了综述，简要分析了国外发展的几种主要自动化装配系统，总结了国外大型飞机的自动化装配水平；对西方国家在大型飞机自动化装配中采用的先进的装配理念和方法，如决定性装配方法等进行了概述。最后针对国内自动化装配水平低的现状和大型飞机研制和生产的需求，提出了发展模块化结构的自动化装配系统、贯彻并行工程理念实现面向制造和面向装配的设计等发展建议。关键词：自动化装配；大型飞机；长寿命；柔性装配；模块化；决定性装配1.Automatic Assembly Technology for Large AircraftAbstract:This paper aims at the large aircraft and its structure characteristics, and by comparing the man assembly system with the machine assembly system and analyzing relation curves of automaticassembly and assembly cost, points out the meaning of automatic assembly technology which ensures long life, high efficiency and low cost of large aircraft structure, both in research and in manufacture. Also, the paper analyzes the overseas actuality of automatic assembly of large aircraft and several systems of automatic assembly and level of automatic assembly, and summarizes the advanced thought and means of automatic assembly of large aircraft of western countries, for example, determinant assembly. Finally, aiming at the actuality at home, such as the low level of automatic assembly and the demands for developing and manufacturing large aircraft, some suggestions are put forward, including developing the modularization automatic assembly system, carrying out the means of concurrent engineering and realizing the designs for manufacturing and assembly. Key words: automatic assembly; large aircraft; long life; flexible assembly; modularization; determinant assembly 2.基于SAT的快速电路时延计算摘要：针对现有的基于时间展开电路求解时延算法在电路规模较大或者时延模型精度较高时效率较低的问题，提出一种基于子电路抽取的电路时延计算方法。基于展开电路，通过分析输出端约束找到相关的输出端，利用回溯抽取与这些输出端相关的逻辑锥子电路，并在子电路而不是在展开电路上进行求解。由于抽取的子电路的规模远小于展开电路的规模，加速r求解过程；同时提出了抽象电路的概念，并分析了抽取子电路的同构特性。通过在抽象电路上进行预处理得到学习子句，从而可以利用学习子句加速每一次的SAT求解过程。在ISCA85和ISCA89电路上的实验结果表明，采用文中方法使得电路时延的求解效率平均提高了约8倍。关键词：可满足性；电路时延；电路展开2. Fast Circuit Delay Calculation Based on SAT SolversAbstract: Traditional time unrolling based circui