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.

Systemic lupus erythematosus exhibits a dynamic and continuum spectrum of effector/regulatory T cells

Objective: The identification of regulatory T cells (Treg cells) as CD4(+)CD25(high) cells may be upset by the increased frequency of activated effector T cells (Teff cells) in inflammatory diseases such as systemic lupus erythematosus (SLE). This study aimed to evaluate the frequency of T-cell subsets according to the expression of CD25 and CD127 in active (A-SLE) and inactive SLE (I-SLE). Methods: Peripheral blood mononuclear cells (PBMCs) from 26 A-SLE patients (SLE Disease Activity Index (SLEDAI) = 10.17 +/- 3.7), 31 I-SLE patients (SLEDAI = 0), and 26 healthy controls (HC) were analysed by multicolour flow. cytometry. Results: CD25(high) cell frequency was increased in A-SLE (5.2 +/- 5.7%) compared to I-SLE (3.4 +/- 3.4%) and HC (1.73 +/- 0.8%) (p < 0.01). However, the percentage of FoxP3(+) cells in the CD25(high) subset was decreased in A-SLE (24.6 +/- 16.4%) compared to I-SLE (33.7 +/- 16) and HC (45 +/- 25.1%) (p < 0.01). This was partly due to the increased frequency of Teff cells (CD25(high)CD127(+)FoxP3(empty set)) in A-SLE (10.7 +/- 7.3%) compared to I-SLE (8.5 +/- 6.5) and HC (6.1 +/- 1.8%) (p = 0.02). Hence the frequency of Treg cells (CD25(+/high)CD127(low/empty set)FoxP3(+)) was equivalent in A-SLE (1.4 +/- 0.8%), I-SLE (1.37 +/- 1.0%), and HC (1.13 +/- 0.59%) (p = 0.42). A-SLE presented an increased frequency of CD25(+)CD127(+)FoxP3(+) and CD25(empty set)FoxP3(+)CD127(low/empty set) T cells, which may represent intermediate phenotypes between Treg and Teff cells. Conclusions: The present study has provided data supporting normal Treg cell frequency in A-SLE and I-SLE as well as increased frequency of Teff cells in A-SLE. This scenario reflects a Treg/Teff ratio imbalance that may favour the inflammatory phenotype of the disease. In addition, the increased frequency of T cells with putative intermediate phenotypes may be compatible with a highly dynamic immune system in SLE.

Reaction-diffusion stochastic lattice model for a predator-prey system

We have the purpose of analyzing the effect of explicit diffusion processes in a predator-prey stochastic lattice model. More precisely we wish to investigate the possible effects due to diffusion upon the thresholds of coexistence of species, i. e., the possible changes in the transition between the active state and the absorbing state devoid of predators. To accomplish this task we have performed time dependent simulations and dynamic mean-field approximations. Our results indicate that the diffusive process can enhance the species coexistence.

Analysis of mangrove forest succession, using sediment cores: a case study in the Cananéia -Iguape coastal system, São Paulo Brazil

Sediment cores are an essential tool for the analysis of the dynamics of mangrove succession. Coring was used to correlate changes in depositional environments and lateral sedimentary facies with discrete stages of forest succession at the Cananéia-Iguape Coastal System in southeastern Brazil. A local level successional pattern was examined based on four core series T1) a sediment bank; T2) a smooth cordgrass Spartina alterniflora bank; T3) an active mangrove progradation fringe dominated by Laguncularia racemosa, and; T4) a mature mangrove forest dominated by Avicennia schaueriana. Cores were macroscopically described in terms of color, texture, sedimentary structure and organic components. The base of all cores exhibited a similar pattern suggesting common vertical progressive changes in depositional conditions and subsequent successional colonization pattern throughout the forest. The progradation zone is an exposed bank, colonized by S. alterniflora. L. racemosa, replaces S. alterniflora as progradation takes place. As the substrate consolidates A. schaueriana replaces L. racemosa and attains the greatest structural development in the mature forest. Cores collected within the A. schaueriana dominated stand contained S. alterniflora fragments near the base, confirming that a smooth cordgrass habitat characterized the establishment and early seral stages. Cores provide a reliable approach to describe local-level successional sequences in dynamic settings subject to drivers operating on multiple temporal and spatial scales where spatial heterogeneity can lead to multiple equilibria and where similar successional end-points may be reached through convergent paths.

Hydrodynamics of the Itapocu river and the Barra Velha lagoon estuarine system, SC, Brazil

A hydrodynamic characterization of the Itapocu river and Barra Velha lagoon estuarine system was carried out with the objective of evaluating how the current regime in this area is affected by astronomical and meteorological tides and the river discharge. Meteorological, water level and current velocity and direction data were gathered hourly during a twenty-day period, from 22-July until 10-August, 2004. Current meters were positioned at the inlet, at the entrance of the north and south lagoons and at the lower estuary of the river along with a tide gauge. The estuarine system showed distinct current behavior among the different sectors within the estuary, responding to the different forcings. The strongest currents were observed at the inlet while the weakest values were observed at the northern lagoon, a location that showed little dynamic. The general flow was ebb-dominated flux, in response to fluvial discharge, even during local wind water set-up event.

Dynamic transitions in a three dimensional associating lattice gas model

The aggregation of interacting Brownian particles in sheared concentrated suspensions is an important issue in colloid and soft matter science per se. Also, it serves as a model to understand biochemical reactions occurring in vivo where both crowding and shear play an important role. We present an effective medium approach within the Smoluchowski equation with shear which allows one to calculate the encounter kinetics through a potential barrier under shear at arbitrary colloid concentrations. Experiments on a model colloidal system in simple shear flow support the validity of the model in the concentration range considered. By generalizing Kramers' rate theory to the presence of shear and collective hydrodynamics, our model explains the significant increase in the shear-induced reaction-limited aggregation kinetics upon increasing the colloid concentration.

Exploitation of a single interface flow system for on-line aqueous biphasic extraction

The exploitation of aqueous biphasic extraction is proposed for the first time in flow analysis This extraction strategy stands out for being environmentally attractive since it is based in the utilization of two immiscible phases that are intrinsically aqueous The organic solvents of the traditional liquid-liquid extractions ale no longer used, being replaced by non-toxic, non-flammable and non-volatile ones. A single interface flow analysis (SIFA) system was implemented to carry out the extraction process due to its favourable operational characteristics that include the high automation level and simplicity of operation, the establishment of a dynamic interface where the mass transfer occurred between the two immiscible aqueous phases, and the versatile control over the extraction process namely the extraction time The application selected to demonstrate the feasibility of SIFA to perform this aqueous biphasic extraction was the pre-concentration of lead. After extraction, lead reacted with 8-hydroxyquinoline-5-sulfonic acid and the resulting product was determined by a fluorimetric detector included in the flow manifold. Therefore, the SIFA single interface was used both as extraction (enrichment) and reaction interface. (C) 2010 Elsevier B.V All rights reserved.

A hybrid system for upper limb movement restoration in quadriplegics

Generally, quadriplegic individuals have difficulties performing object manipulation. Toward satisfactory manipulation, reach and grasp movements must be performed with voluntary control, and for that, grasp force feedback is essential. A hybrid system aiming at partial upper limb sensory-motor restoration for quadriplegics was built. Such device is composed of an elbow dynamic orthosis that provides elbow flexion/extension (range was approximately from 20 degrees to 120 degrees, and average angular speed was approximately 15 degrees/s) with forearm support, a wrist static orthosis and neuromuscular electrical stimulation for grasping generation, and a glove with force sensors that allows grasping force feedback. The glove presents two user interface modes: visual by light emitting diodes or audio emitted by buzzer. Voice control of the entire system (elbow dynamic orthosis and electrical stimulator) is performed by the patient. The movements provided by the hybrid system, combined with the scapular and shoulder movements performed by the patient, can aid quadriplegic individuals in tasks that involve reach and grasp movements.

Dynamic behavior analysis of drill-threading process when machining AISI Al-Si-Cu(4) alloy

Conventional threading operations involve two distinct machining processes: drilling and threading. Therefore, it is time consuming for the tools must be changed and the workpiece has to be moved to another machine. This paper presents an analysis of the combined process (drilling followed by threading) using a single tool for both operations: the tap-milling tool. Before presenting the methodology used to evaluate this hybrid tool, the ODS (operating deflection shapes) basics is shortly described. ODS and finite element modeling (FEM) were used during this research to optimize the process aiming to achieve higher stable machining conditions and increasing the tool life. Both methods allowed the determination of the natural frequencies and displacements of the machining center and optimize the workpiece fixture system. The results showed that there is an excellent correlation between the dynamic stability of the machining center-tool holder and the tool life, avoiding a tool premature catastrophic failure. Nevertheless, evidence showed that the tool is very sensitive to work conditions. Undoubtedly, the use of ODS and FEM eliminate empiric decisions concerning the optimization of machining conditions and increase drastically the tool life. After the ODS and FEM studies, it was possible to optimize the process and work material fixture system and machine more than 30,000 threaded holes without reaching the tool life limit and catastrophic fail.

Contribution to dynamic characteristics of the cutting temperature in the drilling process considering one dimension heat flow

The machining of hardened steels has always been a great challenge in metal cutting, particularly for drilling operations. Generally, drilling is the machining process that is most difficult to cool due to the tool`s geometry. The aim of this work is to determine the heat flux and the coefficient of convection in drilling using the inverse heat conduction method. Temperature was assessed during the drilling of hardened AISI H13 steel using the embedded thermocouple technique. Dry machining and two cooling/lubrication systems were used, and thermocouples were fixed at distances very close to the hole`s wall. Tests were replicated for each condition, and were carried out with new and worn drills. An analytical heat conduction model was used to calculate the temperature at tool-workpiece interface and to define the heat flux and the coefficient of convection. In all tests using new and worn out drills, the lowest temperatures and decrease of heat flux were observed using the flooded system, followed by the MQL, considering the dry condition as reference. The decrease of temperature was directly proportional to the amount of lubricant applied and was significant in the MQL system when compared to dry cutting. (C) 2011 Elsevier Ltd. All rights reserved.

Leak detection by inverse transient analysis in an experimental PVC pipe system

Leakage reduction in water supply systems and distribution networks has been an increasingly important issue in the water industry since leaks and ruptures result in major physical and economic losses. Hydraulic transient solvers can be used in the system operational diagnosis, namely for leak detection purposes, due to their capability to describe the dynamic behaviour of the systems and to provide substantial amounts of data. In this research work, the association of hydraulic transient analysis with an optimisation model, through inverse transient analysis (ITA), has been used for leak detection and its location in an experimental facility containing PVC pipes. Observed transient pressure data have been used for testing ITA. A key factor for the success of the leak detection technique used is the accurate calibration of the transient solver, namely adequate boundary conditions and the description of energy dissipation effects since PVC pipes are characterised by a viscoelastic mechanical response. Results have shown that leaks were located with an accuracy between 4-15% of the total length of the pipeline, depending on the discretisation of the system model.

Minimizing total tardiness in a stochastic single machine scheduling problem using approximate dynamic programming

This paper addresses the non-preemptive single machine scheduling problem to minimize total tardiness. We are interested in the online version of this problem, where orders arrive at the system at random times. Jobs have to be scheduled without knowledge of what jobs will come afterwards. The processing times and the due dates become known when the order is placed. The order release date occurs only at the beginning of periodic intervals. A customized approximate dynamic programming method is introduced for this problem. The authors also present numerical experiments that assess the reliability of the new approach and show that it performs better than a myopic policy.

Fixed-point DSP implementation of nonlinear H(infinity) controller for large gap electromagnetic suspension system

Electromagnetic suspension systems are inherently nonlinear and often face hardware limitation when digitally controlled. The main contributions of this paper are: the design of a nonlinear H(infinity) controller. including dynamic weighting functions, applied to a large gap electromagnetic suspension system and the presentation of a procedure to implement this controller on a fixed-point DSP, through a methodology able to translate a floating-point algorithm into a fixed-point algorithm by using l(infinity) norm minimization due to conversion error. Experimental results are also presented, in which the performance of the nonlinear controller is evaluated specifically in the initial suspension phase. (C) 2009 Elsevier Ltd. All rights reserved.

Dynamic positioning systems: An experimental analysis of sliding mode control

Vessel dynamic positioning (DP) systems are based on conventional PID-type controllers and an extended Kalman filter. However, they present a difficult tuning procedure, and the closed-loop performance varies with environmental or loading conditions since the dynamics of the vessel are eminently nonlinear. Gain scheduling is normally used to address the nonlinearity of the system. To overcome these problems, a sliding mode control was evaluated. This controller is robust to variations in environmental and loading conditions, it maintains performance and stability for a large range of conditions, and presents an easy tuning methodology. The performance of the controller was evaluated numerically and experimentally in order to address its effectiveness. The results are compared with those obtained from conventional PID controller. (c) 2010 Elsevier Ltd. All rights reserved.

Intrinsic Dissolution as a Tool for Evaluating Drug Solubility in Accordance with the Biopharmaceutics Classification System

The Biopharmaceutics Classification System (BCS) is a tool that was created to categorize drugs into different groups according to their solubility and permeability characteristics. Through a combination of these factors and physiological parameters, it is possible to understand the absorption behavior of a drug in the gastrointestinal tract, thus contributing to cost and time reductions in drug development, as well as reducing exposure of human subjects during in vivo trials. Solubility is attained by determining the equilibrium under conditions of physiological pH, while different methods may be employed for evaluating permeability. On the other hand, the intrinsic dissolution rate (IDR), which is defined as the rate of dissolution of a pure substance under constant temperature, pH, and surface area conditions, among others, may present greater correlation to the in vivo dissolution dynamic than the solubility test. The purpose of this work is to discuss the intrinsic dissolution test as a tool for determining the solubility of drugs within the scope of the Biopharmaceutics Classification System (BCS).