New numerical methods and some applied aspects of the p-regularity theory

The theory of p-regularity is applied to optimization problems and to singular ordinary differential equations (ODE). The special variant of the method of the modified Lagrangian function proposed by Yu.G. Evtushenko for constrained optimization problems with inequality constraints is justified on the basis of the 2-factor transformation. An implicit function theorem is given for the singular case. This theorem is used to show the existence of solutions to a boundary value problem for a nonlinear differential equation in the resonance case. New numerical methods are proposed including the p-factor method for solving ODEs with a small parameter.     

The Spirit Is Willing: Nonlinearity, Bifurcations, and Mental Control

In recent years there has been considerable interest in the construction of nonlinear models of the dynamics of human behavior. In this exploratory article we argue that attempts at controlling problematic thoughts, emotions, or behaviors can lead to nonlinearity in mental/behavioral dynamics. We illustrate our model by fitting threshold autoregression models to self-recorded time series of the daily highs in intensity of anxiety and obsessive ruminations, kept by an individual in therapy for this problem. In our discussion, we raise the possibility that bifurcations that occur in this nonlinear model may offer insight into mental control paradoxes.     

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.     

应用马尔科夫状态转移链的作战航空综合体效能评估

文章阐述了作战航空综合体的相关概念及组成,应用马尔科夫状态转移链建立了作战航空综合体完成典型作战任务时的数学模型,确定了作战效能的评估指标,最后通过具体算例检验了模型的正确性和可行性.     

广义非简谐振子的多尺度微扰理论

应用多尺度微扰理论到广义非简谐振子, 得到了一阶经典和量子微扰解. 特别是 我们的量子解在极限条件下能方便地转变为经典解, 并且坐标和动量算符的对易 关系的简化十分自然. 与Taylor级数解相比较, 无论是在经典还是在量子解 中频率移动都出现在各阶振动表达式中, 所以多尺度微扰解是弱耦合非简谐振动的较好解法.     

Spectra of computable models for Ehrenfeucht theories

We construct an example of a theory with a finite (greater than one) number of isomorphism types of countable models such that its prime and saturated models have computable presentations and there exists a model which lacks in such. Supported by the Council for Grants (under RF President) and State Aid of Fundamental Science Schools via project NSh-4413.2006.1. __________ Translated from Algebra i Logika, Vol. 46, No. 3, pp. 275–289, May–June, 2007.     

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.     

Some refinements of Dade's projective conjecture

In this paper a further refinement of Dade's projective conjecture, due to Boltje, is presented. This new statement includes ideas first published by Isaacs and Navarro as well as the recent contractibility version of Alperin's conjecture introduced by Boltje. Leaning heavily on the work of Robinson, weaker forms of the conjecture are proved in the case of p-solvable groups.     

Teleparallel versions of Friedmann and Lewis–Papapetrou spacetimes

This paper is devoted to investigating the teleparallel versions of the Friedmann models as well as the Lewis–Papapetrou solution. We obtain the tetrad and the torsion fields for both spacetimes. It is shown that the axial-vector vanishes for the Friedmann models. We discuss the different possibilities for the axial-vector, depending on the arbitrary functions ω and ψ in the Lewis–Papapetrou metric. The vector related to spin has also been evaluated.     

SPAR: stochastic programming with adversarial recourse

We consider a general adversarial stochastic optimization model. Our model involves the design of a system that an adversary may subsequently attempt to destroy or degrade. We introduce SPAR, which utilizes mixed-integer programming for the design decision and a Markov decision process (MDP) for the modeling of our adversarial phase.