论文部分内容阅读
在用重写系统描述逻辑位、门电路、位串和自然数的基础上,对半加器、全加器和串行加法器等基本硬件电路的逻辑功能进行了刻画,并用基于重写归纳的推理技术证明了所有描述的正确性,为用重写技术正确描述和验证复杂硬件电路奠定了基础.最后给出与其他类似工作的分析和比较.
基于重写归纳技术的串行加法器的描述和验证
【摘 要】
：
在用重写系统描述逻辑位、门电路、位串和自然数的基础上,对半加器、全加器和串行加法器等基本硬件电路的逻辑功能进行了刻画,并用基于重写归纳的推理技术证明了所有描述的正
【机 构】
：
华东理工大学计算机科学与工程系
【出 处】
：
华东理工大学学报
【发表日期】
：
2003年1期
其他文献
介绍了通过惩罚函数法解决含约束条件遗传算法的实现问题.分别采用内点法和外点法,将有约束优化问题转化为无约束的优化问题,再利用Matlab编制遗传算法程序.通过对连续催化重
分析了PTA生产中氧化反应器尾氧浓度的影响因素,提出一种用小波分析对数据进行降噪处理的方法.采用BP神经网络并对其进行了一定程度的改进.通过降噪前后的网络仿真结果对比,
基于小波基函数的正交逼近特性及运算矩阵,提出了一种求解混合H2/H∞鲁棒控制问题的新方法.该方法利用离散小波快速算法的数值矩阵,将原问题转化为代数矩阵问题,避免计算耦合
提出了一种隔离直流-直流变流器,此变流器由两个零电压开关脉宽调制式(PWM)正向变流器串联并与一个高频变压器耦合而成.此变流器的特点是从空载到满载运行时无开关损耗,且导
研究了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种煤焦中的矿物质行为.研究结果表明,高温热处理后焦中的矿物
在内径94 mm,高2.1 m的填料塔内进行了热、质同时传递过程的热模实验研究.结果表明,存在一个合适的(液/汽)质量比为7.7～13.3.当系统内液汽比在该范围附近时,床层内气相温度分
采用机械搅拌反应釜，以液体石蜡为液相热载体，在压力2．6～5．6MPa，温度210～260℃，气体质量空速500～2500L／(kg·h)的实验条件下，对在新型低温低压甲醇合成催化剂C302-2作用下的CO、CO2
提出了一种含有不确定性环节的非线性时滞系统的执行器鲁棒故障诊断方法,通过应用观测器技术和自适应技术来确定估计系统输出与实际系统输出的差值,若大于或等于阈值,诊断发