1)  SAT file
					 
	
					
				
				 
	
					
				SAT文件
				1.
					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数据文件中模型管理的接口化模式。
					
					2)  SAT problem
					 
	
					
				
				 
	
					
				SAT问题
				1.
					Quantum cooperative immune algorithm for SAT problems
					 
					
						
						 
					
						量子协同免疫算法用于SAT问题的求解
					2.
					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并行处理器的设想。
					3.
					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。
					
					3)  Satellite(SAT)
					 
	
					
				
				 
	
					
				随体(SAT)
			
					4)  3-SAT problem
					 
	
					
				
				 
	
					
				3-SAT问题
				1.
					A New Method for Solving 3-SAT Problems;
					 
					
						
						 
					
						一种求解3-SAT问题的新方法
					2.
					A genetic algorithms for 3-SAT problem determinant
					 
					
						
						 
					
						基于遗传算法的3-SAT问题判定
					3.
					Finaly,the 3-SAT problem be solved by DNA computing method.
					 
					
						
						 
					
						本文根据DNA分子的结构及特点给出了DNA分子的形式化描述,介绍了DNA粘接计算模型的文法结构和计算能力,并应用DNA计算方法求解3-SAT问题。
					
					6)  SAT-solver
					 
	
					
				
				 
	
					
				SAT解答器
	补充资料:《六大以来──党内秘密文件》
		      中国档案汇编。中国共产党中央书记处为配合延安整风运动而主持编辑。1941年12月在延安出版。全书两册,辑入文献资料500余篇,280万字。体例为类编, 分为政治问题、组织问题、军事问题、锄奸问题、职工运动、青年运动、妇女运动、宣传教育8类。 各类文献分别按时间顺序排列。1941年编辑成书后收集到的 190篇文献,分别作为各类的补遗收入,并编有正编与补遗统一的编年目录以备检索。1952年中共中央办公厅再版,增补了中共六届三中全会文件,已收入《毛泽东选集》的文献改为只列篇目,并将各类正编与补遗统一按时间顺序排列。1981年经中共中央书记处批准,增补了扩大的六届七中全会1945年4月20日通过的 《中国共产党中央委员会关于若干历史问题的决议》,由人民出版社于同年2月再版并内部发行。该书汇集了 1928年7月至1941年11月期间中国共产党第六次代表大会,六届二中、三中、四中、五中、 六中全会,中央政治局、 中央书记处以及各部、委、共青团中央、中共苏区中央局、中华苏维埃共和国临时中央政府、中央军委及总政治部和少数地方党组织以及社会团体的文献。文献比较系统地反映了中国共产党关于领导中国工农群众创建红军,苏区根据地和苏维埃政权进行土地革命和经济文化建设与反对国民党 "围剿"的斗争, 关于党的组织与思想建设以及反对李立三"左"倾冒险主义、王明"左"倾冒险主义与右倾投降主义、 张国焘右倾逃跑主义与分裂主义的斗争,关于"九一八"事变后反蒋抗日以及号召抗日民族统一战线到倡导和促成第二次国共合作的方针和政策, "七七"事变后领导敌后人民创建抗日民主根据地与"三三制"政权、进行经济文化建设以及肃反锄奸的政策,关于红军、 八路军、 新四军及其他人民武装的发展建设、战略战术、政治工作的方针与原则,关于坚持抗战、 团结、进步,反对国民党反动派投降、分裂、倒退的策略,关于领导工人、 农民、 青年、妇女进行反对帝国主义、国民党的政治、经济、思想、文化斗争的政策等等。
         
		
		说明:补充资料仅用于学习参考,请勿用于其它任何用途。
	参考词条