Temporal management using relative time in knowledge-based process control

In this paper, a knowledge-based approach is proposed for the management of temporal information in process control. A common-sense theory of temporal constraints over processes/events, allowing relative temporal knowledge, is employed here as the temporal basis for the system. This theory supports duration reasoning and consistency checking, and accepts relative temporal knowledge which is in a form normally used by human operators. An architecture for process control is proposed which centres on an historical database consisting of events and processes, together with the qualitative temporal relationships between their occurrences. The dynamics of the system is expressed by means of three types of rule: database updating rules, process control rules, and data deletion rules. An example is provided in the form of a life scheduler, to illustrate the database and the rule sets. The example demonstrates the transitions of the database over time, and identifies the procedure in terms of a state transition model for the application. The dividing instant problem for logical inference is discussed with reference to this process control example, and it is shown how the temporal theory employed can be used to deal with the problem.

Relations, residuals, regular interiors, and relative regular equivalence

Given a relation α (a binary sociogram) and an a priori equivalence relation π, both on the same set of individuals, it is interesting to look for the largest equivalence πo that is contained in and is regular with respect to α. The equivalence relation πo is called the regular interior of π with respect to α. The computation of πo involves the left and right residuals, a concept that generalized group inverses to the algebra of relations. A polynomial-time procedure is presented (Theorem 11) and illustrated with examples. In particular, the regular interior gives meet in the lattice of regular equivalences: the regular meet of regular equivalences is the regular interior of their intersection. Finally, the concept of relative regular equivalence is defined and compared with regular equivalence.

Automatic relative debugging of OpenMP programs

In this work we show how automatic relative debugging can be used to find differences in computation between a correct serial program and an OpenMP parallel version of that program that does not yield correct results. Backtracking and re-execution are used to determine the first OpenMP parallel region that produces a difference in computation that may lead to an incorrect value the user has indicated. Our approach also lends itself to finding differences between parallel computations, where executing with M threads produces expected results but an N thread execution does not (M, N > 1, M ≠ N). OpenMP programs created using a parallelization tool are addressed by utilizing static analysis and directive information from the tool. Hand-parallelized programs, where OpenMP directives are inserted by the user, are addressed by performing data dependence and directive analysis.

Effects of exercise intensity on salivary antimicrobial proteins and markers of stress in active men

In the present study, we assessed the effects of exercise intensity on salivary immunoglobulin A (s-IgA) and salivary lysozyme (s-Lys) and examined how these responses were associated with salivary markers of adrenal activation. Using a randomized design, 10 healthy active men participated in three experimental cycling trials: 50% maximal oxygen uptake (VO2max), 75%VO2max, and an incremental test to exhaustion. The durations of the trials were the same as for a preliminary incremental test to exhaustion (22.3 min, sx = 0.8). Timed, unstimulated saliva samples were collected before exercise, immediately after exercise, and 1 h after exercise. In the incremental exhaustion trial, the secretion rates of both s-IgA and s-Lys were increased. An increase in s-Lys secretion rate was also observed at 75%VO2max. No significant changes in saliva flow rate were observed in any trial. Cycling at 75%VOmax and to exhaustion increased the secretion of alpha-amylase and chromogranin A immediately after exercise; higher cortisol values at 75%VO2max and in the incremental exhaustion trial compared with 50%VO2max were observed 1 h immediately after exercise only. These findings suggest that short-duration, high-intensity exercise increases the secretion rate of s-IgA and s-Lys despite no change in the saliva flow rate. These effects appear to be associated with changes in sympathetic activity and not the hypothalamic - pituitary - adrenal axis.