切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
算法工程的思想、方法与工具——以SAT算法为研究实例
算法工程的思想、方法与工具——以SAT算法为研究实例
来源 :计算机科学 | 被引量 : 0次 | 上传用户:zhanagyuxing
【摘 要】
:
1.什么是"算法工程"?20世纪90年代中期,"算法工程"这个词开始频频出现.A.V.Aho等计算机科学家曾在1996年ACM计算理论研讨会(STOC'96)上呼吁研究者们要重视算法工程的研究
【作 者】
:
焦加麟
韩晓峰
徐良贤
【机 构】
:
上海交通大学计算机科学与工程系
【出 处】
:
计算机科学
【发表日期】
:
2003年9期
【关键词】
:
算法工程
SAT算法
研究
计算机
Computer algorithm
Algorithm engineering
SAT
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
1.什么是"算法工程"?20世纪90年代中期,"算法工程"这个词开始频频出现.A.V.Aho等计算机科学家曾在1996年ACM计算理论研讨会(STOC'96)上呼吁研究者们要重视算法工程的研究和实践[1].
其他文献
混合导体氧化物SrFeCo0.5Oy的微波介电损耗
用XRD分析了微波合成方法制备的混合导体氧化物SrFeCoo.5Oy相结构的变化,用矩形谐振腔微扰法测量了在SrFeCo0.5Oy的合成过程中材料的微波介电损耗变化,研究了温度及保温时间
期刊
混合导体氧化物
SrFeCo0.5Oy
微波介电损耗
矩形谐振腔微扰法
相结构相含量
microwave dielectric loss
Rectangula
新型氧敏薄膜材料
采用溶胶-凝胶工艺制备了用于汽车新型传感器的氧敏薄膜材料,包括过渡金属氧化物(MoOx、TiOx、CrOx)、钙钛矿型(SrTiO3/LaNiO3、LaNiO3、LaCrO3)和类钙钛矿型(La1-xMxNiO4)纳
期刊
氧敏特性
纳米粒子
溶胶-凝胶法
氧敏薄膜材料
过渡金属氧化物
钙钛矿
类钙钛矿
Film preparation
Nanostructured materia
Clever Algorithm的一种改进
解决了Clever算法在Web超链接结构研究方面的一个问题:Clever算法在多重连续的超链接情况下忽略了用户的浏览行为,我们引入了可行性矩阵,提出了一种改进算法,同时应用Warshall算
期刊
浏览行为
算法复杂度
超链接
改进算法
用户
矩阵
连续
结构研究
关联规则的并行挖掘模型研究
针对单机数据挖掘算法的现状,本文详细分析了Agrawal关联规则的并行挖掘模型,提出了基于客户机/服务器的并行挖掘模型和算法,建立了原型系统,该模型可以有效地用在关联规则的
期刊
关联规则
数据挖掘
并行
客户机/服务器
Data mining
Association rules
Parallel
Client/server
基于零知识签名的代理签名方案
在代理签名方案中,原始签名人将其签名权委托给代理签名人,代理签名人代表原始签名人行使签名权。许多基于Schnorr签名的代理签名方案被提出。但是,其中有一些方案存在着原始
期刊
多重代理签名
代理签名
知识签名
离散对数
基于F-P标准具的光纤光栅应变传感解调系统
光纤光栅作为光纤无源器件,利用其能在窄带内形成滤波器或反射镜这一特性,在光纤通信、光纤传感等领域得到了广泛的应用。用步进电机调节射入F-P标准具光束的入射角可调节透过F-P标准具的光波波长,由聚焦在线阵CCD上的透射光的位置即可得到光栅反射光波的波长。经过试验证明:其测量精度达到0.1 nm。
期刊
光纤光栅
F-P标准具
线阵CCD
解调
fiber grating
Fabry-Perot(F-P) cavity standard utensil
li
二级界面对水泥基材料孔结构和性能的影响
将粉煤灰、硅灰和纳米纤维材料-活性NR粉应用于水泥基材料中,依据最大密实度理论和微粒级配数学模型设计出水泥基材料,研究了水泥基材料中二级界面对其性能的影响.结果表明,
期刊
无机非金属材料
水泥基复合材料
二级界面
孔结构
NR粉
Cements
Composite materials
Inorganic compounds
Mat
VBA拓展PowerPoint应用程序的开发功能
本文阐述了VBA技术在PowerPoint应用程序中的一些基本技巧,并通过实例展示了VBA拓展PowerPoint应用程序的开发功能的途径。
期刊
VBA
POWERPOINT
开发功能
ACTIVEX控件
频繁闭合项目集的并行挖掘算法研究
频繁项目集挖掘因其在数据挖掘领域中的基础地位和广泛应用备受学术界和产业界的关注,用挖掘频繁闭合项目集代替挖掘频繁项目集是近年来提出的一个重要策略.不同于以往提出的
期刊
频繁项目集
数据挖掘
并行算法
频繁模式树
频繁闭合项目集
Data mining
Frequent itemsets
Frequent closed item
新型聚省醌自由基高聚物的电磁性能
通过共缩聚合成了几种新型的,压阻系数很高的聚省醌自由基高聚物(PAQR)实验发现:在直流电导率对数与外界压力(0.01~1.0GPa)平方根的线形关系上有一个转折点(约0.11GPa)Mott-T^1/4规律的适用范围可延伸至高温区(298~486K)直流电导
期刊
聚省醌
自由基
高聚物
功能材料
电磁性能
PAQR
polyacene quinone radical polymer
functional material
与本文相关的学术论文