论文部分内容阅读
在用重写系统描述逻辑位、门电路、位串和自然数的基础上,对半加器、全加器和串行加法器等基本硬件电路的逻辑功能进行了刻画,并用基于重写归纳的推理技术证明了所有描述的正确性,为用重写技术正确描述和验证复杂硬件电路奠定了基础.最后给出与其他类似工作的分析和比较.
基于重写归纳技术的串行加法器的描述和验证
【摘 要】
：
在用重写系统描述逻辑位、门电路、位串和自然数的基础上,对半加器、全加器和串行加法器等基本硬件电路的逻辑功能进行了刻画,并用基于重写归纳的推理技术证明了所有描述的正
【机 构】
：
华东理工大学计算机科学与工程系
【出 处】
：
华东理工大学学报
【发表日期】
：
2003年1期
其他文献
基于小波基函数的正交逼近特性及运算矩阵,提出了一种求解混合H2/H∞鲁棒控制问题的新方法.该方法利用离散小波快速算法的数值矩阵,将原问题转化为代数矩阵问题,避免计算耦合
研究了3种用于合成乙酸芳樟酯反应的SO2-4/MxOy型固体酸催化剂,其中SO2-4/ZrO2显示出较高的选择性,在载体ZrO2中添加适量的SiO2,可以明显提高催化剂的活性,降低反应温度.与高
制备了四价钒铬合物VO(pic)2@H2O催化剂及其分子筛负载型催化剂VO(pic)2-NaY,并以尿素过氧化氢CO(NH2)2@H2O2为氧化剂,考察了催化剂对正己烷和正庚烷等烷烃的催化氧化性能.实
在1 000～1 600°C制焦温度下,借助于扫描电子显微镜研究了扎莱诺尔、后布连、东胜、西山、沈北、沈阳和阳泉7种煤焦中的矿物质行为.研究结果表明,高温热处理后焦中的矿物
提出了一种含有不确定性环节的非线性时滞系统的执行器鲁棒故障诊断方法,通过应用观测器技术和自适应技术来确定估计系统输出与实际系统输出的差值,若大于或等于阈值,诊断发