单边多输出逻辑函数补集软件的设计与实现

根据单边逻辑函数的特性,介绍了一种多输入多输出单边逻辑函数补集方法,该方法采用二进制特征矩阵B(F)和状态矢量R(F)来描述原函数,进行最小列覆盖的选择形成多输出补集函数的控制矩阵,由控制矩阵与补集函数的状态矢量形成单边单输出补集合逻辑函数,通过多输出逻辑函数分解与合并最终产生多输出单边逻辑函数的补集。我们设计的多输入多输出单边逻辑函数补集算法软件,在P-1．8GHz、512MBRAM的计算机上完成测试和运行,并通过测试检验程序,保证输出结果在逻辑上与输入条件求补等价。     

超大变量多值单边逻辑函数优化算法的研究

单边多值逻辑函数是逻辑函数的一种特例,对于超大变量的逻辑函数优化,存储开销对输入变量呈2幂次方增长.针对多输入多输出单边逻辑函数的特性,通过引入特征矩阵和状态矢量的描述,求解多输出单边逻辑函数补集,以积项扩展为基础,完成多输出单边逻辑函数无冗余覆盖.通过编程实现了多输入多输出单边函数逻辑优化的算法,对影响单边函数逻辑优化效率的因素进行了分析,软件系统在奔腾1.8GHz,512MB RAM的计算机上通过了正确性验证与测试,测试结果表明性能良好,有效降低了系统的存储空间和时间开销.在相同输出变量数、积项数和无关项因子的情况下,随输入变量数的增长,优化效率随之下降;在相同输入变量数、输出变量数和积项数的情况下,随无关项因子值的增长,优化效率随之下降;在相同输入变量数、输出变量数、和无关项因子的情况下,随积项数的增长优化效率随之提高.     

大变量多输出逻辑函数实质项识别算法

在对Espresso算法进行分析改进的基础上，提出了一种基于全域识别的多输入多输出逻辑函数实质本源项、完全冗余项和相对冗余项生成算法，该算法通过对基于积项表示的多输入多输出逻辑函数的余因子计算来进行全域判断，根据全域判断结果来识别实质本源项、完全冗余项和相对冗余项，从而构成实质本源项集合、完全冗余项集合和相对冗余项集合。对基于二级SOP型的多输入多输出逻辑函数设计了多输入多输出逻辑函数优化识别软件系统，允许的最大输入变量数为128、最大输出变量数为256、最大输入输出变量总和为300、最大输入积项数为20 000。软件系统在Pentium 1.8GHz、512MB内存的计算机上通过了Benchmark例题的测试。     

大变量多输出逻辑函数实质项识别算法

在对Espresso算法进行分析改进的基础上,提出了一种基于全域识别的多输入多输出逻辑函数实质本源项、完全冗余项和相对冗余项生成算法,该算法通过对基于积项表示的多输入多输出逻辑函数的余因子计算来进行全域判断,根据全域判断结果来识别实质本源项、完全冗余项和相对冗余项,从而构成实质本源项集合、完全冗余项集合和相对冗余项集合.对基于二级SOP型的多输入多输出逻辑函数设计了多输入多输出逻辑函数优化识别软件系统,允许的最大输入变量数为128、最大输出变量数为256、最大输入输出变量总和为300、最大输入积项数为20 000.软件系统在Pentium 1.8GHz、512MB内存的计算机上通过了Benchmark例题的测试.     

求解多输出逻辑函数覆盖问题的覆盖矩阵取补法

本文根据多输出多维体蕴涵的概念,提出构成多输出函数简化覆盖表的方法,将求解单输出函数的覆盖矩阵取补法推广到多输出函数的求解。该方法可求得函数全部有意义的无冗余覆盖(包括最小覆盖)。对于大覆盖表运用修改的锐积运算可只求得唯一一组无冗余覆盖。这个方法同时可用于消除输出冗余连接。覆盖表的产生和求解,只需存储它的某一部分或全部不存。因此本算法很简单,程序实现方便,解覆盖几乎不需要增加内存,并且计算量较小。现已编成程序,试算结果表明适于求解输入、输出变量较多的逻辑函数覆盖问题和其它规模较大的覆盖问题。     

用二值逻辑对多值逻辑进行优化

提出以二值多输出逻辑优化软件OPLG为基础，对多值逻辑函数进行逻辑优化的方法．通过对多值变量、多值函数的二进制矢量描述，将多值多维体转换为布尔表达式积项形式，从多值多维体的多值最小项出发，给出计算基本无关集的方法。对多值逻辑函数的优化通过调用二值逻辑优化软件OPLG(允许的最大输入、输出变量之和为300)来实现，二值逻辑优化的结果最终再转换为多值多维体的表示形式。     

积项集合的补集算法

在逻辑综合的领域内,经常使用求给定积项集合补集的过程。本文提出一个单边逻辑函数积项集合的求补算法,求补操作是通过选取函数矩阵的列覆盖进行的。与传统求补算法相比,该算法大大节省了计算机时间和内存空间。     

积项集合的补集算法

在逻辑综合的领域内,经常使用求给定积项集合补集的过程。本文提出一个单边逻辑函数积项集合的求补算法,求补操作是通过选取函数矩阵的列覆盖进行的。与传统求补算法相比,该算法大大节省了计算机时间和内存空间。     

基于多特征融合的视频点击率预测方法

结合多个模型集成学习可以提升单模型预测算法的性能,本文提出一种基于多特征融合的视频点击率预测方法,将哈希降维的特征和GBDT组合特征进行拼接作为输入特征,采用随机梯度下降法对逻辑回归、因子分解机和场感知因子分解机的输出值进行线性加权的迭代调整.实验结果表明该算法的预测效果优于基于单模型算法,也优于基于套袋方法的随机森林...     

具有多分段损失函数的多输出支持向量机回归

对多维输入、多维输出数据的回归,可以采用多输出支持向量机回归算法.本文介绍具有多分段损失函数的多输出支持向量机回归,其损失函数对落在不同区间的误差值采用不同的惩罚函数形式,并利用变权迭代算法,给出回归函数权系数和偏置的迭代公式.仿真实验表明,该算法的精确性和计算工作量都优于使用多个单输出的支持向量机回归算法.     

On the design of stationary feedback regulators for linear discrete systems

A new approach to the problem of stationary feedback controller design for linear time-invariant systems in the discrete time domain is presented. A single-input single-output deterministic system is considered first and it is shown that the gain vector that defines a state feedback controller is conveniently computed if the design criterion corresponds to the specified values of n members of the output sequence, n being the order of the given system. Extension of the proposed method to the case of single-input single-output stochastic systems is studied next. Finally, the case of multi-input multi-output systems is dealt with by converting the given system into an equivalent single-input system. The results are illustrated through numerical examples.     

Equivalent cascade versions of observer-based controllers for SISO and MIMO linear systems

Traditionally, observer-based controllers have been placed in the feedback loop. In this note, equivalent cascade versions of observer-based output feedback controllers are derived for single-input single-output (SISO) and multi-input multi-output (MIMO) linear systems with invertible matrix transfer functions. The closed-loop system with the cascade observer controller is less sensitive to controller parameter variations than the system with the observer in the feedback loop. Saturation is less likely to occur in the cascade observer than the feedback observer. One single-input single-output system example is presented.     

多输出Plateaued函数的构造方法

Plateaued函数具有很高的非线性度,可以满足相关免疫性、平衡性,在密码函数领域具有重要作用。为此,基于Carlet等提出的单输出Plateaued函数构造方法(FSE’03会议论文集),利用m序列的状态转移矩阵,构造一类多输出Plateaued函数,并参考Johansson方法中的引理5(IEEE Transactions on Information Theory, 2003, No.2),提出另一种多输出Plateaued函数的构造方法,由此得到的2种函数适用于S盒、滤波(组合)函数、杂凑函数等的设计。     

参数空间中鲁棒稳定性问题

本文研究了单输入多输出(SIMO)和多输入单输出(MISO)线性定常控制系统在对象 参数扰动下的鲁棒稳定性问题,并对一给定的控制器,系统在标称参数P°下闭环渐稳的情 况,提出了在参数空间中构造比中心位于P°的最大稳定超球还要大的稳定超球的方法,从而 改善了鲁棒稳定性判据.     

Hankel Singular Values and Vectors of a Class of Infinite-Dimensional Systems: Exact Hamiltonian Formulas for Control and Approximation Problems

This paper derives exact formulas for singular values and vectors of Hankel operators whose symbol is a product of a single-input single-output inner function and a multi-input multi-output rational function. This class of Hankel operators arises from the sensitivity minimization H ^∞ control problem with a rational weight function and the approximation problem of transfer functions having rational outer parts. It is shown that there is a Hamiltonian transcendental equation characterizing singular values which leads to a matrix function formula for singular vectors. Date received: May 12, 1998. Date revised: May 14, 1999.     

Parameter identification for uncertain linear systems with partialstate measurements under an H∞ criterion

This paper addresses the worst-case parameter identification problem for uncertain single-input/single-output (SISO) and multi-input/multi-output (MIMO) linear systems under partial state measurements and derives worst-case identifiers using the cost-to-come function method. In the SISO case, the worst-case identifier obtained subsumes the Kreisselmeier observer as part of its structure with parameters set at some optimal values. Its structure is different from the common least-squares (LS) identifier, however, in the sense that there is additional dynamics for the state estimate, coupled with the dynamics of the parameter estimate in a nontrivial way. In the MIMO case as well, the worst-case identifier has additional dynamics for the state estimate which do not appear in the conventional LS-based schemes. Also for both SISO and MIMO problems, approximate identifiers are obtained which are numerically much better conditioned when the disturbances in the measurement equations are “small”. The theoretical results are then illustrated on an extensive numerical example to demonstrate the effectiveness of the identification schemes developed