831 resultados para Formal Methods. Component-Based Development. Competition. Model Checking
Resumo:
Rapport de stage présenté à la Faculté des sciences infirmières en vue de l'obtention du grade de Maître ès sciences (M.Sc.) en sciences infirmières option expertise-conseil en soins infirmiers
Resumo:
Adolescent idiopathic scoliosis (AIS) is a musculoskeletal pathology. It is a complex spinal curvature in a 3-D space that also affects the appearance of the trunk. The clinical follow-up of AIS is decisive for its management. Currently, the Cobb angle, which is measured from full spine radiography, is the most common indicator of the scoliosis progression. However, cumulative exposure to X-rays radiation increases the risk for certain cancers. Thus, a noninvasive method for the identification of the scoliosis progression from trunk shape analysis would be helpful. In this study, a statistical model is built from a set of healthy subjects using independent component analysis and genetic algorithm. Based on this model, a representation of each scoliotic trunk from a set of AIS patients is computed and the difference between two successive acquisitions is used to determine if the scoliosis has progressed or not. This study was conducted on 58 subjects comprising 28 healthy subjects and 30 AIS patients who had trunk surface acquisitions in upright standing posture. The model detects 93% of the progressive cases and 80% of the nonprogressive cases. Thus, the rate of false negatives, representing the proportion of undetected progressions, is very low, only 7%. This study shows that it is possible to perform a scoliotic patient's follow-up using 3-D trunk image analysis, which is based on a noninvasive acquisition technique.
Resumo:
Three dimensional (3D) composites are strong contenders for the structural applications in situations like aerospace,aircraft and automotive industries where multidirectional thermal and mechanical stresses exist. The presence of reinforcement along the thickness direction in 3D composites,increases the through the thickness stiffness and strength properties.The 3D preforms can be manufactured with numerous complex architecture variations to meet the needs of specific applications.For hot structure applications Carbon-Carbon(C-C) composites are generally used,whose property variation with respect to temperature is essential for carrying out the design of hot structures.The thermomechanical behavior of 3D composites is not fully understood and reported.The methodology to find the thermomechanical properties using analytical modelling of 3D woven,3D 4-axes braided and 3D 5-axes braided composites from Representative Unit Cells(RUC's) based on constitutive equations for 3D composites has been dealt in the present study.High Temperature Unidirectional (UD) Carbon-Carbon material properties have been evaluated using analytical methods,viz.,Composite cylinder assemblage Model and Method of Cells based on experiments carried out on Carbon-Carbon fabric composite for a temparature range of 300 degreeK to 2800degreeK.These properties have been used for evaluating the 3D composite properties.From among the existing methods of solution sequences for 3D composites,"3D composite Strength Model" has been identified as the most suitable method.For thegeneration of material properies of RUC's od 3D composites,software has been developed using MATLAB.Correlaton of the analytically determined properties with test results available in literature has been established.Parametric studies on the variation of all the thermomechanical constants for different 3D performs of Carbon-Carbon material have been studied and selection criteria have been formulated for their applications for the hot structures.Procedure for the structural design of hot structures made of 3D Carbon-Carbon composites has been established through the numerical investigations on a Nosecap.Nonlinear transient thermal and nonlinear transient thermo-structural analysis on the Nosecap have been carried out using finite element software NASTRAN.Failure indices have been established for the identified performs,identification of suitable 3D composite based on parametric studies on strength properties and recommendation of this material for Nosecap of RLV based on structural performance have been carried out in this Study.Based on the 3D failure theory the best perform for the Nosecap has been identified as 4-axis 15degree braided composite.
Resumo:
This thesis Entitled Journal productivity in fishery science an informetric analysis.The analyses and formulating results of the study, the format of the thesis was determined. The thesis is divided into different chapters mentioned below. Chapter 1 gives an overview on the topic of research. Introduction gives the relevance of topic, define the problem, objectives of the study, hypothesis, methods of data collection, analysis and layout of the thesis. Chapter 2 provides a detailed account of the subject Fishery science and its development. A comprehensive outline is given along with definition, scope, classification, development and sources of information.Method of study used in this research and its literature review form the content of this chapter. Chapter 4 Details of the method adopted for collecting samples for the study, data collection and organization of the data are given. The methods are based on availability of data, period and objectives of the research undertaken.The description, analyses and the results of the study are covered in this chapter.
Resumo:
Motivation for Speaker recognition work is presented in the first part of the thesis. An exhaustive survey of past work in this field is also presented. A low cost system not including complex computation has been chosen for implementation. Towards achieving this a PC based system is designed and developed. A front end analog to digital convertor (12 bit) is built and interfaced to a PC. Software to control the ADC and to perform various analytical functions including feature vector evaluation is developed. It is shown that a fixed set of phrases incorporating evenly balanced phonemes is aptly suited for the speaker recognition work at hand. A set of phrases are chosen for recognition. Two new methods are adopted for the feature evaluation. Some new measurements involving a symmetry check method for pitch period detection and ACE‘ are used as featured. Arguments are provided to show the need for a new model for speech production. Starting from heuristic, a knowledge based (KB) speech production model is presented. In this model, a KB provides impulses to a voice producing mechanism and constant correction is applied via a feedback path. It is this correction that differs from speaker to speaker. Methods of defining measurable parameters for use as features are described. Algorithms for speaker recognition are developed and implemented. Two methods are presented. The first is based on the model postulated. Here the entropy on the utterance of a phoneme is evaluated. The transitions of voiced regions are used as speaker dependent features. The second method presented uses features found in other works, but evaluated differently. A knock—out scheme is used to provide the weightage values for the selection of features. Results of implementation are presented which show on an average of 80% recognition. It is also shown that if there are long gaps between sessions, the performance deteriorates and is speaker dependent. Cross recognition percentages are also presented and this in the worst case rises to 30% while the best case is 0%. Suggestions for further work are given in the concluding chapter.
Resumo:
In Safety critical software failure can have a high price. Such software should be free of errors before it is put into operation. Application of formal methods in the Software Development Life Cycle helps to ensure that the software for safety critical missions are ultra reliable. PVS theorem prover, a formal method tool, can be used for the formal verification of software in ADA Language for Flight Software Application (ALFA.). This paper describes the modeling of ALFA programs for PVS theorem prover. An ALFA2PVS translator is developed which automatically converts the software in ALFA to PVS specification. By this approach the software can be verified formally with respect to underflow/overflow errors and divide by zero conditions without the actual execution of the code.
Resumo:
In Safety critical software failure can have a high price. Such software should be free of errors before it is put into operation. Application of formal methods in the Software Development Life Cycle helps to ensure that the software for safety critical missions are ultra reliable. PVS theorem prover, a formal method tool, can be used for the formal verification of software in ADA Language for Flight Software Application (ALFA.). This paper describes the modeling of ALFA programs for PVS theorem prover. An ALFA2PVS translator is developed which automatically converts the software in ALFA to PVS specification. By this approach the software can be verified formally with respect to underflow/overflow errors and divide by zero conditions without the actual execution of the code
Resumo:
In der vorliegenden Dissertation geht es um die Dokumentation, theoretische Begründung und Auswertung des in 25 Jahren Praxis entwickelten Curriculums der Bewusstseinsschulung und -weitung der Orgodynamik. Dabei geht es insbesondere um den Vergleich und die forschungsorientierte Verknüpfung verschiedener Traditionen der Bewusstseinsbildung, der ihnen zugrunde liegenden Konzepte und anthropologischen Dimensionen im Schnittfeld pädagogischer, psychologischer und spiritueller Perspektiven. In Anlehnung an das von Fuhr/Dauber (2002) entwickelte Modell, der Praxisentwicklungsforschung, welche die Verflechtung von Theorie und Praxis ansteuert, wird der orgodynamische Ansatz wissenschaftlich dokumentiert und theoretisch begründet. Über eine induktive Vorgehensweise werden die historischen Wurzeln konzeptionell dargelegt, die verborgenen Paradigmen herausgearbeitet, sowie das Curriculum erläutert und ausgewertet. In einem ersten theorieorientierten Kapitel wird das orgodynamische Methodenspektrum in seinem Grundmodell und den vier zentralen Dimensionen (mentale, körperliche, emotionale, energetische Dimension) aufgezeigt und mit theoretischen Hintergrundkonzepten verglichen und verknüpft. Die vier sich überlappenden Methodengruppen der mental, körperlich, emotional und energetisch orientierten Bewusstseinsarbeit werden differenziert dargestellt und in ihrer Beziehung zueinander diskutiert. Anhand eines Modells (Methodenrad) wird die multi-dimensionale Perspektive des Methodenspektrums, in einer nichthierarchischen Zuordnung sichtbar. Im zweiten theorieorientierten Hauptteil werden zunächst die zentralen vier Paradigmen der Orgodynamik (Präsenz, Multidimensionalität, Flow/Fließendes Gewahrsein, Bezogenheit) vorgestellt, theoretisch und praxisbezogen entfaltet und in einer Paradigmen-Landkarte zueinander in Beziehung gesetzt. Dabei werden die kategorialen Ausführungen durchgehend an Praxisbeispielen veranschaulicht und im Blick auf drei vorgestellte Zugänge zur Bewusstseinsweitung (Immersion, Integration und Dekonstruktion) exemplarisch didaktisch kommentiert. Im dritten Hauptteil wird das Curriculum im Zusammenhang mit einer Auswertungsmatrix erläutert. Diese dient als Überprüfungsinstrument. Mit ihrer Hilfe werden die verschiedenen methodischen Zugangsweisen und Arbeitsformen dieses Ansatzes, exemplarisch anhand von 2 Ausbildungswochen, im Blick der Multidimensionalität dokumentiert. Damit wird diese multidimensional angelegte Praxis exemplarisch bis in methodische Details nachvollziehbar und in dialogisch-selbstreflexiver Form überprüfbar. Exemplarisch werden in einem Exkurs erste Itemvorschläge gemacht, welche die wissenschaftliche Anschlussfähigkeit an neuere Forschung im transpersonalen Bereich aufzeigen. Das innere Anliegen der vorliegenden Arbeit zeigt in der Verschränkung von Theorie und Praxis, dass die Paradigmen der Orgodynamik, Präsenz, Multidimensionalität, fließendes Gewahrsein und bewusste Bezogenheit vier pädagogisch umgesetzte Paradigmen für eine Bewusstseinserforschung in der Erwachsenenbildung sind. Stichworte: Multidimensional, Bewusstseinserforschung, Bewusstseinsweite, Präsenz, bewusste Bezogenheit, Flow/Fließendes Gewahrsein, das „Größere“, Immersion, Integration, Dekonstruktion, pädagogische Paradigmen, Erwachsenenbildung, Multidimensionales Methodenspektrum, Orgodynamik, Körpertherapie. ---------------------------
Resumo:
A new information-theoretic approach is presented for finding the pose of an object in an image. The technique does not require information about the surface properties of the object, besides its shape, and is robust with respect to variations of illumination. In our derivation, few assumptions are made about the nature of the imaging process. As a result the algorithms are quite general and can foreseeably be used in a wide variety of imaging situations. Experiments are presented that demonstrate the approach registering magnetic resonance (MR) images with computed tomography (CT) images, aligning a complex 3D object model to real scenes including clutter and occlusion, tracking a human head in a video sequence and aligning a view-based 2D object model to real images. The method is based on a formulation of the mutual information between the model and the image called EMMA. As applied here the technique is intensity-based, rather than feature-based. It works well in domains where edge or gradient-magnitude based methods have difficulty, yet it is more robust than traditional correlation. Additionally, it has an efficient implementation that is based on stochastic approximation. Finally, we will describe a number of additional real-world applications that can be solved efficiently and reliably using EMMA. EMMA can be used in machine learning to find maximally informative projections of high-dimensional data. EMMA can also be used to detect and correct corruption in magnetic resonance images (MRI).
Resumo:
In recent years, researchers in artificial intelligence have become interested in replicating human physical reasoning talents in computers. One of the most important skills in this area is predicting how physical systems will behave. This thesis discusses an implemented program that generates algebraic descriptions of how systems of rigid bodies evolve over time. Discussion about the design of this program identifies a physical reasoning paradigm and knowledge representation approach based on mathematical model construction and algebraic reasoning. This paradigm offers several advantages over methods that have become popular in the field, and seems promising for reasoning about a wide variety of classical mechanics problems.
Resumo:
We present a trainable system for detecting frontal and near-frontal views of faces in still gray images using Support Vector Machines (SVMs). We first consider the problem of detecting the whole face pattern by a single SVM classifer. In this context we compare different types of image features, present and evaluate a new method for reducing the number of features and discuss practical issues concerning the parameterization of SVMs and the selection of training data. The second part of the paper describes a component-based method for face detection consisting of a two-level hierarchy of SVM classifers. On the first level, component classifers independently detect components of a face, such as the eyes, the nose, and the mouth. On the second level, a single classifer checks if the geometrical configuration of the detected components in the image matches a geometrical model of a face.
Resumo:
The use of perturbation and power transformation operations permits the investigation of linear processes in the simplex as in a vectorial space. When the investigated geochemical processes can be constrained by the use of well-known starting point, the eigenvectors of the covariance matrix of a non-centred principal component analysis allow to model compositional changes compared with a reference point. The results obtained for the chemistry of water collected in River Arno (central-northern Italy) have open new perspectives for considering relative changes of the analysed variables and to hypothesise the relative effect of different acting physical-chemical processes, thus posing the basis for a quantitative modelling
Resumo:
Not considered in the analytical model of the plant, uncertainties always dramatically decrease the performance of the fault detection task in the practice. To cope better with this prevalent problem, in this paper we develop a methodology using Modal Interval Analysis which takes into account those uncertainties in the plant model. A fault detection method is developed based on this model which is quite robust to uncertainty and results in no false alarm. As soon as a fault is detected, an ANFIS model is trained in online to capture the major behavior of the occurred fault which can be used for fault accommodation. The simulation results understandably demonstrate the capability of the proposed method for accomplishing both tasks appropriately
Resumo:
La atención domiciliaria constituye hoy una modalidad de atención que permite solventar las dificultades derivadas de la sobreocupación hospitalaria y la cronicidad, los cuales constituyen un problema de interés en salud pública en los países desarrollados y que pueden ser manejados en el domicilio del paciente como una opción costo-efectiva y segura. Para lo cual es necesario buscar estrategias que permitan su desarrollo, gestión de riesgos y modelos de atención, logrando mejorar las condiciones de salud de la población. Uno de los principales retos de la gestión de programas de atención en salud, se encuentra en definir los aspectos donde intervenir para potenciar la eficacia y la calidad en la prestación del servicio, por lo que dichos aspectos se constituyen como determinantes de la atención del paciente y su familia. En este documento se abordan los principales determinantes en la atención de personas con secuelas de Enfermedad cerebrovascular, que reciben manejo medico domiciliario, con el objetivo de identificar las áreas prioritarias de intervención, garantizando una mejor gestión clínica en tres áreas específicas: sobrecarga del cuidador, Polimedicación y ulceras por decúbito.
Resumo:
La situació problemàtica de la qual partim en aquesta tesi és la constatació de l'existència d'unes dinàmiques escolars negatives -expressades amb males notes reiterades- difícils de modificar, que determinats infants inicien i desenvolupen al llarg de la seva escolarització i que els condueix a una situació de fracàs escolar. Les males notes són el senyal que alerta pares i educadors de la presència de problemes escolars en els alumnes i constitueixen la causa explícita que motiva la cerca de solucions. Sovint es busquen solucions fora de l'escola, la qual cosa suggereix que, malgrat els esforços realitzats, l'escola i el sistema educatiu han tingut dificultats per a ajudar els infants a millorar globalment els seus resultats escolars. D'una banda, l'escola troba dificultats per a identificar el mes aviat possible quins infants seran mes susceptibles de desenvolupar unes dinàmiques escolars negatives que els puguin conduir a una situació de fracàs escolar. D'altra banda, també hi ha dificultats per trobar i aplicar estratègies preventives d'intervenció educativa a l'aula, que resultin adequades per a prevenir el desenvolupament de dinàmiques escolars negatives en alguns infants. Partint de la situació problemàtica descrita, la finalitat de la tesi es obtenir informació teòrica , empírica sobre algunes variables que puguin resultar rellevants per a articular, des de l'aula escolar, intervencions educatives destinades a prevenir el desenvolupament de les dinàmiques escolars negatives. Des de la perspectiva de la prevenció, la rellevància de les variables hauria d'establir-se en funció de la seva utilitat per a: A) Identificar des de l'aula escolar situacions de més perill -de més risc- de desenvolupar aquestes dinàmiques negatives i, consegüentment, arribar a la situació de fracàs escolar . Això implica, per tant, que les variables han de permetre la identificació abans que la situació de fracàs escolar es produeixi . B) Intervenir educativament des de l'escola; per tant, cal que siguin variables sobre les quals l'escola pugui incidir. La modificabilitat de les variables ha de permetre que es puguin emprendre accions educatives, des de la mateixa aula escolar. Variables que resultin suficientment importants de cara a disminuir el perill o evitar el desenvolupament de dinàmiques negatives. Es a dir, que la seva modificació contribueixi a evitar que els infants arribin a la situació de fracàs escolar. Per assolir aquesta finalitat es realitzen un segut de passes en funció de les quals s'ha estructurat la tesi en dues parts: Un marc teòric i un estudi de casos. EI Marc teòric té dos objectius: 1. Definir la situació problemàtica. En el capítol primer del marc teòric de la tesi, s'exposen les dimensions d'aquesta situació problemàtica. La revisió bibliogràfica entorn del tema del fracàs escolar ens ajuda a emmarcar la qüestió de les dinàmiques escolars en el fenomen complex del fracàs i l'èxit escolar, i del rendiment. Aquestes aportacions teòriques juntament amb les aportacions de la recerca educativa en relació a l'estabilitat del rendiment al llarg dels cursos són la base per a definir la situació problemàtica. 2. Delimitar, des d'un punt de vista teòric, algunes variables rellevants per a la prevenció del desenvolupament de dinàmiques escolars negatives, conduents a la situació de fracàs escolar. La primera passa per a dur a terme aquesta delimitació teòrica, que es presenta al segon capítol, ha estat revisar les aportacions de les investigacions sobre variables que incideixen en el rendiment escolar, les quals s'han analitzat en funció de la seva rellevància per a la prevenció. Aquesta revisió ha permès constatar un seguit de problemes de caire terminològic, metodològic i sobre la repercussió d'aquesta recerca en la practica educativa que afecten directament la utilitat de les aportacions d'aquestes investigacions de cara a identificar variables rellevants per a la prevenció. De l'anàlisi dels resultats d'aquestes recerques es desprèn que: a) Hi ha moltes variables associades al rendiment escolar, algunes difícilment modificables mitjançant la intervenció educativa escolar. b) EI fet que una variable estigui associada al rendiment no implica que sigui rellevant per a la prevenció c) S'obté poca informació sobre variables que contribueixin a disminuir la probabilitat de fracàs escolar. En base a aquests resultats es constata que cal buscar una perspectiva d'anàlisi de les variables mes adequades a l'enfocament preventiu, perspectiva que ha d'orientar-se a l'estudi del risc de fracàs escolar. La segona passa que es duu a terme per arribar a una delimitació teòrica de les variables rellevants es l'estudi del concepte de risc i d'altres conceptes relacionats: signe de risc, marcador de risc, factor de risc, factor protector, població en risc, infant en situació de risc, així com la revisió d'estudis i recerques que s'han plantejat en aquesta línia. Aquest treball ha permès: a) Clarificar aquests conceptes i aplicar-los en l'àmbit educatiu, en referència al problema del fracàs escolar, estructurant un marc teòric en funció del qual plantejar una anàlisi de les variables associades al rendiment escolar. b) Concretar un model per a l'anàlisi, des de l'aula escolar, de les variables que incideixen en el risc de fracàs escolar. Aquest model, que es situa en la perspectiva de l'aula escolar i que pren en consideració el paper actiu que els estudiants tenen respecte al seu aprenentatge, consta de tres components: unes variables, les seves relacions i la funció que exerceixen en relació al risc de fracàs escolar. La conclusió a la qual s'arriba es que, des d'un punt de vista teòric, una variable serà rellevant per a articular intervencions educatives preventives des de l'escola si constitueix o bé un factor de risc, o be un factor protector o compensador del risc. La delimitació empírica de variables rellevants per a la prevenció del fracàs escolar -que constitueix l'objectiu de la segona part de la tesi- es duu a terme mitjançant un estudi de casos que es deriva del plantejament teòric elaborat. L'objectiu d'aquest estudi es identificar variables que han pogut constituir factors protectors en joves que es troben en situació de risc per circumstàncies sociofamiliars. Se seleccionen tres noies i dos nois que, malgrat trobar-se en situació de risc, han assolit un cert nivell d'èxit escolar. Basant-nos en el model s'ha recollit informació sobre característiques actitudinals dels estudiants, del seu procés d'autoaprenentatge i de l'ambient d'aprenentatge. S'utilitza un disseny qualitatiu d'estudi de casos, utilitzant entrevistes amb profunditat per a recollir informació, la qual s'analitza mitjançant tècniques d'anàlisi de continguts. L'estudi de cada un dels cinc casos i la seva posterior comparació ha permès identificar algunes variables que poden haver constituït factors protectors del risc de fracàs escolar. Entre elles podem citar 1. La consciència de la pròpia situació complexa i desfavorable que han viscut o estan vivint. 2. Tenir un projecte vital a mig o llarg termini, en el qual els estudis són concebuts com a una via per assolir-lo. 3. Ser autoresponsables dels aprenentatges. 4. Haver identificat models a seguir en altres persones. Del treball realitzat tant des d'una perspectiva teòrica com empírica i les conclusions a les quals s'ha arribat se'n desprenen implicacions per a la practica educativa, per a la recerca i per a la formació professional dels educadors i educadores socials. Pel que fa a les implicacions per a la practica educativa, es proposa el model com a base per a la identificació de situacions de risc i per al disseny d'intervencions educatives amb l'objectiu de prevenir el fracàs escolar. En aquest sentit, i en funció dels resultats obtinguts a l'estudi de casos, es proposen unes línies d'intervenció preventiva en casos de risc similars als que han estat objecte d'estudi, línies que poden prendre en consideració tant els/les mestres com els educadors/es. Pel que fa a les implicacions per a la investigació educativa, es deriven quatre línies de recerca: investigació sobre factors de risc, investigació sobre factors protectors, investigació sobre el potencial preventiu d'intervencions educatives dissenyades en base a factors de risc i factors protectors, l'investigació sobre com potenciar des de diferents àmbits (escola i vida quotidiana) els fadors protectors. Quant a les implicacions per a la formació professional dels educadors/es socials, els resultats de l'estudi de casos com a possibles aspectes a treballar per part dels educadors/es impliquen un treball en el qual aquests professionals han d'haver rebut formació sobre: 1. La relació educativa com a recurs per a la intervenció educativa professional. 2. La necessitat d'un treball coordinat interdisciplinari com a estratègia de treball professional. 3. EI coneixement de programes coherents i estratègies d'intervenció sobre factors protectors. 4. L'elaboració de programes educatius, de manera que els educadors/es puguin adaptar les intervencions a les necessitats educatives dels subjectes. 5. La intervenció educativa en famílies.