56 resultados para Métodos formais. Desenvolvimento baseado em componentes. Concorrência. Verificação de modelos
Resumo:
The objective of the researches in artificial intelligence is to qualify the computer to execute functions that are performed by humans using knowledge and reasoning. This work was developed in the area of machine learning, that it s the study branch of artificial intelligence, being related to the project and development of algorithms and techniques capable to allow the computational learning. The objective of this work is analyzing a feature selection method for ensemble systems. The proposed method is inserted into the filter approach of feature selection method, it s using the variance and Spearman correlation to rank the feature and using the reward and punishment strategies to measure the feature importance for the identification of the classes. For each ensemble, several different configuration were used, which varied from hybrid (homogeneous) to non-hybrid (heterogeneous) structures of ensemble. They were submitted to five combining methods (voting, sum, sum weight, multiLayer Perceptron and naïve Bayes) which were applied in six distinct database (real and artificial). The classifiers applied during the experiments were k- nearest neighbor, multiLayer Perceptron, naïve Bayes and decision tree. Finally, the performance of ensemble was analyzed comparatively, using none feature selection method, using a filter approach (original) feature selection method and the proposed method. To do this comparison, a statistical test was applied, which demonstrate that there was a significant improvement in the precision of the ensembles
Resumo:
This study is the analysis of cultural, political and organizational interfaces of "Caminhos do Frio Rota Cultural" Project in the context of tourism regionalization in Brejo Paraibano and it presents the characterization, routing and inventory of six municipalities of the Project, as well as the identification of cultural elements used for tourist in the routing of the pond, the investigation of political and organizational articulation and the verification of participation of each producing agent in the development of tourism resulting from the swamp of Paraiba. This is a qualitative descriptive and exploratory study, which makes use of the interpretive paradigm to perform an analysis of the environment where occurs the regionalization of tourism in Brejo of Paraíba and the social actors involved in this process in order to pursue development of the region through culture and tourism, with the collection spot in the six counties of the Project participants collected through interviews with managers, community, government agencies and tourist trade, and the use of the technique of direct observation. This time, with the data analysis it was possible to establish the production situation and its cultural and tourist development in the region of Brejo (PB), where culture has become a developmental tool within the tourism industry due to its innovation potential. It was possible to ratify the undisputed vocation of cultural tourism in the region in question, since other projects being developed with the use of cultural resources with a strong influence on the policies of regional tourism. Thus, the main result was that was seen is that the regional development has triggered a refunctionalisation / reappropriation of space just rebuilding a new territorial organization through the development of a regional autonomy of management, a capacity of collective ownership and the use of economic surplus, a spontaneous process of social inclusion as well as awareness and mobilization tourist (even if initial and shy), an appreciation of natural and cultural assets for all stakeholders and especially identification of the population with its region and its culture, as to achieve regional development is not enough to increase the economic, but above all the promotion of endogenous social factors such as changes in social and cultural values and the integration of social actors in this process. Finally, taking into account the definitions of sustainability, it is considered that cannot be said that the development model seen in the swamp of Paraiba is sustainable, but it is a model of regional development based on the unique characteristics that each municipality has and create a regional identity and have correponded expectations / desired results and therefore the viability of the region through the development of cultural tourism was proven
Resumo:
The trioxsalen (Tri) is a low-dose drug used in the treatment of psoriasis and other skin diseases. The aim of the study was applying the thermal analysis and complementary techniques for characterization, evaluation of the trioxsalen stability and components of manipulated pharmaceutical formulations. The thermal behavior of the Tri by TG/DTG-DTA in dynamic atmosphere of synthetic air and nitrogen showed the same profile with a melting peak followed by a volatilization-related event. From the curves TG / DTG is observed a single stage of mass loss. By heating the drug in the stove at temperatures of 80, 240 and 260 °C, it had no change in chemical structure through the techniques of XRD, HPLC, MIR, OM and SEM. From the non-isothermal and isothermal TG kinetic studies was possible to calculate the activation energy and reaction order for the Tri. The drug showed good thermal stability. Studies on drug-excipient compatibility showed interaction of trissoralen with sodium lauryl sulfate 1:1. There was no interaction with aerosol, pregelatinized starch, sodium starch glycolate, cellulose, croscarmellose sodium, magnesium stearate, lactose and mannitol.The characterization of three trioxsalen formulations at concentrations of 2.5, 5, 7.5, 10, 12.5 and 15 mg was performed by DSC, TG / DTG, XRD, NIR and MIR. The PCA classification method based on spectral data from the NIR and MIR of trissoralen formulations allows successful differentiation into three groups. The formulation 3 was the one that best showed analytical profile with the following composition of aerosil excipients, pre-gelatinized starch and cellulose. The activation energy of the volatilization process of the drug was determined in binary mixtures and formulation 3 through fitting and isoconversional methods. The binary mixture with sodium starch glycolate and lactose showed differences in kinetic parameters compared to the drug isolated. The thermoanalytical techniques (DSC and TG / DTG) were shown to be promising methodologies for quantifying trioxsalen obtained by the linearity, selectivity, no use solvents, without sample preparation, speed and practicality.
Resumo:
Instrumentation is a tool of fundamental importance for research in several areas of human knowledge. Research projects are often unfeasible when data cannot be obtained due to lack of instruments, especially due to impor ting difficulties and the high costs there associated. Thus, in order to collaborate with the enhancement of a national technology, a multiband hand - held sun p hotometer (FSM - 4) was developed to operate in the 500 nm, 670 nm, 870 nm and 940 nm bands. In the 500 nm, 670 nm and 870 nm bands aerosols are monitored for evaluation of the AOD (Aerosol Optical Depth), and the PWC (Precipitable Water Column) is evaluated in the 940 nm band. For the development of the mech anical and electronic parts for the FSM - 4, th e materials and componen ts should combine low cost and quality of the data collected. The calibration process utilized the Langley method (ML) and Modified Langley Method (MLM). These methods are usually applied at high altitudes in order to provide atmosp heric optical stability. This condition however can be found in low height sites as shown in the research by Liu et al. (2010). Thus, for calibration of the FSM - 4, we investigated the atmospher ic optical stability utilizing the ML and MLM at a site in the cit y of Caicó / RN, located in the s emiarid region in northeastern Brazil. This site lies in a region far aw ay from large urban centers and activities generating anthropogenic atmospheric pollution. Data for calibration of the prototype were collected usin g the FSM - 4 in two separate operations during the dry season, one in December 2012 and another in September 2013. The methodologies showed optical atmospheric instability in the studied region through the dispersion of the values obtained for the calibrati on constant. This dispersion is affected by the variability of AOD and PWC during the appl ication of the above mentioned methods . As an alternative to the descr ibed sun photometer calibration , a short study was performed using the sun photometer worldwide network AERONET/NASA (AERsol RObotic NETwork – US Space Agency), installed in Petrolina / PE in Brazil. Data were collected for three days utilizing the AERONET instruments and the FSM - 4, operating simultaneously on the same site. By way of the ML and MLM techniques, convergent test values were obtained for the calibration constants, despite the low amount of data collected. This calibration transfer methodology proved to be a viable alternative to the FSM - 4 calibration .
Resumo:
The soil heat flux and soil thermal diffusivity are important components of the surface energy balance, especially in ar id and semi-arid regions. The obj ective of this work was to carry out to estimate the soil heat flux from th e soil temperature measured at a single depth, based on the half-order time derivative met hod proposed by Wang and Bras (1999), and to establish a method capable of es timating the thermal diffusivity of the soil, based on the half order derivative, from the temporal series of soil temperature at two depths. The results obtained in the estimates of soil heat flux were compared with the values of soil heat flux measured through flux plates, and the thermal di ffusivity estimated was compared with the measurements carried out in situ. The results obtained showed excellent concordance between the estimated and measured soil heat flux, with correlation (r), coeffici ent of determination (R 2 ) and standard error (W/m 2 ) of: r = 0.99093, R 2 = 0.98194 and error = 2.56 (W/m 2 ) for estimated period of 10 days; r = 0,99069, R 2 = 0,98147 and error = 2.59 (W/m 2 ) for estimated period of 30 days; and r = 0,98974, R 2 = 0,97958 and error = 2.77 (W/m 2 ) for estimated period of 120 days. The values of thermal di ffusivity estimated by the proposed method showed to be coherent and consis tent with in situ measured va lues, and with the values found in the literature usi ng conventional methods.
Resumo:
The motion capture is a main tool for quantitative motion analyses. Since the XIX century, several motion caption systems have been developed for biomechanics study, animations, games and movies. The biomechanics and kinesiology involves and depends on knowledge from distinct fields, the engineering and health sciences. A precise human motion analysis requires knowledge from both fields. It is necessary then the use of didactics tools and methods for research and teaching for learning aid. The devices for analysis and motion capture currently that are found on the market and on educational institutes presents difficulties for didactical practice, which are the difficulty of transportation, high cost and limited freedom for the user towards the data acquisition. Therefore, the motion analysis is qualitatively performed or is quantitatively performed in highly complex laboratories. Based is these problems, this work presents the development of a motion capture system for didactic use hence a cheap, light, portable and easily used device with a free software. This design includes the selection of the device, the software development for that and tests. The developed system uses the device Kinect, from Microsoft, for its low cost, low weight, portability and easy use, and delivery tree-dimensional data with only one peripheral device. The proposed programs use the hardware to make motion captures, store them, reproduce them, process the motion data and graphically presents the data.
Resumo:
Event-B is a formal method for modeling and verification of discrete transition systems. Event-B development yields proof obligations that must be verified (i.e. proved valid) in order to keep the produced models consistent. Satisfiability Modulo Theory solvers are automated theorem provers used to verify the satisfiability of logic formulas considering a background theory (or combination of theories). SMT solvers not only handle large firstorder formulas, but can also generate models and proofs, as well as identify unsatisfiable subsets of hypotheses (unsat-cores). Tool support for Event-B is provided by the Rodin platform: an extensible Eclipse based IDE that combines modeling and proving features. A SMT plug-in for Rodin has been developed intending to integrate alternative, efficient verification techniques to the platform. We implemented a series of complements to the SMT solver plug-in for Rodin, namely improvements to the user interface for when proof obligations are reported as invalid by the plug-in. Additionally, we modified some of the plug-in features, such as support for proof generation and unsat-core extraction, to comply with the SMT-LIB standard for SMT solvers. We undertook tests using applicable proof obligations to demonstrate the new features. The contributions described can potentially affect productivity in a positive manner.
Resumo:
Wireless Sensor and Actuator Networks (WSAN) are a key component in Ubiquitous Computing Systems and have many applications in different knowledge domains. Programming for such networks is very hard and requires developers to know the available sensor platforms specificities, increasing the learning curve for developing WSAN applications. In this work, an MDA (Model-Driven Architecture) approach for WSAN applications development called ArchWiSeN is proposed. The goal of such approach is to facilitate the development task by providing: (i) A WSAN domain-specific language, (ii) a methodology for WSAN application development; and (iii) an MDA infrastructure composed of several software artifacts (PIM, PSMs and transformations). ArchWiSeN allows the direct contribution of domain experts in the WSAN application development without the need of specialized knowledge on WSAN platforms and, at the same time, allows network experts to manage the application requirements without the need for specific knowledge of the application domain. Furthermore, this approach also aims to enable developers to express and validate functional and non-functional requirements of the application, incorporate services offered by WSAN middleware platforms and promote reuse of the developed software artifacts. In this sense, this Thesis proposes an approach that includes all WSAN development stages for current and emerging scenarios through the proposed MDA infrastructure. An evaluation of the proposal was performed by: (i) a proof of concept encompassing three different scenarios performed with the usage of the MDA infrastructure to describe the WSAN development process using the application engineering process, (ii) a controlled experiment to assess the use of the proposed approach compared to traditional method of WSAN application development, (iii) the analysis of ArchWiSeN support of middleware services to ensure that WSAN applications using such services can achieve their requirements ; and (iv) systematic analysis of ArchWiSeN in terms of desired characteristics for MDA tool when compared with other existing MDA tools for WSAN.
Resumo:
This study aimed to build a virtual learning environment for application of the nursing process based on the NANDA-I, NOC, NIC and ICNP® . Faced with problems related to learning of the nursing process and classifications, there is an urgent need to develop innovative teaching resources that modify the relationship between students and teachers. The methodology was based on the steps inception, development, construction and transition, and the software development process Rational Process Unifield. The team involved in the development of this environment was composed by researchers and students of The Care and Epidemiological Practice in Health and Nursing and Group of the Software Engineering curse of the Federal University Rio Grande do Norte, with the participation of the Lisbon and Porto Schools of Nursing, in Portugal. In the inception stage the inter research communication was in order to define the functions, features and tools for the construction process. In the preparation, step the planning and modeling occurred, which resulted in the creation of a diagram and a architectural drawings that specify the features and functionality of the software. The development, unit testing and integrated in interfaces of the modules and areas (administrator, teacher, student, and construction of the NP). Then the transition step was performed, which showed complete and functioning system, as well as the training and use by researchers with its use in practice. In conclusion, this study allowed for the planning and the construction of an educational technology, and it is expected that its implementation will trigger a substantial change in the learning of the nursing process and classifications, with the student being active agent of the learning process. Later, an assessment will be made of functional performance, which will enable the software development, with a feedback, correction of defects and necessary changes. It is believed that the software increment after the reviews, this tool grow further and help insert this methodology and every language under the educational and health institutions, promoting paradigmatic desired change by nursing.
Resumo:
The Benzylpenicillin (PENG) have been as the active ingredient in veterinary medicinal products, to increase productivity, due to its therapeutic properties. However, one of unfortunate quality and used indiscriminately, resulting in residues in foods exposed to human consumption, especially in milk that is essential to the diet of children and the ageing. Thus, it is indispensable to develop new methods able to detect this waste food, at levels that are toxic to human health, in order to contribute to the food security of consumers and collaborate with regulatory agencies in an efficient inspection. In this work, were developed methods for the quality control of veterinary drugs based on Benzylpenicillin (PENG) that are used in livestock production. Additionally, were validated methodologies for identifying and quantifying the antibiotic residues in milk bovine and caprine. For this, the analytical control was performed two steps. At first, the groups of samples of medicinal products I, II, III, IV and V, individually, were characterized by medium infrared spectroscopy (4000 – 600 cm-1). Besides, 37 samples, distributed in these groups, were analyzed by spectroscopy in the ultraviolet and near infrared region (UV VIS NIR) and Ultra Fast Liquid Chromatograph coupled to linear arrangement photodiodes (UFLC-DAD). The results of the characterization indicated similarities, between PENG and reference standard samples, primarily in regions of 1818 to 1724 cm-1 of ν C=O that shows primary amides features of PENG. The method by UFLC-DAD presented R on 0.9991. LOD of 7.384 × 10-4 μg mL-1. LOQ of 2.049 × 10-3 μg mL-1. The analysis shows that 62.16% the samples presented purity ≥ 81.21%. The method by spectroscopy in the UV VIS NIR presented medium error ≤ 8 – 12% between the reference and experimental criteria, indicating is a secure choice for rapid determination of PENG. In the second stage, was acquiring a method for the extraction and isolation of PENG by the addition of buffer McIlvaine, used for precipitation of proteins total, at pH 4.0. The results showed excellent recovery values PENG, being close to 92.05% of samples of bovine milk (method 1). While samples of milk goats (method 2) the recovery of PENG were 95.83%. The methods for UFLC-DAD have been validated in accordance with the maximum residue limit (LMR) of 4 μg Kg-1 standardized by CAC/GL16. Validation of the method 1 indicated R by 0.9975. LOD of 7.246 × 10-4 μg mL-1. LOQ de 2.196 × 10-3 μg mL-1. The application of the method 1 showed that 12% the samples presented concentration of residues of PENG > LMR. The method 2 indicated R by 0.9995. LOD 8.251 × 10-4 μg mL-1. LOQ de 2.5270 × 10-3 μg mL-1. The application of the method showed that 15% of the samples were above the tolerable. The comparative analysis between the methods pointed better validation for LCP samples, because the reduction of the matrix effect, on this account the tcalculs < ttable, caused by the increase of recovery of the PENG. In this mode, all the operations developed to deliver simplicity, speed, selectivity, reduced analysis time and reagent use and toxic solvents, particularly if compared to the established methodologies.
Resumo:
The Benzylpenicillin (PENG) have been as the active ingredient in veterinary medicinal products, to increase productivity, due to its therapeutic properties. However, one of unfortunate quality and used indiscriminately, resulting in residues in foods exposed to human consumption, especially in milk that is essential to the diet of children and the ageing. Thus, it is indispensable to develop new methods able to detect this waste food, at levels that are toxic to human health, in order to contribute to the food security of consumers and collaborate with regulatory agencies in an efficient inspection. In this work, were developed methods for the quality control of veterinary drugs based on Benzylpenicillin (PENG) that are used in livestock production. Additionally, were validated methodologies for identifying and quantifying the antibiotic residues in milk bovine and caprine. For this, the analytical control was performed two steps. At first, the groups of samples of medicinal products I, II, III, IV and V, individually, were characterized by medium infrared spectroscopy (4000 – 600 cm-1). Besides, 37 samples, distributed in these groups, were analyzed by spectroscopy in the ultraviolet and near infrared region (UV VIS NIR) and Ultra Fast Liquid Chromatograph coupled to linear arrangement photodiodes (UFLC-DAD). The results of the characterization indicated similarities, between PENG and reference standard samples, primarily in regions of 1818 to 1724 cm-1 of ν C=O that shows primary amides features of PENG. The method by UFLC-DAD presented R on 0.9991. LOD of 7.384 × 10-4 μg mL-1. LOQ of 2.049 × 10-3 μg mL-1. The analysis shows that 62.16% the samples presented purity ≥ 81.21%. The method by spectroscopy in the UV VIS NIR presented medium error ≤ 8 – 12% between the reference and experimental criteria, indicating is a secure choice for rapid determination of PENG. In the second stage, was acquiring a method for the extraction and isolation of PENG by the addition of buffer McIlvaine, used for precipitation of proteins total, at pH 4.0. The results showed excellent recovery values PENG, being close to 92.05% of samples of bovine milk (method 1). While samples of milk goats (method 2) the recovery of PENG were 95.83%. The methods for UFLC-DAD have been validated in accordance with the maximum residue limit (LMR) of 4 μg Kg-1 standardized by CAC/GL16. Validation of the method 1 indicated R by 0.9975. LOD of 7.246 × 10-4 μg mL-1. LOQ de 2.196 × 10-3 μg mL-1. The application of the method 1 showed that 12% the samples presented concentration of residues of PENG > LMR. The method 2 indicated R by 0.9995. LOD 8.251 × 10-4 μg mL-1. LOQ de 2.5270 × 10-3 μg mL-1. The application of the method showed that 15% of the samples were above the tolerable. The comparative analysis between the methods pointed better validation for LCP samples, because the reduction of the matrix effect, on this account the tcalculs < ttable, caused by the increase of recovery of the PENG. In this mode, all the operations developed to deliver simplicity, speed, selectivity, reduced analysis time and reagent use and toxic solvents, particularly if compared to the established methodologies.