Resource control of object-oriented programs

A sup-interpretation is a tool which provides an upper bound on the size of a value computed by some symbol of a program. Sup-interpretations have shown their interest to deal with the complexity of first order functional programs. For instance, they allow to characterize all the functions bitwise computable in Alogtime. This paper is an attempt to adapt the framework of sup-interpretations to a fragment of oriented-object programs, including distinct encodings of numbers through the use of constructor symbols, loop and while constructs and non recursive methods with side effects. We give a criterion, called brotherly criterion, which ensures that each brotherly program computes objects whose size is polynomially bounded by the inputs sizes

Weight Control System

Weight Control System, a set of linked computer programs which provides weight and balance reports from magnetic tape files, provides weight control and reporting on launch vehicle programs. With minor format modifications the program is applicable to aerospace, marine, automotive and other land transportation industries

Conversion and verification procedure for goal-based control programs

Fault tolerance and safety verification of control systems are essential for the success of autonomous robotic systems. A control architecture called Mission Data System, developed at the Jet Propulsion Laboratory, takes a goal-based control approach. In this paper, a method for converting goal network control programs into linear hybrid systems is developed. The linear hybrid system can then be verified for safety in the presence of failures using existing symbolic model checkers. An example task is developed and successfully verified using HyTech, a symbolic model checking software for linear hybrid systems

Can we apply accelerator-cores to control-intensive programs?

There is a trend towards using accelerators to increase performance and energy efficiency of general-purpose processors. So far, most accelerators have been build with HPC-applications in mind. A question that arises is how well can other applications benefit from these accelerators? In this paper, we discuss the acceleration of three benchmarks using the SPUs of a Cell-BE. We analyze the potential speedup given the inherent parallelism in the applications. While the potential speedup is significant in all benchmarks, the obtained speedup lags behind due to a mismatch between micro-architectural properties of the accelerators and the benchmark properties

Comparing robot controllers through system identification

In the mobile robotics field, it is very common to find different control programs designed to achieve a particular robot task. Although there are many ways to evaluate these controllers qualitatively, there is a lack of formal methodology to compare them from a mathematical point of view. In this paper we present a novel approach to compare robot control codes quantitatively based on system identification: Initially the transparent mathematical models of the controllers are obtained using the NARMAX system identification process. Then we use these models to analyse the general characteristics of the cotrollers from a mathematical point of view. In this way, we are able to compare different control programs objectively based on quantitative measures. We demonstrate our approach by comparing two different robot control programs, which were designed to drive the robot through door-like openings

The Control of Public Education and School Library Media Programs

published or submitted for publicatio

AFWAL space control technology program

An overview of space oriented control technology programs which are applicable to flexible large space structures is presented. The spacecraft control activity is interdisciplinary with activities in structures, structural dynamics and control brought together. The large flexible structures to be controlled have many physical factors that influence the final controllability of the vehicle. Factors are studied such as rigidity of both structural elements and joints, damping inherent in both material as well as discrete dampers located throughout the structure, and the bandwidth of both sensors and actuators used to sense motion and control it. Descriptions of programs both in-house and contracted are given

Developing an evidence-based program sustainability training curriculum: A group randomized, multi-phase approach

Abstract Background The emergence of dissemination and implementation (D&I) science has driven a rapid increase in studies of how new scientific discoveries are translated and developed into evidence-based programs and policies. However, D&I science has paid much less attention to what happens to programs once they have been implemented. Public health programs can only deliver benefits if they reach maturity and sustain activities over time. In order to achieve the full benefits of significant investment in public health research and program development, there must be an understanding of the factors that relate to sustainability to inform development of tools and trainings to support strategic long-term program sustainability. Tobacco control programs, specifically, vary in their abilities to support and sustain themselves over time. As of 2018, most states still do not meet the CDC-recommended level for funding their TC program, allowing tobacco use to remain the leading cause of preventable disease and death in the USA. The purpose of this study is to empirically develop, test, and disseminate training programs to improve the sustainability of evidence-based state tobacco control programs and thus, tobacco-related health outcomes. Methods This paper describes the methods of a group randomized, multi-phase study that evaluates the empirically developed “Program Sustainability Action Planning Training” and technical assistance in US state-level tobacco control programs. Phase 1 includes developing the sustainability action planning training curriculum and technical assistance protocol and developing measures to assess long-term program sustainability. Phase 2 includes a group randomized trial to test the effectiveness of the training and technical assistance in improving sustainability outcomes in 24 state tobacco control programs (12 intervention, 12 comparison). Phase 3 includes the active dissemination of final training curricula materials to a broader public health audience. Discussion Empirical evidence has established that program sustainability can improve through training and technical assistance; however, to our knowledge, no evidence-based sustainability training curriculum program exists. Therefore, systematic methods are needed to develop, test, and disseminate a training that improves the sustainability of evidence-based programs. Trial registration NCT03598114. Registered 25 July 2018—retrospectively registered