Determining the specification of a control system from that of its environment

Well understood methods exist for developing programs from given specifications. A formal method identifies proof obligations at each development step: if all such proof obligations are discharged, a precisely defined class of errors can be excluded from the final program. For a class of closed systems such methods offer a gold standard against which less formal approaches can be measured. For open systems -those which interact with the physical world- the task of obtaining the program specification can be as challenging as the task of deriving the program. And, when a system of this class must tolerate certain kinds of unreliability in the physical world, it is still more challenging to reach confidence that the specification obtained is adequate. We argue that widening the notion of software development to include specifying the behaviour of the relevant parts of the physical world gives a way to derive the specification of a control system and also to record precisely the assumptions being made about the world outside the computer.

Digital control system programming from process control diagrams

A graphical process control language has been developed as a means of defining process control software. The user configures a block diagram describing the required control system, from a menu of functional blocks, using a graphics software system with graphics terminal. Additions may be made to the menu of functional blocks, to extend the system capability, and a group of blocks may be defined as a composite block. This latter feature provides for segmentation of the overall system diagram and the repeated use of the same group of blocks within the system. The completed diagram is analyzed by a graphics compiler which generates the programs and data structure to realise the run-time software. The run-time software has been designed as a data-driven system which allows for modifications at the run-time level in both parameters and system configuration. Data structures have been specified to ensure efficient execution and minimal storage requirements in the final control software. Machine independence has been accomodated as far as possible using CORAL 66 as the high level language throughout the entire system; the final run-time code being generated by a CORAL 66 compiler appropriate to the target processor.

Connection of Network Sensors to Distributed Information Measurement and Control System for Education and Research

The development of the distributed information measurement and control system for optical spectral research of particle beam and plasma objects and the execution of laboratory works on Physics and Engineering Department of Petrozavodsk State University are described. At the hardware level the system is represented by a complex of the automated workplaces joined into computer network. The key element of the system is the communication server, which supports the multi-user mode and distributes resources among clients, monitors the system and provides secure access. Other system components are formed by equipment servers (CАМАC and GPIB servers, a server for the access to microcontrollers MCS-196 and others) and the client programs that carry out data acquisition, accumulation and processing and management of the course of the experiment as well. In this work the designed by the authors network interface is discussed. The interface provides the connection of measuring and executive devices to the distributed information measurement and control system via Ethernet. This interface allows controlling of experimental parameters by use of digital devices, monitoring of experiment parameters by polling of analog and digital sensors. The device firmware is written in assembler language and includes libraries for Ethernet-, IP-, TCP- и UDP-packets forming.

Impact of a cognitive-behavioral weight control program on body weight, diet quality, and smoking cessation in weight-concerned female smokers

Many people use smoking as a weight control mechanism and do not want to quit because they fear weight gain. These weight-concerned smokers tend to be female, are significantly less likely to stop smoking, are less likely to join smoking cessation programs, and will relapse more often than smokers who are not weight-concerned. Research suggests that a woman’s confidence in her ability to control her weight after quitting relates positively with her intention to quit smoking. Likewise, success in smoking cessation has been associated with increased self-efficacy for weight control. It has been shown that success in changing one negative health behavior may trigger success in changing another, causing a synergistic effect. Recently research has focused on interventions for weight-concerned smokers who are ready to quit smoking. The present study investigated the effect of a cognitive based weight control program on self-efficacy for weight control and the effect on smoking behavior for a group of female weight concerned smokers. Two hundred and sixteen subjects who wanted to lose weight but who were not ready to quit smoking were recruited to participate in a 12-week, cognitive-behavioral weight control program consisting of twelve one-hour sessions. Subjects were randomly assigned to either (1) the weight-control program (intervention group), or (2) the control group. Results of this study demonstrated that subjects in the intervention group increased self-efficacy for weight control, which was associated with improved healthy eating index scores, weight loss, increased self-efficacy for quitting smoking, a decrease in number of cigarettes smoked and triggered positive movement in stage of change towards smoking cessation compared to the control subjects. For these subjects, positive changes in self-efficacy for one behavior (weight control) appeared to have a positive effect on their readiness to change another health behavior (smoking cessation). Further study of the psychological variables that influence weight-concerned female smokers’ decisions to initiate changes in these behaviors and their ability to maintain those changes are warranted.

Investigating the outcomes of two chronic disease self-management programs and understanding the correlates of completion for each program

Chronic disease affects 80% of adults over the age of 65 and is expected to increase in prevalence. To address the burden of chronic disease, self-management programs have been developed to increase self-efficacy and improve quality of life by reducing or halting disease symptoms. Two programs that have been developed to address chronic disease are the Chronic Disease Self-Management Program (CDSMP) and Tomando Control de su Salud (TCDS). CDSMP and TCDS both focus on improving participant self-efficacy, but use different curricula, as TCDS is culturally tailored for the Hispanic population. Few studies have evaluated the effectiveness of CDSMP and TCDS when translated to community settings. In addition, little is known about the correlation between demographic, baseline health status, and psychosocial factors and completion of either CDSMP or TCDS. This study used secondary data collected by agencies of the Healthy Aging Regional Collaborative from 10/01/2008–12/31/2010. The aims of this study were to examine six week differences in self-efficacy, time spent performing physical activity, and social/role activity limitations, and to identify correlates of program completion using baseline demographic and psychosocial factors. To examine if differences existed a general linear model was used. Additionally, logistic regression was used to examine correlates of program completion. Study findings show that all measures showed improvement at week six. For CDSMP, self-efficacy to manage disease (p = .001), self-efficacy to manage emotions (p = .026), social/role activities limitations (p = .001), and time spent walking (p = .008) were statistically significant. For TCDS, self-efficacy to manage disease (p = .006), social/role activities limitations (p = .001), and time spent walking (p = .016) and performing other aerobic activity (p = .005) were significant. For CDSMP, no correlates predicting program completion were found to be significant. For TCDS, participants who were male (OR=2.3, 95%CI: 1.15–4.66), from Broward County (OR=2.3, 95%CI: 1.27–4.25), or living alone (OR=2.0, 95%CI: 1.29-–3.08) were more likely to complete the program. CDSMP and TCDS, when implemented through a collaborative effort, can result in improvements for participants. Effective chronic disease management can improve health, quality of life, and reduce health care expenditures among older adults.

File Control: The Heart Of Business Computer Management

In his study - File Control: The Heart Of Business Computer Management - William G. O'Brien, Assistant Professor, The School of Hospitality Management at Florida International University, initially informs you: “Even though computers are an everyday part of the hospitality industry, many managers lack the knowledge and experience to control and protect the files in these systems. The author offers guidelines which can minimize or prevent damage to the business as a whole.” Our author initially opens this study with some anecdotal instances illustrating the failure of hospitality managers to exercise due caution with regard to computer supported information systems inside their restaurants and hotels. “Of the three components that make up any business computer system (data files, programs, and hard-ware), it is files that are most important, perhaps irreplaceable, to the business,” O’Brien informs you. O’Brien breaks down the noun, files, into two distinct categories. They are, the files of extrinsic value, and its counterpart the files of intrinsic value. An example of extrinsic value files would be a restaurant’s wine inventory. “As sales are made and new shipments are received, the computer updates the file,” says O’Brien. “This information might come directly from a point-of-sale terminal or might be entered manually by an employee,” he further explains. On the intrinsic side of the equation, O’Brien wants you to know that the information itself is the valuable part of this type of file. Its value is over and above the file’s informational purpose as a pragmatic business tool, as it is in inventory control. “The information is money in the legal sense For instance, figures moved about in banking system computers do not represent dollars; they are dollars,” O’Brien explains. “If the record of a dollar amount is erased from all computer files, then that money ceases to exist,” he warns. This type of information can also be bought and sold, such as it is in customer lists to advertisers. Files must be protected O’Brien stresses. “File security requires a systematic approach,” he discloses. O’Brien goes on to explain important elements to consider when evaluating file information. File back-up is also an important factor to think about, along with file storage/safety concerns. “Sooner or later, every property will have its fire, flood, careless mistake, or disgruntled employee,” O’Brien closes. “…good file control can minimize or prevent damage to the business as a whole.”

(Table 1) Active-layer thickness as measured by the Biocomplexity Experiment (BE) for the flooded, drained and control sections in Barrow, Alaska

A continuous time series of annual soil thaw records, extending from 1994 to 2009, is available for comparison with the records of thaw obtained from the Biocomplexity Experiment (BE) for the period 2006-2009. Discontinuous records of thaw at Barrow from wet tundra sites date back to the 1960s. Comparisons between the longer records with the BE observations reveal strong similarities. Records of permafrost temperature, reflecting changes in the annual surface energy exchange, are available from the 1950s for comparison with results from measurement programs begun in 2002. The long-term systematic geocryological investigations at Barrow indicate an increase in permafrost temperature, especially during the last several years. The increase in near-surface permafrost temperature is most pronounced in winter. Marked trends are not apparent in the active-layer record, although subsidence measurements on the North Slope indicate that penetration into the ice-rich layer at the top of permafrost has occurred over the past decade. Active-layer thickness values from the 1960s are generally higher than those from the 1990s, and are very similar to those of the 2000s. Analysis of spatial active-layer observations at representative locations demonstrates significant variations in active-layer thickness between different landscape types, reflecting the influence of vegetation, substrate, microtopography, and, especially, soil moisture. Landscape-specific differences exist in the response of active-layer thickness to climatic forcing. These differences are attributable to the existence of localized controls related to combinations of surface and subsurface characteristics. The geocryological records at Barrow illustrate the importance and effectiveness of sustained, well organized monitoring efforts to document long-term trends.

Functions of the SLC36 transporter Pathetic in growth control of Drosophila sensory neurons

Thesis (Ph.D.)--University of Washington, 2016-08

Recommendations for in-situ data Near Real Time Quality Control

With the construction of operational oceanography systems, the need for real-time has become more and more important. A lot of work had been done in the past, within National Data Centres (NODC) and International Oceanographic Data and Information Exchange (IODE) to standardise delayed mode quality control procedures. Concerning such quality control procedures applicable in real-time (within hours to a maximum of a week from acquisition), which means automatically, some recommendations were set up for physical parameters but mainly within projects without consolidation with other initiatives. During the past ten years the EuroGOOS community has been working on such procedures within international programs such as Argo, OceanSites or GOSUD, or within EC projects such as Mersea, MFSTEP, FerryBox, ECOOP, and MyOcean. In collaboration with the FP7 SeaDataNet project that is standardizing the delayed mode quality control procedures in NODCs, and MyOcean GMES FP7 project that is standardizing near real time quality control procedures for operational oceanography purposes, the DATA-MEQ working group decided to put together this document to summarize the recommendations for near real-time QC procedures that they judged mature enough to be advertised and recommended to EuroGOOS.

The Structure, Responsibilities & Programs of ENVIRONMENTAL AFFAIRS

This paper gives information concerning the bureaus under Environmental Affairs in the Department of Health and Environmental Control. It also describes key environmental programs.

Control of grey mould and stem-end rot in strawberry plants growing in a subtropical environment

The effect of different fungicide programs on grey mould (caused by Botrytis cinerea) and stem-end rot (caused by Gnomoniopsis fructicola) affecting strawberry plants (Fragaria ×ananassa cv. Festival) was studied in subtropical Australia over three years. The treatments involved a range of different synthetic multi- and single-site fungicides with different modes of action, a plant-defence promoter, plant extracts (lupin and rhubarb), organic acids, fatty acids, a salt, two strains of Bacillus subtilis, and single strains of B. amyloliquefaciens, Streptomyces lydicus and Trichoderma harzianum. Standard programs based on captan and thiram alternated, and applied with iprodione, fenhexamid, cyprodinil + fludioxonil, and penthiopyrad resulted in 3–4 % of unmarketable fruit compared with 25–38 % in the water-treated controls. There was no difference in the level of disease suppression when five or thirteen applications of single-site fungicides were rotated with the two multi-site fungicides. The incidence of unmarketable fruit was similar to the standard programs using isopyrazam (in 1 year out of 2), or penthiopyrad, fluazinam, chlorothalonil or thiram alone (in 1 year out of 1). The other fungicide programs were generally less effective. There were strong relationships between marketable yield and the incidence of unmarketable fruit over the three years (R2s = 0.82–0.93). A strategy based on thiram and captan applied alternately, with reduced applications of single-site fungicides is recommended and should reduce the chance of resistance to single-site fungicides becoming widespread in populations of the grey mould fungus. Although the program based on thiram alone had a similar incidence of unmarketable fruit as the standard program, repeated weekly applications of thiram are not recommended as they may cause unacceptable residues in the fruit. There were issues with some of the other fungicides due to phytotoxicity, residues, or difficulties with registering new fungicides that are in the same chemical group as currently registered products.

EGCL: an extended G-Code Language with flow control, functions and mnemonic variables

In the context of computer numerical control (CNC) and computer aided manufacturing (CAM), the capabilities of programming languages such as symbolic and intuitive programming, program portability and geometrical portfolio have special importance -- They allow to save time and to avoid errors during part programming and permit code re-usage -- Our updated literature review indicates that the current state of art presents voids in parametric programming, program portability and programming flexibility -- In response to this situation, this article presents a compiler implementation for EGCL (Extended G-code Language), a new, enriched CNC programming language which allows the use of descriptive variable names, geometrical functions and flow-control statements (if-then-else, while) -- Our compiler produces low-level generic, elementary ISO-compliant Gcode, thus allowing for flexibility in the choice of the executing CNC machine and in portability -- Our results show that readable variable names and flow control statements allow a simplified and intuitive part programming and permit re-usage of the programs -- Future work includes allowing the programmer to define own functions in terms of EGCL, in contrast to the current status of having them as library built-in functions

DATA DRIVEN INTELLIGENT AGENT NETWORKS FOR ADAPTIVE MONITORING AND CONTROL

To analyze the characteristics and predict the dynamic behaviors of complex systems over time, comprehensive research to enable the development of systems that can intelligently adapt to the evolving conditions and infer new knowledge with algorithms that are not predesigned is crucially needed. This dissertation research studies the integration of the techniques and methodologies resulted from the fields of pattern recognition, intelligent agents, artificial immune systems, and distributed computing platforms, to create technologies that can more accurately describe and control the dynamics of real-world complex systems. The need for such technologies is emerging in manufacturing, transportation, hazard mitigation, weather and climate prediction, homeland security, and emergency response. Motivated by the ability of mobile agents to dynamically incorporate additional computational and control algorithms into executing applications, mobile agent technology is employed in this research for the adaptive sensing and monitoring in a wireless sensor network. Mobile agents are software components that can travel from one computing platform to another in a network and carry programs and data states that are needed for performing the assigned tasks. To support the generation, migration, communication, and management of mobile monitoring agents, an embeddable mobile agent system (Mobile-C) is integrated with sensor nodes. Mobile monitoring agents visit distributed sensor nodes, read real-time sensor data, and perform anomaly detection using the equipped pattern recognition algorithms. The optimal control of agents is achieved by mimicking the adaptive immune response and the application of multi-objective optimization algorithms. The mobile agent approach provides potential to reduce the communication load and energy consumption in monitoring networks. The major research work of this dissertation project includes: (1) studying effective feature extraction methods for time series measurement data; (2) investigating the impact of the feature extraction methods and dissimilarity measures on the performance of pattern recognition; (3) researching the effects of environmental factors on the performance of pattern recognition; (4) integrating an embeddable mobile agent system with wireless sensor nodes; (5) optimizing agent generation and distribution using artificial immune system concept and multi-objective algorithms; (6) applying mobile agent technology and pattern recognition algorithms for adaptive structural health monitoring and driving cycle pattern recognition; (7) developing a web-based monitoring network to enable the visualization and analysis of real-time sensor data remotely. Techniques and algorithms developed in this dissertation project will contribute to research advances in networked distributed systems operating under changing environments.

Demanda y control de la tarea y presencia de síntomas de estrés y osteo-musculares en personal de una institución hospitalaria de IV nivel, Bogotá, 2016.

El ejercicio de labores asistenciales en el personal de la salud, las largas horas de trabajo y la responsabilidad en la ejecución de sus tareas, llevan consigo la exposición a riesgos psicosociales; que de no ser debidamente controlados pueden llevar al individuo a generar respuestas inadecuadas a nivel cognitivo, emocional e intelectual, las cuales se manifiestan en algunos casos con la aparición de sintomatología osteomuscular y/o asociada al estrés. OBJETIVO Identificar la relación entre las demandas de la tarea, el control sobre las mismas y la presencia e intensidad de síntomas de estrés y osteo-musculares en médicos, especialistas y personal de enfermería de una institución hospitalaria de IV nivel en Bogotá. Métodos Estudio de corte transversal en una muestra de 100 profesionales de la salud. Se utilizaron tres instrumentos: cuestionario Nórdico para la detección y análisis de síntomas músculo esqueléticos, cuestionario Karasek para identificar la percepción del trabajo y la relación del entorno profesional y el cuestionario de Estrés del Ministerio de la Protección Social validado para la población colombiana. Se obtuvo previa autorización del Comité de Investigaciones y Comité de Ética del Hospital. El análisis estadístico se realizó con el IBM SPSS Statistics versión 2.0 Resultados Se observó que los síntomas osteomusculares con mayor prevalencia estuvieron relacionados con afectaciones en espalda 43% y cuello 36%; no se observan diferencias estadísticamente significativas entre los distintos profesionales. En cuanto a presencia de sintomatología asociada al estrés, la mayor prevalencia se presentó en síntomas osteomusculares en cuello y espalda en el 84% de los casos, dolor de cabeza en el 74%, trastornos del sueño y cansancio en el 64% y percepción de sobrecarga laboral en el 63%. Para el análisis de prevalencia de los factores psicosociales laborales se utilizó la clasificación de la combinación de altas o bajas demandas y alto o bajo control, el resultado de estos teniendo en cuenta el modelo Demanda-control fue la siguiente: trabajo de alta tensión 34%; trabajo activo 40%; trabajo aburrido 13% y trabajo pasivo 13%. Se encontró una asociación entre la sintomatología y las variables toma de decisiones en médicos especialistas (OR 3,12; IC 95%: 2,80 – 3,49) lo que ratifica que este tipo de profesional tiene una mayor libertad para generar decisiones en su actuar médico y control sobre la tarea para especialistas (OR 3,23; IC 95%: 2,82 – 3,70) y enfermeros jefes (OR 3,36; IC 95%: 2,91 – 3,89); lo que permite inferir que cada uno de estos profesionales posee las herramientas para asumir las exigencias y dar respuesta a los distintos aspectos que están ligados a la tarea. Conclusiones: La presencia de síntomas osteo musculares en zonas como cuello y espalda son propios de la actividad del personal de la salud y se asocia a las posturas inadecuadas y el puesto de trabajo, así como al estrés. En cuanto a la sintomatología asociada al estrés se ratifica la presencia de sintomatología osteo muscular (cuello y espalda), como manifestaciones asociadas al cansancio, trastornos del sueño, sobrecarga laboral, dolor de cabeza y en menor porcentaje dificultades para relacionarse con otros. Respecto a los factores de riesgo psicosocial, se observó que el trabajo activo es la condición predominante en el personal de la salud, pero se observa además que un porcentaje importante experimenta episodios de tensión laboral, asociados a condiciones propias de las demandas psicológicas y el control sobre la tarea. Por lo anterior, se deben establecer acciones encaminadas a favorecer espacios saludables, y programas tendientes a la mejora de las condiciones de tal manera que disminuya la presencia de sintomatología osteomuscular y/o sintomatología derivada del estrés.

Effects of dry-land strength and conditioning programs in age group swimmers

Context: Even though dry-land S&C training is a common practice in swimming, there are countless uncertainties over it effects in performance of age group swimmers. Objective: To investigate the effects of dry-land S&C programs in swimming performance of age group swimmers. Participants: A total of 21 male competitive swimmers (12.7±0.7 years) were randomly assigned to the Control Group (n=7) and experimental GR1 and GR2 (n=7 for each group). Intervention: Control group performed a 10-week training period of swim training alone, GR1 followed a 6-week dry-land S&C program based on sets/repetitions plus a 4-week swim training program alone and GR2 followed a 6-week dry-land S&C program focused on explosiveness, plus a 4-week program of swim training alone. Results: For the dry-land tests a time effect was observed between week 0 and week 6 for vertical jump (p<0.01) in both experimental groups, and for the GR2 ball throwing (p<0.01), with moderate-strong effect sizes. The time*group analyses showed that for performance in 50 m, differences were significant, with the GR2 presenting higher improvements than their counterparts (F=4.156; ƿ=0.007; η2=0.316) at week 10. Conclusions: The results suggest that 6 weeks of a complementary dry-land S&C training may lead to improvements in dry-land strength. Furthermore, a 4-week adaptation period was mandatory to achieve beneficial transfer for aquatic performance. Additional benefits may occur if coaches plan the dry-land S&C training focusing on explosiveness.