937 resultados para high-order reasoning


Relevância:

30.00% 30.00%

Publicador:

Resumo:

Unmanned Aerial Vehicles (UAVs) may develop cracks, erosion, delamination or other damages due to aging, fatigue or extreme loads. Identifying these damages is critical for the safe and reliable operation of the systems. ^ Structural Health Monitoring (SHM) is capable of determining the conditions of systems automatically and continually through processing and interpreting the data collected from a network of sensors embedded into the systems. With the desired awareness of the systems’ health conditions, SHM can greatly reduce operational cost and speed up maintenance processes. ^ The purpose of this study is to develop an effective, low-cost, flexible and fault tolerant structural health monitoring system. The proposed Index Based Reasoning (IBR) system started as a simple look-up-table based diagnostic system. Later, Fast Fourier Transformation analysis and neural network diagnosis with self-learning capabilities were added. The current version is capable of classifying different health conditions with the learned characteristic patterns, after training with the sensory data acquired from the operating system under different status. ^ The proposed IBR systems are hierarchy and distributed networks deployed into systems to monitor their health conditions. Each IBR node processes the sensory data to extract the features of the signal. Classifying tools are then used to evaluate the local conditions with health index (HI) values. The HI values will be carried to other IBR nodes in the next level of the structured network. The overall health condition of the system can be obtained by evaluating all the local health conditions. ^ The performance of IBR systems has been evaluated by both simulation and experimental studies. The IBR system has been proven successful on simulated cases of a turbojet engine, a high displacement actuator, and a quad rotor helicopter. For its application on experimental data of a four rotor helicopter, IBR also performed acceptably accurate. The proposed IBR system is a perfect fit for the low-cost UAVs to be the onboard structural health management system. It can also be a backup system for aircraft and advanced Space Utility Vehicles. ^

Relevância:

30.00% 30.00%

Publicador:

Resumo:

This research is motivated by the need for considering lot sizing while accepting customer orders in a make-to-order (MTO) environment, in which each customer order must be delivered by its due date. Job shop is the typical operation model used in an MTO operation, where the production planner must make three concurrent decisions; they are order selection, lot size, and job schedule. These decisions are usually treated separately in the literature and are mostly led to heuristic solutions. The first phase of the study is focused on a formal definition of the problem. Mathematical programming techniques are applied to modeling this problem in terms of its objective, decision variables, and constraints. A commercial solver, CPLEX is applied to solve the resulting mixed-integer linear programming model with small instances to validate the mathematical formulation. The computational result shows it is not practical for solving problems of industrial size, using a commercial solver. The second phase of this study is focused on development of an effective solution approach to this problem of large scale. The proposed solution approach is an iterative process involving three sequential decision steps of order selection, lot sizing, and lot scheduling. A range of simple sequencing rules are identified for each of the three subproblems. Using computer simulation as the tool, an experiment is designed to evaluate their performance against a set of system parameters. For order selection, the proposed weighted most profit rule performs the best. The shifting bottleneck and the earliest operation finish time both are the best scheduling rules. For lot sizing, the proposed minimum cost increase heuristic, based on the Dixon-Silver method performs the best, when the demand-to-capacity ratio at the bottleneck machine is high. The proposed minimum cost heuristic, based on the Wagner-Whitin algorithm is the best lot-sizing heuristic for shops of a low demand-to-capacity ratio. The proposed heuristic is applied to an industrial case to further evaluate its performance. The result shows it can improve an average of total profit by 16.62%. This research contributes to the production planning research community with a complete mathematical definition of the problem and an effective solution approach to solving the problem of industry scale.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

High efficiency of power converters placed between renewable energy sources and the utility grid is required to maximize the utilization of these sources. Power quality is another aspect that requires large passive elements (inductors, capacitors) to be placed between these sources and the grid. The main objective is to develop higher-level high frequency-based power converter system (HFPCS) that optimizes the use of hybrid renewable power injected into the power grid. The HFPCS provides high efficiency, reduced size of passive components, higher levels of power density realization, lower harmonic distortion, higher reliability, and lower cost. The dynamic modeling for each part in this system is developed, simulated and tested. The steady-state performance of the grid-connected hybrid power system with battery storage is analyzed. Various types of simulations were performed and a number of algorithms were developed and tested to verify the effectiveness of the power conversion topologies. A modified hysteresis-control strategy for the rectifier and the battery charging/discharging system was developed and implemented. A voltage oriented control (VOC) scheme was developed to control the energy injected into the grid. The developed HFPCS was compared experimentally with other currently available power converters. The developed HFPCS was employed inside a microgrid system infrastructure, connecting it to the power grid to verify its power transfer capabilities and grid connectivity. Grid connectivity tests verified these power transfer capabilities of the developed converter in addition to its ability of serving the load in a shared manner. In order to investigate the performance of the developed system, an experimental setup for the HF-based hybrid generation system was constructed. We designed a board containing a digital signal processor chip on which the developed control system was embedded. The board was fabricated and experimentally tested. The system's high precision requirements were verified. Each component of the system was built and tested separately, and then the whole system was connected and tested. The simulation and experimental results confirm the effectiveness of the developed converter system for grid-connected hybrid renewable energy systems as well as for hybrid electric vehicles and other industrial applications.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

In Florida, third and tenth graders are required to take the Florida Comprehensive Assessment Test (FCAT), a high stakes test. Third graders must score a Level 2 or higher on the Sunshine States Standards portion of the FCAT or fifty-one percent or higher on the Normreference portion of the FCAT in order to be promoted. In 2003, the Florida Department of Education reported 31 percent of third graders in Miami-Dade County were retained (2003). The purpose of the study is to investigate how third grade teachers can decrease the level of parental anxiety for this high stakes test and determine if there are different levels of parental anxiety based upon certain variables. Parent workshops will be offered to families focusing on FCAT strategies and relaxation techniques designed to increase parental efficacy and decrease parental anxiety related to high stakes testing.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Cytochrome P450 monooxygenases, one of the most important classes of heme-thiolate proteins, have attracted considerable interest in the biochemical community because of its catalytic versatility, substrate diversity and great number in the superfamily. Although P450s are capable of catalyzing numerous difficult oxidation reactions, the relatively low stability, low turnover rates and the need of electron-donating cofactors have limited their practical biotechnological and pharmaceutical applications as isolated enzymes. The goal of this study is to tailor such heme-thiolate proteins into efficient biocatalysts with high specificity and selectivity by protein engineering and to better understand the structure-function relationship in cytochromes P450. In the effort to engineer P450cam, the prototype member of the P450 superfamily, into an efficient peroxygenase that utilizes hydrogen peroxide via the “peroxide-shunt” pathway, site-directed mutagenesis has been used to elucidate the critical roles of hydrophobic residues in the active site. Various biophysical, biochemical and spectroscopic techniques have been utilized to investigate the wild-type and mutant proteins. Three important P450cam variants were obtained showing distinct structural and functional features. In P450camV247H mutant, which exhibited almost identical spectral properties with the wild-type, it is demonstrated that a single amino acid switch turned the monooxygenase into an efficient preoxidase by increasing the peroxidase activity nearly one thousand folds. In order to tune the distal pocket of P450cam with polar residues, Leu 246 was replaced with a basic residue, lysine, resulting in a mutant with spectral features identical to P420, the inactive species of P450. But this inactive-species-like mutant showed catalytic activities without the facilitation of any cofactors. By substituting Gly 248 with a histidine, a novel Cys-Fe-His ligation set was obtained in P450cam which represented the very rare case of His ligation in heme-thiolate proteins. In addition to serving as a convenient model for hemoprotein structural studies, the G248H mutant also provided evidence about the nature of the axial ligand in cytochrome P420 and other engineered hemoproteins with thiolate ligations. Furthermore, attempts have been made to replace the proximal ligand in sperm whale myoglobin to construct a heme-thiolate protein model by mimicking the protein environment of cytochrome P450cam and chloroperoxidase.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Petri Nets are a formal, graphical and executable modeling technique for the specification and analysis of concurrent and distributed systems and have been widely applied in computer science and many other engineering disciplines. Low level Petri nets are simple and useful for modeling control flows but not powerful enough to define data and system functionality. High level Petri nets (HLPNs) have been developed to support data and functionality definitions, such as using complex structured data as tokens and algebraic expressions as transition formulas. Compared to low level Petri nets, HLPNs result in compact system models that are easier to be understood. Therefore, HLPNs are more useful in modeling complex systems. ^ There are two issues in using HLPNs—modeling and analysis. Modeling concerns the abstracting and representing the systems under consideration using HLPNs, and analysis deals with effective ways study the behaviors and properties of the resulting HLPN models. In this dissertation, several modeling and analysis techniques for HLPNs are studied, which are integrated into a framework that is supported by a tool. ^ For modeling, this framework integrates two formal languages: a type of HLPNs called Predicate Transition Net (PrT Net) is used to model a system's behavior and a first-order linear time temporal logic (FOLTL) to specify the system's properties. The main contribution of this dissertation with regard to modeling is to develop a software tool to support the formal modeling capabilities in this framework. ^ For analysis, this framework combines three complementary techniques, simulation, explicit state model checking and bounded model checking (BMC). Simulation is a straightforward and speedy method, but only covers some execution paths in a HLPN model. Explicit state model checking covers all the execution paths but suffers from the state explosion problem. BMC is a tradeoff as it provides a certain level of coverage while more efficient than explicit state model checking. The main contribution of this dissertation with regard to analysis is adapting BMC to analyze HLPN models and integrating the three complementary analysis techniques in a software tool to support the formal analysis capabilities in this framework. ^ The SAMTools developed for this framework in this dissertation integrates three tools: PIPE+ for HLPNs behavioral modeling and simulation, SAMAT for hierarchical structural modeling and property specification, and PIPE+Verifier for behavioral verification.^

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Cytochrome P450 monooxygenases, one of the most important classes of heme-thiolate proteins, have attracted considerable interest in the biochemical community because of its catalytic versatility, substrate diversity and great number in the superfamily. Although P450s are capable of catalyzing numerous difficult oxidation reactions, the relatively low stability, low turnover rates and the need of electron-donating cofactors have limited their practical biotechnological and pharmaceutical applications as isolated enzymes. The goal of this study is to tailor such heme-thiolate proteins into efficient biocatalysts with high specificity and selectivity by protein engineering and to better understand the structure-function relationship in cytochromes P450. In the effort to engineer P450cam, the prototype member of the P450 superfamily, into an efficient peroxygenase that utilizes hydrogen peroxide via the “peroxide-shunt” pathway, site-directed mutagenesis has been used to elucidate the critical roles of hydrophobic residues in the active site. Various biophysical, biochemical and spectroscopic techniques have been utilized to investigate the wild-type and mutant proteins. Three important P450cam variants were obtained showing distinct structural and functional features. In P450camV247H mutant, which exhibited almost identical spectral properties with the wild-type, it is demonstrated that a single amino acid switch turned the monooxygenase into an efficient preoxidase by increasing the peroxidase activity nearly one thousand folds. In order to tune the distal pocket of P450cam with polar residues, Leu 246 was replaced with a basic residue, lysine, resulting in a mutant with spectral features identical to P420, the inactive species of P450. But this inactive-species-like mutant showed catalytic activities without the facilitation of any cofactors. By substituting Gly 248 with a histidine, a novel Cys-Fe-His ligation set was obtained in P450cam which represented the very rare case of His ligation in heme-thiolate proteins. In addition to serving as a convenient model for hemoprotein structural studies, the G248H mutant also provided evidence about the nature of the axial ligand in cytochrome P420 and other engineered hemoproteins with thiolate ligations. Furthermore, attempts have been made to replace the proximal ligand in sperm whale myoglobin to construct a heme-thiolate protein model by mimicking the protein environment of cytochrome P450cam and chloroperoxidase.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

BACKGROUND: Among the wide range of skills displayed by a medical doctor is undoubtedly the need to use cohesive and well grounded clinical reasoning in order for medical care to be indeed effective. It is in this respect that conceptual maps emerge; these are a methodological innovation that allows a comprehensive, panoramic and associative outlook of theoretical content, making it more practical and applicable to the reality of clinical observation. Promoting learning, learning resources and a feedback system between professor and students, as well as assessing and monitoring the performance of students during their academic training, are the main features of this tool. OBJETIVE: Assess the use of conceptual maps as a teaching-learning tool in the training of undergraduate medical students at Universidade Federal do Rio Grande do Norte (UFRN). METHODOLOGY: Interventional, randomized, cross-sectional study conducted with students from the 3rd and 5th periods of the medical course at UFRN, during the second semester of 2014, totaling 86 participants, divided into two groups: GI (intervention – clinical case resolution with a conceptual map) and GII (control – clinical case resolution without a conceptual map) in each period. RESULTS: The use of conceptual maps to teach liver failure syndrome resulted in a statistically significant cognitive gain for G1 students from the 5th period (GI: 6.8±1.6 and 8.0±1.5, p = 0.024; GII: 7.2±2.1 and 8.0±1.7, p = 0.125, pre and post-intermediate means, respectively), a result not observed in the period 3rd (GI: 7.7±1.3 and 8.0±1.4, p = 0.501; GII: 6.7±1.8 and 7.8±1.8; p=0.068, pre and post-intermediate means, respectively). Students in the 3 rd period gave better responses to the first clinical case, with a larger number of suitable concepts and crosslinks, when they used conceptual maps (GI: 91.3±13.15 and GII: 64.84±22.84, p=0,002). Students in the 5th period exhibited better clinical reasoning and more complete responses using the tool (p=0,01). Most of the students were not aware of the tool (53.8% from the 3rd period and 65.3% from the 5th period). Among those who knew about conceptual maps, most (59.3%) had only used them during high school, 14.8% had never used them and only seven students (25.9%) used them during the medical course. Analysis of open responses, obtained in process assessment showed clear satisfaction and enthusiasm with learning about the new tool, and frequent suggestions to use it at other moments in the course. Assessment of learning profile, using the VARK questionnaire, showed that most students from both periods exhibited a multimodal style. CONCLUSION: Despite their scant knowledge regarding the tool, good acceptability and understanding was observed in the study participants. The conceptual maps allowed cognitive gains, better responses and clinical reasoning in teaching liver failure syndrome to 5th period students.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

In order to understand the factors involved in the improvement process of argumentative competence by students of 2nd year of high school, we undertook a qualitative approach research and interventional nature, during which we adopted the conduct of participant observation in a school belonging to the state schools of Rio Grande do Norte, located on the outskirts of the city of Natal. The analyzed corpus consisted in the interim intervention and entails the answers to a semi-structured questionnaire, fourteen opinion articles and three regrados debates, produced by the students, in addition to video recordings of ten sessions and personal notes pertaining to another six, totaling sixteen sessions observed during the school year 2014. As the most important bibliographical references we study skills and reasoning from the perspective of discursive social interactionism. Analyzing the data we loan the principle of categorization, opting for critical-descriptive presentation and were revealed to us, via the classified evidences, that among the factors involved in the study process, it appears with more relevance to set up an effective intellectual community, which meets in constant interaction subjects, which alternate assuming the conditions of speakers and audience. The constitution of this community depends largely on the teaching mediation and is indispensable to the (re)design of the studied competence, in interactions with her the subjects afforded learn and develop their competence, reshaping the limits of their zone of proximal development.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

In order to understand the factors involved in the improvement process of argumentative competence by students of 2nd year of high school, we undertook a qualitative approach research and interventional nature, during which we adopted the conduct of participant observation in a school belonging to the state schools of Rio Grande do Norte, located on the outskirts of the city of Natal. The analyzed corpus consisted in the interim intervention and entails the answers to a semi-structured questionnaire, fourteen opinion articles and three regrados debates, produced by the students, in addition to video recordings of ten sessions and personal notes pertaining to another six, totaling sixteen sessions observed during the school year 2014. As the most important bibliographical references we study skills and reasoning from the perspective of discursive social interactionism. Analyzing the data we loan the principle of categorization, opting for critical-descriptive presentation and were revealed to us, via the classified evidences, that among the factors involved in the study process, it appears with more relevance to set up an effective intellectual community, which meets in constant interaction subjects, which alternate assuming the conditions of speakers and audience. The constitution of this community depends largely on the teaching mediation and is indispensable to the (re)design of the studied competence, in interactions with her the subjects afforded learn and develop their competence, reshaping the limits of their zone of proximal development.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

In this thesis, the first-order radar cross section (RCS) of an iceberg is derived and simulated. This analysis takes place in the context of a monostatic high frequency surface wave radar with a vertical dipole source that is driven by a pulsed waveform. The starting point of this work is a general electric field equation derived previ- ously for an arbitrarily shaped iceberg region surrounded by an ocean surface. The condition of monostatic backscatter is applied to this general field equation and the resulting expression is inverse Fourier transformed. In the time domain the excitation current of the transmit antenna is specified to be a pulsed sinusoid signal. The result- ing electric field equation is simplified and its physical significance is assessed. The field equation is then further simplified by restricting the iceberg's size to fit within a single radar patch width. The power received by the radar is calculated using this electric field equation. Comparing the received power with the radar range equation gives a general expression for the iceberg RCS. The iceberg RCS equation is found to depend on several parameters including the geometry of the iceberg, the radar frequency, and the electrical parameters of both the iceberg and the ocean surface. The RCS is rewritten in a form suitable for simulations and simulations are carried out for rectangularly shaped icebergs. Simulation results are discussed and are found to be consistent with existing research.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Radiotherapy (RT) has recently evolved with the emergence of heavy ion radiations or new fractionation schemes of photon therapy, which modify the dose rate of treatment delivery. The aim of the present study was then to evaluate the in vitro influence of a ultra-high dose rate comparing them with standard dose rate. In this regard, a radioresistant SK-MEL-28 cell line were irradiated with x-ray in order to have a total dose of 2 and 4 Gy, at two different dose rate. The ultra-high dose rate is a specific property of the dense plasma focus (DPF) device, which has pulsed operation and thus gives short and highly energetic pulses of multiple types of rays and particles, in this case, we focused our study on the influence of X-rays. While a low dose rate is obtained with conventional X-ray tube. In this study it results that a ultra-high dose rate enhances radiosensitivity of melanoma cells while reducing the adhesion, proliferation and migration ability of cells.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

A few years ago, some of the authors of the paper demonstrated the resonance of optical antennas in the visible frequencies. The results of that paper were obtained using experimental techniques that were primarily developed for the measurement of antenna-coupled detectors in the infrared. In the present paper, we show the results of spatial-response mapping obtained by using a dedicated measurement station for the characterization of optical antennas in the visible. At the same time, the bottleneck in the spatial responsivity calculation represented by the beam characterization has been approached from a different perspective. The proposed technique uses a collection of knife edge measurements in order to avoid the use of any model of the laser beam irradiance. By taking all this into account we present the spatial responsivity of optical antennas measured with high spatial resolution in the visible.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Hydrogen has been called the fuel of the future, and as it’s non- renewable counterparts become scarce the economic viability of hydrogen gains traction. The potential of hydrogen is marked by its high mass specific energy density and wide applicability as a fuel in fuel cell vehicles and homes. However hydrogen’s volume must be reduced via pressurization or liquefaction in order to make it more transportable and volume efficient. Currently the vast majority of industrially produced hydrogen comes from steam reforming of natural gas. This practice yields low-pressure gas which must then be compressed at considerable cost and uses fossil fuels as a feedstock leaving behind harmful CO and CO2 gases as a by-product. The second method used by industry to produce hydrogen gas is low pressure electrolysis. In comparison the electrolysis of water at low pressure can produce pure hydrogen and oxygen gas with no harmful by-products using only water as a feedstock, but it will still need to be compressed before use. Multiple theoretical works agree that high pressure electrolysis could reduce the energy losses due to product gas compression. However these works openly admit that their projected gains are purely theoretical and ignore the practical limitations and resistances of a real life high pressure system. The goal of this work is to experimentally confirm the proposed thermodynamic gains of ultra-high pressure electrolysis in alkaline solution and characterize the behavior of a real life high pressure system.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Objectives. To study the relationship between nocturnal periodic breathing episodes and behavioral awakenings at high altitude. Methods. Observational study. It is 6-day ascent of 4 healthy subjects from Besisahar (760 meters) to Manang (3540 meters) in Nepal in March 2012. A recording pulse oximeter was worn by each subject to measure their oxygen saturation and the presence of periodic breathing continuously through the night. An actigraph was simultaneously worn in order to determine nocturnal behavioral awakenings. There were no interventions. Results. 187-hour sleep at high altitude was analyzed, and of this, 145 hours (78%) had at least one PB event. At high altitude, 10.5% (95% CI 6.5-14.6%) of total sleep time was spent in PB while 15 out of 50 awakenings (30%, 95% CI: 18-45%) occurring at high altitudes were associated with PB (P < 0.001). Conclusions. Our data reveals a higher than expected number of behavioral awakenings associated with PB compared to what would be expected by chance. This suggests that PB likely plays a role in behavioral awakenings at high altitude.