A Mehrotra-Type Predictor-Corrector Algorithm for P*(κ) Linear Complementarity Problems

Mehrotra-type predictor-corrector algorithm,as one of most efficient interior point methods,has become the backbones of most optimization packages.Salahi et al.proposed a cut strategy based algorithm for linear optimization that enjoyed polynomial complexity and maintained its efficiency in practice.We extend their algorithm to P_*（κ）linear complementarity problems.The way of choosing corrector direction for our algorithm is different from theirs. The new algorithm has been proved to have an ο(（1+4κ）（17+19κ） √（1+2κn）^3/2log[（x⁰）^Ts⁰/ε] worst case iteration complexity bound.An numerical experiment verifies the feasibility of the new algorithm.     

New proximity and complexity result for P*(κ)-linear complementarity problem (Poster Presentation)

One of the main ingredients of interior point methods is the proximity functions to measure the distance of the iterates from the central path of linear optimization problems. In this paper, an interior point method for solving P_*(κ)-linear complementarity problem, κ ≥ 0, is proposed. For this version, we use a new class of proximity functions induced by new kernel functions. Using some mild and easy to check conditions, we show that the large-update primal-dual interior point methods for solving P_*(κ)-linear complementarity problem enjoy the so far best worst case theoretical complexity, namely O (κ √n log n log n /ε) iteration bound, with special choices of the parameters p, q ≥ 1. (© 2008 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim)     

P*(k)线性互补问题的Mehrotra型预估-校正算法复杂性分析

本文提出一种求解单调非线性互补问题的Mehrotra型预估-校正算法.新算法采用不同的自适应更新策略.在尺度化的Lipschitz条件下,证明了新算法的迭代复杂性为O(n2 log (x0)T s0/ε)),其中(x0,s0)为初始点,ε为精度.     

Infeasible Mehrotra-Type Predictor-Corrector Interior-Point Algorithm for the Cartesian P *(κ)-LCP Over Symmetric Cones

We propose an infeasible Mehrotra-type predictor-corrector algorithm with a new center parameter updating scheme for Cartesian P _*(κ)-linear complementarity problem over symmetric cones. Based on the Nesterov-Todd direction, we show that the iteration-complexity bound of the proposed algorithm is 𝒪((1 + κ)³ r ²log ε^?1), where r is the rank of the associated Euclidean Jordan algebras and κ is the handicap of the problem and ε > 0 is the required precision. Some numerical results are reported as well.     

形式系统T^*(n)的完备性

模糊逻辑命题演算形式系统T ^*自1997年被提出以来,在模糊逻辑与模糊推理的理论与应用发挥了重要的作用,系统T^*的完备性直到最近才由作者给出证明,本文进一步研究系统T^*的扩张在n元R0链Wn上的完备性问题,通过构造公式列,得到系统T^*的扩张到｛T^*(n)｝,使用代数方法证明了对于任何n≥3,系统T^*(n)关于Wn是完备的。     

形式系统L*(n)的完备性

模糊逻辑命题演算形式系统 L*自 1 997年被提出以来 ,在模糊逻辑与模糊推理的理论与应用中发挥了重要的作用 .系统 L* 的完备性直到最近才由作者给出证明 .本文进一步研究系统 L*的扩张在 n元 R0 链 Wn 上的完备性问题 ,通过构造公式列 ,得到系统 L*的扩张列 { L* (n) } ,使用代数方法证明了对于任何n≥ 3 ,系统 L* (n)关于 Wn 是完备的     

P*(κ)线性互补问题的一个大步校正内点算法的迭代复杂性

本文基于一个带参数的函数,为P*(κ)线性互补问题设计出了一个大步校正内点算法.算法讨论沿用了Peng等在文[9]对互补问题基于自正则函数的讨论模式.但是,与Peng的算法不同的是,我们所考虑的带参数的函数是非自正则的.算法最终被证明具有较好的多项式复杂性.     

A PλM-policy for an M/G/1 queueing system

We introduce P_λ^M-service policy for an M/G/1 queueing system. The stationary distribution of the workload under this policy is explicitly obtained through a decomposition technique, renewal reward theorem, and level crossing argument.     

P*(κ)阵线性互补问题一种新的宽邻域预估-校正内点算法

基于邻近度量函数的最小值,对P*(κ)阵线性互补问题提出了一种新的宽邻域预估-校正算法,在较一般的条件下,证明了算法的迭代复杂性为O(κ+1)23n log(x0ε)Ts0.算法既可视为Miao的P*(κ)阵线性互补问题Mizuno-Todd-Ye预估-校正内点算法的一种变形,也可以视为最近Zhao提出的线性规划基于邻近度量函数最小值的宽邻域内点算法的推广.     

推广的M~x/G(M/G)/1(M/G)可修排队系统(I)── 一些排队指标

考虑M     

推广的M~x/G(M/G)/1(M/G)可修排队系统(I)── 一些排队指标

考虑Ｍｘ／Ｇ（Ｍ／Ｇ）／１（Ｍ／Ｇ）可修排队系统,且把该系统推广到休假时间、服务时间、修理时间和延误休假时间都为任意分布（不一定连续）,利用服务员忙期和拉普拉斯交换,我们直接获得队长瞬态分布的Ｌ变换递推式和稳态分布的递推式,以及队长的概率母函数,同时指出了１９９４年史定华文中存在的错误．     

P G Tait's statistical models

This paper explains how the discovery of a pocket notebook brings to light P G Tait's surprising involvement in statistics. Tait (1831–1901) was Professor of Mathematics at the Queen's College, Belfast and later of Natural Philosophy at the University of Edinburgh. He was a Fellow of the Royal Society of Edinburgh and a former Fellow of Peterhouse, Cambridge (senior wrangler and first Smith's prizeman in 1852).     

A full Nesterov–Todd step infeasible-interior-point algorithm for Cartesian P*(κ) horizontal linear complementarity problems over symmetric cones

Euclidean Jordan algebra is a commonly used tool in designing interior-point algorithms for symmetric cone programs. In this paper, we present a full Nesterov–Todd (NT) step infeasible interior-point algorithm for horizontal linear complementarity problems over Cartesian product of symmetric cones. Since the algorithm uses only full-NT feasibility and centring steps, it has the advantage that no line searches are needed. The complexity result obtained here for symmetric cones using NT directions coincides with the best bound obtained for horizontal linear complementarity problems.     

P/R网和进程(Ⅰ)

Petri网是描述、分析和设计并发行为的数学工具。然而,对于并发行为中至关重要的进程概念,网论中的定义一直未能尽如人意。本文认为,把Petri网看作平面网的传统观点是造成这种困难的重要原因,并定义了一种多层Petri网——Petri/Riemann网,简称P/R网,以图解决上述困难。本文证明了,对任意的EN系统(以及C/E系统)均存在一个P/R网表示,既反映系统的静态性质(结点间的拓扑排序),又反映系统的动态性质(事件点火的偏序关系)。P/R网到系统的映射即定义为进程。     

P/R网和进程(Ⅱ)

给定一个EN系统的一次运行,与它对应的P/R网不是唯一的。 本文引进了P/R网同构的概念,并证明了EN系统的同一个运行所对应的P/R网在同构意义下是唯一的。本文还讨论了P/R网表示的反问题,引进了P/R网良构的概念,证明了良构性是对任一P/R网存在一个相应的EN系统的充分必要条件,该系统的一个运行即以此P/R网为其描述。本文还证明了反问题的解在如下意义上是唯一的:具有相同P/R表示的EN系统彼此亦相同     

空间B(S)和L_M(G)的列紧性

我们用 B(S)表示定义在任意集合 S 上的有界纯量函数,f(t)的全体按范数‖f‖=sup■|f(t)|形成的 Banach 空间,L_M~*(G)表示由 N-函数 M(u)生成的 Orlicz 空间.空间 B(S)中列紧集制别法早由 P.Veress 给出(见[1]或[2]的 p.282),但证明中用     

关于函数S(x)及S_*(x)的渐近性质

对于任意实数x∈(1,∞),定义S(x)=m in{m∈N∶x m!};x∈[1,∞),S*(x)=m ax{m∈N∶m!x}.主要目的是研究这两个函数的渐近性质,并给出了它们的渐近公式.     

关于函数S(x)及S*(x)的渐近性质

对于任意实数x∈(1,∞),定义S(x)=min{m∈Nx≤m!};x∈[1,∞),S*(x)=max{m∈Nm!≤x}.主要目的是研究这两个函数的渐近性质,并给出了它们的渐近公式.     

完美路图P3（G）

P_k（G）是指这样的图：G中的所有k路作为P_k（G）的顶点集，两个不同的顶点在Pk（G）中邻接当且仅当它们所对应的两条k路的并为G中的（k＋1）路或k圈，那么，完美图猜想对于路图P_3（G）是成立的．