基于代数正规型构造的代数免疫最优布尔函数

现有代数免疫最优布尔函数的构造方法大多基于支撑集,通过代数正规型直接构造的方法研究较少.为此,利用代数正规型的多项式表示构造一类代数免疫性质优的布尔函数,研究其代数次数、代数免疫阶、函数重量、非线性度等性质,分析采用这种方法构造的代数免疫最优布尔函数的性质及计数等结果.由构造方法可以得到代数免疫最优的布尔函数,其中包含一些已有的特殊构造结果,表明该方法更具有一般性,包含更多具有最优代数免疫阶的函数.     

满足严格雪崩准则相关免疫函数的代数免疫阶

以布尔函数的导数和自定义的e-导数为研究工具,讨论满足严格雪崩准则、具有相关免疫性、重量为2n－1+2n－2的H布尔函数的代数免疫问题。得出这类函数奇数(n≥17)元、偶数(n≥16)元的最优代数免疫函数及其构造方法,给出了代数免疫阶AI(f)≥8的n元代数免疫函数的构造方法;还给出了零化子及最低代数次数零化子的求法及其与布尔函数的导数的关系等结果。     

几类强弱缓冲算子的构造方法及其内在联系

基于最基本的缓冲算子x(k)d=∑ni=kωix(i)/∑ni=kωi变形,获得了几类范围大大拓宽的实用缓冲算子的构造方法,并揭示了这几类缓冲算子的内在联系.同时揭示了强化缓冲与弱化缓冲的对应关系,即指数γ由正到0,由0到负的变化,导致缓冲算子由弱(强)化到不变化,由不变化到强(弱)化的过程,揭示了由量变到质变的过程.研究表明,现有的大量缓冲算子都是所构造的缓冲算子的特例,此外还包括许多与常见文献中类型迥然不同的新算子.     

具有高代数免疫阶的弹性布尔函数构造

提出一种二阶级联构造方法,通过选择恰当的参数s,使每次级联增加2个变元的同时代数免疫阶增加1、代数次数增加1。该方法在保持布尔函数弹性的同时能有效提高非线性度。在此基础上设计一类非线性度高于已知构造方法的代数免疫最优布尔函数以及一类非线性度好且满足一阶弹性的代数免疫至少次优的布尔函数,并利用二阶级联迭代构造密码学性质好的布尔函数。     

公钥基础设施的分区证书路径构造方法的研究

现有的证书路径构造方法不具有可扩展性,难以适应PKI应用的发展。论文提出了基于分区机制的路径构造方法。该方法将CA分区进行证书路径构造,具有可扩展性的优点。     

双线性系统：对称代数构造

本文根据矩阵的Jordan标准形建立矩阵的交换代数的构造方法,在此基础上导出双线性系统的对称代数,并给出寻找一般非线性系统的对称群的一种途径。     

基于矩阵置换的最优无碰撞区跳频序列集的构造

对已有的几类无碰撞区跳频序列集的构造进行推广,提出一种无碰撞区跳频序列集的一般构造。该一般构造是通过对矩阵的列进行置换来实现的。在提出的序列集构造中,序列的长度、序列的条数和无碰撞区大小可灵活变动,而且构造方法多样,序列集的某些性质受具体的构造方法和参数的影响。由该方法得到序列集的参数达到了理论界,是一类最优无碰撞区跳频序列集。     

级联函数的代数免疫性研究

研究级联函数的代数免疫性,级联构造方法是构造具有良好密码学性质布尔函数的重要方法。讨论级联函数 和 的代数免疫性,得到它们代数免疫阶的上下界,并分别给出达到其上界的一个充分条件。与已有的研究相比,该充分条件在实际应用时更容易得到满足,且易于判别。     

Vague集模糊熵的构造方法研究

对现有Vague集模糊熵构造方法的缺陷以及Vague集模糊度的基本性质进行分析.在此分析基础上,给出一种新的Vague集模糊熵的构造方法和一种Vague集概率模糊熵的构造方法.并将普通集、Fuzzy集统一表示为Vague集.     

一类特殊布尔函数的代数免疫度研究

构造具有好的代数免疫度的布尔函数是布尔函数研究的重要问题之一。基于布尔函数的级联构造方法,给出了一类具有好的代数免疫度的布尔函数;分析了所构造函数的性质,证明了构造布尔函数hn+1与其子函数代数免疫度之间的关系,并确定了已构造一阶级联函数的代数次数、平衡性以及非线性度。研究结果表明,在级联构造方法下,i次级联构造函数比一阶构造H0的代数免疫度有显著提高。     

移动IP切换对TCP性能影响的分析

介绍了移动IP切换的发展过程及原理,描述了切换造成TCP性能下降原因和一些实验验证数据。说明为了更好地满足用户需求,移动IP和TCP需要作进一步改进,并提出了相应的解决办法。     

Stability of Cauchy–Jensen type functional equation in generalized fuzzy normed spaces

In this paper, we establish some stability results concerning the Cauchy–Jensen functional equation in generalized fuzzy normed spaces. The results of the present paper improve and extend some recent results.     

Some ordered fixed point results and the property (P)

In 2010, Kadelburg et al. ([7]) by providing an example showed that a contraction in an ordered metric space is not necessarily a contraction (in the classical sense). Thus fixed point results in ordered metric spaces are generalizations of ones in metric spaces in a sense. In this paper, we give some ordered fixed point results for convex contractions and special mappings which satisfy some contraction conditions. Also, we give some results concerning the property (P).     

Formal power series

In this paper we survey some generalizations of formal Laurent power series to several indeterminates and we expound some of the fundamental logical results concerning fields of generalized power series. In connection with the above, we also present the notions of saturated model and of ultraproduct.     

The relationship of controllability between classical and fuzzy discrete-event systems

We have known that the controllability of classical discrete-event systems has already been extended into fuzzy discrete-event systems. In this paper, firstly, we recall some related definitions and results of the controllability for classical and fuzzy discrete-event systems, respectively. Secondly, we are concerned with the relationship of the controllability between classical and fuzzy discrete-event systems. In particular, we show that there is an equivalence of the controllability between the two systems to some extent, some special proofs are also presented. Finally, we use this equivalence to extend some general controllability properties of classical discrete-event systems into fuzzy ones.     

非线性微分代数系统的稳定性

本文发展了微分代数系统的稳定性理论,讨论了微分代数系统在平衡点近旁的正则性问题、给出了在平衡点处的受限形式,建立了受限系统Ｌｙａｐｕｎｏｖ稳定性的基本定理,得到了微分代数系统平凡解渐近稳定的判别准则。     

A simple and effective pipe elbow element—some nonlinear capabilities

In some earlier communications we presented the formulation of a simple pipe elbow element for linear analysis. In this paper we extend this formulation to include some nonlinear effects. Elastic-plastic conditions can be modeled, and some kinematic nonlinearities (due to large displacement beam behavior) can also be represented. The results of some sample solutions are given to illustrate the use of the element.     

A constructive approach to solving 3-D geometric constraint systems using dependence analysis

Solving geometric constraint systems in 3-D is much more complicated than that in 2-D because the number of variables is larger and some of the results valid in 2-D cannot be extended for 3-D. In this paper, we propose a new DOF-based graph constructive method to geometric constraint systems solving that can efficiently handle well-, over- and under-constrained systems based on the dependence analysis. The basic idea is that the solutions of some geometric elements depend on some others because of the constraints between them. If some geometric elements depend on each other, they must be solved together. In our approach, we first identify all structurally redundant constraints, then we add some constraints to well constrain the system. And we prove that the order of a constraint system after processing under-constrained cases is not more than that of the original system multiplied by 5. After that, we apply a recursive searching process to identify all the clusters, which is shown to be capable of getting the minimum order-reduction result of a well-constrained system. We also briefly describe the constraint evaluation phase and show the implementation results of our method.     

On optimality of approximate low rank solutions of large-scale matrix equations

In this paper, we discuss some optimality results for the approximation of large-scale matrix equations. In particular, this includes the special case of Lyapunov and Sylvester equations, respectively. We show a relation between the iterative rational Krylov algorithm and a Riemannian optimization method which recently has been shown to locally minimize a certain energy norm of the underlying Lyapunov operator. Moreover, we extend the results for a more general setting leading to a slight modification of IRKA. By means of some numerical test examples, we show the efficiency of the proposed methods.     

Some fixed point theorems in 1-M-complete fuzzy metric-like spaces

Very recently, in order to unify the notions of fuzzy metric space and metric-like space, Shukla and Abbas introduced the concept of fuzzy metric-like space and proved some fixed-point results in this setting. In this article, we modify the notion of Cauchy sequence and completeness to generalize their results. Thus, we extend their theorems to a more general framework, which is also appropriate to generalize some recent, well-known results in this line of research. Furthermore, several examples are presented to illustrate the significance of our results.