Common fixed point results for four mappings satisfying almost generalized (S, T)-contractive condition in partially ordered metric spaces

In this paper, we define the concept of almost generalized (S, T)-contractive condition, and prove some common fixed point results for four mappings satisfying almost generalized (S, T)-contractive condition in partially ordered metric space. An example is given to support the usability of our results.     

The role of directional compactness in the existence and computation of contingent epiderivatives

This paper underlines the role of directional compactness in the scalarization of graphical derivatives of set-valued maps taking values in infinite-dimensional spaces. Two main theorems are given. The first one states the equivalence of contingent epiderivatives and τw-contingent epiderivatives for directionally compact maps. The second main result proves a variational characterization for the contingent epiderivative of stable and directionally compact maps taking values in general image spaces, extending known results in finite-dimensional and reflexive Banach spaces. The hypotheses given are minimal as is shown by means of several examples. Connections of these theorems with other results of the literature are also provided.     

漂浮法制备SiO2有序大孔材料

用漂浮组装方法以亚微米尺度单分散的聚苯乙烯(PS)微球作为模板, 在悬浮液气-液界面处组装PS模板微球与纳米级胶体颗粒, 形成二元胶体颗粒共混物, 再去除模板得到有序大孔材料.     

Erratum to “On homological classification of pomonoids by regular weak injectivity properties of S-posets”

The original version of the article was published in Central European Journal of Mathematics, 2007, 5(1), 181–200, DOI: 10.2478/s11533-006-0036-3. Unfortunately, the original version of this article contains a mistake: in Theorem 5.2 only conditions (i) and (ii) (and not (iii)) are equivalent. We correct the theorem and its proof.      

A numerical approach to design control invariant sets for constrained nonlinear discrete-time systems with guaranteed optimality

A numerical approach to design control invariant sets for constrained nonlinear discrete-time systems with guaranteed optimality is proposed in this paper. The addressed approach is based on the fact that zonotopes are more flexible for representing sets than boxes in interval analysis. Then the solver of set inversion via interval analysis is extended to set inversion via zonotope geometry by introducing the novel idea of bisecting zonotopes. The main feature of the extended solver of set inversion is the bisection and the evolution of a zonotope rather than a box. Thus the shape of admissible domains for set inversion can be broadened from boxes to zonotopes and the wrapping effect can be reduced as well by using the zonotope evolution instead of the interval evolution. Combined with global optimization via interval analysis, the extended solver of set inversion via zonotope geometry is further applied to design control invariant sets for constrained nonlinear discrete-time systems in a numerical way. Finally, the numerical design of a control invariant set and its application to the terminal control of the dual-mode model predictive control are fulfilled on a benchmark Continuous-Stirred Tank Reactor example.     

A simple derivation of the MacWilliams identity for linear ordered codes and orthogonal arrays

In (Can J Math 51(2):326–346, 1999), Martin and Stinson provide a generalized MacWilliams identity for linear ordered orthogonal arrays and linear ordered codes (introduced by Rosenbloom and Tsfasman (Prob Inform Transm 33(1):45–52, 1997) as “codes for the m-metric”) using association schemes. We give an elementary proof of this generalized MacWilliams identity using group characters and use it to derive an explicit formula for the dual type distribution of a linear ordered code or orthogonal array.      

基于映射理论下的决策评判模型

按照映射理论,通过建立评价指标标准值与评价指标标准值顺序数之间的函数,将非等长度区间映射成长度为1的等长区间,提出了一种求解决策评判的新模型,解决了不同标度下的评价因子、评价类别的决策评判问题,纠正了可拓理论关联函数基本公式的错误,简化了可变模糊集模型中的M矩阵和B矩阵,进而统一了可拓评价和可变模糊集理论在决策评判中的一致性,并实例验证了模型的优越性和正确性,对决策评判问题具有重要的应用拓广参考价值.     

L_n×L_2上几类特殊类型格蕴涵代数方程的解法

在格蕴涵代数中提出了加既约元、乘既约元,研究了一类重要的格蕴涵代数L_n×L_2中元素的不可约有限分解, 并将这一理论用于研究L_n×L_2上的几类格蕴涵代数方程,讨论了方程有解的充分必要条件,在此基础上给出了方程的具体解集.     

完全分配格上的覆盖粗糙集模型

将集合论中的覆盖概念抽象到完全分配格L上,利用它定义格L上关于覆盖的上(下)近似算子,给出格L上覆盖粗糙集模型.文中先讨论格L上覆盖的相关性质,进而研究了覆盖上(下)近似算子的性质,得到若干结果.     

优势关系下不协调目标信息系统的部分一致约简

在基于优势关系下的不协调目标信息系统中引入了部分一致约简的概念, 并得到了部分一致约简的判定定理以及辨识矩阵, 建立了不协调目标信息系统的部分一致约简的具体方法, 同时通过实例验证了该方法的有效性, 从而为优势关系下信息系统的知识发现提供了理论基础.