无界域上非凸二次规划存在最优解的充分必要条件及判别方法

本给出了无界域上不定二次规划存在最优解的充分必要条件及判别方法,而且还给出通过解一系统线性规划来判别是否存在最优解的方法。     

线性规划多重最优解判别准则刍议

本构造了一些线性规划问题来探讨多重最优解的判别准则，补充了现行献中关于多重最优解判别准则描述的不足，并指出多重最优解判别准则在出现退化解时可能失效的例外情况。     

有无穷多最优解线性规划问题

本文给出了线性规划有无穷多最优解的判别条件及其求出所有最优解的具体方法．     

示性函数与非凸对偶规划解的存在性定理

通过建立的示性函数，证明了非凸对偶规划问题最优解的存在性定理与判别定理，并得出了若干有用的推论．     

线性规划最优解集的表现

文献［１］讨论了有无穷多最优解的线性规划问题，并利用最优单纯形表格的检验数给出线性规划有无穷多最优解的判别法，本文利用最优基可行解的凸组合及最优极向的非负线性组合给出线性规划最优解集的表现，从而把线性规划最优解集的几何特征阐释清楚．     

一类大系统目标规划问题最优解的判别准则

本文将一类大系统目标规划问题分解为若干个子问题,研究了原问题的最优解和各个子问题最优解之间的关系,并讨论了原问题最优解的判别条件．     

一类大系统目标规划问题分解算法中最优解之间的关系

将一类大系统目标规划问题分解为若干个子问题,研究了原问题的最优解和各个子问题最优解之间的关系,并讨论了原问题最优解的判别条件。     

无异域上凹二次规划有最优解的条件

本文讨论了无界域上凹二次规划有最优解的充要条件，通过解若干个线性规划，可以判别出无界域上四二次规划是否有最优解。     

双人静态博弈纯战略纳什均衡存在性判别

本文给出了双人有限静态博弈纯战略纳什均衡存在性的一种判别方法。并且，在纳什均衡存在的条件下，本判别法将给出纳什均衡解及解的唯一性判别。     

具有非线性收获及食饵避难的Leslie-Gower模型的税收分析

研究了具有非线性收获及食饵避难的Leslie-Gower模型,讨论了该模型解的正性、有界性及正平衡点的存在性.通过分析特征方程并运用Routh-Hurwitz判别法,得出正平衡点局部渐近稳定的充分性条件.借助Lyapunov函数以及LaSalle不变原理,研究了正平衡点的全局稳定性.利用Pontryagin最大值原理,得到了最优税收τoptimal以及最优平衡解(xoptimal,yoptimal,Eoptimal).数值模拟与理论结果一致.     

Graphical Diagnostics for Markov Models for Categorical Data

Markov models are widely used as a method for describing categorical data that exhibit stationary and nonstationary autocorrelation. However, diagnostic methods are a largely overlooked topic for Markov models. We introduce two types of residuals for this purpose: one for assessing the length of runs between state changes, and the other for assessing the frequency with which the process moves from any given state to the other states. Methods for calculating the sampling distribution of both types of residuals are presented, enabling objective interpretation through graphical summaries. The graphical summaries are formed using a modification of the probability integral transformation that is applicable for discrete data. Residuals from simulated datasets are presented to demonstrate when the model is, and is not, adequate for the data. The two types of residuals are used to highlight inadequacies of a model posed for real data on seabed fauna from the marine environment.

Supplemental materials, including an R-package RMC with functions to perform the diagnostic measures on the class of models considered in this article, are at the journal’s website. The R-package is also available at CRAN.     

Appropriate problems for learning and for performing—an issue for teacher training

Selecting, modifying or creating appropriate problems for mathematics class has become an activity of increaing importance in the professional development of German mathematics teachers. But rather than asking in general: “What is a good problem?” there should be a stronger emphasis on considering the specific goal of a problem, e.g.: “What are the ingredients that make a problem appropriate for initiating a learning process” or “What are the characteristics that make a problem appropriate for its use in a central test?” We propose a guiding scheme for teachers that turns out to be especially helpful, since the newly introduced orientation on outcome standards a) leads to a critical predominance of test items and b) expects teachers to design adequate problems for specific learning processes (e.g. problem solving, reasoning and modelling activities).     

Construction algorithms for polynomial lattice rules for multivariate integration

We introduce a new construction algorithm for digital nets for integration in certain weighted tensor product Hilbert spaces. The first weighted Hilbert space we consider is based on Walsh functions. Dick and Pillichshammer calculated the worst-case error for integration using digital nets for this space. Here we extend this result to a special construction method for digital nets based on polynomials over finite fields. This result allows us to find polynomials which yield a small worst-case error by computer search. We prove an upper bound on the worst-case error for digital nets obtained by such a search algorithm which shows that the convergence rate is best possible and that strong tractability holds under some condition on the weights.

We extend the results for the weighted Hilbert space based on Walsh functions to weighted Sobolev spaces. In this case we use randomly digitally shifted digital nets. The construction principle is the same as before, only the worst-case error is slightly different. Again digital nets obtained from our search algorithm yield a worst-case error achieving the optimal rate of convergence and as before strong tractability holds under some condition on the weights. These results show that such a construction of digital nets yields the until now best known results of this kind and that our construction methods are comparable to the construction methods known for lattice rules.

We conclude the article with numerical results comparing the expected worst-case error for randomly digitally shifted digital nets with those for randomly shifted lattice rules.

     

Monotonicity criteria for difference schemes designed for hyperbolic equations

Previously formulated monotonicity criteria for explicit two-level difference schemes designed for hyperbolic equations (S.K. Godunov’s, A. Harten’s (TVD schemes), characteristic criteria) are extended to multileveled, including implicit, stencils. The characteristic monotonicity criterion is used to develop a universal algorithm for constructing high-order accurate nonlinear monotone schemes (for an arbitrary form of the desired solution) based on their analysis in the space of grid functions. Several new fourth-to-third-order accurate monotone difference schemes on a compact three-level stencil and nonexpanding (three-point) stencils are proposed for an extended system, which ensures their monotonicity for both the desired function and its derivatives. The difference schemes are tested using the characteristic monotonicity criterion and are extended to systems of hyperbolic equations.     

Existence results for Hughes' model for pedestrian flows

In this paper we prove two global existence results for Hughes' model for pedestrian flows under assumptions that ensure that the traces of the solutions along the turning curve are zero for all positive times.     

Basin attractors for various methods for multiple roots

There are several methods for approximating the multiple zeros of a nonlinear function when the multiplicity is known. The methods are classified by the order, informational efficiency and efficiency index. Here we consider other criteria, namely the basin of attraction of the method and its dependence on the order. We discuss all known methods of orders two to four and present the basin of attraction for several examples.     

Identities for Anderson generating functions for Drinfeld modules

Anderson generating functions are generating series for division values of points on Drinfeld modules, and they serve as important tools for capturing periods, quasi-periods, and logarithms. They have been fundamental in recent work on special values of positive characteristic $L$ -series and in transcendence and algebraic independence problems. In the present paper we investigate techniques for expressing Anderson generating functions in terms of the defining polynomial of the Drinfeld module and determine new formulas for periods and quasi-periods.     

A sufficient condition for GPN-stability for delay differential equations

Summary In this paper the author considers a linear test delay differential equation with non-constant coefficients related to the definitions of PN and GPN-stability for numerical methods. He defines stability properties for an ordinary differential equation together with stability properties of interpolants for numerical methods and in this way he gives sufficient conditions for GPN-stability.This work was supported by the Italian M.P.I. (funds 40%) and by C.N.R.     

Polytope Lyapunov Functions for Stable and for Stabilizable LSS

We present a new approach for constructing polytope Lyapunov functions for continuous-time linear switching systems (LSS). This allows us to decide the stability of LSS and to compute the Lyapunov exponent with a good precision in relatively high dimensions. The same technique is also extended for stabilizability of positive systems by evaluating a polytope concave Lyapunov function (“antinorm”) in the cone. The method is based on a suitable discretization of the underlying continuous system and provides both a lower and an upper bound for the Lyapunov exponent. The absolute error in the Lyapunov exponent computation is estimated from above and proved to be linear in the dwell time. The practical efficiency of the new method is demonstrated in several examples and in the list of numerical experiments with randomly generated matrices of dimensions up to 10 (for general linear systems) and up to 100 (for positive systems). The development of the method is based on several theoretical results proved in the paper: the existence of monotone invariant norms and antinorms for positively irreducible systems, the equivalence of all contractive norms for stable systems and the linear convergence theorem.     

A Sequent Calculus for Propositional Dynamic Logic for Agents

We consider propositional dynamic logic for agents. For this logic, we present a sequent calculus with a restricted cut rule and prove the soundness and completeness for the calculus.