901 resultados para Formal Methods. Component-Based Development. Competition. Model Checking
Resumo:
This article considers the place of qualitative research in psychoanalysis and child psychotherapy. It discusses why research methodology for many years occupied so small a place in these fields, and examines the cultural and social developments since the 1960s which have changed this situation, giving formal methods of research much greater significance. It reflects on the different pressures to develop formal research methods which arise both from outside the psychoanalytic field, as a condition of its continued professional survival, and from within it, where its main aim is the development of fundamental psychoanalytic knowledge, It suggests that the conduct of mainly quantitative research into treatment outcomes is largely a response to these external pressures, whilst the main benefits to be gained from the development of qualitative research methods, such as Grounded Theory, are in facilitating the knowledge-generating capacities and achievements of child psychotherapists themselves. The paper describes Grounded Theory methods, and explains how they can be valuable in the recognition of hitherto unrecognised meanings and patterns as these are made visible in clinical practice. Finally, it briefly describes five different examples of completed doctoral studies, all of which have added significantly to the knowledge-base of child psychotherapy, and which demonstrate how much can be accomplished using this method of research.
Resumo:
Thesis (Master's)--University of Washington, 2016-08
Resumo:
The analysis of steel and composite frames has traditionally been carried out by idealizing beam-to-column connections as either rigid or pinned. Although some advanced analysis methods have been proposed to account for semi-rigid connections, the performance of these methods strongly depends on the proper modeling of connection behavior. The primary challenge of modeling beam-to-column connections is their inelastic response and continuously varying stiffness, strength, and ductility. In this dissertation, two distinct approaches—mathematical models and informational models—are proposed to account for the complex hysteretic behavior of beam-to-column connections. The performance of the two approaches is examined and is then followed by a discussion of their merits and deficiencies. To capitalize on the merits of both mathematical and informational representations, a new approach, a hybrid modeling framework, is developed and demonstrated through modeling beam-to-column connections. Component-based modeling is a compromise spanning two extremes in the field of mathematical modeling: simplified global models and finite element models. In the component-based modeling of angle connections, the five critical components of excessive deformation are identified. Constitutive relationships of angles, column panel zones, and contact between angles and column flanges, are derived by using only material and geometric properties and theoretical mechanics considerations. Those of slip and bolt hole ovalization are simplified by empirically-suggested mathematical representation and expert opinions. A mathematical model is then assembled as a macro-element by combining rigid bars and springs that represent the constitutive relationship of components. Lastly, the moment-rotation curves of the mathematical models are compared with those of experimental tests. In the case of a top-and-seat angle connection with double web angles, a pinched hysteretic response is predicted quite well by complete mechanical models, which take advantage of only material and geometric properties. On the other hand, to exhibit the highly pinched behavior of a top-and-seat angle connection without web angles, a mathematical model requires components of slip and bolt hole ovalization, which are more amenable to informational modeling. An alternative method is informational modeling, which constitutes a fundamental shift from mathematical equations to data that contain the required information about underlying mechanics. The information is extracted from observed data and stored in neural networks. Two different training data sets, analytically-generated and experimental data, are tested to examine the performance of informational models. Both informational models show acceptable agreement with the moment-rotation curves of the experiments. Adding a degradation parameter improves the informational models when modeling highly pinched hysteretic behavior. However, informational models cannot represent the contribution of individual components and therefore do not provide an insight into the underlying mechanics of components. In this study, a new hybrid modeling framework is proposed. In the hybrid framework, a conventional mathematical model is complemented by the informational methods. The basic premise of the proposed hybrid methodology is that not all features of system response are amenable to mathematical modeling, hence considering informational alternatives. This may be because (i) the underlying theory is not available or not sufficiently developed, or (ii) the existing theory is too complex and therefore not suitable for modeling within building frame analysis. The role of informational methods is to model aspects that the mathematical model leaves out. Autoprogressive algorithm and self-learning simulation extract the missing aspects from a system response. In a hybrid framework, experimental data is an integral part of modeling, rather than being used strictly for validation processes. The potential of the hybrid methodology is illustrated through modeling complex hysteretic behavior of beam-to-column connections. Mechanics-based components of deformation such as angles, flange-plates, and column panel zone, are idealized to a mathematical model by using a complete mechanical approach. Although the mathematical model represents envelope curves in terms of initial stiffness and yielding strength, it is not capable of capturing the pinching effects. Pinching is caused mainly by separation between angles and column flanges as well as slip between angles/flange-plates and beam flanges. These components of deformation are suitable for informational modeling. Finally, the moment-rotation curves of the hybrid models are validated with those of the experimental tests. The comparison shows that the hybrid models are capable of representing the highly pinched hysteretic behavior of beam-to-column connections. In addition, the developed hybrid model is successfully used to predict the behavior of a newly-designed connection.
Resumo:
Introduction Prediction of soft tissue changes following orthognathic surgery has been frequently attempted in the past decades. It has gradually progressed from the classic “cut and paste” of photographs to the computer assisted 2D surgical prediction planning; and finally, comprehensive 3D surgical planning was introduced to help surgeons and patients to decide on the magnitude and direction of surgical movements as well as the type of surgery to be considered for the correction of facial dysmorphology. A wealth of experience was gained and numerous published literature is available which has augmented the knowledge of facial soft tissue behaviour and helped to improve the ability to closely simulate facial changes following orthognathic surgery. This was particularly noticed following the introduction of the three dimensional imaging into the medical research and clinical applications. Several approaches have been considered to mathematically predict soft tissue changes in three dimensions, following orthognathic surgery. The most common are the Finite element model and Mass tensor Model. These were developed into software packages which are currently used in clinical practice. In general, these methods produce an acceptable level of prediction accuracy of soft tissue changes following orthognathic surgery. Studies, however, have shown a limited prediction accuracy at specific regions of the face, in particular the areas around the lips. Aims The aim of this project is to conduct a comprehensive assessment of hard and soft tissue changes following orthognathic surgery and introduce a new method for prediction of facial soft tissue changes. Methodology The study was carried out on the pre- and post-operative CBCT images of 100 patients who received their orthognathic surgery treatment at Glasgow dental hospital and school, Glasgow, UK. Three groups of patients were included in the analysis; patients who underwent Le Fort I maxillary advancement surgery; bilateral sagittal split mandibular advancement surgery or bimaxillary advancement surgery. A generic facial mesh was used to standardise the information obtained from individual patient’s facial image and Principal component analysis (PCA) was applied to interpolate the correlations between the skeletal surgical displacement and the resultant soft tissue changes. The identified relationship between hard tissue and soft tissue was then applied on a new set of preoperative 3D facial images and the predicted results were compared to the actual surgical changes measured from their post-operative 3D facial images. A set of validation studies was conducted. To include: • Comparison between voxel based registration and surface registration to analyse changes following orthognathic surgery. The results showed there was no statistically significant difference between the two methods. Voxel based registration, however, showed more reliability as it preserved the link between the soft tissue and skeletal structures of the face during the image registration process. Accordingly, voxel based registration was the method of choice for superimposition of the pre- and post-operative images. The result of this study was published in a refereed journal. • Direct DICOM slice landmarking; a novel technique to quantify the direction and magnitude of skeletal surgical movements. This method represents a new approach to quantify maxillary and mandibular surgical displacement in three dimensions. The technique includes measuring the distance of corresponding landmarks digitized directly on DICOM image slices in relation to three dimensional reference planes. The accuracy of the measurements was assessed against a set of “gold standard” measurements extracted from simulated model surgery. The results confirmed the accuracy of the method within 0.34mm. Therefore, the method was applied in this study. The results of this validation were published in a peer refereed journal. • The use of a generic mesh to assess soft tissue changes using stereophotogrammetry. The generic facial mesh played a major role in the soft tissue dense correspondence analysis. The conformed generic mesh represented the geometrical information of the individual’s facial mesh on which it was conformed (elastically deformed). Therefore, the accuracy of generic mesh conformation is essential to guarantee an accurate replica of the individual facial characteristics. The results showed an acceptable overall mean error of the conformation of generic mesh 1 mm. The results of this study were accepted for publication in peer refereed scientific journal. Skeletal tissue analysis was performed using the validated “Direct DICOM slices landmarking method” while soft tissue analysis was performed using Dense correspondence analysis. The analysis of soft tissue was novel and produced a comprehensive description of facial changes in response to orthognathic surgery. The results were accepted for publication in a refereed scientific Journal. The main soft tissue changes associated with Le Fort I were advancement at the midface region combined with widening of the paranasal, upper lip and nostrils. Minor changes were noticed at the tip of the nose and oral commissures. The main soft tissue changes associated with mandibular advancement surgery were advancement and downward displacement of the chin and lower lip regions, limited widening of the lower lip and slight reversion of the lower lip vermilion combined with minimal backward displacement of the upper lip were recorded. Minimal changes were observed on the oral commissures. The main soft tissue changes associated with bimaxillary advancement surgery were generalized advancement of the middle and lower thirds of the face combined with widening of the paranasal, upper lip and nostrils regions. In Le Fort I cases, the correlation between the changes of the facial soft tissue and the skeletal surgical movements was assessed using PCA. A statistical method known as ’Leave one out cross validation’ was applied on the 30 cases which had Le Fort I osteotomy surgical procedure to effectively utilize the data for the prediction algorithm. The prediction accuracy of soft tissue changes showed a mean error ranging between (0.0006mm±0.582) at the nose region to (-0.0316mm±2.1996) at the various facial regions.
Resumo:
The research work is devoted to actual problems of development management of industrial enterprises. The general purpose of this work is the choice and justification of rational enterprise development evaluation model and subsequent application of it for assessment of enterprise development level and also forming of recommendations for enterprise management. Theoretical aspects of development management of enterprises were generalized. The approaches to understanding the essence of development enterprise category and its types were considered. It was investigated the evaluation models of enterprise development, their advantages and disadvantages and the difficulties of their implementation. The requirements for formation of the evaluation system of the enterprise development were summarized. It was determined the features of the formation and application of an Index of Enterprise Development. In the empirical part, data about investigated enterprises was collected from their official websites and also complemented with further data from other statistical websites. The analysis was based on the annual financial statements of companies. To assess the level of enterprise development were chosen model proposed by Feshchur and Samulyak (2010). This model involves the calculation of the Index of Enterprise Development using partial indicators, their reference values and weight. It was conducted an analysis of the development of Ukrainian enterprises that produce sauces. OJSC “LZHK” had the highest value of Index of Enterprise Development, in 2013 and 2015, that consisted 0,78 and 0,76 respectively. In 2014 the highest value for the Index belonged to PJSC “Volynholdinh” and amounted 0,74. OJSC “LZHK” had the highest average value of Index of Enterprise Development by the result of 2013-2015 years, and it consisted 0,70. PJSC “Chumak” had the lowest average value of Index of Enterprise Development obtained the result 0,59. In order to raise the enterprise development level, it was suggested to reduce production costs and staff turnover, increase the involvement of employees.
Resumo:
In this paper, we investigate output accuracy for a Discrete Event Simulation (DES) model and Agent Based Simulation (ABS) model. The purpose of this investigation is to find out which of these simulation techniques is the best one for modelling human reactive behaviour in the retail sector. In order to study the output accuracy in both models, we have carried out a validation experiment in which we compared the results from our simulation models to the performance of a real system. Our experiment was carried out using a large UK department store as a case study. We had to determine an efficient implementation of management policy in the store’s fitting room using DES and ABS. Overall, we have found that both simulation models were a good representation of the real system when modelling human reactive behaviour.
Resumo:
Traditional engineering design methods are based on Simon's (1969) use of the concept function, and as such collectively suffer from both theoretical and practical shortcomings. Researchers in the field of affordance-based design have borrowed from ecological psychology in an attempt to address the blind spots of function-based design, developing alternative ontologies and design processes. This dissertation presents function and affordance theory as both compatible and complimentary. We first present a hybrid approach to design for technology change, followed by a reconciliation and integration of function and affordance ontologies for use in design. We explore the integration of a standard function-based design method with an affordance-based design method, and demonstrate how affordance theory can guide the early application of function-based design. Finally, we discuss the practical and philosophical ramifications of embracing affordance theory's roots in ecology and ecological psychology, and explore the insights and opportunities made possible by an ecological approach to engineering design. The primary contribution of this research is the development of an integrated ontology for describing and designing technological systems using both function- and affordance-based methods.
Resumo:
Cork, as a natural product provided by the bark of the cork oak tree, is an important staple of the Portuguese economy and important to Portuguese culture. It is a sustainable product with a positive ecological footprint, from harvesting to industrial production, with the advantage of creating a local economic model through regional labour activity and distribution. Within the balance between nature-human-economy to create a sustainable system, cork production in Portugal represents a human and social dimension. By focusing on that dimension and by creating an awareness of the cultural and social impact of the activity and by re-appraising the meaning of the material within the culture, the study reframes a consideration of the actual place of labour and production. The human, geophysical, historical, social, economic, ecological and cultural aspects of the place are observed as regards their relation to work or labour in that physical space. A pilot study is being developed in the village of Azaruja in the district of Évora, Portugal. In this small locality, cork is very important in terms of the relationships between the physical subsistence of their residents and the local natural resources, because it structures the place in its cultural, social and economical dimensions. This paper outlines the theoretical foundations, the process and the outcomes of the participatory ecodesign project titled Creative Practices Around the Production of Cork which was initiated by a Portuguese artist/design researcher and developed further through the collaboration with the other two authors, one a Portuguese visual artist/researcher and the other a Turkish fashion designer/theorist. The investigation focuses on questions that expand the notion of place for artists and designers, filtered through the lenses of manual labourers in order to understand their physical, social, cultural and economic relationship with the environment. To create the process of interaction with the place and the people, a creative collaborative dynamic is developed between the authors with their range of artistic sensibilities and the local population. To adopt a holistic notion of sustainability and cultural identity a process of investigation is designated to: (1) analyse, test and interpret - through the dissemination of life stories, visual representation of the place and the creation of cork objects - the importance of culture related to the labour activity of a local natural resource that determines and structures the region; (2) to give public recognition to those involved, taking into account their sense of belonging to the place and in order to show the value of their sustainable labour activities related to local natural resources; (3) to contribute to the knowledge of the place and to its dynamism through an aesthetic approach to labour activities. With reference to fields of knowledge such as anthropology, the social arts and sustainable design, a practice-based research is conducted with collaborative and participatory design methods to create an open model of interaction which involves local people in the realization of the project. Outcomes of this research will be presented in the paper as a survey analysis with theoretical conclusions.
Resumo:
OBJECTIVE: The aim of this study was to evaluate the capacity of potassium oxalate, fluoride gel and two kinds of propolis gel to reduce the hydraulic conductance of dentin, in vitro. MATERIAL AND METHODS: The methodology used for the measurement of hydraulic conductance of dentin in the present study was based on a model proposed in literature. Thirty-six 1-mm-thick dentin discs, obtained from extracted human third molars were divided into 4 groups (n=9). The groups corresponded to the following experimental materials: GI-10% propolis gel, pH 4.1; GII-30% propolis gel; GIII-3% potassium oxalate gel, pH 4,1; and GIV-1.23% fluoride gel, pH 4.1, applied to the dentin under the following surface conditions: after 37% phosphoric acid and before 6% citric acid application. The occluding capacity of the dentin tubules was evaluated using scanning electron microscopy (SEM) at ×500, ×1,000 and ×2,000 magnifications. Data were analyzed statistically by two-way ANOVA and Tukey's test at 5% significance level. RESULTS: Groups I, II, III, IV did not differ significantly from the others in any conditions by reducing in hydraulic conductance. The active agents reduced dentin permeability; however they produced the smallest reduction in hydraulic conductance when compared to the presence of smear layer (P<0.05). The effectiveness in reducing dentin permeability did not differ significantly from 10% or 30% propolis gels. SEM micrographs revealed that dentin tubules were partially occluded after treatment with propolis. CONCLUSIONS: Under the conditions of this study, the application of 10% and 30% propolis gels did not seem to reduce the hydraulic conductance of dentin in vitro, but it showed capacity of partially obliterating the dentin tubules. Propolis is used in the treatment of different oral problems without causing significant great collateral effects, and can be a good option in the treatment of patients with dentin sensitivity.
Resumo:
OBJETIVO: Analisar prevalências de inatividade física e fatores associados, e exercícios e esportes praticados segundo escolaridade em 2.050 adultos de 18 a 59 anos de idade - Estado de São Paulo, Brasil. MÉTODOS: Estudo transversal de base populacional com amostra estratificada e em múltiplos estágios. A inatividade física global foi aferida pelo International Physical Activity questionary - IPAQ short version, e por questão sobre prática regular de atividade física no lazer. A análise dos dados levou em conta o desenho amostral. RESULTADOS: A prevalência de inatividade física no lazer foi maior entre as mulheres. Já a inatividade física pelo IPAQ foi maior entre os homens. Modelos de regressão múltipla de Poisson indicaram, nos homens, menor inatividade física pelo IPAQ nos solteiros e separados, estudantes e aqueles que não possuíam carro. A inatividade física no lazer foi maior nos homens acima de 40 anos e com menor escolaridade ou apenas estudantes. A inatividade física pelo IPAQ, nas mulheres, foi mais prevalente entre as com maior escolaridade, ocupações menos qualificadas e viúvas; a inatividade física no lazer diminuiu com o aumento da idade e da escolaridade. Entre as modalidades praticadas no lazer, a caminhada foi a mais prevalente nas mulheres e o futebol nos homens. A maioria das modalidades foi diretamente associada à escolaridade; aproximadamente 25% dos indivíduos com mais de 12 anos de estudo praticava caminhada. CONCLUSÕES: Estes resultados sugerem que intervenções e políticas públicas de promoção da atividade física devem considerar diferenças socioeconômicas, de gênero, bem como as modalidades e o contexto em que a atividade física é praticadA
Resumo:
Context. Tight binaries discovered in young, nearby associations are ideal targets for providing dynamical mass measurements to test the physics of evolutionary models at young ages and very low masses. Aims. We report the binarity of TWA22 for the first time. We aim at monitoring the orbit of this young and tight system to determine its total dynamical mass using an accurate distance determination. We also intend to characterize the physical properties (luminosity, effective temperature, and surface gravity) of each component based on near-infrared photometric and spectroscopic observations. Methods. We used the adaptive-optics assisted imager NACO to resolve the components, to monitor the complete orbit and to obtain the relative near-infrared photometry of TWA22 AB. The adaptive-optics assisted integral field spectrometer SINFONI was also used to obtain medium-resolution (R(lambda) = 1500-2000) spectra in JHK bands. Comparison with empirical and synthetic librairies were necessary for deriving the spectral type, the effective temperature, and the surface gravity for each component of the system. Results. Based on an accurate trigonometric distance (17.5 +/- 0.2 pc) determination, we infer a total dynamical mass of 220 +/- 21 M(Jup) for the system. From the complete set of spectra, we find an effective temperature T(eff) = 2900(-200)(+200) K for TWA22A and T(eff) = 2900(-100)(+200) for TWA22 B and surface gravities between 4.0 and 5.5 dex. From our photometry and an M6 +/- 1 spectral type for both components, we find luminosities of log(L/L(circle dot)) = -2.11 +/- 0.13 dex and log(L/L(circle dot)) = -2.30 +/- 0.16 dex for TWA22 A and B, respectively. By comparing these parameters with evolutionary models, we question the age and the multiplicity of this system. We also discuss a possible underestimation of the mass predicted by evolutionary models for young stars close to the substellar boundary.
Resumo:
The aim of this article is to present the main contributions of human resource management to develop sustainable organizations. The relationship between human resources and organizational sustainability, which is based on economical, social and environmental performance, involves some important aspects concerning management such as innovation, cultural diversity and the environment. The integration of items from the triple bottom line approach leads to developing a model based on a strategic and central posture of human resource management. Based on this model, propositions and recommendations for future research on this theme are presented.
Resumo:
The applicability of a meshfree approximation method, namely the EFG method, on fully geometrically exact analysis of plates is investigated. Based on a unified nonlinear theory of plates, which allows for arbitrarily large rotations and displacements, a Galerkin approximation via MLS functions is settled. A hybrid method of analysis is proposed, where the solution is obtained by the independent approximation of the generalized internal displacement fields and the generalized boundary tractions. A consistent linearization procedure is performed, resulting in a semi-definite generalized tangent stiffness matrix which, for hyperelastic materials and conservative loadings, is always symmetric (even for configurations far from the generalized equilibrium trajectory). Besides the total Lagrangian formulation, an updated version is also presented, which enables the treatment of rotations beyond the parameterization limit. An extension of the arc-length method that includes the generalized domain displacement fields, the generalized boundary tractions and the load parameter in the constraint equation of the hyper-ellipsis is proposed to solve the resulting nonlinear problem. Extending the hybrid-displacement formulation, a multi-region decomposition is proposed to handle complex geometries. A criterium for the classification of the equilibrium`s stability, based on the Bordered-Hessian matrix analysis, is suggested. Several numerical examples are presented, illustrating the effectiveness of the method. Differently from the standard finite element methods (FEM), the resulting solutions are (arbitrary) smooth generalized displacement and stress fields. (c) 2007 Elsevier Ltd. All rights reserved.
Resumo:
Petri net (PN) modeling is one of the most used formal methods in the automation applications field, together with programmable logic controllers (PLCs). Therefore, the creation of a modeling methodology for PNs compatible with the IEC61131 standard is a necessity of automation specialists. Different works dealing with this subject have been carried out; they are presented in the first part of this paper [Frey (2000a, 2000b); Peng and Zhou (IEEE Trans Syst Man Cybern, Part C Appl Rev 34(4):523-531, 2004); Uzam and Jones (Int J Adv Manuf Technol 14(10):716-728, 1998)], but they do not present a completely compatible methodology with this standard. At the same time, they do not maintain the simplicity required for such applications, nor the use of all-graphical and all-mathematical ordinary Petri net (OPN) tools to facilitate model verification and validation. The proposal presented here completes these requirements. Educational applications at the USP and UEA (Brazil) and the UO (Cuba), as well as industrial applications in Brazil and Cuba, have already been carried out with good results.
Resumo:
We address here aspects of the implementation of a memory evolutive system (MES), based on the model proposed by A. Ehresmann and J. Vanbremeersch (2007), by means of a simulated network of spiking neurons with time dependent plasticity. We point out the advantages and challenges of applying category theory for the representation of cognition, by using the MES architecture. Then we discuss the issues concerning the minimum requirements that an artificial neural network (ANN) should fulfill in order that it would be capable of expressing the categories and mappings between them, underlying the MES. We conclude that a pulsed ANN based on Izhikevich`s formal neuron with STDP (spike time-dependent plasticity) has sufficient dynamical properties to achieve these requirements, provided it can cope with the topological requirements. Finally, we present some perspectives of future research concerning the proposed ANN topology.