A methodology for granularity-based control of parallelism in logic programs

Several types of parallelism can be exploited in logic programs while preserving correctness and efficiency, i.e. ensuring that the parallel execution obtains the same results as the sequential one and the amount of work performed is not greater. However, such results do not take into account a number of overheads which appear in practice, such as process creation and scheduling, which can induce a slow-down, or, at least, limit speedup, if they are not controlled in some way. This paper describes a methodology whereby the granularity of parallel tasks, i.e. the work available under them, is efficiently estimated and used to limit parallelism so that the effect of such overheads is controlled. The run-time overhead associated with the approach is usually quite small, since as much work is done at compile time as possible. Also,a number of run-time optimizations are proposed. Moreover, a static analysis of the overhead associated with the granularity control process is performed in order to decide its convenience. The performance improvements resulting from the incorporation of grain size control are shown to be quite good, specially for systems with medium to large parallel execution overheads.

Towards granularity based control of parallelism in logic programs

Several types of parallelism can be exploited in logic programs while preserving correctness and efficiency, i.e. ensuring that the parallel execution obtains the same results as the sequential one and the amount of work performed is not greater. However, such results do not take into account a number of overheads which appear in practice, such as process creation and scheduling, which can induce a slow-down, or, at least, limit speedup, if they are not controlled in some way. This paper describes a methodology whereby the granularity of parallel tasks, i.e. the work available under them, is efficiently estimated and used to limit parallelism so that the effect of such overheads is controlled. The run-time overhead associated with the approach is usually quite small, since as much work is done at compile time as possible. Also, a number of run-time optimizations are proposed. Moreover, a static analysis of the overhead associated with the granularity control process is performed in order to decide its convenience. The performance improvements resulting from the incorporation of grain size control are shown to be quite good, specially for systems with médium to large parallel execution overheads.

Robust stability of sequential multi-input multi-output quantitative feedback theory designs

This paper re-examines the stability of multi-input multi-output (MIMO) control systems designed using sequential MIMO quantitative feedback theory (QFT). In order to establish the results, recursive design equations for the SISO equivalent plants employed in a sequential MIMO QFT design are established. The equations apply to sequential MIMO QFT designs in both the direct plant domain, which employs the elements of plant in the design, and the inverse plant domain, which employs the elements of the plant inverse in the design. Stability theorems that employ necessary and sufficient conditions for robust closed-loop internal stability are developed for sequential MIMO QFT designs in both domains. The theorems and design equations facilitate less conservative designs and improved design transparency.

Vergence control across saccades in dyslexic adults

Many aspects of vision have been investigated in developmental dyslexia. Some research suggests deficits in vergence control (e.g. Buzzelli, 1991, Optom. Vision Sci. 68, 842±846), although ability to control vergence across saccades has not yet been investigated. We have explored this question indirectly using Enright's (1996 Vision Res. 36, 307±312.) sequential stereopsis task. The task requires observers to set two adjacent targets (whose textures cannot be resolved simultaneously if either is fixated) to appear equi-distant. Enright has argued that sequential stereopsis stereoacuity thresholds offer an indication of vergence control across saccades. We report two experiments using a total of 17 dyslexic and 18 control adults. Performance was measured on a sequential stereopsis task and an ordinary `simultaneous' stereopsis task. No significant differences between groups were found. However, whereas practice of the sequential task lowered control group thresholds on the simultaneous task, for the dyslexic group it significantly raised thresholds, suggesting that visual fatigue is especially important in investigations of visual functions in dyslexia. Although the small samples used limit conclusions at this stage, the main sequential stereopsis results suggest that, if Enright is correct, dyslexic adults can show normal vergence control across saccades.

Ability of dyslexic and control teenagers to sustain attention and inhibit responses

Dyslexia and attentional difficulty have often been linked, but little is known of the nature of the supposed attentional disorder. The Sustained Attention to Response Task (SART: Robertson, Manly, Andrade, Baddeley and Yiend, 1997) was designed as a measure of sustained attention and requires the withholding of responses to rare (one in nine) targets. To investigate the nature of the attentional disorder in dyslexia, this paper reports two studies which examined the performance of teenagers with dyslexia and their age-matched controls on the SART, the squiggle SART (a modification of the SART using novel and unlabellable stimuli rather than digits) and the go-gap-stop test of response inhibition (GGST). Teenagers with dyslexia made significantly more errors than controls on the original SART, but not the squiggle SART. There were no group differences on the GGST. After controlling for speed of reaction time in a sequential multiple regression predicting SART false alarms, false alarms on the GGST accounted for up to 22% extra variance in the control groups (although less on the squiggle SART) but negligible amounts of variance in the dyslexic groups. We interpret the results as reflecting a stimulus recognition automaticity deficit in dyslexia, rather than a sustained attention deficit. Furthermore, results suggest that response inhibition is an important component of performance on the standard SART when stimuli are recognised automatically.

Development of real-time process control systems using formal techniques

A major application of computers has been to control physical processes in which the computer is embedded within some large physical process and is required to control concurrent physical processes. The main difficulty with these systems is their event-driven characteristics, which complicate their modelling and analysis. Although a number of researchers in the process system community have approached the problems of modelling and analysis of such systems, there is still a lack of standardised software development formalisms for the system (controller) development, particular at early stage of the system design cycle. This research forms part of a larger research programme which is concerned with the development of real-time process-control systems in which software is used to control concurrent physical processes. The general objective of the research in this thesis is to investigate the use of formal techniques in the analysis of such systems at their early stages of development, with a particular bias towards an application to high speed machinery. Specifically, the research aims to generate a standardised software development formalism for real-time process-control systems, particularly for software controller synthesis. In this research, a graphical modelling formalism called Sequential Function Chart (SFC), a variant of Grafcet, is examined. SFC, which is defined in the international standard IEC1131 as a graphical description language, has been used widely in industry and has achieved an acceptable level of maturity and acceptance. A comparative study between SFC and Petri nets is presented in this thesis. To overcome identified inaccuracies in the SFC, a formal definition of the firing rules for SFC is given. To provide a framework in which SFC models can be analysed formally, an extended time-related Petri net model for SFC is proposed and the transformation method is defined. The SFC notation lacks a systematic way of synthesising system models from the real world systems. Thus a standardised approach to the development of real-time process control systems is required such that the system (software) functional requirements can be identified, captured, analysed. A rule-based approach and a method called system behaviour driven method (SBDM) are proposed as a development formalism for real-time process-control systems.

Computer control of machines utilising independent drive mechanisms

The thesis describes an investigation into methods for the specification, design and implementation of computer control systems for flexible manufacturing machines comprising multiple, independent, electromechanically-driven mechanisms. An analysis is made of the elements of conventional mechanically-coupled machines in order that the operational functions of these elements may be identified. This analysis is used to define the scope of requirements necessary to specify the format, function and operation of a flexible, independently driven mechanism machine. A discussion of how this type of machine can accommodate modern manufacturing needs of high-speed and flexibility is presented. A sequential method of capturing requirements for such machines is detailed based on a hierarchical partitioning of machine requirements from product to independent drive mechanism. A classification of mechanisms using notations, including Data flow diagrams and Petri-nets, is described which supports capture and allows validation of requirements. A generic design for a modular, IDM machine controller is derived based upon hierarchy of control identified in these machines. A two mechanism experimental machine is detailed which is used to demonstrate the application of the specification, design and implementation techniques. A computer controller prototype and a fully flexible implementation for the IDM machine, based on Petri-net models described using the concurrent programming language Occam, is detailed. The ability of this modular computer controller to support flexible, safe and fault-tolerant operation of the two intermittent motion, discrete-synchronisation independent drive mechanisms is presented. The application of the machine development methodology to industrial projects is established.

Control integrated finite state machine design for photovoltaic module integrated converter

The operation state of photovoltaic Module Integrated Converter (MIC) is subjected to change due to different source and load conditions, while state-swap is usually implemented with flow chart based sequential controller in the past research. In this paper, the signatures for different operational states are evaluated and investigated, which lead to an effective control integrated finite state machine (CIFSM), providing real-time state-swap as fast as the local control loop. The proposed CIFSM is implemented digitally for a boost type MIC prototype and tested under a variety of load and source conditions. The test results prove the effectiveness of the proposed CIFSM design.

No discrimination shock avoidance with sequential presentation of stimuli but shore crabs still reduce shock exposure

Insights into the potential for pain may be obtained from examination of behavioural responses to noxious stimuli. In particular, prolonged responses coupled with long-term motivational change and avoidance learning cannot be explained by nociceptive reflex but are consistent with the idea of pain. Here, we placed shore crabs alternately in two halves of a test area divided by an opaque partition. Each area had a dark shelter and in one repeated small electric shocks were delivered in an experimental but not in a control group. Crabs showed no specific avoidance of the shock shelter either during these trials or in a subsequent test in which both were offered simultaneously; however they often emerged from the shock shelter during a trial and thus avoided further shock. More crabs emerged in later trials and took less time to emerge than in early trials. Thus, despite the lack of discrimination learning between the two shelters they used other tactics to markedly reduce the amount of shock received. We note that a previous experiment using simultaneous presentation of two shelters demonstrated rapid discrimination and avoidance learning but the paradigm of sequential presentation appears to prevent this. Nevertheless, the data show clearly that the shock is aversive and tactics, other than discrimination learning, are used to avoid it. Thus, the behaviour is only partially consistent with the idea of pain.

Hypothalamic Inflammation And The Central Nervous System Control Of Energy Homeostasis.

The control of energy homeostasis relies on robust neuronal circuits that regulate food intake and energy expenditure. Although the physiology of these circuits is well understood, the molecular and cellular response of this program to chronic diseases is still largely unclear. Hypothalamic inflammation has emerged as a major driver of energy homeostasis dysfunction in both obesity and anorexia. Importantly, this inflammation disrupts the action of metabolic signals promoting anabolism or supporting catabolism. In this review, we address the evidence that favors hypothalamic inflammation as a factor that resets energy homeostasis in pathological states.

Chitosan/tripolyphosphate Nanoparticles Loaded With Paraquat Herbicide: An Environmentally Safer Alternative For Weed Control.

Paraquat is a fast acting nonselective contact herbicide that is extensively used worldwide. However, the aqueous solubility and soil sorption of this compound can cause problems of toxicity in nontarget organisms. This work investigates the preparation and characterization of nanoparticles composed of chitosan and sodium tripolyphosphate (TPP) to produce an efficient herbicidal formulation that was less toxic and could be used for safer control of weeds in agriculture. The toxicities of the formulations were evaluated using cell culture viability assays and the Allium cepa chromosome aberration test. The herbicidal activity was investigated in cultivations of maize (Zea mays) and mustard (Brassica sp.), and soil sorption of the nanoencapsulated herbicide was measured. The efficiency association of paraquat with the nanoparticles was 62.6 ± 0.7%. Encapsulation of the herbicide resulted in changes in its diffusion and release as well as its sorption by soil. Cytotoxicity and genotoxicity assays showed that the nanoencapsulated herbicide was less toxic than the pure compound, indicating its potential to control weeds while at the same time reducing environmental impacts. Measurements of herbicidal activity showed that the effectiveness of paraquat was preserved after encapsulation. It was concluded that the encapsulation of paraquat in nanoparticles can provide a useful means of reducing adverse impacts on human health and the environment, and that the formulation therefore has potential for use in agriculture.

Influence Of Gastric Emptying On The Control Of Postprandial Glycemia: Physiology And Therapeutic Implications.

The maintenance of glucose homeostasis is complex and involves, besides the secretion and action of insulin and glucagon, a hormonal and neural mechanism, regulating the rate of gastric emptying. This mechanism depends on extrinsic and intrinsic factors. Glucagon-like peptide-1 secretion regulates the speed of gastric emptying, contributing to the control of postprandial glycemia. The pharmacodynamic characteristics of various agents of this class can explain the effects more relevant in fasting or postprandial glucose, and can thus guide the individualized treatment, according to the clinical and pathophysiological features of each patient.

Self-reported Diabetes In Older People: Comparison Of Prevalences And Control Measures.

The objective of this study was to analyze the prevalence of diabetes in older people and the adopted control measures. Data regarding older diabetic individuals who participated in the Health Surveys conducted in the Municipality of Sao Paulo, SP, ISA-Capital, in 2003 and 2008, which were cross-sectional studies, were analyzed. Prevalences and confidence intervals were compared between 2003 and 2008, according to sociodemographic variables. The combination of the databases was performed when the confidence intervals overlapped. The Chi-square (level of significance of 5%) and the Pearson's Chi-square (Rao-Scott) tests were performed. The variables without overlap between the confidence intervals were not tested. The age of the older adults was 60-69 years. The majority were women, Caucasian, with an income of between > 0.5 and 2.5 times the minimum salary and low levels of schooling. The prevalence of diabetes was 17.6% (95%CI 14.9;20.6) in 2003 and 20.1% (95%CI 17.3;23.1) in 2008, which indicates a growth over this period (p at the limit of significance). The most prevalent measure adopted by the older adults to control diabetes was hypoglycemic agents, followed by diet. Physical activity was not frequent, despite the significant differences observed between 2003 and 2008 results. The use of public health services to control diabetes was significantly higher in older individuals with lower income and lower levels of education. Diabetes is a complex and challenging disease for patients and the health systems. Measures that encourage health promotion practices are necessary because they presented a smaller proportion than the use of hypoglycemic agents. Public health policies should be implemented, and aimed mainly at older individuals with low income and schooling levels. These changes are essential to improve the health condition of older diabetic patients.

Incidence Of Basilar Invagination In Patients With Tonsillar Herniation? A Case Control Craniometrical Study.

A retrospective case-control study based on craniometrical evaluation was performed to evaluate the incidence of basilar invagination (BI). Patients with symptomatic tonsillar herniation treated surgically had craniometrical parameters evaluated based on CT scan reconstructions before surgery. BI was diagnosed when the tip of the odontoid trespassed the Chamberlain's line in three different thresholds found in the literature: 2, 5 or 6.6 mm. In the surgical group (SU), the mean distance of the tip of the odontoid process above the Chamberlain's line was 12 mm versus 1.2 mm in the control (CO) group (p<0.0001). The number of patients with BI according to the threshold used (2, 5 or 6.6 mm) in the SU group was respectively 19 (95%), 16 (80%) and 15 (75%) and in the CO group it was 15 (37%), 4 (10%) and 2 (5%).

Going Beyond Seizure Control: Can Pharmacotherapy Help To Restore Cognitive Network Function?

83