您的位置:汉字大全 > 行业英语 > 环境资源 > semi-arid tropics是什么意思

semi-arid tropics是什么意思

中文翻译半干旱热带 SAT

网络释义

1)semi-arid tropics,半干旱热带 SAT2)tropical semi-arid climate,热带半干旱气候3)SAT file,SAT文件4)SAT problem,SAT问题5)Satellite(SAT),随体(SAT)6)3-SAT problem,3-SAT问题

用法例句

    This paper first introduces some widely used CAD model data formats,then analyses the structure of ACIS SAT file.

    文中首先对各种常用的CAD模型数据格式进行了介绍,着重分析了ACIS SAT文件的结构,并对SAT文件、非SAT文件的读写以及模型实体的各种属性管理进行了详细阐述,提出了ACIS数据文件中模型管理的接口化模式。

    Quantum cooperative immune algorithm for SAT problems

    量子协同免疫算法用于SAT问题的求解

    Due to the complexity of the SAT problem, the speed of solving the SAT problem with software method is very slow.

    针对SAT问题的复杂性及求解速度缓慢的问题,采用可重构器件FPGA设计,实现了静态回溯搜索算法SAT问题并行处理器,提出了研制动态SAT并行处理器的设想。

    A novel algorithm,SAT-SAGA,is proposed for solving SAT problems based on the combination of the genetic algorithm and simulated annealing algorithm.

    提出一种将遗传算法与模拟退火算法相结合的SAT问题求解算法SAT-SAGA。

    A New Method for Solving 3-SAT Problems;

    一种求解3-SAT问题的新方法

    A genetic algorithms for 3-SAT problem determinant

    基于遗传算法的3-SAT问题判定

    Finaly,the 3-SAT problem be solved by DNA computing method.

    本文根据DNA分子的结构及特点给出了DNA分子的形式化描述,介绍了DNA粘接计算模型的文法结构和计算能力,并应用DNA计算方法求解3-SAT问题。

    MULTI-STAGE SEARCH REARRANGEMENT ALGORITHM FOR SOLVING SAT PROBLEM

    求解SAT问题的分级重排搜索算法

    Seif-Assembly Algorithm of 3-SAT in DNA Computing;

    DNA计算中的3-SAT问题的自装配算法

    Linear Semidefinite Programming Algorithm for SAT Problem

    求解SAT问题的线性半定规划算法

    A genetic algorithms for 3-SAT problem determinant

    基于遗传算法的3-SAT问题判定

    Quantum cooperative immune algorithm for SAT problems

    量子协同免疫算法用于SAT问题的求解

    A improved algorithm for Solving weighted MAX-SAT problems

    一个求解加权MAX-SAT问题的改进算法

    3- SAT Problem Code design and Result of the Evaluation Function;

    3-SAT问题的编码设计及评估函数值的求解

    Genetic Algorithm and Discrete Particle Swarm Algorithm in the Application of SAT Problem

    遗传算法与离散粒子群算法在SAT问题上的应用

    An Evolutionary Algorithm for Solving SAT Problems Based on Learning CNF Weights

    基于CNF权重学习求解3-SAT问题的进化算法

    The satisfiability problem of conjunction normal form (abbreviate SAT problem) is an NP_complete problem.

    合取范式可满足性问题(简称SAT问题)是一个NP完全问题。

    GA Solution of 3-SAT based on Clustering Ranking Selection

    基于聚类排序选择方法求解3-SAT问题的遗传算法

    Research and Implementation of an All-Solution SAT Solver

    对可满足性(SAT)问题求全解的算法研究及实现

    But the SAT folks have added a single question, to be answered in an essay, hand-written on the spot.

    但SAT当局加了一个问题,这种题目是要以论文写作方式回答,而且要当场用手写。

    I was never tutored in anything and walked into the SATs without having seen a sample SAT question.

    我从没有过任何辅导,是没有看过一道模拟SAT题走进考场。

    Equivalence of PTAS Reduction for MAX-k-SAT

    MAX-k-SAT的PTAS归约等价性

    The Bounds of Critical Function for (k,s)-SAT;

    关于(k,s)-SAT临界函数上下界的研究

    Research of the #SAT Approximate Solvers Based on Extension Rule;

    基于扩展规则的#SAT近似求解器的研究

    Study on the Formal Verification Methods in BDD and SAT;

    基于BDD和SAT的形式验证方法的研究

Copyright © 2022-2024 汉字大全www.hanzidaquan.com All Rights Reserved 浙ICP备20019715号