论文部分内容阅读
本文提出了一个把逻辑函数的积项扩展为本源蕴涵项的算法。用此算法得到的本源蕴涵项集合通过去冗过程产生的最后结果最接近绝对最小化的解。
蕴涵项的扩展算法
【摘 要】
：
本文提出了一个把逻辑函数的积项扩展为本源蕴涵项的算法。用此算法得到的本源蕴涵项集合通过去冗过程产生的最后结果最接近绝对最小化的解。
【机 构】
：
南通工学院自动化系
【出 处】
：
计算机工程与科学
【发表日期】
：
2000年2期
其他文献
本文研究了基于Web可视化的参考模型,设计、实现了两种可视化Web服务器(VWS)原型架构:VRML可视化服务器和基于CORBA的可视化服务器.
【正】 为防止艾滋病病毒(HIV)在吸毒人群中迅速流行感染,1993年1月至2001年12月对云南某县戒毒所艾滋病(AIDS)哨点的978名吸毒人群实行HIV抗体血清学监测检验,现将结果报告
为了评价不同增容剂对煤直接液化残渣改性沥青低温性能的影响,首先,通过正交实验确定出三种增容剂(硅烷偶联剂、苯甲醛、二甲苯)各自的最佳掺量及掺入方式;其次,采用双边缺口
<正>在中国历史上,魏晋是一个动乱的时代,也是个思想解放的时代,哲学、美学、文学、艺术等都取得了新的、全面的发展。鲁迅先生曾把这一时代称为"文学的自觉时代,或如近代所
以当前农资销售市场的业务需求,结合国内实施电子商务的具体环境,设计了一个基于J2EE的农资电子商务系统的网上定货子系统.系统以网上调拨配送为分析重点,建立了一种基于J2EE
本文首先分析了防火墙和网络入侵检测系统在网络安全体系中存在的不足，介绍了在CIDF的框架下建立的一个集成防火墙和入侵检测系统的模型，详细分析了这种集成给网络带来的安全性