Specifying concurrent systems with TSL

The Task Sequencing Language (TSL), which lets programmers specify constraints on the behavior of concurrent programs, is described. The constraints, specified by high-level annotations to Ada programs, are monitored at runtime; when a violation is detected, control is returned to the user, along with information about the nature of the violation. It is argued that such a tool is a necessary crutch for human reasoning capabilities when dealing with the complexities of concurrent process interaction. The first large-scale application of TSL, the specification and validation of a distributed tasking supervisor for Ada, is described     

An Adaptive Recipe Implementation in Case‐Based Formalism for Abnormal Condition Management

This paper deals with accurate recipe implementation for abnormal condition management in a batch process using a case‐based reasoning (CBR) approach. A set of new problems can be solved by reusing proven process solutions. The proposed system integrates quantitative and qualitative parameters for adaptation of cases. A novel methodology to generate accurate recipes and to adapt to the processes is introduced during normal and abnormal conditions. In particular, the differences between current conditions and the references (recipes) should be managed to prevent any hazardous conditions arising. The processes are evaluated using their similarity to the past cases. This intelligent approach distinguishes plausible cases, generates accurate recipes, and adapts to new situations. The aim is to use the offline historical process data and safety related information in order to propose changes and adjustments in the processes.     

Transport of K in PVC matrix membranes containing valinomycin

We report impedance measurements on PVC matrix membranes which contain KBPh₄ with varying proportions of valinomycin. In agreement with our earlier measurements the value of the bulk membrane resistance (R_b) is much larger in the presence of valinomycin, indicating that the mobility of K⁺ is greatly reduced by the valinomycin. R_b shows a linear variation with valinomycin/K⁺ ratio between 0 and 1, but it is invariant at higher valinomycin/K⁺ ratios. Thus there is no evidence for a special transport mechanism for K⁺ in these membranes.