查询词典 aided

A good example of this was the machine-aided proof of the four color theorem, which was very controversial as the first claimed mathematical proof which was essentially impossible to verify by humans due to the enormous size of the program's calculation (such proofs are called non-surveyable proofs).

一个很好的例子，这是机器辅助证明了四色定理，这是非常具有争议的第一人数学证明基本上是无法核实由于人类的巨大规模，该项目的计算（如证明是所谓非surveyable证明）。

According to the research results, a program was compiled to realize the computer aided design of functional block structure by VBA language, which improves design efficiency and relieve the designer.

对前面的研究成果，运用VBA进行编程，初步实现了功能块结构的计算机辅助设计，提高了设计效率，减轻了设计人员的劳动量。

She loved Adonis, gave life to the statue [6]of Galatea and aided Hippomennes in his race.

本贴含有图片，你需要登录或注册后才能查看。

The sexual behavior of chrysanthemum gall midge, Rhopalomyia longicauda (Diptera: Cecidomyiidae) such as the release of sex pheromone and calling behavior, were studied indoors and in a field trapping experiment. The sex pheromone was collected with an organic solvent aided by a glass container of charcoal-purified air. Laboratory observations showed that most males emerged 1-2 h before females.

为对菊花瘿蚊性信息素进行有效提取，本文对菊花瘿蚊成虫性行为进行了室内观察和田间诱捕试验，研究了菊花瘿蚊性信息素释放和求偶的行为规律，并用溶剂浸提和空气收集法提取了菊花瘿蚊性信息素。

Automatic Programming for NC Machining of Gear Indexing Cam with Smaller Cutter;2. Study on the Technologies of Computer-aided Designing and Programming of Gear Indexing Cam

本文结合弧面分度凸轮加工的工程实际，以微分几何和空间曲面啮合理论为工具，对弧面分度凸轮机构的传动规律、啮合原理和数控加工进行了系统的研究。

ABSTRACT On the base of building geometric figure model of the products produced by cross wedge rolling constructed be solid modeling, the computer aided design of the products have been completed.

在建立了以体素法构造楔横轧件图形模型的基础上，完成了楔横轧件的计算机辅助设计。

Objective: To develop and validate an accurate three-dimensional geometrical and mechanical finite element model of the lumbar L4-L5 segment using a new computer-aided designing method.

目的：采用一种新型计算机辅助设计方法精确建立腰椎L4~L5节段三维非线性有限元模型并进行充分验证。

The paper presents how to use the technique of OLE and ARX of AutoCAD to build the geometrical model, the finite element model of the given structure visually and use the template and wizard to build the optimization model of it. During the iterative process of the optimization, the method of tracing visualization and interactive control is also provided. Some examples are given to show the appliance of visualization aided structural optimization. Finally, the work of systematic integration is carried out.

同时论述了在优化建模中运用OLE ARX技术实现可视化地建立优化对象的几何模型，结构有限元模型，以及使用模板和专家向导来辅助建立优化模型；在优化迭代过程中实现了跟踪可视和交互式监控，以具体的例子说明了在可视化技术辅助下的结构优化在工程中的应用。

Nowadays comprehensively-communicative method of"Oral language teaching aided by gesture and written language"is adopted in the domestic deaf school .

目前国内聋校语言教学普遍采用的是以"口语教学为主，手语、书面语为辅"的全面交流法。

In this paper,we introduce the main research content and the basic principle of GAN,the situation and development of the gravity sensor ,digital map processing and matching theory in home and abroad,especially the architecture and the research results of Gradiometer As an External Navigation Aid,Gravity Aided Inertial Navigation System.

本文在进行了一般性辅助导航方法的概述之后，详细介绍了与辅助导航相关的重力场基本概念、重力辅助导航系统的主要研究内容、基本原理；从重力传感器、重力图数据处理及重力图匹配理论与算法三个方面详细介绍了其国内外研究现状，重点介绍了重力梯度仪辅助导航、重力辅助惯性导航和通用重力模块三种系统的体系结构和研究成果；总结了重力辅助导航涉及的关键技术及其发展趋势；最后给出了我国开展海洋重力辅助导航研究的若干建议

With Death guitarist Schuldiner adopting vocal duties, the band made a major impact on the scene.

随着死亡的吉他手Schuldiner接受主唱的职务，乐队在现实中树立了重要的影响。

But he could still end up breakfasting on Swiss-government issue muesli because all six are accused of nicking around 45 million pounds they should have paid to FIFA.

不过他最后仍有可能沦为瑞士政府&议事餐桌&上的一道早餐，因为这所有六个人都被指控把本应支付给国际足联的大约4500万英镑骗了个精光。