An algorithm for automatic checking of exercises in a dynamic geometry system: iGeom

One of the key issues in e-learning environments is the possibility of creating and evaluating exercises. However, the lack of tools supporting the authoring and automatic checking of exercises for specifics topics (e.g., geometry) drastically reduces advantages in the use of e-learning environments on a larger scale, as usually happens in Brazil. This paper describes an algorithm, and a tool based on it, designed for the authoring and automatic checking of geometry exercises. The algorithm dynamically compares the distances between the geometric objects of the student`s solution and the template`s solution, provided by the author of the exercise. Each solution is a geometric construction which is considered a function receiving geometric objects (input) and returning other geometric objects (output). Thus, for a given problem, if we know one function (construction) that solves the problem, we can compare it to any other function to check whether they are equivalent or not. Two functions are equivalent if, and only if, they have the same output when the same input is applied. If the student`s solution is equivalent to the template`s solution, then we consider the student`s solution as a correct solution. Our software utility provides both authoring and checking tools to work directly on the Internet, together with learning management systems. These tools are implemented using the dynamic geometry software, iGeom, which has been used in a geometry course since 2004 and has a successful track record in the classroom. Empowered with these new features, iGeom simplifies teachers` tasks, solves non-trivial problems in student solutions and helps to increase student motivation by providing feedback in real time. (c) 2008 Elsevier Ltd. All rights reserved.

Dynamic Tracking with Zero Variation and Disturbance Rejection Applied to Discrete-Time Systems

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Observer-based state-feedback versus H-infinity output feedback control solved by LMI approach for applications in smart structures

This paper aims with the use of linear matrix inequalities approach (LMIs) for application in active vibration control problems in smart strutures. A robust controller for active damping in a panel was designed with piezoelectrical actuators in optimal locations for illustration of the main proposal. It was considered, in the simulations of the closed-loop, a model identified by eigensystem realization algorithm (ERA) and reduced by modal decomposition. We tested two differents techniques to solve the problem. The first one uses LMI approach by state-feedback based in an observer design, considering several simultaneous constraints as: a decay rate, limited input on the actuators, bounded output peak (output energy) and robustness to parametic uncertainties. The results demonstrated the vibration attenuation in the structure by controlling only the first modes and the increased damping in the bandwidth of interest. However, it is possible to occur spillover effects, because the design has not been done considering the dynamic uncertainties related with high frequencies modes. In this sense, the second technique uses the classical H. output feedback control, also solved by LMI approach, considering robustness to residual dynamic to overcome the problem found in the first test. The results are compared and discussed. The responses shown the robust performance of the system and the good reduction of the vibration level, without increase mass.

Estimation of the volumetric oxygen tranfer coefficient (KLa) from the gas balance and using a neural network technique

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

OUTPUT CONTROL WITH DYNAMIC COMPENSATORS AND STRICTLY POSITIVE REAL SYSTEMS

We present new results on the output control of uncertain dynamical systems. The design method uses dynamical compensators to turn the compensated plant into a strictly positive real system, and then chooses the control law-for example, a sliding mode control. This result is compared with another result from the literature which uses static compensators. An example is presented where the control with dynamic compensation works while a static compensation does not.

Design of SPR systems with dynamic compensators and output variable structure control

This paper presents necessary and sufficient conditions for the following problem: given a linear time invariant plant G(s) = N(s)D(s)-1 = C(sI - A]-1B, with m inputs, p outputs, p > m, rank(C) = p, rank(B) = rank(CB) = m, £nd a tandem dynamic controller Gc(s) = D c(s)-1Nc(s) = Cc(sI - A c)-1Bc + Dc, with p inputs and m outputs and a constant output feedback matrix Ko ε ℝm×p such that the feedback system is Strictly Positive Real (SPR). It is shown that this problem has solution if and only if all transmission zeros of the plant have negative real parts. When there exists solution, the proposed method firstly obtains Gc(s) in order to all transmission zeros of Gc(s)G(s) present negative real parts and then Ko is found as the solution of some Linear Matrix Inequalities (LMIs). Then, taking into account this result, a new LMI based design for output Variable Structure Control (VSC) of uncertain dynamic plants is presented. The method can consider the following design specifications: matched disturbances or nonlinearities of the plant, output constraints, decay rate and matched and nonmatched plant uncertainties. © 2006 IEEE.

Variable speed refrigeration system with HPF input rectifier stage

This paper is based on the analysis and implementation of a new drive system applied to refrigeration systems, complying with the restrictions imposed by the IEC standards (Harmonic/Flicker/EMI-Electromagnetic Interference restrictions), in order to obtain high efficiency, high power factor, reduced harmonic distortion in the input current and reduced electromagnetic interference, with excellent performance in temperature control of a refrigeration prototype system (automatic control, precision and high dynamic response). The proposal is replace the single-phase motor by a three-phase motor, in the conventional refrigeration system. In this way, a proper control technique can be applied, using a closed-loop (feedback control), that will allow an accurate adjustment of the desirable temperature. The proposed refrigeration prototype uses a 0.5Hp three-phase motor and an open (Belt-Drive) Bitzer IY type compressor. The input rectifier stage's features include the reduction in the input current ripple, the reduction in the output voltage ripple, the use of low stress devices, low volume for the EMI input filter, high input power factor (PF), and low total harmonic distortion (THD) in the input current, in compliance with the IEC61000-3-2 standards. The digital controller for the output three-phase inverter stage has been developed using a conventional voltage-frequency control (scalar V/f control), and a simplified stator oriented Vector control, in order to verify the feasibility and performance of the proposed digital controls for continuous temperature control applied at the refrigerator prototype. ©2008 IEEE.

Tri-state single-phase integrated inverters with input to output power decoupling control

Researches on control for power electronics have looked for original solutions in order to advance renewable resources feasibility, specially the photovoltaic (PV). In this context, for PV renewable energy source the usage of compact, high efficiency, low cost and reliable converters are very attractive. In this context, two improved simplified converters, namely Tri-state Boost and Tri-state Buck-Boost integrated single-phase inverters, are achieved with the presented Tri-state modulation and control schemes, which guarantees the input to output power decoupling control. This feature enhances the field of single-phase PV inverters once the energy storage is mainly inductive. The main features of the proposal are confirmed with some simulations and experimental results. © 2012 IEEE.

Operational safety: Development of electronic system for dynamic balance evaluation of farm tractors

The present study aimed at the development and evaluation of a low cost electronic device in order to provide safety for farm tractor users. The major accident occurrence in agricultural surroundings is from farm tractor side bending. Therefore, this sensor was designed to detect and alert about it. The results were satisfying. © 2013 Taylor & Francis Group.

Comparison of multiple-input single-output single-user ultra-wideband systems with pre-distortion

This paper presents a performance analysis of a baseband multiple-input single-output ultra-wideband system over scenarios CM1 and CM3 of the IEEE 802.15.3a channel model, incorporating four different schemes of pre-distortion: time reversal, zero-forcing pre-equaliser, constrained least squares pre-equaliser, and minimum mean square error pre-equaliser. For the third case, a simple solution based on the steepest-descent (gradient) algorithm is adopted and compared with theoretical results. The channel estimations at the transmitter are assumed to be truncated and noisy. Results show that the constrained least squares algorithm has a good trade-off between intersymbol interference reduction and signal-to-noise ratio preservation, providing a performance comparable to the minimum mean square error method but with lower computational complexity. Copyright (C) 2011 John Wiley & Sons, Ltd.

Nitrogen mass balance in the Brazilian Amazon: an update

The main purpose of this study is to perform a nitrogen budget survey for the entire Brazilian Amazon region. The main inputs of nitrogen to the region are biological nitrogen fixation occurring in tropical forests (7.7 Tg. yr(-1)), and biological nitrogen fixation in agricultural lands mainly due to the cultivation of a large area with soybean, which is an important nitrogen-fixing crop (1.68 Tg. yr(-1)). The input due to the use of N fertilizers (0.48 Tg. yr(-1)) is still incipient compared to the other two inputs mentioned above. The major output flux is the riverine flux, equal to 2.80 Tg. yr(-1) and export related to foodstuff, mainly the transport of soybean and beef to other parts of the country. The continuous population growth and high rate of urbanization may pose new threats to the nitrogen cycle of the region through the burning of fossil fuel and dumping of raw domestic sewage in rivers and streams of the region.

An Input-Process-Output Approach to Interorganizational Teams: The Influence of Work Group Diversity, Trust and Shared Leadership on Communication Network and Team Outputs.

The market’s challenges bring firms to collaborate with other organizations in order to create Joint Ventures, Alliances and Consortia that are defined as “Interorganizational Networks” (IONs) (Provan, Fish and Sydow; 2007). Some of these IONs are managed through a shared partecipant governance (Provan and Kenis, 2008): a team composed by entrepreneurs and/or directors of each firm of an ION. The research is focused on these kind of management teams and it is based on an input-process-output model: some input variables (work group’s diversity, intra-team's friendship network density) have a direct influence on the process (team identification, shared leadership, interorganizational trust, team trust and intra-team's communication network density), which influence some team outputs, individual innovation behaviors and team effectiveness (team performance, work group satisfaction and ION affective commitment). Data was collected on a sample of 101 entrepreneurs grouped in 28 ION’s government teams and the research hypotheses are tested trough the path analysis and the multilevel models. As expected trust in team and shared leadership are positively and directly related to team effectiveness while team identification and interorganizational trust are indirectly related to the team outputs. The friendship network density among the team’s members has got positive effects on the trust in team and on the communication network density, and also, through the communication network density it improves the level of the teammates ION affective commitment. The shared leadership and its effects on the team effectiveness are fostered from higher level of team identification and weakened from higher level of work group diversity, specifically gender diversity. Finally, the communication network density and shared leadership at the individual level are related to the frequency of individual innovative behaviors. The dissertation’s results give a wider and more precise indication about the management of interfirm network through “shared” form of governance.

Fluid balance, glomerular filtration rate, and urine output in dogs anesthetized for an orthopedic surgical procedure

OBJECTIVE: To determine fluid retention, glomerular filtration rate, and urine output in dogs anesthetized for a surgical orthopedic procedure. ANIMALS: 23 dogs treated with a tibial plateau leveling osteotomy. PROCEDURES: 12 dogs were used as a control group. Cardiac output was measured in 5 dogs, and 6 dogs received carprofen for at least 14 days. Dogs received oxymorphone, atropine, propofol, and isoflurane for anesthesia (duration, 4 hours). Urine and blood samples were obtained for analysis every 30 minutes. Lactated Ringer's solution was administered at 10 mL/kg/h. Urine output was measured and glomerular filtration rate was estimated. Fluid retention was measured by use of body weight, fluid balance, and bioimpedance spectroscopy. RESULTS: No difference was found among control, cardiac output, or carprofen groups, so data were combined. Median urine output and glomerular filtration rate were 0.46 mL/kg/h and 1.84 mL/kg/min. Dogs retained a large amount of fluids during anesthesia, as indicated by increased body weight, positive fluid balance, increased total body water volume, and increased extracellular fluid volume. The PCV, total protein concentration, and esophageal temperature decreased in a linear manner. CONCLUSIONS AND CLINICAL RELEVANCE: Dogs anesthetized for a tibial plateau leveling osteotomy retained a large amount of fluids, had low urinary output, and had decreased PCV, total protein concentration, and esophageal temperature. Evaluation of urine output alone in anesthetized dogs may not be an adequate indicator of fluid balance.

Measuring Scale Efficiency from the Translog Multi-Input, Multi-Output Distance Function

Ray (1998) developed measures of input- and output-oriented scale efficiency that can be directly computed from an estimated Translog frontier production function. This note extends the earlier results from Ray (1998) to the multiple-output multiple input case.