On the use of fuzzy inference techniques in assessment models: part I—theoretical properties

An assessment model is a mathematical model that produces a measuring index, either in the form of a numerical score or a category to a situation/object, with respect to the subject of measure. From the numerical score, decision can be made and action can be taken. To allow valid and useful comparisons among various situations/objects according to their associated numerical scores to be made, the monotone output property and the output resolution property are essential in fuzzy inference-based assessment problems. We investigate the conditions for a fuzzy assessment model to fulfill the monotone output property using a derivative approach. A guideline on how the input membership functions should be tuned is also provided. Besides, the output resolution property is defined as the derivative of the output of the assessment model with respect to its input. This derivative should be greater than the minimum resolution required. From the derivative, we suggest improvements to the output resolution property by refining the fuzzy production rules.     

A globally convergent descent method for nonsmooth variational inequalities

We propose a descent method via gap functions for solving nonsmooth variational inequalities with a locally Lipschitz operator. Assuming monotone operator (not necessarily strongly monotone) and bounded domain, we show that the method with an Armijo-type line search is globally convergent. Finally, we report some numerical experiments. This work has been supported by the National Research Program PRIN/2005017083 “Innovative Problems and Methods in Nonlinear Optimization”.     

Corrigendum to “Discrepancy principle for the dynamical systems method” [Communications in Nonlinear Science and Numerical Simulation 10 (2005) 95–101]

Consider an operator equation B(u) − f = 0 in a real Hilbert space. Let us call this equation ill-posed if the operator B′(u) is not boundedly invertible, and well-posed otherwise. The dynamical systems method (DSM) for solving this equation consists of a construction of a Cauchy problem, which has the following properties: (1) it has a global solution for an arbitrary initial data, (2) this solution tends to a limit as time tends to infinity, (3) the limit is the minimal-norm solution to the equation B(u) = f. A global convergence theorem is proved for DSM for equation B(u) − f = 0 with monotone operators B.     

MONOTONIZATION IN GLOBAL OPTIMIZATION

A general monotonization method is proposed for converting a constrained programming problem with non-monotone objective function and monotone constraint functions into a monotone programming problem. An equivalent monotone programming problem with only inequality constraints is obtained via this monotonization method. Then the existing convexification and concavefication methods can be used to convert the monotone programming problem into an equivalent better-structured optimization problem.     

Travelling wave fronts in a vector disease model with delay

In this paper, we study the diffusive vector disease model with delay. This problem with strong biological background has attracted much research attention. We focus on the existence of traveling wave fronts, and find that there is a moving zone for the transition from the disease-free state to the infective state. To complete the theoretical analysis, we employ the mathematical tools including the monotone iteration technique as well as the upper and lower solution method.     

Φ-扩张型极大单调算子的扰动定理

研究了当Ｔ为Φ－扩张型极大单调算子、Ｃ为全连续映射时，方程（Ｔ＋Ｃ）ｘ＝ｆ的可解性，推广了已往的结果。     

Almost Automorphic and Almost Periodic Dynamics for Quasimonotone Non-Autonomous Functional Differential Equations

The occurrence of almost automorphic dynamics for monotone non-autonomous recurrent finite-delay functional differential equations is analyzed. Topological methods are used to ensure its presence in the case of existence of semicontinuous semi-equilibria. When these semi-equilibria are continuous and strong, the presence of almost automorphic extensions is persistent under small perturbations. The above method provides a minimal set isomorphic to the base in the case of a convex semiflow. Some examples show the applicability of these results.     

Maximum Lebesgue extension of monotone convex functions

Given a monotone convex function on the space of essentially bounded random variables with the Lebesgue property (order continuity), we consider its extension preserving the Lebesgue property to as big solid vector space of random variables as possible. We show that there exists a maximum such extension, with explicit construction, where the maximum domain of extension is obtained as a (possibly proper) subspace of a natural Orlicz-type space, characterized by a certain uniform integrability property. As an application, we provide a characterization of the Lebesgue property of monotone convex function on arbitrary solid spaces of random variables in terms of uniform integrability and a “nice” dual representation of the function.     

有限域上交错矩阵方程解的计数公式及其q超几何级数表达

设Ｆｑ是ｑ元有限域，这里ｑ是任意一个素数ｐ的方幂。本文利用Ｆｑ上奇异辛几何给出当Ａ，Ｂ分别是阶ｎ秩２ｖ和ｍ秩２ｓ的一般交错矩阵时，Ｆｑ上适合方程ＸＡＸ‘＝Ｂ的秩ｋ的解Ｘ和解Ｘ的个数的明显公式，并用ｑ超几何级数简化表达公式。     

Asymptotic behavior of an unstirred chemostat model with internal inhibitor

This paper deals with a chemostat model with an internal inhibitor. First, the elementary stability and asymptotic behavior of solutions of the system are determined. Second, the effects of the inhibitor are considered. It turns out that the parameter μ, which measures the effect of the inhibitor, plays a very important role in deciding the stability and longtime behavior of solutions of the system. The results show that if μ is sufficiently large, this model has no coexistence solution and one of the semitrivial equilibria is a global attractor when the maximal growth rate a of the species u lies in certain range; but when a belongs to another range, all positive solutions of this model are governed by a limit problem, and two semitrivial equilibria are bistable. The main tools used here include monotone system theory, degree theory, bifurcation theory and perturbation technique.