Reset machines

AbstractA reset tape has one read-write head which moves only left-to-right except that the head can be reset once to the left end and the tape rescanned; a multiple-reset machine has reset tapes as auxiliary storage and a one-way input tape. Linear time is no more powerful than real time for nondeterministic multiple-reset machines and so the family MULTI-RESET of languages accepted in real time by nondeterministic multiple-reset machines is closed under linear erasing. MULTI-RESET is closed under Kleene. It can be characterized as the smallest family of languages containing the regular sets and closed under intersection and linear-erasing homomorphic duplication or as the smallest intersection-closed semiAFL containing COPY = {ww | w in {a, b}∗}. A circular tape is read full-sweep from left-to-right only and then reset to the left, any number of times; a nonwriting circular tape cannot be altered after the first sweep. For nondeterministic machines operating in real time, multiple reset tapes, circular tapes or nonwriting circular tapes have the same power. Languages in MULTI-RESET can be accepted in real time by nondeterministic machines using only three reset tapes or using only one reset tape and one nonwriting circular tape

Ionospheric tomographic common clock model of undifferenced uncombined GNSS measurements

This is a post-peer-review, pre-copyedit version of an article published in Journal of geodesy. The final authenticated version is available online at: http://dx.doi.org/10.1007/s00190-021-01568-8In this manuscript, we introduce the Ionospheric Tomographic Common Clock (ITCC) model of undifferenced uncombined GNSS measurements. It is intended for improving the Wide Area precise positioning in a consistent and simple way in the multi-GNSS context, and without the need of external precise real-time products. This is the case, in particular, of the satellite clocks, which are estimated at the Wide Area GNSS network Central Processing Facility (CPF) referred to the reference receiver one; and the precise realtime ionospheric corrections, simultaneously computed under a voxel-based tomographic model with satellite clocks and other geodetic unknowns, from the uncombined and undifferenced pseudoranges and carrier phase measurements at the CPF from the Wide Area GNSS network area. The model, without fixing the carrier phase ambiguities for the time being (just constraining them by the simultaneous solution of both ionospheric and geometric components of the uncombined GNSS model), has been successfully applied and assessed against previous precise positioning techniques. This has been done by emulating real-time conditions for Wide Area GPS users during 2018 in Poland.Peer ReviewedPostprint (published version

Design and implementation of multiple address parallel transmission architecture for storage area network

Master'sMASTER OF ENGINEERIN

Aeronautical engineering: A continuing bibliography with indexes (supplement 246)

This bibliography lists 690 reports, articles, and other documents introduced into the NASA scientific and technical information system in November, 1989. Subject coverage includes: design, construction and testing of aircraft and aircraft engines; aircraft components, equipment and systems; ground support systems; and theoretical and applied aspects of aerodynamics and general fluid dynamics

ACS Without an Attitude

The book (ACS without an Attitude) is an introduction to spacecraft attitude control systems. It is based on a series of lectures that Dr. Hallock presented in the early 2000s to members of the GSFC flight software branch, the target audience being flight software engineers (developers and testers), fairly new to the field that desire an introductory understanding of spacecraft attitude determination and control

Tools and Algorithms for the Construction and Analysis of Systems

This open access book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2022, which was held during April 2-7, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 46 full papers and 4 short papers presented in this volume were carefully reviewed and selected from 159 submissions. The proceedings also contain 16 tool papers of the affiliated competition SV-Comp and 1 paper consisting of the competition report. TACAS is a forum for researchers, developers, and users interested in rigorously based tools and algorithms for the construction and analysis of systems. The conference aims to bridge the gaps between different communities with this common interest and to support them in their quest to improve the utility, reliability, exibility, and efficiency of tools and algorithms for building computer-controlled systems