TABULAR TECHNIQUES FOR OR-COINCIDENCE LOGIC

来源 :电子科学学刊：英文版 | 被引量 : 0次 | 上传用户：nvli2010

【摘要】

：

<正>The map folding method for the conversion between Boolean expression and COC expansions is analyzed. Based on it, the tabular techniques are proposed for th

【作者】

：

Wang Pengjun Chen Xiexiong

【机构】

：

InstituteofCircuitsandSystems,DepartmentofInformationScienceandElectronicEngineering

【出处】

：

电子科学学刊：英文版

【发表日期】

：

2006年2期

【关键词】

：

快速列表技术 FTT 一致性逻辑函数固定极性 COC扩展 Tabular technique OR-coincidence logic Fixed po

【基金项目】

：

Supported by the National Natural Science Foundation of China （No.60273093） and the Natural Science Foundation of Zhejinag Province （No.Y 104135）

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

<正>The map folding method for the conversion between Boolean expression and COC expansions is analyzed. Based on it, the tabular techniques are proposed for the conversion between Boolean expression and COC expansion and for the derivation of GOC ex

其他文献

A NEW THRESHOLD MULTI-PROXY MULTI-SIGNATURE SCHEME

期刊

密码系统数字信号多信号设计域值Cryptography Digital signature Multi-proxy Multi-signature

接触式逆止器温升试验方法研究

通过对接触式逆止器型号规格、基本参数、主要安装尺寸以及温升试验要求和方法的分析,提出了轴孔孔径安装定位、内圈变频无级调速的方法,解决了不同型号规格的内孔孔径逆止器

期刊

逆止器温升试验方法backstoptemperature risetest method

第三届全国连续搬运机械标准化技术委员会成立大会暨三届一次会议在山东省济宁市召开

2018年11月28日至30日,第三届全国连续搬运机械标准化技术委员会(以下简称连续搬运机械标委会)成立大会暨三届一次会议在山东省济宁市隆重召开,出席会议的有标委会委员37人,

期刊

标准化技术委员会搬运机械济宁市山东标委会秘书处

A LINEARIZATION ATTACK ON MODIFIED E0 ALGORITHM

<正>A linearization attack on the Key Stream Generator (KSG) of the modified E0 algorithm proposed by Hermelin [Proceedings of ICISC'99, Springer LNCS 1787,

期刊

编密码系统线性化攻击Eo算法线性方程E0 encryption system Stream cipher Linearization attack

TURBO EQUALIZATION WITH JOINTLY GAUSSIAN EQUALIZER

A Jointly Gaussian (JG) equalizer is derived for turbo equalization based on an augmented real matrix representation of channel model and a Gaussian approximati

期刊

译码均衡迭代法TURBO码Decoding Equalization Turbo equalization Iterative method

相控阵检测技术在架桥设备检测中的应用

随着国内高铁高速发展和建设,相关架梁施工设备也在不断变化。目前,架梁设备结构复杂多样,且规格和承载越来越大,检测的要求也愈加严格,常规A超检测越发难以满足现场检测的要

期刊

架桥机架梁设备无损检测超声波相控阵成像bridge erectorgirder-erecting equipmentnondestructive

IDENTITY-BASED MULTISIGNATURE AND AGGREGATE SIGNATURE SCHEMES FROM M-TORSION GROUPS

期刊

多信号鉴别信号集合配对扭转群Identity-based multisignature Identity-based aggregate signat

MULTI-BLOCK CHAINING-BASED AUTHENTICATION MODE

期刊

块密码算法鉴别模式统计评估安全性Block cipher algorithm Authentication mode Statistical eva

QUASI-OPTIMAL T-VVA IN CODED MIMO SYSTEMS

Vector Viterbi Algorithm (VVA) is an optimal decoding algorithm in multiplechannel environments. It can be applied in coded Multi-Input-Multi-Output (MIMO) syst

期刊

MIMO向量维特比算法编码T-VVAT-VVA无线通信Multi-Input-Multi-Output (MIMO) Vector Viterbi

SIMPLE AND EFFICIENT SPACE-TIME CHANNEL AND DOA ESTIMATION TECHNIQUES IN TD-SCDMA SYSTEMS

期刊

时-空信道模拟到达方向估计TD-SCDMA系统快速傅立叶变换Time Division-Synchronized Code Division Multi

TABULAR TECHNIQUES FOR OR-COINCIDENCE LOGIC

与本文相关的学术论文