期刊文献+
共找到20篇文章
< 1 >
每页显示 20 50 100
多值逻辑公式间的伪距离的Boole函数表示
1
作者 马巧云 吴洪博 《计算机工程与应用》 CSCD 北大核心 2015年第23期38-41,共4页
利用逻辑公式的Boole函数表示,给出了m元n值逻辑公式的真度和公式间伪距离的等价定义,说明了这种定义与原有的概率形式的定义等价,得到了公式间的伪距离的一些简单性质。
关键词 逻辑系统 boole函数 真度 伪距离
在线阅读 下载PDF
Walsh Spectral Characteristics and the Auto-Correlation Function Characteristics of Forming Orthomorphic Permutations of Multi-Output Functions 被引量:4
2
作者 ZHAO Yaqun WANG Jue 《Wuhan University Journal of Natural Sciences》 CAS 2006年第6期1895-1898,共4页
Orthomorphic permutations have good characteristics in cryptosystems. In this paper, by using of knowledge about relation between orthomorphic permutations and multi-output functions, and conceptions of the generalize... Orthomorphic permutations have good characteristics in cryptosystems. In this paper, by using of knowledge about relation between orthomorphic permutations and multi-output functions, and conceptions of the generalized Walsh spectrum of multi-output functions and the auto-correlation function of multi-output functions to investigate the Walsh spectral characteristics and the auto-correlation function characteristics of orthormophic permutations, several results are obtained. 展开更多
关键词 orthomorphic permutation multi-output functions walsh spectral auto-correlation function
在线阅读 下载PDF
Relationship between Multi-Output Partially Bent Functions and Multi-Output Bent Functions 被引量:2
3
作者 ZHAO Yaqun JU Guizhi WANG Jue 《Wuhan University Journal of Natural Sciences》 CAS 2006年第6期1887-1890,共4页
In this paper, the definition of multl-output partially Bent functions is presented and some properties are discussed. Then the relationship between multi-output partially Bent functions and multi-output Bent function... In this paper, the definition of multl-output partially Bent functions is presented and some properties are discussed. Then the relationship between multi-output partially Bent functions and multi-output Bent functions is given in Theorem 4, which includes Walsh spectrum expression and function expression. This shows that multi-output partially Bent functions and multi-output Bent functions can define each other in principle. So we obtain the general method to construct multi-output partially Bent functions from multi-output Bent functions. 展开更多
关键词 multi-output partially Bent functions multi-output Bent functions Walsh spectrum CONSTRUCTING
在线阅读 下载PDF
IMPROVEMENT OF THE ALGORITHM PRINCIPLES FOR MINIMIZATION OF MULTI-OUTPUT FUNCTIONS
4
作者 陈苏 许道荣 《Journal of Electronics(China)》 1993年第2期116-123,共8页
In this paper,the application of extraction principle for logic function minimiza-tion to multi-output case is studied.A defect in original algorithm in dealing with multi-outputextrema is made up,and on this base,thr... In this paper,the application of extraction principle for logic function minimiza-tion to multi-output case is studied.A defect in original algorithm in dealing with multi-outputextrema is made up,and on this base,three kinds of less-than terms in different conditions aredefined.In addition,three kinds of generalized definition of less-than terms are given,so as to findout more efficiently the covers with minimal number of terms and irredundant function outputs.This work makes the multi-output extraction principle closer to perfection.An algorithm basedon the work is presented. 展开更多
关键词 multi-output function MINIMIZATION Reduction of PLA MINIMAL AND-OR expression
在线阅读 下载PDF
Spectral Characteristics of the Best Affine Approach of Multi-Output m-Valued Logical Functions
5
作者 ZHAO Yaqun YING Dinghai FENG Dengguo 《Wuhan University Journal of Natural Sciences》 CAS 2007年第1期185-188,共4页
This paper discusses the best affine approach (BAA) of multi-output m-valued logical functions. First, it gives the spectra of rate of accordance between multi-output m-valued logical functions and their affine func... This paper discusses the best affine approach (BAA) of multi-output m-valued logical functions. First, it gives the spectra of rate of accordance between multi-output m-valued logical functions and their affine functions, then analyzes the BAA of multi-output m-valued logical functions and finally gives the spectral characteristics of BAA of multi-output m-valued logical functions. 展开更多
关键词 multi-output m-valued logical functions linear spectrum cyclic spectrum BAA(best affine approach)
在线阅读 下载PDF
Multi-output Gaussian Process Regression Model with Combined Kernel Function for Polyester Esterification Processes
6
作者 王恒骞 耿君先 陈磊 《Journal of Donghua University(English Edition)》 CAS 2023年第1期27-33,共7页
In polyester fiber industrial processes,the prediction of key performance indicators is vital for product quality.The esterification process is an indispensable step in the polyester polymerization process.It has the ... In polyester fiber industrial processes,the prediction of key performance indicators is vital for product quality.The esterification process is an indispensable step in the polyester polymerization process.It has the characteristics of strong coupling,nonlinearity and complex mechanism.To solve these problems,we put forward a multi-output Gaussian process regression(MGPR)model based on the combined kernel function for the polyester esterification process.Since the seasonal and trend decomposition using loess(STL)can extract the periodic and trend characteristics of time series,a combined kernel function based on the STL and the kernel function analysis is constructed for the MGPR.The effectiveness of the proposed model is verified by the actual polyester esterification process data collected from fiber production. 展开更多
关键词 seasonal and trend decomposition using loess(STL) multi-output Gaussian process regression combined kernel function polyester esterification process
在线阅读 下载PDF
ON THE DEGREE OF COMPLETENESS OF CRYPTOGRAPHIC FUNCTIONS 被引量:1
7
作者 Liu Jian Chen Lusheng 《Journal of Electronics(China)》 2014年第5期489-495,共7页
This paper discusses the degree of completeness of cryptographic functions, which is one of the cryptographic criteria should be considered in the design of stream ciphers. We establish the relationships between the d... This paper discusses the degree of completeness of cryptographic functions, which is one of the cryptographic criteria should be considered in the design of stream ciphers. We establish the relationships between the degree of completeness and other cryptographic criteria. For resilient Boolean functions, a method to enhance the degree of completeness is proposed, while the nonlinearity and the algebraic degree do not decrease. Moreover, two constructions of resilient functions are provided, which have optimal degree of completeness, high nonlinearity, and high algebraic degree. 展开更多
关键词 Degree of completeness multi-output boolean functions NONLINEARITY Resiliency Linear structures
在线阅读 下载PDF
A comparative analysis of multi-output frontier models
8
作者 Tao ZHANG Eoghan GARVEY 《Journal of Zhejiang University-Science A(Applied Physics & Engineering)》 SCIE EI CAS CSCD 2008年第10期1426-1436,共11页
Recently, there have been more debates on the methods of measuring efficiency. The main objective of this paper is to make a sensitivity analysis for different frontier models and compare the results obtained from the... Recently, there have been more debates on the methods of measuring efficiency. The main objective of this paper is to make a sensitivity analysis for different frontier models and compare the results obtained from the different methods of estimating multi-output frontier for a specific application. The methods include stochastic distance function frontier, stochastic ray frontier, and data envelopment analysis. The stochastic frontier regressions with and without the inefficiency effects model are also com-pared and tested. The results indicate that there are significant correlations between the results obtained from the alternative estimation methods. 展开更多
关键词 Efficiency multi-output Stochastic distance function frontier Stochastic ray frontier Data envelopment analysis(DEA) CORRELATION
在线阅读 下载PDF
RMU中BOOL子系统特殊联锁功能研究
9
作者 蒋爽 《铁路通信信号工程技术》 2022年第7期13-17,共5页
资源管理系统(RMU)的逻辑处理子系统(BOOL)部分相当于既有车站联锁,由于RMU的系统本身的需求及系统接口原因,BOOL子系统的相关功能的设计及实现方式又跟既有联锁有着很大差别,结合既有车站联锁的相关功能,对比分析BOOL子系统的进路办理... 资源管理系统(RMU)的逻辑处理子系统(BOOL)部分相当于既有车站联锁,由于RMU的系统本身的需求及系统接口原因,BOOL子系统的相关功能的设计及实现方式又跟既有联锁有着很大差别,结合既有车站联锁的相关功能,对比分析BOOL子系统的进路办理、解锁和区间改方逻辑,对BOOL子系统的特殊需求进行详细分析及说明。 展开更多
关键词 新型列控系统 资源管理系统 bool子系统 特殊联锁功能
在线阅读 下载PDF
正形置换的Walsh谱特征
10
作者 张帆 周文勇 邬长安 《信阳师范学院学报(自然科学版)》 CAS 北大核心 2012年第3期296-298,共3页
在研究多输出Boole函数Walsh循环谱的基础上,利用多输出Boole函数的正交性与其坐标函数任意组合函数的平衡性之间的等价关系,证明了一个置换f(x)是正形置换的充要条件是其Walsh循环谱W(f)(α,α)=W(f)(0,α)=0.
关键词 正形置换 WALSH谱 多输出boole函数 平衡性
在线阅读 下载PDF
正形置换的差分性质
11
作者 张帆 鲁骏 《信阳师范学院学报(自然科学版)》 CAS 北大核心 2013年第3期439-441,共3页
在研究多输出Boole函数差分的基础上,利用多平衡多输出Boole函数的差分特性,证明了一个置换f(x)是正形置换的充要条件是其差分δf(α,α)=δf(0,α)=0(α≠0);指出了正形置换的差分分布表具有以下特征:(1)每一行和每一列的元素之和均为2... 在研究多输出Boole函数差分的基础上,利用多平衡多输出Boole函数的差分特性,证明了一个置换f(x)是正形置换的充要条件是其差分δf(α,α)=δf(0,α)=0(α≠0);指出了正形置换的差分分布表具有以下特征:(1)每一行和每一列的元素之和均为2n;(2)除δf(0,0)=2n外,差分分布表中首行、首列以及主对角线上其他元素全为零. 展开更多
关键词 正形置换 差分 多输出boole函数 差分转移概率 平衡性
在线阅读 下载PDF
康斯插值及其误差估计
12
作者 何永富 胥泽银 +2 位作者 李德珍 李华 周维奎 《成都理工学院学报》 CSCD 1998年第1期21-29,共9页
文章研究了康斯插值的基本理论,给出了构造康斯插值曲面的一般方法,对布尔和逼近与误差估计也作了探讨;最后,用双三次康斯曲面拟合1/8椭球面。理论和实践都证明,该方法精度高、效果好。
关键词 混合函数 角点信息矩阵 康斯插值 误差估计
在线阅读 下载PDF
一种基于逐维扩展的前向网络训练方法
13
作者 张军英 《微电子学与计算机》 CSCD 北大核心 1998年第4期33-36,共4页
前向网络的快速训练问题是前向网络研究的一个非常重要的课题。本文针对一类n-维超立方体的分类问题(当为二分类问题时,这实际上是一个n-维Boole函数的神经网络实现问题),提出了一种基于逐维扩展的前向网络快速训练方法,将一个n个... 前向网络的快速训练问题是前向网络研究的一个非常重要的课题。本文针对一类n-维超立方体的分类问题(当为二分类问题时,这实际上是一个n-维Boole函数的神经网络实现问题),提出了一种基于逐维扩展的前向网络快速训练方法,将一个n个输入的大网络的各权训练问题转化为小网络逐维递归的扩展部分的参数训练问题,提高了网络训练的速度,实验结果表明了这种训练方法的有效性和可行性。 展开更多
关键词 前向网络 网络训练 人工神经网络
在线阅读 下载PDF
一种有Voronoi剖分约束的启发式穿越算法 被引量:1
14
作者 郑铁豹 王新生 《燕山大学学报》 CAS 2012年第4期348-352,共5页
针对移动目标在无线传感环境器网络中的穿越问题,提出了一种带有约束条件的启发式穿越算法。该算法首先建立穿越模型,然后基于局部Voronoi图剖分穿越路径,并引入了布尔函数来对穿越路径边进行约束。移动目标根据探测到的局部或全部传感... 针对移动目标在无线传感环境器网络中的穿越问题,提出了一种带有约束条件的启发式穿越算法。该算法首先建立穿越模型,然后基于局部Voronoi图剖分穿越路径,并引入了布尔函数来对穿越路径边进行约束。移动目标根据探测到的局部或全部传感器节点信息,选择暴露度较小且穿行代价较低的穿越路径实现穿越,这使得所提出的算法更加有效并符合客观实际。理论分析和实验结果表明,该算法实用性和可靠性较高。 展开更多
关键词 启发式穿越算法 局部Voronoi图 布尔函数 约束 暴露度
在线阅读 下载PDF
布尔函数与布尔多项式
15
作者 王培根 《首都师范大学学报(自然科学版)》 2006年第5期15-18,21,共5页
布尔代数B上的n元布尔多项式f(x1,…,xn)可以表为f(x1,…,xn)=∑f(a1,…,an)x1^a1…xn^an的形式.设Fn与F^-m分别是布尔代数B上全体n元布尔函数与全体n元布尔多项式的集合,则Fa=F^-a当且仅当B是逻辑代数.
关键词 布尔代数 布尔函数布 尔多项式
在线阅读 下载PDF
扩展式卡诺图对多变量布尔函数的化简
16
作者 刘世启 《河北地质学院学报》 1996年第2期224-226,共3页
本文提出了卡诺图的一种改型结构─—扩展式卡诺图,给出了这种卡诺图的形成规则,讨论了运用护展式卡诺图化简多变量布尔函数的方法。
关键词 卡诺图 布尔函数 最小项 多变量布尔函数
在线阅读 下载PDF
格雷数序列对布尔函数的化简
17
作者 刘世启 《河北地质学院学报》 1996年第1期106-108,共3页
本文在格雷码有权化的基础上建立了格雷数序列的概念,给出了格雷数序列的形成规则。
关键词 格雷码 格雷数序列 布尔函数
在线阅读 下载PDF
Second-Order Formulas in Action
18
作者 Yuri Movsisyan 《Applied Mathematics》 2024年第9期651-685,共35页
This survey article illustrates many important current trends and perspectives for the field and their applications, of interest to researchers in modern algebra, mathematical logic and discrete mathematics. It covers... This survey article illustrates many important current trends and perspectives for the field and their applications, of interest to researchers in modern algebra, mathematical logic and discrete mathematics. It covers a number of directions, including completeness theorem and compactness theorem for hyperidentities;the characterizations of the Boolean algebra of n-ary Boolean functions and the bounded distributive lattice of n-ary monotone Boolean functions;the functional representations of finitely-generated free algebras of various varieties of lattices via generalized Boolean functions, etc. 展开更多
关键词 boolean Algebra boolean function Distributive Lattice Monotone boolean function De Morgan Algebra De Morgan function boole-De Morgan Algebra Quasi-De Morgan function Hyperidentity Coidentity
在线阅读 下载PDF
Dynamic Modeling and Closed-loop Control of Hybrid Grid-connected Renewable Energy System with Multi-input Multi-output Controller 被引量:1
19
作者 Mahdi Salimi Fereshteh Radmand Mansour Hosseini Firouz 《Journal of Modern Power Systems and Clean Energy》 SCIE EI CSCD 2021年第1期94-103,共10页
In this study, a novel approach for dynamic modeling and closed-loop control of hybrid grid-connected renewable energy system with multi-input multi-output(MIMO) controller is proposed. The studied converter includes ... In this study, a novel approach for dynamic modeling and closed-loop control of hybrid grid-connected renewable energy system with multi-input multi-output(MIMO) controller is proposed. The studied converter includes two parallel DC-DC boost converters, which are connected into the power grid through a single-phase H-bridge inverter. The proposed MIMO controller is developed for maximum power point tracking of photovoltaic(PV)/fuel-cell(FC) input power sources and output power control of the grid-connected DC-AC inverter. Considering circuit topology of the system, a unique MIMO model is proposed for the analysis of the entire system. A unique model of the system includes all of the circuit state variables in DCDC and DC-AC converters. In fact, from the viewpoint of closed-loop controller design, the hybrid grid-connected energy system is an MIMO system. The control inputs of the system are duty cycles of the DC-DC boost converters and the amplitude modulation index of DC-AC inverters. Furthermore, the control outputs are the output power of the PV/FC input power sources as well as AC power injected into the power grid. After the development of the unique model for the entire system, a decoupling network is introduced for system input-output linearization due to inherent connection of the control outputs with all of the system inputs. Considering the decoupled model and small signal linearization, the required linear controllers are designed to adjust the outputs. Finally, to evaluate the accuracy and effectiveness of the designed controllers, the PV/FC based grid-connected system is simulated using the MATLAB/Simulink toolbox. 展开更多
关键词 Multi-input multi-output(MIMO)converter maximum power point tracking grid-connected inverter conversion function matrix
原文传递
一阶R-M码陪集重量分布的线性特性
20
作者 李子臣 张卷美 《系统工程理论与实践》 EI CSCD 北大核心 1998年第8期77-81,共5页
利用Bol函数和Hadamard变换给出一阶R-M码R(1,m)陪集元的重量表达式,并给出障集重量分布的线性特性和证明。
关键词 bool函数 陪集 重量分布 编码理论 R-M码
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部