Architectures and design patterns for functional design of logic control and diagnostics in industrial automation

Recently in most of the industrial automation process an ever increasing degree of automation has been observed. This increasing is motivated by the higher requirement of systems with great performance in terms of quality of products/services generated, productivity, efficiency and low costs in the design, realization and maintenance. This trend in the growth of complex automation systems is rapidly spreading over automated manufacturing systems (AMS), where the integration of the mechanical and electronic technology, typical of the Mechatronics, is merging with other technologies such as Informatics and the communication networks. An AMS is a very complex system that can be thought constituted by a set of flexible working stations, one or more transportation systems. To understand how this machine are important in our society let considerate that every day most of us use bottles of water or soda, buy product in box like food or cigarets and so on. Another important consideration from its complexity derive from the fact that the the consortium of machine producers has estimated around 350 types of manufacturing machine. A large number of manufacturing machine industry are presented in Italy and notably packaging machine industry,in particular a great concentration of this kind of industry is located in Bologna area; for this reason the Bologna area is called “packaging valley”. Usually, the various parts of the AMS interact among them in a concurrent and asynchronous way, and coordinate the parts of the machine to obtain a desiderated overall behaviour is an hard task. Often, this is the case in large scale systems, organized in a modular and distributed manner. Even if the success of a modern AMS from a functional and behavioural point of view is still to attribute to the design choices operated in the definition of the mechanical structure and electrical electronic architecture, the system that governs the control of the plant is becoming crucial, because of the large number of duties associated to it. Apart from the activity inherent to the automation of themachine cycles, the supervisory system is called to perform other main functions such as: emulating the behaviour of traditional mechanical members thus allowing a drastic constructive simplification of the machine and a crucial functional flexibility; dynamically adapting the control strategies according to the different productive needs and to the different operational scenarios; obtaining a high quality of the final product through the verification of the correctness of the processing; addressing the operator devoted to themachine to promptly and carefully take the actions devoted to establish or restore the optimal operating conditions; managing in real time information on diagnostics, as a support of the maintenance operations of the machine. The kind of facilities that designers can directly find on themarket, in terms of software component libraries provides in fact an adequate support as regard the implementation of either top-level or bottom-level functionalities, typically pertaining to the domains of user-friendly HMIs, closed-loop regulation and motion control, fieldbus-based interconnection of remote smart devices. What is still lacking is a reference framework comprising a comprehensive set of highly reusable logic control components that, focussing on the cross-cutting functionalities characterizing the automation domain, may help the designers in the process of modelling and structuring their applications according to the specific needs. Historically, the design and verification process for complex automated industrial systems is performed in empirical way, without a clear distinction between functional and technological-implementation concepts and without a systematic method to organically deal with the complete system. Traditionally, in the field of analog and digital control design and verification through formal and simulation tools have been adopted since a long time ago, at least for multivariable and/or nonlinear controllers for complex time-driven dynamics as in the fields of vehicles, aircrafts, robots, electric drives and complex power electronics equipments. Moving to the field of logic control, typical for industrial manufacturing automation, the design and verification process is approached in a completely different way, usually very “unstructured”. No clear distinction between functions and implementations, between functional architectures and technological architectures and platforms is considered. Probably this difference is due to the different “dynamical framework”of logic control with respect to analog/digital control. As a matter of facts, in logic control discrete-events dynamics replace time-driven dynamics; hence most of the formal and mathematical tools of analog/digital control cannot be directly migrated to logic control to enlighten the distinction between functions and implementations. In addition, in the common view of application technicians, logic control design is strictly connected to the adopted implementation technology (relays in the past, software nowadays), leading again to a deep confusion among functional view and technological view. In Industrial automation software engineering, concepts as modularity, encapsulation, composability and reusability are strongly emphasized and profitably realized in the so-calledobject-oriented methodologies. Industrial automation is receiving lately this approach, as testified by some IEC standards IEC 611313, IEC 61499 which have been considered in commercial products only recently. On the other hand, in the scientific and technical literature many contributions have been already proposed to establish a suitable modelling framework for industrial automation. During last years it was possible to note a considerable growth in the exploitation of innovative concepts and technologies from ICT world in industrial automation systems. For what concerns the logic control design, Model Based Design (MBD) is being imported in industrial automation from software engineering field. Another key-point in industrial automated systems is the growth of requirements in terms of availability, reliability and safety for technological systems. In other words, the control system should not only deal with the nominal behaviour, but should also deal with other important duties, such as diagnosis and faults isolations, recovery and safety management. Indeed, together with high performance, in complex systems fault occurrences increase. This is a consequence of the fact that, as it typically occurs in reliable mechatronic systems, in complex systems such as AMS, together with reliable mechanical elements, an increasing number of electronic devices are also present, that are more vulnerable by their own nature. The diagnosis problem and the faults isolation in a generic dynamical system consists in the design of an elaboration unit that, appropriately processing the inputs and outputs of the dynamical system, is also capable of detecting incipient faults on the plant devices, reconfiguring the control system so as to guarantee satisfactory performance. The designer should be able to formally verify the product, certifying that, in its final implementation, it will perform itsrequired function guarantying the desired level of reliability and safety; the next step is that of preventing faults and eventually reconfiguring the control system so that faults are tolerated. On this topic an important improvement to formal verification of logic control, fault diagnosis and fault tolerant control results derive from Discrete Event Systems theory. The aimof this work is to define a design pattern and a control architecture to help the designer of control logic in industrial automated systems. The work starts with a brief discussion on main characteristics and description of industrial automated systems on Chapter 1. In Chapter 2 a survey on the state of the software engineering paradigm applied to industrial automation is discussed. Chapter 3 presentes a architecture for industrial automated systems based on the new concept of Generalized Actuator showing its benefits, while in Chapter 4 this architecture is refined using a novel entity, the Generalized Device in order to have a better reusability and modularity of the control logic. In Chapter 5 a new approach will be present based on Discrete Event Systems for the problemof software formal verification and an active fault tolerant control architecture using online diagnostic. Finally conclusive remarks and some ideas on new directions to explore are given. In Appendix A are briefly reported some concepts and results about Discrete Event Systems which should help the reader in understanding some crucial points in chapter 5; while in Appendix B an overview on the experimental testbed of the Laboratory of Automation of University of Bologna, is reported to validated the approach presented in chapter 3, chapter 4 and chapter 5. In Appendix C some components model used in chapter 5 for formal verification are reported.

A dictionary of modular threefolds

The thesis deals with the modularity conjecture for three-dimensional Calabi-Yau varieties. This is a generalization of the work of A. Wiles and others on modularity of elliptic curves. Modularity connects the number of points on varieties with coefficients of certain modular forms. In chapter 1 we collect the basics on arithmetic on Calabi-Yau manifolds, including general modularity results and strategies for modularity proofs. In chapters 2, 3, 4 and 5 we investigate examples of modular Calabi-Yau threefolds, including all examples occurring in the literature and many new ones. Double octics, i.e. Double coverings of projective 3-space branched along an octic surface, are studied in detail. In chapter 6 we deal with examples connected with the same modular forms. According to the Tate conjecture there should be correspondences between them. Many correspondences are constructed explicitly. We finish by formulating conjectures on the occurring newforms, especially their levels. In the appendices we compile tables of coefficients of weight 2 and weight 4 newforms and many examples of double octics.

Getting started with taiji: investigating students expectations and teachers appraisals of taiji beginners courses

In recent years, Taiji has been frequently investigated and considered as a stress management intervention. Although health care providers' appraisals and consumers' expectations are regarded as essential for treatment outcome, little attention has been drawn to this issue in Taiji research. In our study we have conducted two surveys to explore beginners' (n = 74) expectations and teachers' (n = 136) appraisals of their Taiji courses in general as well as more particularly related to stress management. Qualitative data analysis revealed that beginners mainly expected to learn a new method that is applicable in their daily life to foster peace of mind and to enhance their stress management. Congruently moderate-to-high improvements in stress management have also been found in quantitative analysis, whereby a lower educational level predicted higher expectations (P = 0.016). Taiji-teachers stated body- and mind-related benefits most frequently and appraised moderate-to-high improvements in stress management. Higher appraisals were predicted by a shorter teaching experience (P = 0.024). Our results inform about beginners' expectations and teachers' appraisals related to a Taiji-beginners course and highlight the role of educational background and teaching experience in shaping stress-management-related beginners' expectations and teachers' appraisals.

Examining The Genetic, Social-Cognitive, And Neural Correlates Of Autism Spectrum Disorder Behaviors In Typically Developing Chi

Autism spectrum disorders (ASD) are pervasive developmental disorders that affect approximately 1 in 50 children (Blumberg et al., 2013). Due to the social nature of the deficits that characterize the disorders, many have classified them as disorders of social cognition, which is the process that individuals use in order to successfully interact with members of their own species (Frith & Frith, 2007). Previous research has typically neglected the spectrum nature of ASD in favor of a more categorical approach of ¿autistic¿ versus ¿non-autistic,¿ but the spectrum requires a more continuous approach. Thus, the present study sought to examine the genetic, social-cognitive, and neural correlates of ASD-like traits as well as the relationship between these dimensions in typically developing children. Parents and children completed several quantitative measures examining several areas of social-cognitive functioning, including theory of mind and social functioning, restricted/repetitive behaviors and interests, and adaptive/maladaptive functioning. Children were also asked to undergo an EEG and both parents and children contributed a saliva sample that was used to sequence four single nucleotide polymorphisms (SNPs) of the OXTR gene, rs1042778, rs53576, rs2254298, and rs237897. We successfully demonstrated a significant relationship between behavioral measures of social-cognition and differences in face perception via the N170. However, the directionality of these relationships varied based on the behavioral measure and particular N170 difference scores. We also found support for the associations between the G_G allelic combination of rs1042778 and the A_A and A_G allelic combinations of rs2254298 and increased ASD-like behavior with decreased social-cognitive functioning. In contrast, our results contradict previous findings with rs237897 and imply that individuals with the A_A and A_G genotypes are less similar to those with ASD and have higher social cognitive functioning than those with the G_G genotype. In conclusion, we have demonstrated the existence of ASD-like traits in typically developing children and have shown a link between behavioral, genetic, and neural correlates of social-cognition. These findings demonstrate the importance of considering autism as a spectrum disorder and provide support for the move to a more continuous approach to neurodevelopmental disorders.

A Comparative Study of Two Semantic Systems: Body Russian and Russian Phraseology

Grigorij Kreidlin (Russia). A Comparative Study of Two Semantic Systems: Body Russian and Russian Phraseology. Mr. Kreidlin teaches in the Department of Theoretical and Applied Linguistics of the State University of Humanities in Moscow and worked on this project from August 1996 to July 1998. The classical approach to non-verbal and verbal oral communication is based on a traditional separation of body and mind. Linguists studied words and phrasemes, the products of mind activities, while gestures, facial expressions, postures and other forms of body language were left to anthropologists, psychologists, physiologists, and indeed to anyone but linguists. Only recently have linguists begun to turn their attention to gestures and semiotic and cognitive paradigms are now appearing that raise the question of designing an integral model for the unified description of non-verbal and verbal communicative behaviour. This project attempted to elaborate lexical and semantic fragments of such a model, producing a co-ordinated semantic description of the main Russian gestures (including gestures proper, postures and facial expressions) and their natural language analogues. The concept of emblematic gestures and gestural phrasemes and of their semantic links permitted an appropriate description of the transformation of a body as a purely physical substance into a body as a carrier of essential attributes of Russian culture - the semiotic process called the culturalisation of the human body. Here the human body embodies a system of cultural values and displays them in a text within the area of phraseology and some other important language domains. The goal of this research was to develop a theory that would account for the fundamental peculiarities of the process. The model proposed is based on the unified lexicographic representation of verbal and non-verbal units in the Dictionary of Russian Gestures, which the Mr. Kreidlin had earlier complied in collaboration with a group of his students. The Dictionary was originally oriented only towards reflecting how the lexical competence of Russian body language is represented in the Russian mind. Now a special type of phraseological zone has been designed to reflect explicitly semantic relationships between the gestures in the entries and phrasemes and to provide the necessary information for a detailed description of these. All the definitions, rules of usage and the established correlations are written in a semantic meta-language. Several classes of Russian gestural phrasemes were identified, including those phrasemes and idioms with semantic definitions close to those of the corresponding gestures, those phraseological units that have lost touch with the related gestures (although etymologically they are derived from gestures that have gone out of use), and phrasemes and idioms which have semantic traces or reflexes inherited from the meaning of the related gestures. The basic assumptions and practical considerations underlying the work were as follows. (1) To compare meanings one has to be able to state them. To state the meaning of a gesture or a phraseological expression, one needs a formal semantic meta-language of propositional character that represents the cognitive and mental aspects of the codes. (2) The semantic contrastive analysis of any semiotic codes used in person-to-person communication also requires a single semantic meta-language, i.e. a formal semantic language of description,. This language must be as linguistically and culturally independent as possible and yet must be open to interpretation through any culture and code. Another possible method of conducting comparative verbal-non-verbal semantic research is to work with different semantic meta-languages and semantic nets and to learn how to combine them, translate from one to another, etc. in order to reach a common basis for the subsequent comparison of units. (3) The practical work in defining phraseological units and organising the phraseological zone in the Dictionary of Russian Gestures unexpectedly showed that semantic links between gestures and gestural phrasemes are reflected not only in common semantic elements and syntactic structure of semantic propositions, but also in general and partial cognitive operations that are made over semantic definitions. (4) In comparative semantic analysis one should take into account different values and roles of inner form and image components in the semantic representation of non-verbal and verbal units. (5) For the most part, gestural phrasemes are direct semantic derivatives of gestures. The cognitive and formal techniques can be regarded as typological features for the future functional-semantic classification of gestural phrasemes: two phrasemes whose meaning can be obtained by the same cognitive or purely syntactic operations (or types of operations) over the meanings of the corresponding gestures, belong by definition to one and the same class. The nature of many cognitive operations has not been studied well so far, but the first steps towards its comprehension and description have been taken. The research identified 25 logically possible classes of relationships between a gesture and a gestural phraseme. The calculation is based on theoretically possible formal (set-theory) correlations between signifiers and signified of the non-verbal and verbal units. However, in order to examine which of them are realised in practice a complete semantic and lexicographic description of all (not only central) everyday emblems and gestural phrasemes is required and this unfortunately does not yet exist. Mr. Kreidlin suggests that the results of the comparative analysis of verbal and non-verbal units could also be used in other research areas such as the lexicography of emotions.

Effect of the Various Degrees of Stress on Childrens Art Expression Through Drawings

One of the aims of this project was to understand the way in which external environment or situation affects children's behaviour. Emotional experiences are developed and acquired under the influence of the environment, and a good family relationship is necessary for young people to grow, develop and socialise at all ages. Stress causes specific negative emotions, including concern, anxiety, sorrow and hostility. A pathologic environment in childhood forces the development of special abilities, both creative and destructive, It supports the development of an abnormal state of mind in which the usual relations between body and mind, reality and imagination, knowledge and memory are changed. Here the environment considered was that of the war and aggression in Bosnia & Herzegovina, where children, particularly those from Podrinje, witnessed arrests, killing, deforming and slaughtering of adults and children, in many cases members of their immediate families. Sehovic analysed the content of drawings by children exposed to various degrees of stress, to discover how these indicate various degrees of stress with the aim of using these as a projective technique in diagnostic work with children. The sample included around 600 children expelled from their homes, of both sexes aged between 6 and 12.

Perception of causality in schizophrenia spectrum disorder

Patients with schizophrenia spectrum disorders often maintain deviating views on cause-effect relationships, especially when positive and disorganization symptoms are manifest. Altered perceived causality is prominent in delusional ideation, in ideas of reference, and in the mentalizing ability (theory of mind [ToM]) of patients. Perceiving causal relationships may be understood either as higher order cognitive reasoning or as low-level information processing. In the present study, perception of causality was investigated as a low-level, preattentional capability similar to gestalt-like perceptual organization. Thirty-one patients (24 men and 7 women with mean age 27.7 years) and the same number of healthy control subjects matched to patients with respect to age and sex were tested. A visual paradigm was used in which 2 identical discs move, from opposite sides of a monitor, steadily toward and then past one another. Their coincidence generates an ambiguous, bistable percept (discs either "stream through" or "bounce off" one another). The bouncing perception, ie, perceived causality, is enhanced when auditory stimuli are presented at the time of coincidence. Psychopathology was measured using the Positive and Negative Syndrome Scale. It was found that positive symptoms were strongly associated with increased perceived causality and disorganization with attenuated perceived causality. Patients in general were not significantly different from controls, but symptom subgroups showed specifically altered perceived causality. Perceived causality as a basic preattentional process may contribute to higher order cognitive alterations and ToM deficiencies. It is suggested that cognitive remediation therapy should address both increased and reduced perception of causality.

The development and evaluation of a computer-based program to test and to teach the recognition of facial affect

Autism is a chronic pervasive neurodevelopmental disorder characterized by the early onset of social and communicative impairments as well as restricted, ritualized, stereotypic behavior. The endophenotype of autism includes neuropsychological deficits, for instance a lack of "Theory of Mind" and problems recognizing facial affect. In this study, we report the development and evaluation of a computer-based program to teach and test the ability to identify basic facially expressed emotions. 10 adolescent or adult subjects with high-functioning autism or Asperger-syndrome were included in the investigation. A priori the facial affect recognition test had shown good psychometric properties in a normative sample (internal consistency: rtt=.91-.95; retest reliability: rtt=.89-.92). In a prepost design, one half of the sample was randomly assigned to receive computer treatment while the other half of the sample served as control group. The training was conducted for five weeks, consisting of two hours training a week. The trained individuals improved significantly on the affect recognition task, but not on any other measure. Results support the usefulness of the program to teach the detection of facial affect. However, the improvement found is limited to a circumscribed area of social-communicative function and generalization is not ensured.

How Minds Work: A Cognitive Theory of Everything - a Tutorial on the IDA Model of Cognition

The IDA model of cognition is a fully integrated artificial cognitive system reaching across the full spectrum of cognition, from low-level perception/action to high-level reasoning. Extensively based on empirical data, it accurately reflects the full range of cognitive processes found in natural cognitive systems. As a source of plausible explanations for very many cognitive processes, the IDA model provides an ideal tool to think with about how minds work. This online tutorial offers a reasonably full account of the IDA conceptual model, including background material. It also provides a high-level account of the underlying computational “mechanisms of mind” that constitute the IDA computational model.

The power of emotional valence – from cognitive to affective processes in reading

The comprehension of stories requires the reader to imagine the cognitive and affective states of the characters. The content of many stories is unpleasant, as they often deal with conflict, disturbance or crisis. Nevertheless, unpleasant stories can be liked and enjoyed. In this fMRI study, we used a parametric approach to examine (1) the capacity of increasing negative valence of story contents to activate the mentalizing network (cognitive and affective theory of mind, ToM), and (2) the neural substrate of liking negatively valenced narratives. A set of 80 short narratives was compiled, ranging from neutral to negative emotional valence. For each story mean rating values on valence and liking were obtained from a group of 32 participants in a prestudy, and later included as parametric regressors in the fMRI analysis. Another group of 24 participants passively read the narratives in a three Tesla MRI scanner. Results revealed a stronger engagement of affective ToM-related brain areas with increasingly negative story valence. Stories that were unpleasant, but simultaneously liked, engaged the medial prefrontal cortex (mPFC), which might reflect the moral exploration of the story content. Further analysis showed that the more the mPFC becomes engaged during the reading of negatively valenced stories, the more coactivation can be observed in other brain areas related to the neural processing of affective ToM and empathy.

Downward Causation – The Way How Mind and Matter Interact?

The paper analyzes Karl Popper’s and John Eccles’ account of mind-matter interaction and compares their use of the concept of downward causation with other more recent accounts of it, especially those of Nancey Murphy and George Ellis. The argument includes John Polkinghorne’s take on Divine action, as it provides an interesting version of downward mind/matter-interaction. It will be argued that while downward causation is a speculative concept, it nevertheless remains the best approximation to a scientific perspective on mind/matter interaction that we can obtain. As a result, Popper’s and Eccles’ account seems to be more interesting in these regards than usually assumed, and should not continue to be overlooked in the debate.

The nature of syntactic impairment in autism

This paper presents a first exploration of the syntactic abilities of autistic children using the framework of truncation theory (Rizzi 1993-4, 2000). It is the first step of an ongoing research project aiming to (a) provide a complete map of syntax in autism, for such work has never been attempted from a sound linguistic perspective (b) develop a targeted remediation program to enhance syntactic abilities of autistic children. Recently, a growing body of work has emphasized the existence of a causal relation between the acquisition of complex syntax (embedding) and the development of a theory of mind (in normally-developing, deaf and autistic children). Early identification and remediation of syntactic deficits is therefore crucial not only to enhance cognitive abilites related to theory of mind, but also because of the critical period hypothesis for language acquisition.

Enhanced Knowledge Management by Synchronizing Mind Maps and Fuzzy Cognitive Maps

This paper presents a conceptual approach to enhance knowledge management by synchronizing mind maps and fuzzy cognitive maps. The use of mind maps allows taking advantage of human creativity, while the application of fuzzy cognitive maps enables to store information expressed in natural language. By applying cognitive computing, it makes possible to gather and extract relevant information out of a data pool. Therefore, this approach is supposed to give a framework that enhances knowledge management. To demonstrate the potential of this framework, a use case concerning the development of a smart city app is presented.

The illness narratives of Hispanic American women with coronary heart disease (CHD): An ethnographic approach

Purpose. To provide a descriptive representation of the illness narratives described by Hispanic American women with CHD. ^ Design. Focused ethnographic design. ^ Setting. One outpatient general medicine clinic, one nurse-managed health promotion clinic, and informants' homes in a large metropolitan city located in southeast Texas. ^ Sample. Purposeful sampling from two different sites resulted in 17 interviews being conducted with 14 informants. ^ Method. Focused ethnographic techniques were employed in the designation of participants for the study, data collection, analysis and re-presentation. Audiotaped interviews and fieldwork were transcribed verbatim and analyzed through an iterative process of data reduction, data display, drawing conclusions and verification. ^ Findings. The developing conceptual framework that emerged from the data is labeled after the overarching experience described by informants, the experience of Embodied Exhaustion. Embodied Exhaustion, as described in this study, refers to an ongoing, dynamic, indeterminate experience of mind-body exhaustion resulting from a complex constellation of biologic, psychological and social distresses occurring over the life course. The experience consists of three categories: Taking Care of Others, Wearing Down and Hurting Hearts. Two stabilizing forces were identified: Collective Self and Believing in God. ^ Conclusions. The findings of this study emphasize the importance of framing all research, theory and practice targeting Hispanic women with CHD within a sociocentric paradigm. Nursing is challenged to provide care that extends beyond the physical body of the patient to include the social context of illness, especially the family. ^