Results 31 to 40 of about 298 (180)
New method of calculation Boolean difference based on bj map(基于bj图计算逻辑函数布尔差分的新方法)
Zhejiang Daxue xuebao. Lixue ban, 2004 分析了逻辑函数在部分变量取反时的bj图和降维bj图,在此基础上提出了用bj图和降维bj图计算逻辑函数的一阶布尔差分和二阶布尔差分的图形方法.实例表明,该图形方法有直观、简单等特点.它能给出逻辑函数布尔差分的最简与/异或式.
WUGui-chu(吴桂初) +2 more
doaj +1 more source
Properties of linear function and its application(线性函数的性质及其应用)
Zhejiang Daxue xuebao. Lixue ban, 2006 给出了线性函数、部分线性函数和线性变量的定义，提出了它们的性质.根据上述定义，利用布尔代数中的基本定理和公式以及自双反函数和对称函数的定义对这些性质给出了证明.最后讨论了它们在逻辑综合以及计算逻辑函数的布尔差分中的应用.
LUHui-juan(陆慧娟) +1 more
doaj +1 more source
Compression and simplification of CRM type decomposition map(CRM分解图的压缩及其化简)
Zhejiang Daxue xuebao. Lixue ban, 2006 CRM分解图可以用来指导超大规模集成电路的设计和化简.本文在分析应用CRM分解图进行逻辑函数或-符合式化简的基础上提出了逻辑函数的降维CRM分解图，给出了降维CRM分解图的定义和图形化简方法.实例表明，该图形方法有直观、简单等特点，它能给出逻辑函数的最简或-符合式，使电路实现比传统设计更简单、更有效.
ZHAOMei-ling(赵美玲) +2 more
doaj +1 more source
Zhejiang Daxue xuebao. Lixue ban, 2007 分析了函数的CRM展开式中和式项所含的部分变量取反引起的变化，在此基础上提出了直接检测CRM型全对称函数以及部分变量取反的CRM型对称函数的新方法，并以实例加以说明.与传统方法相比，该法使基于逻辑函数对称性的逻辑设计更简单、更有效.
YINGShi-yan(应时彦) +2 more
doaj +1 more source
Symmetric function based on OR-coincidence algebraic system and its logic synthesis(CRM型对称函数及其逻辑综合)
Zhejiang Daxue xuebao. Lixue ban, 2010 逻辑函数的CRM展开式是逻辑函数在或-符合代数系统中的一种基本表示形式,而对称函数又有许多独特的优点.在讨论了与-或-非代数系统中和最大项对应的对称函数定义、性质基础上,研究了CRM型基本对称函数的定义及其性质.进而提出了基于全加器以及CRM型PLA网络的逻辑综合,还举例说明了逻辑综合过程.该综合的PLA网络是以或、符合二种运算作为基本运算的,类似于与、异或的电路实现, CRM型对称函数常常可以导致使用较少的门及较少的连线,更重要的是它具有易于测试等特点.本文的讨论揭示了CRM型基本对称函数的内在规律 ...
ZHAOMei-ling(赵美玲) +1 more
doaj +1 more source
Transformation between the RM expansion and CRM expansion of logical functions(逻辑函数RM展开式和CRM展开式的转换)
Zhejiang Daxue xuebao. Lixue ban, 2005 讨论了逻辑函数在与-异或和或-符合代数系统中的RM展开式和CRM展开式.根据异或和符合运算的性质详细讨论了逻辑函数bj系数和dj系数间的关系，并提出了两者的矩阵转换法，举例说明了转换过程.该方法揭示了bj系数和dj系数的内在联系，具有较好的实用性.
PANWei-zhen(潘伟珍) +2 more
doaj +1 more source
Implementation of Digital Signature in Automatic Office System [PDF]
, 2005 开发了一种基于密钥集中式管理的数字签名方法,并在开发的办公自动化系统中予以实现。该方法利用MD5算法来抽取公文信息指纹,利用RSA公开密钥算法在公文信息指纹上实施签名,从而保证了公文信息的完整性,并通过一种密钥生产管理系统来生产并管理办公自动化系统中所有合法用户的公/私密钥对,从而保证签名的真实性与安全性,并为用户使用密钥提供方便。通过测试表明,该文实现的数字签名具有良好的运行性能,完全可以满足在办公自动化系统下运行的要求。A novel digital signature method is ...
李翠华, 阳文泽
core
, 2000 作为提高冲模设计效率的一种尝试,我们实现了“冲压模设计专家系统”,用来完成冲模方案设计。 (1)系统组成及运行机理:系统由一个负责总体调度的总控模块和几个功能模块组成。功能模块包括工艺性分析、实例推理、设计主推理等推理模块以及各推理模块相对应的知识库,另外还有用户接口、学习处理、解释、黑板等辅助模块。运行时,先由工艺性分析模块调用工艺性分析知识来判断冲压件是否满足工艺要求。若满足,则开始进行设计。这时 ...
贾志勇, 贾志强
core
Global Behavior of Feedback Neural Network [PDF]
, 2008 本文主要研究非对称反馈神经网络的整体行为特性。反馈神经网络是一类重要的多体动力系统：从统计力学的角度来说，反馈神经网络是无序铁磁模型的一类特殊形式；从实际应用的角度来说，反馈神经网络的寻址记忆功能在模式识别和联想记忆等领域表现出不可忽视的应用潜力。因此，它们的热力学和动力学性质一直受到广泛关注。 对反馈神经网络的研究传统上主要是利用平均场近似的方法考察其平衡态下的宏观统计性质。但是平均场理论只适用于权值矩阵对称的反馈神经网络，对非对称反馈神经网络而言 ...
金涛
core