切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
Efficient Heuristic Variable Ordering of OBDDs
Efficient Heuristic Variable Ordering of OBDDs
来源 :黑龙江科技学院学报 | 被引量 : 0次 | 上传用户:zsj520yxq
【摘 要】
:
为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7
【作 者】
:
LONG Wangning
BIAN Jinian
YANG
【机 构】
:
Department of Computer Science and Technology, Tsinghua University, Beijing 100084, China“,”CAD Lab
【出 处】
:
黑龙江科技学院学报
【发表日期】
:
2000年2期
【关键词】
:
binary decision diagram
Boolean function
OBDD variable ordering
logic verificati
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7<
其他文献
Data Filtering and Statistical Process Modeling
为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7
期刊
wavelet transform
projection to latent structures
modeling
青海油田:和谐、发展“二重奏”──访全国政协委员、青海油田总经理宗贻平
期刊
青海
油田
二重奏
政协委员
Sensor Fault Tolerant Generic Model Control for Nonlinear Systems
为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7
期刊
Generic Model Control (GMC)
Strong Tracking Filter (STF)
nonlinear processes
fau
基于隐息学的信息安全方案
为了保证中文信息传输过程的安全,构造了一种新的信息隐藏加密方案.该方案将传统的密码设计理论与新兴的隐息学理论相结合,使用较短的加密密钥与简单的加密和隐藏算法.利用信
期刊
加密
算法
隐藏
安全
在全国国土资源厅局长会议闭幕式上的总结讲话
为期两天的全国国土资源厅局长会议就要闭幕了.根据大家讨论的情况和部党组讨论的意见,我对会议从三方面作简要总结.
期刊
国土资源
局长
会议
闭幕式
党组
Epitaxy of SiGe Layers by Ultrahigh Vacuum Chemical Vapor Deposition
为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7
期刊
SiGe
chemical vapor deposition (CVD)
Raman scattering
股骨干骨折合并同侧股骨颈骨折13例诊治体会
同侧股骨干与股骨颈骨折,是一种少见的高能量损伤.1995~1997年,我院收治13例.现报告如下.
期刊
股骨干骨折
同侧股骨颈骨折
现报告如下
高能量
损伤
全国资产评估行业检查追踪(二)
云南省成立了以财政厅党组书记、厅长曹建方为组长的全面检查领导小组,制定了,召开了加强和规范资产评估行业管理工作会议,对检查进行了动员和部署.抽调30余名注册评估师和1
期刊
资产评估
评估行业
检查工作
云南省
注册评估师
有章可循
行业管理
实施方案
领导小组
分支机构
规范操作
工作手册
工作人员
工作会议
财政
书记
企业
培
与世界标准通行——福田雷萨携手奔驰底盘开启泵车营销新时代
2012年4月24日,福田雷萨奔驰底盘52m泵车在2012北京国际汽车展览会上高调上市,并于车展现场举行交车仪式.随着新车型的推出,志在格局突破的福田雷萨,加速了践行福田汽车“202
期刊
世界标准
福田汽车
奔驰
底盘
泵车
营销
自主品牌
展览会
新实践
新模式
新车型
中国
制造
仪式
现场
市场
时代
升级
上市
品质
急性一氧化碳中毒迟发性脑病24例报告
1993年 10月~ 1999年 12月我院收治急性一氧化碳中毒迟发性脑病 2 4例 ,报告如下。一般资料 :本组男 19例 ,女 5例 ,年龄 2 4~ 76岁。其中 5 0岁 7例 ,5 0~ 6 0岁 7例 ,6 0岁 10
期刊
急性一氧化碳中毒
迟发性脑病
报告
与本文相关的学术论文