網(wǎng)絡釋義

用法例句

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

文中首先對各種常用的CAD模型數(shù)據(jù)格式進行了介紹,著重分析了ACIS SAT文件的結(jié)構(gòu),并對SAT文件、非SAT文件的讀寫以及模型實體的各種屬性管理進行了詳細闡述,提出了ACIS數(shù)據(jù)文件中模型管理的接口化模式。

Quantum cooperative immune algorithm for SAT problems

量子協(xié)同免疫算法用于SAT問題的求解

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

針對SAT問題的復雜性及求解速度緩慢的問題,采用可重構(gòu)器件FPGA設(shè)計,實現(xiàn)了靜態(tài)回溯搜索算法SAT問題并行處理器,提出了研制動態(tài)SAT并行處理器的設(shè)想。

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

提出一種將遺傳算法與模擬退火算法相結(jié)合的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.

本文根據(jù)DNA分子的結(jié)構(gòu)及特點給出了DNA分子的形式化描述,介紹了DNA粘接計算模型的文法結(jié)構(gòu)和計算能力,并應用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問題的線性半定規(guī)劃算法

A genetic algorithms for 3-SAT problem determinant

基于遺傳算法的3-SAT問題判定

Quantum cooperative immune algorithm for SAT problems

量子協(xié)同免疫算法用于SAT問題的求解

A improved algorithm for Solving weighted MAX-SAT problems

一個求解加權(quán)MAX-SAT問題的改進算法

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

3-SAT問題的編碼設(shè)計及評估函數(shù)值的求解

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權(quán)重學習求解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）問題求全解的算法研究及實現(xiàn)

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;

關(guān)于（k，s）-SAT臨界函數(shù)上下界的研究

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

基于擴展規(guī)則的#SAT近似求解器的研究

Study on the Formal Verification Methods in BDD and SAT;

基于BDD和SAT的形式驗證方法的研究