A resolução de problemas no contexto do estágio curricular supervisionado: dificuldades e limites de licenciandos em matemática

The aim was to investigate the difficulties and limits of four future mathematics teachers to conduct classes in regencies approach of problem solving. Based on participation in a course this approach, undergraduates elaborated three didactic sequences, which were taught by the activity of conducting classroom discipline Supervised Curricular Training. After this work, participated in an individual interview to report what had developed in classroom. The results showed difficulties in the following aspects: in the elaboration of didactic sequences; in providing an environment for discussion of resolution strategies students. Furthermore, the data analysis showed limits related: the lack of space at the school teacher to allow implementation of lessons developed; lack of basic mathematical knowledge of the students.

Miedo e inseguridad de la gestante durante el trabajo de parto como motivos para la demanda de internación precoz

Objective. To identify reasons why women look for early health care attention at the end of pregnancy. Methodology. Qualitative study based in socio-existential phenomenology proposed by Alfred Schütz. Nine pregnant women who consulted to the maternity service without being in real labor were interviewed. Results. The following analysis categories emerged: Having different symptoms or signals from the ones they had felt or been informed about, not being able to identify real labor, fear to fetal complications for being close to the probable labor date, feeling calmer when being seen by professionals of the institution, lack of problem solving by other services of the health institution, fearing out of hospital delivery, imitating real labor, looking for tranquility in the idealization of labor and modifying behaviors to guarantee attention. Conclusion. Women are insecure and fear because of a fragmented health care, where they do not perceive themselves linked to the prenatal control program anymore, and at the same time they don’t find the health care assistance they want.

Optimal attitude corrections for cylindrical spacecraft

A first order analytical model for optimal small amplitude attitude maneuvers of spacecraft with cylindrical symmetry in an elliptical orbits is presented. The optimization problem is formulated as a Mayer problem with the control torques provided by a power limited propulsion system. The state is defined by Seffet-Andoyer's variables and the control by the components of the propulsive torques. The Pontryagin Maximum Principle is applied to the problem and the optimal torques are given explicitly in Serret-Andoyer's variables and their adjoints. For small amplitude attitude maneuvers, the optimal Hamiltonian function is linearized around a reference attitude. A complete first order analytical solution is obtained by simple quadrature and is expressed through a linear algebraic system involving the initial values of the adjoint variables. A numerical solution is obtained by taking the Euler angles formulation of the problem, solving the two-point boundary problem through the shooting method, and, then, determining the Serret-Andoyer variables through Serret-Andoyer transformation. Numerical results show that the first order solution provides a good approximation to the optimal control law and also that is possible to establish an optimal control law for the artificial satellite's attitude. (C) 2003 COSPAR. Published by Elsevier B.V. Ltd. All rights reserved.

Inteligência artificial e teoria de resolução de problemas

Este artigo é uma tentativa de delinear as principais características da pesquisa numa nova área de estudos a chamada Inteligência Artificial (AI). Os itens 1 e 2 constituem um rápido histórico da AI e seus pressupostos básicos. O item 3 trata da teoria de resolução de problemas, desenvolvida por A. Newell e H. Simon. O item 4 procura mostrar a relevância da AI para a Filosofia, em especial para a filosofia da Mente e para a Teoria do Conhecimento.

Modelo operacional do estudo de caso como estratégia de ensino na disciplina de enfermagem médico-cirúrgica: avaliação dos alunos

O estudo trata-se de uma pesquisa descritiva, com o objetivo de avaliar as contribuições e dificuldades sentidas pelos alunos, na utilização do Modelo Operacional do Estudo de Caso, proposto pelas autoras como uma das estratégias de ensino utilizada pela disciplina de Enfermagem Médico-Cirúrgica. Para instrumentalizar e operacionalizar a análise de conteúdo das respostas concedidas pelos alunos, utilizamos da análise temática, segundo Bardin. Com a realização desta investigação concluímos que os alunos reconhecem o modelo como estratégia de ensino na formação dos mesmos, principalmente, quanto ao conhecimento teórico-prático da assistência (70%) que este oferece, estimulando-os à autonomia na tomada de decisões e solução de problemas na área, além de incentivá-los na utilização do acervo da biblioteca. A outra contribuição está relacionada ao conhecimento referente à metodologia científica (30%), onde o modelo emerge a eles como uma estratégia de iniciação a esta atividade. As dificuldades sentidas pelos alunos na elaboração do estudo de caso ocorreram nas seguintes etapas: - no levantamento bibliográfico (58%), principalmente, quanto a falta de bibliografia específica e recente na área de enfermagem e ao não acesso dos alunos da graduação aos índices informatizados: - na redação do trabalho(27%), porém ao mesmo tempo revelando que o estudo de caso propiciou conhecimentos básicos de como elaborar e escrever um trabalho científico; dentre outras (15%).

The application of preprocessing and cutting plane techniques for a class of production planning problems

This paper investigates properties of integer programming models for a class of production planning problems. The models are developed within a decision support system to advise a sales team of the products on which to focus their efforts in gaining new orders in the short term. The products generally require processing on several manufacturing cells and involve precedence relationships. The cells are already (partially) committed with products for stock and to satisfy existing orders and therefore only the residual capacities of each cell in each time period of the planning horizon are considered. The determination of production recommendations to the sales team that make use of residual capacities is a nontrivial optimization problem. Solving such models is computationally demanding and techniques for speeding up solution times are highly desirable. An integer programming model is developed and various preprocessing techniques are investigated and evaluated. In addition, a number of cutting plane approaches have been applied. The performance of these approaches which are both general and application specific is examined.

Analog nonderivative optimizers

Analog networks for solving convex nonlinear unconstrained programming problems without using gradient information of the objective function are proposed. The one-dimensional net can be used as a building block in multi-dimensional networks for optimizing objective functions of several variables.

Algorithms for network piecewise-linear programs: A comparative study

Piecewise-Linear Programming (PLP) is an important area of Mathematical Programming and concerns the minimisation of a convex separable piecewise-linear objective function, subject to linear constraints. In this paper a subarea of PLP called Network Piecewise-Linear Programming (NPLP) is explored. The paper presents four specialised algorithms for NPLP: (Strongly Feasible) Primal Simplex, Dual Method, Out-of-Kilter and (Strongly Polynomial) Cost-Scaling and their relative efficiency is studied. A statistically designed experiment is used to perform a computational comparison of the algorithms. The response variable observed in the experiment is the CPU time to solve randomly generated network piecewise-linear problems classified according to problem class (Transportation, Transshipment and Circulation), problem size, extent of capacitation, and number of breakpoints per arc. Results and conclusions on performance of the algorithms are reported.

Conservation laws for non-potential operators

A study was developed in order to build a function M invariant in time, by means of Hamiltonian's formulation, taking into account the equation associated to the problem, showing that starting from this function the equation of motion of the system with the contour conditions for non-conservative considered problems can be obtained. The Hamiltonian method is extended for these kind of systems in order to validate for non-potential operators through variational approach.

Otimização global para os problemas de redução H2 de modelos e redução H2 da ordem do controlador

A branch and bound algorithm is proposed to solve the H2-norm model reduction problem and the H2-norm controller reduction problem, with conditions assuring convergence to the global optimum in finite time. The lower and upper bounds used in the optimization procedure are obtained through linear matrix inequalities formulations. Examples illustrate the results.

On the solution of mathematical programming problems with equilibrium constraints

Mathematical programming problems with equilibrium constraints (MPEC) are nonlinear programming problems where the constraints have a form that is analogous to first-order optimality conditions of constrained optimization. We prove that, under reasonable sufficient conditions, stationary points of the sum of squares of the constraints are feasible points of the MPEC. In usual formulations of MPEC all the feasible points are nonregular in the sense that they do not satisfy the Mangasarian-Fromovitz constraint qualification of nonlinear programming. Therefore, all the feasible points satisfy the classical Fritz-John necessary optimality conditions. In principle, this can cause serious difficulties for nonlinear programming algorithms applied to MPEC. However, we show that most feasible points do not satisfy a recently introduced stronger optimality condition for nonlinear programming. This is the reason why, in general, nonlinear programming algorithms are successful when applied to MPEC.

Lyapounov stability for impulsive dynamical systems

This article addresses the problem of stability of impulsive control systems whose dynamics are given by measure driven differential inclusions. One important feature concerns the adopted solution which allows the consideration of systems whose singular dynamics do not satisfy the so-called Frobenius condition. After extending the conventional notion of control Lyapounov pair for impulsive systems, some stability conditions of the Lyapounov type are given. Some conclusions follow the outline of the proof of the main result.

Prevalência de reagentes ao teste de tuberculinização no rebanho bovino leiteiro da região de São Carlos - SP

Tuberculosis (TB), an infectious disease readily transmitted between animals and humans, is an great threat to public and animal health a like and has been declared an international emergency. According to the WHO, animal TB is a source of much concern, especially in the poorer countries where there is little awareness of the problem. Thus, improvements in veterinary health are essential, with regard to infection by Mycobacterium bovis, particularly in areas where the public is at risk. The prevalence of infected animals in Brazil is about 1%, whereas, in the dairy cattle region of São Carlos, the average proportion of positive tests was found to be 3. 1% from 1987 to 1996. The current research was carried out to investigate the prevalence, in the region, of dairy cattle reacting positively to the tuberculin test, from 1997 to the first half of 2001. The results were obtained by searching through the data collected by the Federal Inspection Authority, and they indicated an average prevalence of 1.3% over the period, similar to the official national average. It was concluded that bovine TB continues to be present in the region, posing a potential threat of infection to the human population.

Analysis of a sub-optimal scheme of drug dosage in the AIDS treatment

Here the results for CD4+T cells count and the viral load obtained from HIV sero-positive patients are compared with results from numerical simulations by computer. Also, the standard scheme of administration of drugs anti HIV (HAART schemes) which uses constant doses is compared with an alternative sub-optimal teatment scheme which uses variable drug dosage according to the evolution of a quantitative measure of the side effects. The quantitative analysis done here shows that it is possible to obtain, using the alternative scheme, the same performance of actual data but using variable dosage and having fewer side effects. Optimal control theory is used to solve and also to provide a prognosis related to the strategies for control of viraemia.

Tuning of fuzzy inference systems through unconstrained optimization techniques

This paper presents a new methodology for the adjustment of fuzzy inference systems. A novel approach, which uses unconstrained optimization techniques, is developed in order to adjust the free parameters of the fuzzy inference system, such as its intrinsic parameters of the membership function and the weights of the inference rules. This methodology is interesting, not only for the results presented and obtained through computer simulations, but also for its generality concerning to the kind of fuzzy inference system used. Therefore, this methodology is expandable either to the Mandani architecture or also to that suggested by Takagi-Sugeno. The validation of the presented methodology is accomplished through an estimation of time series. More specifically, the Mackey-Glass chaotic time series estimation is used for the validation of the proposed methodology.