【摘 要】
：
本文提出了一种新的对数字电路进行逻辑分析的方法——推理方法。该方法将逻辑分析问题看作是一个自动定理证明问题,即将逻辑电路知识看成为公理,给定的数字网络结构和输入信
【机 构】
：
复旦大学电子工程系,复旦大学电子工程系
论文部分内容阅读
本文提出了一种新的对数字电路进行逻辑分析的方法——推理方法。该方法将逻辑分析问题看作是一个自动定理证明问题,即将逻辑电路知识看成为公理,给定的数字网络结构和输入信号看成是已知成立的命题(引理),而待求的输出信号看成是蕴含在上述这些命题中的新命题(定理),逻辑分析过程就是从公理,引理中自动导出定理的过程,即推理过程。本文详细介绍了推理方法的原理,推理的过程,最后将这种分析方法与传统的逻辑分析方法进行了比较。
其他文献
摘 要：班级是学校的基本单位，班级管理的优劣将直接影响小学生的发展。现阶段的小学班级管理中，存在专制、重智轻德等问题。只有家庭、学校和社会三者共同努力，才能改善班级管理现状，真正为孩子的健康、全面发展奠基。 关键词：班级管理；转变观念；师生关系 班级是学校教育教学活动的基本组成单位，是学生实现个体社会化、发展个性的重要场所。班级管理是教师根据一定的目的要求，采取适当的方法手段，带领班级学生，对
摘 要：家园共育是幼儿教育的有效途径，也是《3～6岁儿童学习与发展指南》强调的重要理念，家庭教育无可替代，只有家园共育才能使幼儿无论在园还是在家都能找到模仿的榜样，都能受到正确的引导，从而有效促进幼儿身心和谐健康发展。 关键词：幼儿园；教师；家庭；共育 在幼儿家长中有一部分来也匆匆、去也匆匆的父母，他们为了工作、生活，顾了自己，又顾不了孩子；有的人认为孩子年龄小，来幼儿园只是为了玩，为了让父母
本文提出了一种新的高分辨率谱分析法——最小对称发散度(MSD)谱分析法。该方法把最小交叉熵谱分析法(MGEM)所使用的最小非对称发散度准则修改为MSD准则,使得它利用了先验谱
提出了一种竞赛设备不全条件下的学生信息安全技能竞赛训练体系。把竞赛内容融入＂网络攻击与防御＂课程,开展动态分层教学;依托优秀校友传帮带,增强学生的网络安全实战能力;依托
摘 要：音乐学科属于艺术类学科，长期以来被认为是其他学科的辅助学科，得不到学生的高度重视。根据教育改革的要求及新课改的标准，音乐学科被高度重视并赋予了新的意义，这就是音乐是陶冶学生情操、健全学生人格、启迪与净化学生心灵、培养和促进学生素质全面发展的重要学科。因此音乐课堂的教学就需要教师构建一种新型模式，打破传统的授课理念。 关键词：新课改；课堂氛围；互动交流 传统的音乐课堂中教师只是根据教学大
压敏纺织品英国研究人员开发出一种对压力敏感的织物结构。按照欧洲专利EP1052485的介绍，该材料可应用于病床、纺织品、计算器等。
儒家＂人本＂、＂礼治＂以及＂君子＂等思想作为中国封建社会的主流文化,蕴含着大量超越性的思想要素,塑造了中华文化的基本品格,其中许多东西已积淀成中华民族相对稳定的道德观念与习惯,
讨论了活动目标斜穿雷达波瓣时所收信号电平的变化特性,得出了“在波瓣内某点将出现最大值,其位置只与雷达相对于目标的坐标参数有关,而与目标的反射特性无关”的结论,导出了
黑体辐射逆问题指的是从所测得的黑体辐射能谱确定黑体的面温度分布。本文利用函数变换,把相应的积分方程化为卷积形式,从而可用Fourier变换给出解的明确表达式。由此不但可
对高中英语写作教学中存在的问题进行探究,并针对问题给出具体可行性的解决对策。