股票市场监管策略的一个随机模型

研究了股市在一段有可能给社会造成危害的上涨行情中，管理者监管股市的问题＋根据股市的运行规律，建立了一个随机最优化模型，讨论了参数对解的影响，并得出了一些对股市监管有意义的结论．     

Validation and verification of social processes within agent-based computational organization models

The use of simulation modeling in computational analysis of organizations is becoming a prominent approach in social science research. However, relying on simulations to gain intuition about social phenomena has significant implications. While simulations may give rise to interesting macro-level phenomena, and sometimes even mimic empirical data, the underlying micro and macro level processes may be far from realistic. Yet, this realism may be important to infer results that are relevant to existing theories of social systems and to policy making. Therefore, it is important to assess not only predictive capability but also explanation accuracy of formal models in terms of the degree of realism reflected by the embedded processes. This paper presents a process-centric perspective for the validation and verification (V&V) of agent-based computational organization models. Following an overview of the role of V&V within the life cycle of a simulation study, emergent issues in agent-based organization model V&V are outlined. The notion of social contract that facilitates capturing micro level processes among agents is introduced to enable reasoning about the integrity and consistency of agent-based organization designs. Social contracts are shown to enable modular compositional verification of interaction dynamics among peer agents. Two types of consistency are introduced: horizontal and vertical consistency. It is argued that such local consistency analysis is necessary, but insufficient to validate emergent macro processes within multi-agent organizations. As such, new formal validation metrics are introduced to substantiate the operational validity of emergent macro-level behavior. Levent Yilmaz is Assistant Professor of Computer Science and Engineering in the College of Engineering at Auburn University and co-founder of the Auburn Modeling and Simulation Laboratory of the M&SNet. Dr. Yilmaz received his Ph.D. and M.S. degrees from Virginia Polytechnic Institute and State University (Virginia Tech). His research interests are on advancing the theory and methodology of simulation modeling, agent-directed simulation (to explore dynamics of socio-technical systems, organizations, and human/team behavior), and education in simulation modeling. Dr. Yilmaz is a member of ACM, IEEE Computer Society, Society for Computer Simulation International, and Upsilon Pi Epsilon. URL: http://www.eng.auburn.edu/~yilmaz     

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.     

Discrete-time GI/Geo/1 queue with multiple working vacations

Consider the discrete time GI/Geo/1 queue with working vacations under EAS and LAS schemes. The server takes the original work at the lower rate rather than completely stopping during the vacation period. Using the matrix-geometric solution method, we obtain the steady-state distribution of the number of customers in the system and present the stochastic decomposition property of the queue length. Furthermore, we find and verify the closed property of conditional probability for negative binomial distributions. Using such property, we obtain the specific expression for the steady-state distribution of the waiting time and explain its two conditional stochastic decomposition structures. Finally, two special models are presented.      

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.     

Theoretical and computational studies of vectorial processes in biomolecular systems

Efficient vectorial processes such as the transduction of bioenergy and signals are characteristics that strikingly distinguish living systems from inanimate materials. Recent developments in biophysical and biochemical techniques have provided new information about the structure, dynamics and interaction of biomolecules involved in vectorial life processes at multiple length and temporal scales. This wealth of data makes it possible to carry out theoretical and computational studied of key mechanistic questions associated with complex life processes at an unprecedented level. Using two “vectorial biomolecular machines”, myosin and cytochrome c oxidase, as examples, we discuss the identification of interesting and biologically relevant questions that require thorough theoretical analysis. Technical challenges and recent progress related to these theoretical investigations are briefly summarized     

On the Equivalence of Multiparameter Gaussian Processes

Our purpose is to characterize the multiparameter Gaussian processes, that is Gaussian sheets, that are equivalent in law to the Brownian sheet and to the fractional Brownian sheet. We survey multiparameter analogues of the Hitsuda, Girsanov and Shepp representations. As an application, we study a special type of stochastic equation with linear noise.      

On error operators related to the arbitrary functions principle

The error on a real quantity Y due to the graduation of the measuring instrument may be asymptotically represented, when the graduation is regular and fines down, by a Dirichlet form on R whose square field operator does not depend on the probability law of Y as soon as this law possesses a continuous density. This feature is related to the “arbitrary functions principle” (Poincaré, Hopf). We give extensions of this property to Rd and to the Wiener space for some approximations of the Brownian motion. This gives new approximations of the Ornstein-Uhlenbeck gradient. These results apply to the discretization of some stochastic differential equations encountered in mechanics.     

Large deviation principle for enhanced Gaussian processes

We study large deviation principles for Gaussian processes lifted to the free nilpotent group of step N. We apply this to a large class of Gaussian processes lifted to geometric rough paths. A large deviation principle for enhanced (fractional) Brownian motion, in Hölder- or modulus topology, appears as special case.     

Effect of a thermal radiation field on the γ-luminescence of alkali-silicate glass

We revealed the changes in the γ-luminescence spectra under the influence of a thermal radiation field on high-purity alkali-silicate glasses (I) and those with addition of Fe³⁺ ions (II). We explain the obtained results within the framework of the L-model of edge absorption and electron-hole recombination processes. Samarkand State University, 15, Universitetskii Bul., Samarkand, 703004, Republic of Uzbekistan. Translated from Zhurnal Prikladnoi Spektroskopii, Vol. 65, No. 3, pp. 453–455, May–June, 1998.