论文部分内容阅读
提出了以VHDL语言为手段,介绍了针对个体域D为{0,1}的谓词逻辑定理证明的实现方法,并在Active-HDL环境中举例说明.
VHDL语言在个体域D为{0,1}的谓词逻辑定理证明中的应用
【摘 要】
：
提出了以VHDL语言为手段,介绍了针对个体域D为{0,1}的谓词逻辑定理证明的实现方法,并在Active-HDL环境中举例说明.
【机 构】
：
上海大学计算机学院
【出 处】
：
计算机工程
【发表日期】
：
2003年2期
【基金项目】
：
上海市教委资助项目
其他文献
小组合作学习的授课策略在语文课堂被广泛应用,有效提升学生的语文成绩。教师可以针对如何提高学生小组合作学习能力这一课题做出进一步探究,对小组合作学习概述、教学中存在
PMC技术在提高语音识别的鲁棒性方面发挥重要作用.但PMC技术仍存在一些难点:如何获得精确的卷积噪声模型;如何在低信噪比情况下提高识别性能.该文提出了PMC技术的改进方法:引
对纹理、形状特征提取、相关反馈算法进行了研究.利用熵进行纹理特征提取,利用具有平移、旋转不变性的离散函数的七个不变矩进行形状特征提取,利用相似性度量函数进行图像的
采用分布式结构的基于网络的入侵检测系统(NIDS)自身的安全性已经成为一个重要问题.在分析了已有NIDS的技术特点的基础上,根据其特性引入了报文过滤、进程控制、报文确认和安