论文部分内容阅读
给出了线性函数、部分线性函数和线性变量的定义，提出了它们的性质．根据上述定义，利用布尔代数中的基本定理和公式以及自双反函数和对称函数的定义对这些性质给出了证明．最后讨论了它们在逻辑综合以及计算逻辑函数的布尔差分中的应用．
线性函数的性质及其应用
【摘 要】
：
给出了线性函数、部分线性函数和线性变量的定义，提出了它们的性质．根据上述定义，利用布尔代数中的基本定理和公式以及自双反函数和对称函数的定义对这些性质给出了证明．最后讨论
【机 构】
：
中国计量学院计算机科学与技术系,浙江大学信息与电子工程学系
【出 处】
：
浙江大学学报(理学版)
【发表日期】
：
2006年2期
【基金项目】
：
浙江省科技计划重点项目资助(2005C21028);浙江省自然科学基金资助项目(Y105694)
其他文献
类黄酮（flavonoids）是一类存在于植物中的多酚化合物，目前已分离鉴定的达8000多种，它作为药用植物中提取的主要活性成分，具有调节血脂、消除氧自由基、抗氧化、抗肿瘤、抗病毒等生
本文首次报导了以620.0～660.0nm宽波段范围内的激光双光子激发锂分子产生兰区450.0～465.0nm受激扩散带辐射,以及由571.0nm附近窄带激光双光子激发锂原子而获得锂子分子405.0～421
本文介绍了电流反馈放大器（CFA）的基本原理，用四个CFA和几个电阻、电容设计了一种三输入单输出的新的通用滤波器。这种滤波器在无需电阻电容匹配的情况下，能实现二阶的低通、带通
电工学实验教学是培养学生的工程实践能力及综合创新能力的重要途径之一,本文针对目前非电类专业电工学实验教学中存在的一些问题,从独立设课、优化实验内容、教学方式、实验
矩阵和数组是MATLAB的核心,本文基于MATLAB交互式软件包的这一特点,实现了对FDTD算法(时域有限差分法)的改进.在时域有限差分(Finjte-Difference Time-Domain)FDTD方法中,利
全球金融危机，经济趋于减缓，企业进行价值创新显得更加紧迫。企业突破现有市场份额的争夺．发现并满足顾客需求，寻找新市场，从顾客视角下设立价值创新路径。但是，仅仅找到价值创新的
For the manufacture of S-type thermocouple the so-called thermocouple wire of platinum and platinum-rhodium alloy is used.One of the main technical requirements
期刊
用特种粉末冶金法制备Pt—Rh—Zr三元舍金粉末，并对制备的Pt—Rh—Zr三元合金粉末进行烧结一内氧化处理，再通过压制和热锻工艺制成弥散强化材料。用金相显微镜、扫描电镜观察发
明代海禁政策变迁打破了原有的官商利益集团垄断海外贸易的格局,允许外商和国内私人海商利益集团从事海外贸易。明代海外贸易的每一次政策变动都会影响不同利益集团的根本利
实践环节是培养高素质电子信息专业人才的重要环节之一,本文在对DSP实践教学现状分析的基础上,从DSP实践教学内容、教学方法、教学形式等几个方面进行了探讨,并提出了相应的