Correlating Metastable-Atom Density, Reduced Electric Field, and Electron Energy Distribution in the Initiation, Transient, and Post-Transient Stages of a Pulsed Argon Discharge

Argon emission lines, particularly those in the near-infrared region (700-900nm), are used to determine plasma properties in low-temperature, partially ionized plasmas to determine effective electron temperature [Boffard et al., 2012], and argon excited state density [Boffard et al., 2009] using appropriately assumed electron energy distributions. While the effect of radiation trapping influences the interpretation of plasma properties from emission-line ratio analysis, eliminating the need to account for these effects by directly observing the 3px-to-1sy transitions [ Boffard et al., 2012] is preferable in most cases as this simplifies the analysis. In this dissertation, a 1-Torr argon, pulsed positive column in a hollow-cathode discharge is used to study the correlation between four quantities: 420.1-419.8nm emission-line ratio, metastable-atom density, reduced electric field, and electron energy distribution.;The extended coronal model is used to acquire an expression for 420.1-419.8nm emission-line ratio, which is sensitive to direct electron-impact excitation of argon excited states as well as stepwise electron-impact excitation of argon excited states for the purpose of inferring plasma quantities from experimental measurements. Initial inspection of the 420.1-419.8nm emission-line ratio suggests the pulse may be empirically divided into three distinct stages labelled the Initiation Stage, Transient Stage, and Post-Transient stage. Using equilibrium electron energy distributions from simulation to deduce excitation rates [Adams et al., 2012] in the extended coronal model affords agreement between predicted and observed metastable density in the Post-Transient stage of the discharge [Franek et al., 2015].;Applying this model-assisted diagnostic technique to the characterization of plasma systems utilizing lower-resolution spectroscopic systems is not straightforward, however, as the 419.8nm and 420.1nm emission-line profiles are convolved and become insufficiently resolved for treating the convolution as two separate emission-lines. To remedy this, the argon 425.9nm emission-line is evaluated as a proxy for the 419.8 nm emission-line. Both emission-lines (419.8nm and 425.9nm) are attributed to direct excitation from the argon ground state. The intensity of the 425.9nm emission-line is compared to the intensity of the 419.8nm emission-line over a range of plasma conditions to infer the same plasma quantities from similar experimental measurements. Discrepancies between the observed intensities of the emission-lines (419.8nm, 425.9nm) are explained by electron-impact cross-sections of their parent states. It is shown that the intensity of the argon 425.9nm emission-line is similar to that of the 419.8nm emission-line. The difference between the observed emission lines (425.9nm, 419.8nm) is attributed to the electron energy distribution in the plasma

Tools for the automation of large distributed control systems

The new LHC experiments at CERN will have very large numbers of channels to operate. In order to be able to configure and monitor such large systems, a high degree of parallelism is necessary. The control system is built as a hierarchy of sub-systems distributed over several computers. A toolkit - SMI++, combining two approaches: finite state machines and rule-based programming, allows for the description of the various sub-systems as decentralized deciding entities, reacting is real-time to changes in the system, thus providing for the automation of standard procedures and for the automatic recovery from error conditions in a hierarchical fashion. In this paper we will describe the principles and features of SMI++ as well as its integration with an industrial SCADA tool for use by the LHC experiments and we will try to show that such tools, can provide a very convenient mechanism for the automation of large scale, high complexity, applications

Model Checking a C++ Software Framework, a Case Study

This paper presents a case study on applying two model checkers, SPIN and DIVINE, to verify key properties of a C++ software framework, known as ADAPRO, originally developed at CERN. SPIN was used for verifying properties on the design level. DIVINE was used for verifying simple test applications that interacted with the implementation. Both model checkers were found to have their own respective sets of pros and cons, but the overall experience was positive. Because both model checkers were used in a complementary manner, they provided valuable new insights into the framework, which would arguably have been hard to gain by traditional testing and analysis tools only. Translating the C++ source code into the modeling language of the SPIN model checker helped to find flaws in the original design. With DIVINE, defects were found in parts of the code base that had already been subject to hundreds of hours of unit tests, integration tests, and acceptance tests. Most importantly, model checking was found to be easy to integrate into the workflow of the software project and bring added value, not only as verification, but also validation methodology. Therefore, using model checking for developing library-level code seems realistic and worth the effort.Comment: In Proceedings of the 27th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE '19), August 26-30, 2019, Tallinn, Estonia. ACM, New York, NY, USA, 11 page

The BaBar Event Building and Level-3 Trigger Farm Upgrade

The BaBar experiment is the particle detector at the PEP-II B-factory facility at the Stanford Linear Accelerator Center. During the summer shutdown 2002 the BaBar Event Building and Level-3 trigger farm were upgraded from 60 Sun Ultra-5 machines and 100MBit/s Ethernet to 50 Dual-CPU 1.4GHz Pentium-III systems with Gigabit Ethernet. Combined with an upgrade to Gigabit Ethernet on the source side and a major feature extraction software speedup, this pushes the performance of the BaBar event builder and L3 filter to 5.5kHz at current background levels, almost three times the original design rate of 2kHz. For our specific application the new farm provides 8.5 times the CPU power of the old system.Comment: Talk from the 2003 Computing in High Energy and Nuclear Physics (CHEP03), La Jolla, Ca, USA, March 2003, 4 pages, 1 eps figure, PSN MOGT00