Connection between sets of uniqueness for multiplicative systems of functions and sets of uniqueness for multiplicative transforms

A problem of uniqueness for series over multiplicative systems of functions and for multiplicative transforms is considered. It is shown that each set of uniqueness for a multiplicative transform is specified by a countable collection of sets of uniqueness for series over the corresponding multiplicative system of functions. Each set of uniqueness for a series over a multiplicative system of functions is a portion on [0, 1) of some set of uniqueness for the corresponding multiplicative transform.     

马氏环境中可数马氏链的Poisson极限率

研究了马氏环境中的可数马氏链,主要证明了过程于小柱集上的回返次数是渐近地服从Poisson分布。为此,引入熵函数h,首先给出了马氏环境中马氏链的Shannon-Mc Millan-Breiman定理,还给出了一个非马氏过程Posson逼近的例子。当环境过程退化为一常数序列时,便得到可数马氏链的Poisson极限定理。这是有限马氏链Pitskel相应结果的拓广。     

Dynamic frictionless contact with adhesion

A model for the dynamic, adhesive, frictionless contact between a viscoelastic body and a deformable foundation is described. The adhesion process is modeled by a bonding field on the contact surface. The contact is described by a modified normal compliance condition. The tangential shear due to the bonding field is included. The problem is formulated as a coupled system of a variational equality for the displacements and a differential equation for the bonding field. The existence of a unique weak solution for the problem is established, together with a partial regularity result. The existence proof proceeds by construction of an appropriate mapping which is shown to be a contraction on a Hilbert space.     

Existence and uniqueness for an equation of mixed type in a rectangle

A boundary value problem is considered for an equation of mixed type in a rectangle. An energy method is used to prove uniqueness for appropriate boundary conditions. Similar considerations for the adjoint problem allow one to prove the existence of a generalized solution to the problem. It is also shown that the energy method leads naturally to a finite element method. The method is described for a special case and convergence is shown for the resulting numerical procedure.     

Optimal detection of a recurring tuple of reference fragments in a quasiperiodic sequence

An a posteriori (off-line) approach to solving the problem of maximum-likelihood detection of a recurring tuple containing reference fragments in a numerical quasiperiodic sequence is studied. The case is analyzed where (1) the total number of fragments in a sequence is unknown; (2) the index of a sequence term corresponding to the beginning of a fragment is a deterministic (not random) value; (3) a sequence distorted by additive uncorrelated Gaussian noise is available for observation. It is shown that the problem under consideration is reduced to testing a set of simple hypotheses about the mean of a random Gaussian vector. The cardinality of this totality grows exponentially as the vector dimension (i.e., the length of the sequence under study) increases. It is established that searching for a maximum-likelihood hypothesis is equivalent to finding arguments that yield a maximum for an auxiliary objective function. It is shown that maximizing the objective function reduces to solving a special optimization problem, which is proved to be solvable in polynomial time. An exact algorithm for solving this problem, which underlies the optimal (maximum-likelihood) detection algorithm for a recurring tuple, is substantiated. The kernel of the exact algorithm is an algorithm for solving a special (basic) optimization problem. Results of numerical simulations are presented.     

博弈论在企业管理中的应用

本文把博弈论应用于企业管理 ,利用博弈论的委托 -代理理论构造了一个委托 -代理激励模型 ,针对信息对称与信息不对称情况进行了分析。在设计企业的委托代理机制时 ,若考虑了对经理的激励 ,则委托人的风险成本、代理成本都比没有考虑对经理的激励时要小。从理论上证明了对企业经理激励的必要性。     

Semi-Markov failure rates processes

Usually, a reliability function is defined by a failure rate which is a real function taking the non-negative real values. In this paper the failure rate is assumed to be a stochastic process with non-negative and right continuous trajectories. The reliability function is defined as an expectation of a function of that random process. Particularly, the failure rate defined by the semi-Markov processes is considered here. The theorems dealing with the renewal equations for the conditional reliability functions with a semi-Markov process as a failure rate are presented in this paper. A system of that kind of equations for the discrete state space semi-Markov process is applied for calculating the reliability function for the 3-states semi-Markov random walk. Using the introduced system of renewal equations for the countable state space, the reliability function for the Furry-Yule failure rate process is obtained.     

Determining modes and almost periodic integrals for cocycles

Cocycles of general form on an arbitrary metric space are considered. The notion of determining modes for cocycles on a Hilbert space is introduced, and a theorem on the existence of finitely many determining modes for such cocycles is proved. The existence of a B-pullback attractor in the problem of microwave heating of a material is proved. The notion of almost periodic integral for a cocycle is introduced, and the existence of such an integral for a certain class of cocycles is proved.     

A cellular-automata method for studying porous media properties

A cellular-automata (CA) approach for investigating properties of porous media with tortuous channels and different smoothness of pore walls is proposed. This approach is aimed at combining two different CA models: the first one is intended for constructing the morphology of a porous material; the second, for simulating a fluid flow through it. The porous media morphology is obtained as a result of evolution of a cellular automaton, forming a “steady pattern.” The result is then used for simulating a fluid flow through a porous medium by applying the Lattice Gas CA model. The method has been tested on a small fragment of a porous material and implemented for investigating a carbon electrode of a hydrogen fuel cell on a multiprocessor cluster.     

A Kalman filter as a minimax estimator

A minimax terminal state estimation problem is posed for a linear plant and a generalized quadratic loss function. Sufficient conditions are developed to insure that a Kalman filter will provide a minimax estimate for the terminal state of the plant. It is further shown that this Kalman filter will not generally be a minimax estimate for the terminal state if the observation interval is arbitrarily long. Consequently, a subminimax estimate is defined, subject to a particular existence condition. This subminimax estimate is related to the Kalman filter, and it may provide a useful estimate for the terminal state when the performance of the Kalman filter is no longer satisfactory.     

Coupled-expanding maps and one-sided symbolic dynamical systems

This paper studies relationships between coupled-expanding maps and one-sided symbolic dynamical systems. The concept of coupled-expanding map is extended to a more general one: coupled-expansion for a transitive matrix. It is found that the subshift for a transitive matrix is strictly coupled-expanding for the matrix in certain disjoint compact subsets; the topological conjugacy of a continuous map in its compact invariant set of a metric space to a subshift for a transitive matrix has a close relationship with that the map is strictly coupled-expanding for the matrix in some disjoint compact subsets. A certain relationship between strictly coupled-expanding maps for a transitive matrix in disjoint bounded and closed subsets of a complete metric space and their topological conjugacy to the subshift for the matrix is also obtained. Dynamical behaviors of subshifts for irreducible matrices are then studied and several equivalent statements to chaos are obtained; especially, chaos in the sense of Li–Yorke is equivalent to chaos in the sense of Devaney for the subshift, and is also equivalent to that the domain of the subshift is infinite. Based on these results, several new criteria of chaos for maps are finally established via strict coupled-expansions for irreducible transitive matrices in compact subsets of metric spaces and in bounded and closed subsets of complete metric spaces, respectively, where their conditions are weaker than those existing in the literature.     

Infinite Matroidal Version of Hall's Matching Theorem

Hall's theorem for bipartite graphs gives a necessary and sufficientcondition for the existence of a matching in a given bipartitegraph. Aharoni and Ziv have generalized the notion of matchabilityto a pair of possibly infinite matroids on the same set andgiven a condition that is sufficient for the matchability ofa given pair (M, W) of finitary matroids, where the matroidM is SCF (a sum of countably many matroids of finite rank).The condition of Aharoni and Ziv is not necessary for matchability.The paper gives a condition that is necessary for the existenceof a matching for any pair of matroids (not necessarily finitary)and is sufficient for any pair (M, W) of finitary matroids,where the matroid M is SCF.     

Representations for the conductivity functions of multicomponent composites

The effective conductivity σ* of a multicomponent composite material is considered. Integral representations for σ* treated as a holomorphic function on a polydisk with values in a half-plane are analyzed. A representation for σ* is introduced which is symmetric in the component conductivities and for which the moments of the positive measure in the integral are directly related to the coefficients in a perturbation expansion of σ* around a homogeneous medium. This second feature, which is important for obtaining bounds on σ*, was previously available only in the two-component case. In addition, a bound valid for any holomorphic function of the above type is proven.     

Extensions on solutions of Boolean equations via its conjunctions

The set of solutions is determined for a Boolean equation which is written in a disjunctive but not a canonical form. The family of solutions is computed directly for each conjunction. The computational experience is reported for the algorithm.     

集值优化强有效解的广义二阶锥方向导数刻画

在实赋范线性空间中考虑集值优化问题的强有效性．借助Henig扩张锥和基泛函的性质,利用广义二阶锥方向相依导数,得到受约束于集值映射的优化问题,取得强有效元的二阶最优性必要条件．当目标函数为近似锥一次类凸映射时,利用强有效点的标量化定理,得到集值优化问题,取得强有效元的二阶充分条件．     

Optimal control problems for wave equations

The problem on minimizing a quadratic functional on trajectories of the wave equation is considered. We assume that the density of external forces is a control function. A control problem for a partial differential equation is reduced to a control problem for a countable system of ordinary differential equations by use of the Fourier method. The controllability problem for this countable system is considered. Conditions of the noncontrollability for some wave equations were obtained.     

Suboptimal feedback control of linear periodic systems

A method is developed for the approximate design of an optimal state regulator for a linear periodically varying system with quadratic performance index. The periodic term is taken to be a perturbation to the system. By making use of a power-series expansion in a small parameter, associated with periodic terms, a set of matrix equations is derived for determining successively a feedback gain. Given periodic terms of a Fourier-series form, explicit solutions are obtained for those matrix equations. A sufficient condition for existence and periodicity of the solution is also shown. Further, the performance degradation resulting from a truncation of the power-series solution is investigated. The method may effectively be used in a computer-programmed computation.     

Matrix correction of a dual pair of improper linear programming problems

A matrix is sought that solves a given dual pair of systems of linear algebraic equations. Necessary and sufficient conditions for the existence of solutions to this problem are obtained, and the form of the solutions is found. The form of the solution with the minimal Euclidean norm is indicated. Conditions for this solution to be a rank one matrix are examined. On the basis of these results, an analysis is performed for the following two problems: modifying the coefficient matrix for a dual pair of linear programs (which can be improper) to ensure the existence of given solutions for these programs, and modifying the coefficient matrix for a dual pair of improper linear programs to minimize its Euclidean norm. Necessary and sufficient conditions for the solvability of the first problem are given, and the form of its solutions is described. For the second problem, a method for the reduction to a nonlinear constrained minimization problem is indicated, necessary conditions for the existence of solutions are found, and the form of solutions is described. Numerical results are presented.     

Reduced order observer design for nonlinear systems

This work is a geometric study of reduced order observer design for nonlinear systems. Our reduced order observer design is applicable for Lyapunov stable nonlinear systems with a linear output equation and is a generalization of Luenberger’s reduced order observer design for linear systems. We establish the error convergence for the reduced order estimator for nonlinear systems using the center manifold theory for flows. We illustrate our reduced order observer construction for nonlinear systems with a physical example, namely a nonlinear pendulum without friction.