Macroscopic traffic models from microscopic car-following models

We present a method to derive macroscopic fluid-dynamic models from microscopic car-following models via a coarse-graining procedure. The method is first demonstrated for the optimal velocity model. The derived macroscopic model consists of a conservation equation and a momentum equation, and the latter contains a relaxation term, an anticipation term, and a diffusion term. Properties of the resulting macroscopic model are compared with those of the optimal velocity model through numerical simulations, and reasonable agreement is found although there are deviations in the quantitative level. The derivation is also extended to general car-following models.Comment: 12 pages, 4 figures; to appear in Phys. Rev.

Observations of the post shock break-out emission of SN 2011dh with XMM-Newton

After the occurrence of the type cIIb SN 2011dh in the nearby spiral galaxy M 51 numerous observations were performed with different telescopes in various bands ranging from radio to gamma-rays. We analysed the XMM-Newton and Swift observations taken 3 to 30 days after the SN explosion to study the X-ray spectrum of SN 2011dh. We extracted spectra from the XMM-Newton observations, which took place ~7 and 11 days after the SN. In addition, we created integrated Swift/XRT spectra of 3 to 10 days and 11 to 30 days. The spectra are well fitted with a power-law spectrum absorbed with Galactic foreground absorption. In addition, we find a harder spectral component in the first XMM-Newton spectrum taken at t ~ 7 d. This component is also detected in the first Swift spectrum of t = 3 - 10 d. While the persistent power-law component can be explained as inverse Compton emission from radio synchrotron emitting electrons, the harder component is most likely bremsstrahlung emission from the shocked stellar wind. Therefore, the harder X-ray emission that fades away after t ~ 10 d can be interpreted as emission from the shocked circumstellar wind of SN 2011dh.Comment: Accepted for publication as a Research Note in Astronomy and Astrophysic

Quantum Monte Carlo treatment of elastic exciton-exciton scattering

We calculate cross sections for low energy elastic exciton-exciton scattering within the effective mass approximation. Unlike previous theoretical approaches, we give a complete, non-perturbative treatment of the four-particle scattering problem. Diffusion Monte Carlo is used to calculate the essentially exact energies of scattering states, from which phase shifts are determined. For the case of equal-mass electrons and holes, which is equivalent to positronium-positronium scattering, we find a_s = 2.1 a_x for scattering of singlet-excitons and a_s= 1.5 a_x for triplet-excitons, where a_x is the excitonic radius. The spin dependence of the cross sections arises from the spatial exchange symmetry of the scattering wavefunctions. A significant triplet-triplet to singlet-singlet scattering process is found, which is similar to reported effects in recent experiments and theory for excitons in quantum wells. We also show that the scattering length can change sign and diverge for some values of the mass ratio m_h/m_e, an effect not seen in previous perturbative treatments.Comment: 6 pages, 6 figures. Revision has updated figures, improved paper structure, some minor correction

Distinguishing sequences for partially specified FSMs

Distinguishing Sequences (DSs) are used inmany Finite State Machine (FSM) based test techniques. Although Partially Specified FSMs (PSFSMs) generalise FSMs, the computational complexity of constructing Adaptive and Preset DSs (ADSs/PDSs) for PSFSMs has not been addressed. This paper shows that it is possible to check the existence of an ADS in polynomial time but the corresponding problem for PDSs is PSPACE-complete. We also report on the results of experiments with benchmarks and over 8 * 106 PSFSMs. © 2014 Springer International Publishing

Steady state solutions of hydrodynamic traffic models

We investigate steady state solutions of hydrodynamic traffic models in the absence of any intrinsic inhomogeneity on roads such as on-ramps. It is shown that typical hydrodynamic models possess seven different types of inhomogeneous steady state solutions. The seven solutions include those that have been reported previously only for microscopic models. The characteristic properties of wide jam such as moving velocity of its spatiotemporal pattern and/or out-flux from wide jam are shown to be uniquely determined and thus independent of initial conditions of dynamic evolution. Topological considerations suggest that all of the solutions should be common to a wide class of traffic models. The results are discussed in connection with the universality conjecture for traffic models. Also the prevalence of the limit-cycle solution in a recent study of a microscopic model is explained in this approach.Comment: 9 pages, 6 figure

Hydraulic characteristics of smart reactor for a nominal condition

SMART (System-integrated Modular Advanced ReacTor) is an integral-type reactor being developed, which has major components including core, pumps, steam generators and a pressurizer inside the reactor vessel. In order to analyze the various safety features of the reactor, the quantification for the flow and pressure distributions are very important. A test facility, named “SCOP”, was designed based on the conservation of Euler number which is a ratio of pressure drop to dynamic pressure with a sufficiently high Reynolds number. In order to preserve the flow distribution characteristics, the SCOP is linearly reduced with a scaling ratio of 1/5. For the present work, a total of 9 tests were performed for a nominal SMART flow condition. By using the test results, a statistical final flow distribution for the SMART reactor were presented. The current data could be applied for the validation of a CFD analysis method as well as reactor safety and system performance analysesPaper presented at the 9th International Conference on Heat Transfer, Fluid Mechanics and Thermodynamics, Malta, 16-18 July, 2012

Hydraulic characteristics of smart reactor for a nominal condition

Paper presented at the 9th International Conference on Heat Transfer, Fluid Mechanics and Thermodynamics, Malta, 16-18 July, 2012.SMART (System-integrated Modular Advanced ReacTor) is an integral-type reactor being developed, which has major components including core, pumps, steam generators and a pressurizer inside the reactor vessel. In order to analyze the various safety features of the reactor, the quantification for the flow and pressure distributions are very important. A test facility, named “SCOP”, was designed based on the conservation of Euler number which is a ratio of pressure drop to dynamic pressure with a sufficiently high Reynolds number. In order to preserve the flow distribution characteristics, the SCOP is linearly reduced with a scaling ratio of 1/5. For the present work, a total of 9 tests were performed for a nominal SMART flow condition. By using the test results, a statistical final flow distribution for the SMART reactor were presented. The current data could be applied for the validation of a CFD analysis method as well as reactor safety and system performance analyses.dc201

Generating a checking sequence with a minimum number of reset transitions

Given a finite state machine M, a checking sequence is an input sequence that is guaranteed to lead to a failure if the implementation under test is faulty and has no more states than M. There has been much interest in the automated generation of a short checking sequence from a finite state machine. However, such sequences can contain reset transitions whose use can adversely affect both the cost of applying the checking sequence and the effectiveness of the checking sequence. Thus, we sometimes want a checking sequence with a minimum number of reset transitions rather than a shortest checking sequence. This paper describes a new algorithm for generating a checking sequence, based on a distinguishing sequence, that minimises the number of reset transitions used.This work was supported in part by Leverhulme Trust grant number F/00275/D, Testing State Based Systems, Natural Sciences and Engineering Research Council (NSERC) of Canada grant number RGPIN 976, and Engineering and Physical Sciences Research Council grant number GR/R43150, Formal Methods and Testing (FORTEST)

Health promotion: results of focus groups with African-American men

http://dx.doi.org/10.1016/j.jomh.2010.11.00