No Arabic abstract
I describe the IR and X-ray campaign we have undertaken to determine the nature of the faint discrete X-ray source population discovered by Chandra in the Galactic Center. These results will provide the input to the FLAMINGOS-2 Galactic Center Survey (F2GCS). With FLAMINGOS-2s multi-object IR spectrograph we will obtain 1000s of IR spectra of candidate X-ray source counterparts, allowing us to efficiently identify the nature of these sources, and thus dramatically increase the number of known X-ray binaries and CVs in the Milky Way.
Upon commissioning on Gemini South, FLAMINGOS-2 will be one of the most powerful wide-field near-infrared imagers and multi-object spectrographs ever built for use on 8-meter-class telescopes. In order to take best advantage of the strengths of FLAMINGOS-2 early in its life cycle, the instrument team has proposed to use 21 nights of Gemini guaranteed time in 3 surveys -- the FLAMINGOS-2 Early Science Surveys (F2ESS). The F2ESS will encompass 3 corresponding science themes -- the Galactic Center, galaxy evolution, and star formation. In this paper, I review the design performance and status of FLAMINGOS-2, and describe the planned FLAMINGOS-2 Galactic Center Survey.
FLAMINGOS-2 (PI: S. Eikenberry) is a $5M facility-class near-infrared (1-2.5 micron) multi-object spectrometer and wide-field imager being built at the University of Florida for Gemini South. Here we highlight the capabilities of FLAMINGOS-2, as it will be an ideal instrument for surveying the accreting binary population in the Galactic Center.
We report on the diffuse X-ray emissions from the Galactic center (GCDX) observed with the X-ray Imaging Spectrometer (XIS) on board the Suzaku satellite. The highly accurate energy calibrations and extremely low background of the XIS provide many new facts on the GCDX. These are (1) the origin of the 6.7/7.0keV lines is collisional excitation in hot plasma, (2) new SNR and super-bubble candidates are found, (3) most of the 6.4keV line is fluorescence by X-rays, and (4) time variability of the 6.4keV line is found from the SgrB2 complex.
Whilst astronomy as a science is historically founded on observations at optical wavelengths, studying the Universe in other bands has yielded remarkable discoveries, from pulsars in the radio, signatures of the Big Bang at submm wavelengths, through to high energy emission from accreting, gravitationally-compact objects and the discovery of gamma-ray bursts. Unsurprisingly, the result of combining multiple wavebands leads to an enormous increase in diagnostic power, but powerful insights can be lost when the sources studied vary on timescales shorter than the temporal separation between observations in different bands. In July 2015, the workshop Paving the way to simultaneous multi-wavelength astronomy was held as a concerted effort to address this at the Lorentz Center, Leiden. It was attended by 50 astronomers from diverse fields as well as the directors and staff of observatories and spaced-based missions. This community white paper has been written with the goal of disseminating the findings of that workshop by providing a concise review of the field of multi-wavelength astronomy covering a wide range of important source classes, the problems associated with their study and the solutions we believe need to be implemented for the future of observational astronomy. We hope that this paper will both stimulate further discussion and raise overall awareness within the community of the issues faced in a developing, important field.
Designing software that controls industrial equipment is challenging, especially due to its inherent concurrent nature. Testing this kind of event driven control software is difficult and, due to the large number of possible execution scenarios only a low dynamic test coverage is achieved in practice. This in turn is undesirable due to the high cost of software failure for this type of equipment. In this paper we describe the Dezyne language and tooling; Dezyne is a programming language aimed at software engineers designing large industrial control software. We discuss its underlying two layered and compositional approach that enables reaping the benefits of Formal Methods, hereby strongly supporting guiding principles of software engineering. The core of Dezyne uses the mCRL2 language and model-checker (Jan Friso Groote et al.) to verify the correctness and completeness of all possible execution scenarios. The IDE of Dezyne is based on the Language Server Protocol allowing a smooth integration with e.g., Visual Studio Code, and Emacs, extended with several automatically generated interactive graphical views. We report on the introduction of Dezyne and its predecessor at several large high-tech equipment manufacturers resulting in a decrease of software developing time and a major decrease of reported field defects.