Global Optimal Image Reconstruction from Blurred Noisy Data by a Bayesian Approach

In this paper, a procedure is presented which allows the optimal reconstruction of images from blurred noisy data. The procedure relies on a general Bayesian approach, which makes proper use of all the available information. Special attention is devoted to the informative content of the edges; thus, a preprocessing phase is included, with the aim of estimating the jump sizes in the gray level. The optimization phase follows; existence and uniqueness of the solution is secured. The procedure is tested against simple simulated data and real data.     

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     

慢速饮酒血液中酒精含量的数学模型

描述的是在一定时间内慢慢地匀速喝完一定数量酒的问题,并建立了相应的数学模型.同时也建立了快速饮酒的数学模型,以及证明了在各次饮酒后的某时刻酒精含量的可叠加性.     

Incubation period in the 2,2,4,4‐tetramethyl‐1‐piperidinyloxy‐mediated thermal autopolymerization of styrene: Kinetics and simulations

Mechanisms and simulations of the induction period and the initial polymerization stages in the nitroxide‐mediated autopolymerization of styrene are discussed. At 120–125 °C and moderate 2,2,4,4‐tetramethyl‐1‐piperidinyloxy (TEMPO) concentrations (0.02–0.08 M), the main source of radicals is the hydrogen abstraction of the Mayo dimer by TEMPO [with the kinetic constant of hydrogen abstraction (k_h)]. At higher TEMPO concentrations ([N?] > 0.1 M), this reaction is still dominant, but radical generation by the direct attack against styrene by TEMPO, with kinetic constant of addition k_ad, also becomes relevant. From previous experimental data and simulations, initial estimates of k_h ≈ 1 and k_ad ≈ 6 × 10^?7 L mol^?1 s^?1 are obtained at 125 °C. From the induction period to the polymerization regime, there is an abrupt change in the dominant mechanism generating radicals because of the sudden decrease in the nitroxide radicals. Under induction‐period conditions, the simulations confirm the validity of the quasi‐steady‐state assumption (QSSA) for the Mayo dimer in this regime; however, after the induction period, the QSSA for the dimer is not valid, and this brings into question the scientific basis of the well‐known expression k_th[M]³ (where [M] is the monomer concentration and k_th is the kinetic constant of autoinitiation) for the autoinitiation rate in styrene polymerization. © 2006 Wiley Periodicals, Inc. J Polym Sci Part A: Polym Chem 44: 6962‐6979, 2006     

The application of Hölder exponent to traffic congestion warning

In this paper, we applied multifractal modeling techniques to analyze the traffic data collected from the Beijing Yuquanying. The results indicated that multifractal characteristics obviously exist in the traffic system; the degree of fractality of these traffic data tends to increase as the traffic system becomes congested; the Hölder exponent that measures the local rate of fractality may be used as indicators to predict the presence of the traffic congestion.     

Spatiotemporal and Thermal Analysis of VCSEL for Short-range Gigabit Optical Links

High-speed Optoelectronic Modules using Vertical Cavity Surface Emitting Lasers (VCSEL) coupled to Multi Mode Fibers (MMF) are a performing and low-cost solution for 10 Gigabit Ethernet (10 GbE) in short-distance optical links. A complete model of the spatiotemporal behavior of multimode VCSELs, through static and dynamic response, noise, thermal effects, and its coupling to MMF has been investigated. Relative Intensity Noise shows modal dependence and can be affected by spatial filtering due to coupling and fiber propagation. Simulations permit to evaluate critical parameters, such as modulation formats, launching conditions, and operating temperature for global bandwidth and eye diagram optimization up to 10 Gb/s. Simulation results are compared to measurements on prototype optoelectronic modules.     

Convergence of dynamical zeta functions

I study poles and zeros of zeta functions in one-dimensional maps. Numerical and analytical arguments are given to show that the first pole of one such zeta function is given by the first zero ofanother zeta function: this describes convergence of the calculations of the first zero, which is generally the physically interesting quantity. Some remarks on how these results should generalize to zeta functions of dynamical systems with pruned symbolic dynamics and in higher dimensions follow.     

Dynamics of the current-driven Josephson junction

The irreversible macroscopic dynamics of the Josephson junction coupled to external wires acting as a current source is derived rigorously from the underlying microscopic Hamiltonian quantum mechanics. The external systems are treated in the singular coupling limit. The use of this limit is explicitly justified via an interpretation of the singular coupling limit in terms of the relative magnitudes of system, reservoir, and coupling energies. The qualitative behavior of the macroscopic dynamical equations is shown to depend sensitively and crucially on the interaction between the wires and the superconductors and on the size of the wires: the dc Josephson effect only happens when one lets Cooper pairs be driven into the junction by collective (i.e., small) reservoirs.     

Small random perturbations of finite- and infinite-dimensional dynamical systems: Unpredictability of exit times

We apply previous results on the pathwise exponential loss of memory of the initial condition for stochastic differential equations with small diffusion to the problem of the asymptotic distribution of the first exit times from an attracted domain. We show under general hypotheses that the suitably rescaled exit time converges in the zero-noise limit to an exponential random variable. Then we extend the results to an infinite-dimensional case obtained by adding a small random perturbation to a nonlinear heat equation.     

纳秒激光闪光光解装置功能扩展──有机非线性材料二阶非线性系数测定

纳秒级激光闪光光解装置可用于有机光化学、光物理过程，瞬态发光和吸收的动力学过程的研究，在不改变原装置整体布局和结构的基础上，建立了有机非线性光学材料的二阶非线性系数测定方法，并为国家８６３专家委员会承担过仲裁测定。