Relevant elements of functional analysis

Our account of the theory of difference schemes is mostly based on elementary notions from functional analysis. In what follows we list briefly widespread tools adopted in the theory of linear operators which will be used in the body of this book. 

Linear operators. Let X and Y be normed vector spaces and T be a subspace of the space X. If to each vector x V there corresponds by an 

Marcel Dekker, Inc. 270 Madison Avenue, New York, New York 10016 

A linear operator A is said to be bounded if there is a constant M 0 such that for any x E Y (A) 

The minimal constant M satisfying condition (1) is called the norm of the operator A and is denoted by A. - y or simply A.  

It is worth noting here that in a finite-dimensional space any linear operator is bounded. All of the linear bounded operators from X into Y constitute what is called a normed vector space, since the norm A of an operator A satisfies all of the axioms of the norm  

---

Chapter 6 includes a priori estimates expressing stability of two-layer and three-layer schemes in terms of the initial data and the right-hand side of the corresponding equations. It is worth noting here that relevant elements of functional analysis and linear algebra, such as the operator norm, self-adjoint operator, operator inequality, and others are much involved in the theory of difference schemes. For the reader s convenience the necessary prerequisities for reading the book are available in Chapters 1-2. 

The data suggest that a careful selection of elements facilitates the interpretation of results on each of the individual elements the larger the number of relevant elements involved in the eventual analysis, the more detailed information may be present in the data-set. Thus, the principal choice may be the multi-elemental analysis the problem here is how to extract the wealth of information from the set, which may contain thousands of analytical data. A fast and functional approach may be found by the application of Factor Analysis techniques (Kuik et al., 1993a,b). 

In the Snyder theory, eqn [8] is the simplest equation that gives the relationship between retention and analyte structure. It is used in an approach for selection of suitable mobile phases for a given separation. The adsorbent, that will be used, is to have known values of o and RM(shift)- Otherwise, these values can be easily foimd. The relevant structural elements or functional groups (see Table 2) are used to express the structure of an analyte and find its values of Sx and Ax by eqns [5] and [6], respectively. The retention of an analyte on the selected adsorbent is calculated by eqn [8] when successive values, in the range of 0-0.70, are ascribed to . An analysis of the retention as a function of is performed for all com-poimds that will be separated. It allows predicting the optimum value of for the concrete separation. Specific mobile phases having that value of e are found. 

On the other hand, Fomier transform infrared (FTIR) spectroscopy is a well-established technique for analysis of the secondary structure of proteins in water, as well as in organic and IL media. Two regions of the IR spectrum, called amide I (1600-1700 cm ) and amide III (1215-1335cm ), have been used to study the individual elements of secondary structme and their changes. The amide I mode of the peptide bond is particularly relevant for protein analysis since it is conformation-ally sensitive. Dynamic structure-function relationships in enzyme stabilization were investigated by several research groups as smnmarized in Table 22.1. 

In other words, if there isn t a sufficient independency between parts or function groups within hardware components, which aren t a part of the realization for the considered function group or considered element of the safety relevant functions, have to be considered for the design verification as well. It seems to be a similar analysis as later required as Analyses of Dependent Failure , but the requirement is relevant for all ASIL. 

If we use the semi-formal notation to describe requirements, it is useful to also use this for the same basis of the model description. Because ISO 26262 requires a verification after each step, systematic failure could be avoided and the consistency of the work steps and therefore also the work results would be supported. Since the model is also used as test reference according to ISO 26262, the model matures alongside the development process, if the product model continuously validated versus the increasing maturity of the development samples or prototypes. A model is often based on logical elements or function groups. They describe the structure, functional correlations of the elements or their technical behavior accordingly. Therefore, the architecture, the safety analysis and the model should widely have a common basis or refereeing to the safety relevant characteristics at least, they should be consistent. 

Main analysis for the architectural metrics is to make the safety relevant signal chains transparent and add adequate safety mechanism in case of weaknesses. Inspired by Robert Lusser, the signal chains are a chain of elements and the weakest parts should be enforced by means of safety mechanism. A typical safely mechanism consist of a part that can detect, malfunctions such as fault, errors or failure and a part that could control the malfunctions. It should be able to degrade the system to a safe state or switch to dissimilar redundant functions, which are identified as error free during runtime. Therefore, the entire signal chains and its elements (chain links) need to be identified. The quantification after Erich Pieruschka is primarily used to make the strengths of the chain links comparable. What is important The safety relevant function is first subject of the analysis. The correct functioning of the safety relevant function has to be assured. If this is provided by adequate measures such as implemented safety mechanism and control measures, this forms architecture to safety architecture. 

This addresses elements in general and does not somehow restrict as in flie list directly related to the analysis of dependent failure. It could be that it asks for the definition of internal and external interfaces of safety relevant elements in order to avoid adverse safety relevant effects on other safety relevant elements. However, without an analysis, this requirement cannot be met. This requirement can be found in part 4, which addresses the system development. However, there is no limitation for which elements this requirement should be applied. Positively seen, this requirement refers to previous example with the capacitor and transistor, since electronic components are also elements according to ISO 26262. On the other hand, this would mean that all electronic components, even the smallest software units, would need to be checked for troublesome, harming influences of other elements. The intended function and their safety mechanism need dependencies in case of failure of the intended function, but if the safety mechanism negatively affects the intended function, the safety mechanism weakens the system. But this is again a matter of design and realization, therefore a general question, why is the analysis of dependent failure only required for ASIL C and ASIL D functions or elements ... 

Even for a deductive analysis completeness analysis all error impacts is an important argument. Of course, each possible error, fault or malfunction found will help to improve the quality of a product, but for safety, completeness is required. This is why the failure analysis in the VDA-FMEA is at step three after the product and function decomposition. This means that for each function of a stiucture element the possible malfunctions need to be identified. For verification of the safety-relevant requirements it is important to first analyze, whether the possible malfunction, which can lead to a malfimctional behavior, have been completely identified. For a mere functional analysis stating that data flow, signals or information just could have 2 error states ... 

---