切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
用均覆盖和锥形式对析取范式的结构分析及其近似快速求解算法
用均覆盖和锥形式对析取范式的结构分析及其近似快速求解算法
来源 :计算机学报 | 被引量 : 0次 | 上传用户:yjxff520
【摘 要】
:
本文对析取范式的结构作了结构分析,得出了如下结果;在恰当由n个确定的例题变元所可能构成的一切析取范式中,含均覆盖的析取范式的比例当n趋于无穷大时等于1。在其余的析取范式中,含
【作 者】
:
宋恩民
【机 构】
:
华中理工大学计算机科学与工程系
【出 处】
:
计算机学报
【发表日期】
:
1996年11期
【关键词】
:
析取范式
均覆盖
锥形式
算法
Disjunctive normal form(DNF)
equal covering
cone form
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文对析取范式的结构作了结构分析,得出了如下结果;在恰当由n个确定的例题变元所可能构成的一切析取范式中,含均覆盖的析取范式的比例当n趋于无穷大时等于1。在其余的析取范式中,含锥形式的比例当n趋于无穷大时亦等于1。基于分析结果,给出一个判定析取范式永真性的快速算地。
其他文献
将TD方法同神经网络相结合进行时间序列实时建模预测
本文首先探讨了基于神经网络的时间序列预测模型的建立机制,然后提出可将基于神经网络的时序直接多步预测模型的实时建模问题看成是延时加强学习问题,从而可将TD法与BP法相结合用于
期刊
神经网络
时间序列
预测
TD方法
线性回归分析
Neural network
time series
prediction
TD method
BP
佛说饲料营销
佛者,觉也,是一门觉悟的学问,是宗教,更是哲学。对内而言,内觉“人生本身”,使我们有正确的人生观:对外而言,外觉“宇宙环境”,使我们有正确的“宇宙观”。觉有三种境界:第一是自觉,第二
期刊
饲料营销
宇宙环境
人生观
宇宙观
自觉
一种基于神经网络的分形几何图的产生与编码
本文提出用概率逻辑神经网产生一类自(互)相似(分形)图的方法,指出这类图能用一组压缩编码表示.给出快速寻找该编码的算法,即识别该分形几何图的算法.证明该编码是最优的,即码的长度最短.这些成果有希望在图象压缩和模式识别中得到应用.
期刊
分形几何图
神经网络
图象压缩
编码
图象处理
Fractal graph
neural network
compressed encoding.
基于Petri网的协议并行化处理模型的描述和验证
本文提出了一个OSI/RM运输层协议并行处理模型,以适应协议的高效处理,根据模型特点,使用Petri网作为形式化描述工具,对该模型进行描述,分析和验证。
期刊
PETRI网
并行处理
形式化描述
形式化验证
Petri net
parallel processing
formal specification and
政府油料收储 我国形成全球油脂库存“堰塞湖”?
近年我国油脂市场在政府密集调控、市场自身调节的“双轨制”背景格局之下.植物油(籽)国储库存明显高企.全球新季油、籽作物的增产前景乐观,俨然形成全球油脂库存压力、价格波动的
期刊
政府
库存
油脂
堰塞湖
油料
市场风险
市场调控
自身调节
工程数据库系统的设计事务模型
本文提出了工程数据库系统OSCAR的设计事务模型,该模型既体现了工程设计过程的全局试探特征,也体现了其局部试探特征,本文同时给出该模型的一种基于影子页面和日志技术的实现方法。
期刊
工程数据库
设计事务模型
工程设计
Engineering database system
design transaction model
explora
综合知识表示模型MAS的属性文法推理机制
根据文献[2]中提出了的基于属性文法和语义网络的综合知识表示模型MAS,本文提出了关于实现该MAS推理机制的基本算法,并且通过实例对该算法进行了说明,最后,证明了基于MAS模板的属性文法是L-AG和IMAS的
期刊
属性文法
属性文法解释器
推理机制
知识表示
Attribute grammar
attribute grammar interpreter
inference
面向三维变量设计的可变特征模型
本文提出了一个面向三维变量设计的产品形状可变特征模型,其中包括特征树,特征表有特征约束关系图等新概念,用于描述设计过程中的形体模型和特征间的相互内在联系,从而不仅可作参
期刊
可变特征模型
变量设计
三维
CAD
Variable feature model
feature tree
feature list
feature c
饲用复合酶制剂酶学特性研究
饲用复合酶制剂的主要酶种包括纤维素酶、蛋白酶、脂肪酶和淀粉酶。利用高产菌株S6—5、Y7—6和B5—12混合发酵生产复合酶制剂,发现纤维素酶催化反应最适宜的酸碱度在DH=5.0.反
期刊
高产菌株
PH值
温度
复合酶
不可溶性和可溶性日粮纤维对早期断奶仔猪肠道食糜的理化性质及微生物区系的影响
本文研究了两种不同来源的非淀粉多糖(来源于麦麸的不可溶性非淀粉多糖、来源于甜菜汁的可溶性非淀粉多糖)对早期断奶仔猪营养物质的消化率、肠道后端食糜的理化性质、微生物数
期刊
微生物区系
非淀粉多糖
仔猪
断奶
与本文相关的学术论文