科技文献翻译电子档答案科技文献翻译考试试题1.大型飞机自动化装配技术摘要：本文简述了大型飞机及其结构特点，通过比较人与机器两种装配系统的特性，分析装配自动化水平与装配成本等诸多因素的关系曲线，指出了自动化装配技术在保证大型飞机长寿命、高效率、低成本研制和生产等方面的意义；对外国大型飞机的装配自动化发展状况进行了综述，简要分析了国外发展的几种主要自动化装配系统，总结了国外大型飞机的自动化装配水平；对西方国家在大型飞机自动化装配中采用的先进的装配理念和方法，如决定性装配方法等进行了概述。

最后针对国内自动化装配水平低的现状和大型飞机研制和生产的需求，提出了发展模块化结构的自动化装配系统、贯彻并行工程理念实现面向制造和面向装配的设计等发展建议。

关键词：自动化装配；大型飞机；长寿命；柔性装配；模块化；决定性装配1. Automatic Assembly Technology for LargeAircraftAbstract: This paper aims at the largeassembly 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 assembly2.基于SAT的快速电路时延计算摘要：针对现有的基于时间展开电路求解时延算法在电路规模较大或者时延模型精度较高时效率较低的问题，提出一种基于子电路抽取的电路时延计算方法。

基于展开电路，通过分析输出端约束找到相关的输出端，利用回溯抽取与这些输出端相关的逻辑锥子电路，并在子电路而不是在展开电路上进行求解。

由于抽取的子电路的规模远小于展开电路的规模，加速r求解过程；同时提出了抽象电路的概念，并分析了抽取子电路的同构特性。

通过在抽象电路上进行预处理得到学习子句，从而可以利用学习子句加速每一次的SAT求解过程。

在ISCA85和ISCA89电路上的实验结果表明，采用文中方法使得电路时延的求解效率平均提高了约8倍。

关键词：可满足性；电路时延；电路展开2. Fast Circuit Delay Calculation Based onSAT SolversAbstract: Traditional time unrolling based circuit delay calculation method is inefficient in the case that large circuits are analyzed or accurate delay models are adopted. In order to speedup circuit delay calculation, an improved method by sub-circuit extraction is proposed in this paper. On one hand, a sub-circuit is constructed by analyzing output constraints and extracting related logic cones from the unrolled circuit. The circuit delay is checked on the extracted sub-circuit instead of the unrolled circuit, thus the calculation process is speeded up. On the other hand, the concept of abstract circuitis proposed and preprocess is applied on it to find out the shared structures among extracted sub-circuits. The learningclauses derived from preprocessing can be utilized to speed up SAT solving at each checking step. Experimental results on ISCAS85 and ISCAS89 benchmark demonstrate that the proposed approach can improve the efficiency of circuit delay calculation by about 8 times over the traditional method on average.Key words: satisfiability(SAT); circuit delay; circuit unrolling3.人工智能的突破与科学方法的创新摘要：最近十年人工智能理论的研究取得了重要突破：1）发现了智能生成的共性核心机制是在给定条件下的“信息——知识——智能转换”，由此建立了人工智能的机制模拟方法；2）发现了知识的生态学结构是在本能知识支持下的“经验知识——规范知识——常识知识转换”，因而开拓了人工智能研究的视野；3）把智能生成的共性核心机制与知识的生态学结构结合起来，发现原先各自独立发展的人工智能“结构模拟、功能模拟、行为模拟方法分别是机制模拟方法在不同知识条件下的和谐特例”，从而形成r人工智能研究的统一方法和理论，为人工智能的发展开辟了新的前景。

文中认为，人工智能研究的上述突破在很大程度上得益于科学研究方法论的创新。

关键词：知识生态；机制模拟；统一理论；科学方法论3. Breakthroughs in Artificial Intelligenceand Innovation in Methodology Abstract: The following breakthroughs have been made in the field of artificial intelligence(AI) research over the last decade: 1)The common kerned mechanism of intelligence formation, the information-knowledge-intelligence conversion was discovered. Thus, the mechanism simulation of intelligence was established. 2)The knowledge ecological structure, the empirical knowledge-regular knowledge-commonsense knowledge conversion, which is all supported by innate knowledge,was discovered. 3)The combination of 1) and 2)has led to another discovery that the existing and independent AI approaches, the structural simulation approach to cortex of the brain, the functional simulation approach to the logical thinking, and the behavior simulation approach to the intelligent beings, are three special harmonious cases of the mechanism simulation of intelligence under respective knowledge. Therefore, the unified simulation approach and AI theory are achieved. which opens up prospects for AI research. It is believed that the radical source for the breakthroughs in Al is the innovation of scientific methodology.Key words: Knowledge Ecology; Mechanism Simulation; Unified Theory; Scientific Methodology4.一种基于数据库的动态Web权限树快速生成方法摘要：文章提出一种基于数据库生成动态Web权限树的快速方法，采用了一系列综合优化技术，如客户端浏览器的Web树形显现组件实现，支持动态权限分配的数据表设计以及对数据库一次访问实现权限树快速生成的算法。

该方法合理分配了计算单元之间的运算负载，有效降低了通信交互和等待时间，并注重采用高效算法充分挖掘每个计算单元的潜力。

该方法在DAG系统的开发中达到满意的工程应用效果。

与当前的相关研究成果的全画对比表明，该方法快速高效，具有理论参考和工程借鉴价值。

关键词：动态权限树；树形显示；综合优化；负载均衡；JavaScript编程语言4. A Rapid Method of Generating DynamicPermission Tree for Web DatabaseApplicationAbstract: A rapid method of generating dynamic permission tree for Web database application is presented in this paper, which uses a range of integrated optimization techniques including theimplementation of a tree view component in client Web browser, the design of database tables supporting dynamic rights allocation, and the rapid algorithm of generating permission tree through a single visit to the database. By allocating reasonable computational load among computing units, this method effectively reduces the waiting time for interaction and communication, and also takes efficient algorithms to fully tap the potential of each computing unit. The method has been adopted in the development of DAG system, and has reached a satisfying engineering effect. Through the overall comparison to current research findings, this method is proved a fast and efficient technology, which has a relatively high value for research and development.Key words: dynamic permission tree; tree view; integrated optimization; load balance; JavaScript programming language5.云计算：系统实例与研究现状摘要：针对云计算这样一个范畴综述了当前云计算所采用的技术，剖析其背后的技术含义以及当前云计算参与企业所采用的云计算实现方案。