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.

Functional dna nanostructures for in vitro biosensing in live cells

DNA is a fascinating biomolecule that is well known for its genetic role in living systems. The emerging area of DNA nanotechnology provides an alternative view that exploits unparallel self-assembly ability of DNA molecules for material use of DNA. Although many reports exist on the results of DNA self-assembling systems, still few of them focus on the in vitro study about the function of such DNA nanostructures in live cells. Due to this, there are still a limited research about the in vitro functionality of such designs. To address an aspect of this issue, we have designed, synthesized and characterized two multifunctional fluorescencent nanobiosensors by DNA self-assembling. Each structure was designed and implemented to be introduced in live cells in order to give information on their functioning in real-time. Computational tools were used in order to design a graphic model of two new DNA motifs and also to obtain the specific sequences to all the ssDNA molecules. By thermal self-assembly techniques we have successfully synthesized the structure and corroborate their formation by the PAGE technique. In addition, we have established the conditions to characterize their structural conformation change when they perform their sensor response. The sensing behavior was also accomplished by fluorescence spectroscopy techniques; FRET evaluation and fluorescence microscopy imaging. Providing the evidence about their adequate sensing performance outside and inside the cells detected in real-time. In a preliminary evaluation we have tried to show the in vitro functionality of our structures in different cancer cell lines with the ability to perform local sensing responses. Our findings suggest that DNA sensor nanostructures could serve as a platform to exploit further therapeutic achievements in live cells.

Multimodal (EEG-fMRI) functional connectivity study of levodopa effect in Parkinson’s disease

Aim: To assess if the intake of levodopa in patients with Parkinson’s Disease (PD) changes cerebral connectivity, as revealed by simultaneous recording of hemodynamic (functional MRI, or fMRI) and electric (electroencephalogram, EEG) signals. Particularly, we hypothesize that the strongest changes in FC will involve the motor network, which is the most impaired in PD. Methods: Eight patients with diagnosis of PD “probable”, therapy with levodopa exclusively, normal cognitive and affective status, were included. Exclusion criteria were: moderate-severe rest tremor, levodopa induced dyskinesia, evidence of gray or white matter abnormalities on structural MRI. Scalp EEG (64 channels) were acquired inside the scanner (1.5 Tesla) before and after the intake of levodopa. fMRI functional connectivity was computed from four regions of interest: right and left supplementary motor area (SMA) and right and left precentral gyrus (primary motor cortex). Weighted partial directed coherence (w-PDC) was computed in the inverse space after the removal of EEG gradient and cardioballistic artifacts. Results and discussion: fMRI group analysis shows that the intake of levodopa increases hemodynamic functional connectivity among the SMAs / primary motor cortex and: sensory-motor network itself, attention network and default mode network. w-PDC analysis shows that EEG connectivity among regions of the motor network has the tendency to decrease after the intake the levodopa; furthermore, regions belonging to the DMN have the tendency to increase their outflow toward the rest of the brain. These findings, even if in a small sample of patients, suggest that other resting state physiological functional networks, beyond the motor one, are affected in patients with PD. The behavioral and cognitive tasks corresponding to the affected networks could benefit from the intake of levodopa.

Perceived functional ability assessed with the spinal function sort: is it valid for European rehabilitation settings in patients with non-specific non-acute low back pain?

The aim of this study involving 170 patients suffering from non-specific low back pain was to test the validity of the spinal function sort (SFS) in a European rehabilitation setting. The SFS, a picture-based questionnaire, assesses perceived functional ability of work tasks involving the spine. All measurements were taken by a blinded research assistant; work status was assessed with questionnaires. Our study demonstrated a high internal consistency shown by a Cronbach's alpha of 0.98, reasonable evidence for unidimensionality, spearman correlations of >0.6 with work activities, and discriminating power for work status at 3 and 12 months by ROC curve analysis (area under curve = 0.760 (95% CI 0.689-0.822), respectively, 0.801 (95% CI 0.731-0.859). The standardised response mean within the two treatment groups was 0.18 and -0.31. As a result, we conclude that the perceived functional ability for work tasks can be validly assessed with the SFS in a European rehabilitation setting in patients with non-specific low back pain, and is predictive for future work status.

Pain drawings in somatoform-functional pain

Background Pain drawings are a diagnostic adjunct to history taking, clinical examinations, and biomedical tests in evaluating pain. We hypothesized that somatoform-functional pain, is mirrored in distinctive graphic patterns of pain drawings. Our aim was to identify the most sensitive and specific graphic criteria as a tool to help identifying somatoform-functional pain. Methods We compared 62 patients with somatoform-functional pain with a control group of 49 patients with somatic-nociceptive pain type. All patients were asked to mark their pain on a pre-printed body diagram. An investigator, blinded with regard to the patients’ diagnoses, analyzed the drawings according to a set of numeric or binary criteria. Results We identified 13 drawing criteria pointing with significance to a somatoform-functional pain disorder (all p-values ≤ 0.001). The most specific and most sensitive criteria combination for detecting somatoform-functional pain included the total number of marks, the length of the longest mark, and the presence of symmetric patterns. The area under the ROC-curve was 96.3% for this criteria combination. Conclusion Pain drawings are an easy-to-administer supplementary technique which helps to identify somatoform-functional pain in comparison to somatic-nociceptive pain.

The Development, Reliability, and Validity of the OARS Multidimensional Functional Assessment Questionnaire

This report outlines the development, validity, and reliability of Part A of the OARS Multidimensional Functional Assessment Questionnaire. Part A permits assessment of individuals' functioning on each of five dimensions (social, economic, mental health, physical health and self-care capacity), the detailed information in each area being summarized on a 6-point rating scale by a rater. Content and consensual validity were ensured by the manner of construction. Information on criterion validity was obtained for all dimensions except social. The criterion used and their associated Kendall's Tau values were: an objective economic scale (.62); ratings based on personal interviews by geropsychiatrists (.60); physician's associates (.82); and physical therapists (.89). For 11 geographically dispersed raters from research and clinic settings, intraclass correlational coefficients, based on 30 subjects, ranged from .66 on physical health to .87 in self-care capacity; 74% of the ratings were in complete agreement, 24% differed by one point.

Dissociation between overt and unconscious face processing in fusiform face area

The precise role of the fusiform face area (FFA) in face processing remains controversial. In this study, we investigated to what degree FFA activation reflects additional functions beyond face perception. Seven volunteers underwent rapid event-related functional magnetic resonance imaging while they performed a face-encoding and a face-recognition task. During face encoding, activity in the FFA for individual faces predicted whether the individual face was subsequently remembered or forgotten. However, during face recognition, no difference in FFA activity between consciously remembered and forgotten faces was observed, but the activity of FFA differentiated if a face had been seen previously or not. This demonstrated a dissociation between overt recognition and unconscious discrimination of stimuli, suggesting that physiological processes of face recognition can take place, even if not all of its operations are made available to consciousness.

Functional respiratory morphology in the newborn quokka wallaby (Setonix brachyurus)

A morphological and morphometric study of the lung of the newborn quokka wallaby (Setonix brachyurus) was undertaken to assess its morphofunctional status at birth. Additionally, skin structure and morphometry were investigated to assess the possibility of cutaneous gas exchange. The lung was at canalicular stage and comprised a few conducting airways and a parenchyma of thick-walled tubules lined by stretches of cuboidal pneumocytes alternating with squamous epithelium, with occasional portions of thin blood-gas barrier. The tubules were separated by abundant intertubular mesenchyme, aggregations of developing capillaries and mesenchymal cells. Conversion of the cuboidal pneumocytes to type I cells occurred through cell broadening and lamellar body extrusion. Superfluous cuboidal cells were lost through apoptosis and subsequent clearance by alveolar macrophages. The establishment of the thin blood-gas barrier was established through apposition of the incipient capillaries to the formative thin squamous epithelium. The absolute volume of the lung was 0.02 +/- 0.001 cm(3) with an air space surface area of 4.85 +/- 0.43 cm(2). Differentiated type I pneumocytes covered 78% of the tubular surface, the rest 22% going to long stretches of type II cells, their precursors or low cuboidal transitory cells with sparse lamellar bodies. The body weight-related diffusion capacity was 2.52 +/- 0.56 mL O(2) min(-1) kg(-1). The epidermis was poorly developed, and measured 29.97 +/- 4.88 microm in thickness, 13% of which was taken by a thin layer of stratum corneum, measuring 4.87 +/- 0.98 microm thick. Superficial capillaries were closely associated with the epidermis, showing the possibility that the skin also participated in some gaseous exchange. Qualitatively, the neonate quokka lung had the basic constituents for gas exchange but was quantitatively inadequate, implying the significance of percutaneous gas exchange.

Hippocampal functional connectivity reflects verbal episodic memory network integrity

Using functional magnetic resonance imaging during a verbal memory task, we investigated correlations of signal fluctuations within the hippocampus and ipsilateral frontal as well as temporal areas in temporal lobe epilepsy patients. Declarative memory abilities were additionally examined before and after temporal lobe epilepsy surgery. A significant difference exists in functional connectivity between patients whose mnemonic functions deteriorated and those who remained stable or improved. Univariate analyses showed significantly higher preoperative coupling between the hippocampus and Brodmann area 22 for the group that decreased in verbal learning. We suggest greater coupling to reflect higher functional network integrity. Postoperatively reduced learning ability in patients with higher preoperative coupling underlines the importance of hippocampal interaction with cortical areas for successful memory formation.

Investigating within-canopy variation of functional traits and cellular structure of sugar maple (Acer saccharum) leaves

Patterns of increasing leaf mass per area (LMA), area-based leaf nitrogen (Narea), and carbon isotope composition (δ13C) with increasing height in the canopy have been attributed to light gradients or hydraulic limitation in tall trees. Theoretical optimal distributions of LMA and Narea that scale with light maximize canopy photosynthesis; however, sub-optimal distributions are often observed due to hydraulic constraints on leaf development. Using observational, experimental, and modeling approaches, we investigated the response of leaf functional traits (LMA, density, thickness, and leaf nitrogen), leaf carbon isotope composition (δ13C), and cellular structure to light availability, height, and leaf water potential (Ψl) in an Acer saccharum forest to tease apart the influence of light and hydraulic limitations. LMA, leaf and palisade layer thickness, and leaf density were greater at greater light availability but similar heights, highlighting the strong control of light on leaf morphology and cellular structure. Experimental shading decreased both LMA and area-based leaf nitrogen (Narea) and revealed that LMA and Narea were more strongly correlated with height earlier in the growing season and with light later in the growing season. The supply of CO2 to leaves at higher heights appeared to be constrained by stomatal sensitivity to vapor pressure deficit (VPD) or midday leaf water potential, as indicated by increasing δ13C and VPD and decreasing midday Ψl with height. Model simulations showed that daily canopy photosynthesis was biased during the early growing season when seasonality was not accounted for, and was biased throughout the growing season when vertical gradients in LMA and Narea were not accounted for. Overall, our results suggest that leaves acclimate to light soon after leaf expansion, through an accumulation of leaf carbon, thickening of palisade layers and increased LMA, and reduction in stomatal sensitivity to Ψl or VPD. This period of light acclimation in leaves appears to optimize leaf function over time, despite height-related constraints early in the growing season. Our results imply that vertical gradients in leaf functional traits and leaf acclimation to light should be incorporated in canopy function models in order to refine estimates of canopy photosynthesis.

Functional regulatory spaces

This article develops the concept of “Functional Regulatory Space” (FRS) in order to analyze the new forms of State action addressing (super) wicked problems. A FRS simultaneously spans several policy sectors, institutional territories and levels of government. It suggests integrating previous policy theories that focused on “boundary-spanning regime,” “territorial institutionalism” or multi-level governance. The FRS concept is envisaged as a Weberian “ideal-type” of State action and is applied to the empirical study of two European cases of potential FRS: the integrated management of water basins and the regulation of the European sky through functional airspace blocks. It will be concluded that the current airspace regulation does match the ideal-type of FRS any better than the water resource regulation does. The next research step consists in analyzing the genesis and institutionalization of potential FRS addressing other (super) wicked problems such as climate change and economic, security, health and immigration issues in different institutional contexts as well as at various levels of governance.

Different Prognostic Value of Functional Right Ventricular Parameters in Arrhythmogenic Right Ventricular Cardiomyopathy/Dysplasia

BACKGROUND -The value of standard two-dimensional transthoracic echocardiographic (TTE) parameters for risk stratification in patients with arrhythmogenic right ventricular cardiomyopathy/dysplasia (ARVC/D) is controversial. METHODS AND RESULTS -We investigated the impact of right ventricular fractional area change (FAC) and tricuspid annulus plane systolic excursion (TAPSE) for prediction of major adverse cardiovascular events (MACE) defined as the occurrence of cardiac death, heart transplantation, survived sudden cardiac death, ventricular fibrillation, sustained ventricular tachycardia or arrhythmogenic syncope. Among 70 patients who fulfilled the 2010 ARVC/D Task Force Criteria and underwent baseline TTE, 37 (53%) patients experienced a MACE during a median follow-up period of 5.3 (IQR 1.8-9.8) years. Average values for FAC, TAPSE, and TAPSE indexed to body surface area (BSA) decreased over time (p=0.03 for FAC, p=0.03 for TAPSE and p=0.01 for TAPSE/BSA, each vs. baseline). In contrast, median right ventricular end-diastolic area (RVEDA) increased (p=0.001 vs. baseline). Based on the results of Kaplan-Meier estimates, the time between baseline TTE and experiencing MACE was significantly shorter for patients with FAC <23% (p<0.001), TAPSE <17mm (p=0.02) or right atrial (RA) short axis/BSA ≥25mm/m(2) (p=0.04) at baseline. A reduced FAC constituted the strongest predictor of MACE (hazard ratio 1.08 per 1% decrease; 95% confidence interval 1.04-1.12; p<0.001) on bivariable analysis. CONCLUSIONS -This long-term observational study indicates that TAPSE and dilation of right-sided cardiac chambers are associated with an increased risk for MACE in ARVC/D patients with advanced disease and a high risk for adverse events. However, FAC is the strongest echocardiographic predictor of adverse outcome in these patients. Our data advocate a role for TTE in risk stratification in patients with ARVC/D, although our results may not be generalizable to lower risk ARVC/D cohorts.

Person-sensitive TAME marking in Galo: Historical origins and functional motivation

Scott DeLancey’s analysis of person-sensitive TAME marking in Lhasa Tibetan – “a.k.a. conjunct-disjunct marking” or “egophoricity” – has stimulated considerable discussion and debate, particularly as previously little-known languages of the Tibeto-Burman area, as well as outside it, have come to be described, and a wider range of functional factors have been taken into account. This chapter is intended as a contribution to this discussion, by presenting the first detailed analysis of person-sensitive TAME marking in a language of the Tani subgroup of Tibeto-Burman, namely Galo. Like Tournadre (2008), I find that person-sensitive TAME marking in Galo is not a grammaticalized index of person (“agreement”) nor of cross-clause subject continuity, but is instead a semantic index of an assertor’s knowledge state. Unlike in more westerly Tibeto-Burman languages, however, different construals of agency and/or volition do not seem to be factors in the Galo system. Thus, there are both similarities and differences underlying systems of person-sensitive TAME marking in different Tibeto-Burman languages; this suggests that further research - particularly, employing a diachronic perspective when possible - will be required before we can confidently characterize person-sensitive TAME marking from a pan-Tibeto-Burman (or broader) cross-linguistic perspective.

DEVELOPING A METHOD FOR IDENTIFYING AND REDUCING FUNCTIONAL DISCREPANCIES OF INFORMATION SYSTEMS

Currently more than half of Electronic Health Record (EHR) projects fail. Most of these failures are not due to flawed technology, but rather due to the lack of systematic considerations of human issues. Among the barriers for EHR adoption, function mismatching among users, activities, and systems is a major area that has not been systematically addressed from a human-centered perspective. A theoretical framework called Functional Framework was developed for identifying and reducing functional discrepancies among users, activities, and systems. The Functional Framework is composed of three models – the User Model, the Designer Model, and the Activity Model. The User Model was developed by conducting a survey (N = 32) that identified the functions needed and desired from the user’s perspective. The Designer Model was developed by conducting a systemic review of an Electronic Dental Record (EDR) and its functions. The Activity Model was developed using an ethnographic method called shadowing where EDR users (5 dentists, 5 dental assistants, 5 administrative personnel) were followed quietly and observed for their activities. These three models were combined to form a unified model. From the unified model the work domain ontology was developed by asking users to rate the functions (a total of 190 functions) in the unified model along the dimensions of frequency and criticality in a survey. The functional discrepancies, as indicated by the regions of the Venn diagrams formed by the three models, were consistent with the survey results, especially with user satisfaction. The survey for the Functional Framework indicated the preference of one system over the other (R=0.895). The results of this project showed that the Functional Framework provides a systematic method for identifying, evaluating, and reducing functional discrepancies among users, systems, and activities. Limitations and generalizability of the Functional Framework were discussed.

Association of biomarkers of lipid modification with functional and morphological indices of coronary stenosis severity in stable coronary artery disease

Biomarkers of blood lipid modification and oxidative stress have been associated with increased cardiovascular morbidity. We sought to determine whether these biomarkers were related to functional indices of stenosis severity among patients with stable coronary artery disease. We studied 197 consecutive patients with stable coronary artery disease due to single vessel disease. Fractional flow reserve (FFR) ≤ 0.80 was assessed as index of a functionally significant lesion. Serum levels of secretory phospholipase A2 (sPLA2) activity, secretory phospholipase A2 type IIA (sPLA2-IIA), myeloperoxydase (MPO), lipoprotein-associated phospholipase A2 (Lp-PLA2), and oxidized low-density lipoprotein (OxLDL) were assessed using commercially available assays. Patients with FFR > 0.8 had higher sPLA2 activity, sPLA2 IIA, and OxLDL levels than patients with FFR ≤ 0.8 (21.25 [16.03-27.28] vs 25.85 [20.58-34.63] U/mL, p < 0.001, 2.0 [1.5-3.4] vs 2.6 [2.0-3.4] ng/mL, p < 0.01; and 53.0 [36.0-71.0] vs 64.5 [50-89.25], p < 0.001 respectively). Patients with FFR > 0.80 had similar Lp-PLA2 and MPO levels versus those with FFR ≤ 0.8. sPLA2 activity, sPLA2 IIA significantly increased area under the curve over baseline characteristics to predict FFR ≤ 0.8 (0.67 to 0.77 (95 % confidence interval [CI]: 0.69-0.85) p < 0.01 and 0.67 to 0.77 (95 % CI: 0.69-0.84) p < 0.01, respectively). Serum sPLA2 activity as well as sPLA2-IIA level is related to functional characteristics of coronary stenoses in patients with stable coronary artery disease.