Perfect information two-person zero-sum markov games with imprecise transition probabilities

Based on an extension of the controlled Markov set-chain model by Kurano et al. (in J Appl Prob 35:293–302, 1998) into competitive two-player game setting, we provide a model of perfect information two-person zero-sum Markov games with imprecise transition probabilities. We define an equilibrium value for the games formulated with the model in terms of a partial order and then establish the existence of an equilibrium policy pair that achieves the equilibrium value. We further analyze finite-approximation error bounds obtained from a value iteration-type algorithm and discuss some applications of the model.     

Converging Marriage in Honey-Bees Optimization and Application to Stochastic Dynamic Programming

In this paper, we first refine a recently proposed metaheuristic called “Marriage in Honey-Bees Optimization” (MBO) for solving combinatorial optimization problems with some modifications to formally show that MBO converges to the global optimum value. We then adapt MBO into an algorithm called “Honey-Bees Policy Iteration” (HBPI) for solving infinite horizon-discounted cost stochastic dynamic programming problems and show that HBPI also converges to the optimal value.     

New reals: Can live with them,can live without them

We give a self‐contained proof of the preservation theorem for proper countable support iterations known as “tools‐preservation”, “Case A” or “first preservation theorem” in the literature. We do not assume that the forcings add reals. (© 2006 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Extremally disconnected spaces, subspaces and retracts

A characterization of compact subspaces of extremally disconnected spaces is given which is similar to Gleason's characterization that the extremally disconnected spaces are projective for the class of compact spaces. An equivalence is established between the questions of whether every basically disconnected space is embeddable into an extremally disconnected space and the Borel lifting problems for the category algebras of generalized Cantor cubes. We study an inductive method of strengthening the product topology on the Cantor cubes to extremally disconnected topologies and use this to establish, from CH, that every compact F-space of weight c⁺ embeds into an extremally disconnected space.     

几乎各向同性的高维空间分数阶扩散方程的分块快速正则Hermite分裂预处理方法

一类空间分数阶扩散方程经过有限差分离散后所得到的离散线性方程组的系数矩阵是两个对角矩阵与Toeplitz型矩阵的乘积之和.在本文中,对于几乎各向同性的二维或三维空间分数阶扩散方程的离散线性方程组,采用预处理Krylov子空间迭代方法,我们利用其系数矩阵的特殊结构和具体性质构造了一类分块快速正则Hermite分裂预处理子.通过理论分析,我们证明了所对应的预处理矩阵的特征值大部分都聚集于1的附近.数值实验也表明,这类分块快速正则Hermite分裂预处理子可以明显地加快广义极小残量(GMRES)方法和稳定化的双共轭梯度(BiCGSTAB)方法等Krylov子空间迭代方法的收敛速度.     

M-矩阵平方根的一类迭代法

矩阵平方根在数学的许多应用中起着重要的作用.本文研究M-矩阵平方根的计算问题,提出一种计算正则M-矩阵平方根的迭代方法.首先将这个问题转化为M-矩阵代数Riccati方程,进而提出一种有效的方法来求解这个特殊的MARE.理论分析表明,该方法在一定条件下是收敛的.数值实验表明该方法是可行的,且优于二项式迭代法.     

A Procedure for Transforming Impedance Spectra for the Determination of Mechanism of Electrochemical Reactions

Transformation of impedance spectra into relaxation time spectra (RTS) is used for determining contributions of individual processes of the oxygen electroreduction reaction (OER) to the polarization resistance of the electrochemical cell. The transformation technique involves the solution of the convolution equation found with the aid of a modified Van Cittert iteration algorithm checked on model impedance spectra. The technique, when used to analyze impedance spectra of electrochemical cells air|Pt|YSZ|YSZ + Pt|air, shows that the conversion of a globular structure of the YSZ + Pt cermet layer to a columnar one is accompanied by a change of peak amplitudes in RTS. The revealed RTS dynamics when heated to 750°C is compared with peculiarities of individual processes in OER.     

高次非球面光路计算中的两个重要问题

提出在高次非球面的光路计算中运用变曲率的“辅助球面”概念,对某些文献在此方面存在的问题进行分析,提出迭代逼近精度的数值判据及浮动处理方法。     

Convergence rates of a global optimization algorithm

Second order conditions for the (pseudo-) convexity of a function restricted to an affine subspace are obtained by extending those already known for functions on ⁿ . These results are then used to analyse the (pseudo-) convexity of potential functions of the type introduced by Karmarkar.This research was completed while the first author was on sabbatical leave at the Département d'Informatiques et de Recherche Opérationelle, Université de Montréal, and supported by NSERC (grant Q015807). This research was also supported by NSERC (grants A8312 and A5408) and la Coopération franco-québécoise (project 20-02-13).     

Root determination by use of Padé approximants

In this paper we describe a new technique for generating iteration formulas — of arbitrary order — for determining a zero (assumed simple) of a functionf, assumed analytic in a region containing the zero. The 1/p Padé Approximant (p0) to the functiong(t)f(z) is formed wherez=w+t, using the Taylor series forf at the pointw, an approxination to the zero off. The value oft for which the 1/p Padé Approximant vanishes provides the basis of iteration formulas of orderp+2.Some known iteration formulas, e.g., Newton-Raphson's, Halley's and Kiss's of order of convergence two, three and four, are directly obtained by settingp=0,1 and 2, respectively.