Structure of stationary classes of three-value logic functions

This work deals with the properties of transformations of the vectors of values of three-value logic functions to the vectors of the coefficients of their polynomials. A similar transformation of Boolean functions is used in cryptology, and its properties have been thoroughly studied. Stationary classes of three-value logic functions are introduced, and their hierarchy and the exact number of functions in them are obtained. The complete structure of these classes is described.     

计量逻辑学中的雪崩逻辑公式

将密码学中满足严格雪崩准则的布尔函数的概念引入到计量逻辑学之中,提出了雪崩逻辑公式的概念,并研究了雪崩逻辑公式的真度及其性质。证明了至少含有三个原子公式的雪崩逻辑公式的真度之集为H1={k/2n-12n-3≤k≤3×2n-3;n=3,4,…},在此基础上,通过引入函数ξ建立了n(n≥3)元雪崩布尔函数个数的表达式,给出了雪崩逻辑公式的构造方法。最后,研究了反射变换下k阶雪崩逻辑公式的性质。     

Generalized skew bisubmodularity: A characterization and a min–max theorem

Huber, Krokhin, and Powell (2013) introduced a concept of skew bisubmodularity, as a generalization of bisubmodularity, in their complexity dichotomy theorem for valued constraint satisfaction problems over the three-value domain. In this paper we consider a natural generalization of the concept of skew bisubmodularity and show a connection between the generalized skew bisubmodularity and a convex extension over rectangles. We also analyze the dual polyhedra, called skew bisubmodular polyhedra, associated with generalized skew bisubmodular functions and derive a min–max theorem that characterizes the minimum value of a generalized skew bisubmodular function in terms of a minimum-norm point in the associated skew bisubmodular polyhedron.     

Differential and sensitivity properties of gap functions for Minty vector variational inequalities

The purpose of this paper is to investigate differential properties of a class of set-valued maps and gap functions involving Minty vector variational inequalities. Relationships between their contingent derivatives are discussed. An explicit expression of the contingent derivative for the class of set-valued maps is established. Optimality conditions of solutions for Minty vector variational inequalities are obtained.     

Ultrapowers of spaces of integrable functions with respect to a sequential vector measure and locally bounded sets of functions

Consider the space of functions that are integrable with respect to a vector measure. In this paper we deal with such spaces defined using a particular class of measures that we call sequential vector measures. We prove that these spaces always define complemented subspaces of their ultrapowers. We use this result to characterize increase properties of certain families of functions by mean of the related projection.     

Saddle points and gap functions for vector equilibrium problems via conjugate duality in vector optimization

In this paper, two conjugate dual problems based on weak efficiency to a constrained vector optimization problem are introduced. Some inclusion relations between the dual objective mappings and the properties of the Lagrangian maps and their saddle points for primal problem are discussed. Gap functions for a vector equilibrium problem are established by using the weak and strong duality.     

Pr值逻辑函数相关免疫的等价判别条件

本文首先基于环Zpr中的元的padic分解并结合概率论的思想,给出了pr值随机变量的分解性质及pr值随机变量独立性的等价描述,然后在对pr值逻辑函数及其变元都进行padic分解的基础上,直接通过p值逻辑函数的Chrestenson谱给出了padic分解意义下pr值逻辑函数k阶相关免疫的线性组合引理和谱判别定理.     

The Mixed Volumes and Geissinger Multiplications of Convex Sets

This paper introduces Geissinger multiplication on the vector space generated by indicator functions of closed convex sets. Minkowski's mixed volume for compact convex sets is naturally represented in terms of the volume of the Geissinger multiplication of their indicator functions. Some properties of mixed volumes and new results are obtained by this representation, including a polynomial identity.     

Efficient and weakly efficient solutions for the vector topical optimization

In this paper, we consider some scalarization functions, which consist of the generalized min-type function, the so-called plus-Minkowski function and their convex combinations. We investigate the abstract convexity properties of these scalarization functions and use them to identify the maximal points of a set in an ordered vector space. Then, we establish some versions of Farkas type results for the infinite inequality system involving vector topical functions. As applications, we obtain the necessary and sufficient conditions of efficient solutions and weakly efficient solutions for a vector topical optimization problem, respectively.     

Vector variational inequality with pseudoconvexity on Hadamard manifolds

In this paper, we give some properties for nondifferentiable pseudoconvex functions on Hadamard manifolds, and discuss the connections between pseudoconvex functions and pseudomonotone vector fields. Moreover, we study Minty and Stampacchia vector variational inequalities, which are formulated in terms of Clarke subdifferential for nonsmooth functions. Some relations between the vector variational inequalities and nonsmooth vector optimization problems are established under pseudoconvexity or pseudomonotonicity. The results presented in this paper extend some corresponding known results given in the literatures.     

Regulous vector bundles

Among recently introduced new notions in real algebraic geometry is that of regulous functions. Such functions form a foundation for the development of regulous geometry. Several interesting results on regulous varieties and regulous sheaves are already available. In this paper, we define and investigate regulous vector bundles. We establish algebraic and geometric properties of such vector bundles, and identify them with stratified‐algebraic vector bundles. Furthermore, using new results on curve‐rational functions, we characterize regulous vector bundles among families of vector spaces parametrized by an affine regulous variety. We also study relationships between regulous and topological vector bundles.     

空间半参数变系数部分线性回归中的分位数估计

本文研究了空间数据变系数部分线性回归中的分位数估计. 模型中的参数估计量通过未知系数函数的分段多项式逼近得到, 而未知系数函数的估计量通过将参数估计量代入模型中并通过局部线性逼近得到. 文中推导了未知参数向量估计量的渐近分布, 并建立了未知系数函数估计量在内点及边界点的渐近分布. 通过Monte Carlo 模拟研究了估计量的有限样本性质.     

Conjugate duality in vector optimization and some applications to the vector variational inequality

The aim of this paper is to extend the so-called perturbation approach in order to deal with conjugate duality for constrained vector optimization problems. To this end we use two conjugacy notions introduced in the past in the literature in the framework of set-valued optimization. As a particular case we consider a vector variational inequality which we rewrite in the form of a vector optimization problem. The conjugate vector duals introduced in the first part allow us to introduce new gap functions for the vector variational inequality. The properties in the definition of the gap functions are verified by using the weak and strong duality theorems.     

Abstract Logics, Logic Maps, and Logic Homomorphisms

What is a logic? Which properties are preserved by maps between logics? What is the right notion for equivalence of logics? In order to give satisfactory answers we generalize and further develop the topological approach of [4] and present the foundations of a general theory of abstract logics which is based on the abstract concept of a theory. Each abstract logic determines a topology on the set of theories. We develop a theory of logic maps and show in what way they induce (continuous, open) functions on the corresponding topological spaces. We also establish connections to well-known notions such as translations of logics and the satisfaction axiom of institutions [5]. Logic homomorphisms are maps that behave in some sense like continuous functions and preserve more topological structure than logic maps in general. We introduce the notion of a logic isomorphism as a (not necessarily bijective) function on the sets of formulas that induces a homeomorphism between the respective topological spaces and gives rise to an equivalence relation on abstract logics. Therefore, we propose logic isomorphisms as an adequate and precise notion for equivalence of logics. Finally, we compare this concept with another recent proposal presented in [2]. This research was supported by the grant CNPq/FAPESB 350092/2006-0.     

Vector optimization and variational-like inequalities

In this paper, some properties of pseudoinvex functions are obtained. We study the equivalence between different solutions of the vector variational-like inequality problem. Some relations between vector variational-like inequalities and vector optimization problems for non-differentiable functions under generalized monotonicity are established. J. Zafarani was partially supported by the Center of Excellence for Mathematics (University of Isfahan).     

Derivatives of Set-Valued Maps and Gap Functions for Vector Equilibrium Problems

This paper deals with the set-valued gap functions for vector equilibrium problems and investigates their differential properties using Hadamard directional differentials. Also, contingent and adjacent derivatives of a class of set-valued maps are characterized. Moreover, some basic properties of Φ-contingent and Φ-adjacent cones are given in the presence of a nonsmooth kernel function.     

Bivariate second-order linear partial differential equations and orthogonal polynomial solutions

In this paper we construct the main algebraic and differential properties and the weight functions of orthogonal polynomial solutions of bivariate second-order linear partial differential equations, which are admissible potentially self-adjoint and of hypergeometric type. General formulae for all these properties are obtained explicitly in terms of the polynomial coefficients of the partial differential equation, using vector matrix notation. Moreover, Rodrigues representations for the polynomial eigensolutions and for their partial derivatives of any order are given. As illustration, these results are applied to a two parameter monic Appell polynomials. Finally, the non-monic case is briefly discussed.     

余维2齐次扰动系统的分支

讨论了一类在分支值线性部分具有两个零特征根且只有一个Jordan块,而扰动项为n次的齐次平面向量场.讨论此类系统的分支的一个重要工具是:Melnikov函数,然而当n较大时,不易得到相应的性质.引入了一类判断函数,通过对该判断函数性质的研究,基本上确定了该向量场的轨线分支图.