A escola de Tempo integral e a formação de professores/as: investigando caminhos no Programa Escolas do Amanhã

A escola em tempo integral nas suas diferentes dimensões e aspectos constitutivos hoje é temática relevante para o debate sobre qualidade da educação, chegando a compor e a estruturar as agendas nacionais contemporâneas para a formulação das políticas públicas de educação do país como condição sine qua non para novas vertentes de implementação de políticas educacionais. O suporte para o avanço da educação integral vem se emoldurando desde a Constituição Federal em 1988, que apontou a educação como um direito social e estabeleceu uma ampla rede de proteção à criança e ao adolescente, regulamentada pelo Estatuto da criança e do adolescente (ECA) 069/90. Muito mais do que o tempo em sala de aula, o tempo integral busca constituir um espaço qualificado de cidadania e aprendizagem. Por isso é preciso que, em todas as áreas, as ações não sejam um conjunto desordenado de atitudes, mas sim, uma política pública, democraticamente construída. Desta feita, a presente pesquisa é reflexiva acerca da formação dos professores, quanto às concepções e práticas do tempo integral no Programa Escolas do Amanhã (Programa para escolas em áreas de conflito social com altos índices de evasão na SME/RJ). A pesquisa está sendo realizada em duas Unidades Escolares da Rede Municipal de Ensino do Município do RJ inseridas no projeto supracitado. Esse critério de escolha foi um recorte entre 101 CIEPs da SME/RJ e se funda na perspectiva de investigação de uma escola que tenha sido implantada no I Programa Especial de Educação dos CIEPs, que neste momento de redimensionamento da ampliação de jornada do tempo integral esteja inserida no Programa Escolas do Amanhã, além de fazer parte também do Programa do Governo Federal Mais Educação. A seu tempo, acreditamos na possibilidade de, ao problematizar esta relação educação/formação, ser viável instituir práticas de ensino que estimulem o pensar sobre diversos pontos de vista, inclusive sobre a dinâmica do tempo integral, e sobre as diferentes possibilidades de interpretação dos elementos históricos e sociais por esses sujeitos

A unified circuit model for the polysilicon thin film transistor

This paper describes a unified approach to modelling the polysilicon thin film transistor (TFT) for the purposes of circuit design. The approach uses accurate methods of predicting the channel conductance and then fitting the resulting data with a polynomial. Two methods are proposed to find the channel conductance: a device model and measurement. The approach is suitable because the TFT does not have a well defined threshold voltage. The polynomial conductance is then integrated generally to find the drain current and channel charge, necessary for a complete circuit model. © 1991 The Japan Society of Applied Physics.

A comparison of power losses for small (< 1 kW) induction motor drives adopting squarewave and sinusoidal PWM excitation

In this paper the influence of the form of motor excitation on the performance of a small (< 1 kW) induction motor drive is studied. Two forms of excitation, namely sine waves generated by pulse width modulation and simple square wave are explored. Sine wave excitation gives lower motor losses but increases inverter losses. Conversely, square wave excitation increases motor losses but decreases inverter losses. Losses have been measured directly by calorimetric means or, in the case of the inverter, predicted by a Pspice model that has been verified by calorimetric methods. The work shows that overall, the use of square wave excitation leads to a more efficient drive. © 2004 The Institution of Electrical Engineers.

Analysis and performance assessment of 6-pulse inverter-fed 3-phase and 6-phase induction machines

The paper describes a model for a 6-phase induction motor driven by an inverter operating in a 6-pulse (square wave) mode. The model is implemented and performance, in terms of torque, current, efficiency and pulsating torque, compared to the performance of a 3-phase motor (both sine and 6-pulse supplied). The models are verified experimentally, in particular the efficiency performance, and it is illustrated that the improvement in inverter efficiency when in 6-pulse operating mode may improve the performance of the overall system. © 2005 IEEE.

Cumulative inbreeding rate in hatchery-reared indian major carps of Karnataka and Maharashtra states

The state fisheries department hatcheries are the major suppliers of seed to the farmers in Karnataka and Maharashtra. The brood stocks of these hatcheries are genetically closed units. In the present study, effective population size and cumulative inbreeding rates were estimated. The cumulative inbreeding rates ranged from 2.69 to 13.75, 8.63 to 15.21 and 3.02 to 5.88 per cent for catla, mrigal and rohu, respectively, in Karnataka state hatcheries. In Maharashtra, the cumulative inbreeding rates for catla ranged from 7.81 to 39.34 per cent and it was 5.84 to 14.09 and 2.46 to 10.20 per cent for mrigal and rohu, respectively. To estimate the inbreeding rates in future generations, predictive models were developed using linear regression, and polynomial and power equations separately for each hatchery. Their multiple correlation and standard errors suggested that simple linear regression can predict the future inbreeding rate efficiently.

Some new bounds on eigenvalues of the Hadamard product and the Fan product of matrices

Let A and B be nonsingular M-matrices. A lower bound on the minimum eigenvalue q(B circle A(-1)) for the Hadamard product of A(-1) and B, and a lower bound on the minimum eigenvalue q(A star B) for the Fan product of A and B are given. In addition, an upper bound on the spectral radius rho(A circle B) of nonnegative matrices A and B is also obtained. These bounds improve several existing results in some cases and the estimating formulas are easier to calculate for they are only depending on the entries of matrices A and B. (C) 2009 Elsevier Inc. All rights reserved.

Fem modeling of periodic arrays of multi-walled carbon nanotubes

Multiwalled carbon nanotubes display dielectric properties similar to those of graphite, which can be calculated using the well known Drude-Lorentz model. However, most computational softwares lack the capacity to directly incorporate this model into the simulations. We present the finite element modeling of optical propagation through periodic arrays of multiwalled carbon nanotubes. The dielectric function of nanotubes was incorporated into the model by using polynomial curve fitting technique. The computational analysis revealed interesting metamaterial filtering effects displayed by the highly dense square lattice arrays of carbon nanotubes, having lattice constants of the order few hundred nanometers. The curve fitting results for the dielectric function can also be used for simulating other interesting optical applications based on nanotube arrays.

Robust airfoil design with respect to boundary layer transition

In order to disign an airfoil of which maximum lift coefficient (CL max) is not sensitive to location of forced top boundary layer transition. Taking maximizing mean value of CL max and minimizing standard deviation as biobjective, leading edge radius, manximum thickness and its location, maximum camber and its location as deterministic design variables, location of forced top boundary layer transition as stochastic variable, XFOIL as deterministic CFD solver, non-intrusive polynomial chaos as substitute of Monte Carlo method, we completed a robust airfoil design problem. Results demonstrate performance of initial airfoil is enhanced through reducing standard deviation of CL max. Besides, we also know maximum thickness has the most dominating effect on mean value of CL max, location of maximum thickness has the most dominating effect on standard deviation of CL max, maximum camber has a little effect on both mean value and standard deviation, and maximum camber is the only element of which increase can lead increase of mean value and standard deviation at the same time. Copyright © 2009 by the American Institute of Aeronautics and Astronautics, Inc.

Impact of carbon fibre/epoxy corrugated cores

The dynamic compressive response of corrugated carbon-fibre reinforced epoxy sandwich cores has been investigated using a Kolsky-bar set-up. Compression at quasi-static rates up to v 0=200ms -1 have been tested on three different slenderness ratios of strut. High speed photography was used to capture the failure mechanisms and relate these to the measured axial compressive stress. Experiments show significant strength enhancement as the loading rate increases. Although material rate sensitivity accounts for some of this, it has been shown that the majority of the strength enhancement is due to inertial stabilisation of the core members. Inertial strength enhancement rises non-linearly with impact velocity. The largest gains are associated with a shift to buckle modes composed of 2-3 half sine waves. The loading rates tested within this study are similar to those that are expected when a sandwich core is compressed due to a blast event. © 2012 Elsevier Ltd.

Verification of periodically controlled hybrid systems: Application to an autonomous vehicle

This article introduces Periodically Controlled Hybrid Automata (PCHA) for modular specification of embedded control systems. In a PCHA, control actions that change the control input to the plant occur roughly periodically, while other actions that update the state of the controller may occur in the interim. Such actions could model, for example, sensor updates and information received from higher-level planning modules that change the set point of the controller. Based on periodicity and subtangential conditions, a new sufficient condition for verifying invariant properties of PCHAs is presented. For PCHAs with polynomial continuous vector fields, it is possible to check these conditions automatically using, for example, quantifier elimination or sum of squares decomposition. We examine the feasibility of this automatic approach on a small example. The proposed technique is also used to manually verify safety and progress properties of a fairly complex planner-controller subsystem of an autonomous ground vehicle. Geometric properties of planner-generated paths are derived which guarantee that such paths can be safely followed by the controller. © 2012 ACM.

Coherent design methodology using modelling, simulation and optimisation

There is an increasing demand for optimising complete systems and the devices within that system, including capturing the interactions between the various multi-disciplinary (MD) components involved. Furthermore confidence in robust solutions is esential. As a consequence the computational cost rapidly increases and in many cases becomes infeasible to perform such conceptual designs. A coherent design methodology is proposed, where the aim is to improve the design process by effectively exploiting the potential of computational synthesis, search and optimisation and conventional simulation, with a reduction of the computational cost. This optimization framework consists of a hybrid optimization algorithm to handles multi-fidelity simulations. Simultaneously and in order to handles uncertainty without recasting the model and at affordable computational cost, a stochastic modelling method known as non-intrusive polynomial chaos is introduced. The effectiveness of the design methodology is demonstrated with the optimisation of a submarine propulsion system.

鲤科鱼类系统进化过程中SINEs的插入事件

短散在核重复序列(SINEs)是真核生物基因组内的移动元件,已被广泛应用于系统发育研究。文中报道了用SINE的插入事件和细胞色素b基因来研究鲤科鱼类的进化.结果显示:细胞色素b基因和SINEs插入事件在大的鲤科鱼类分类上都支持形态学的分类结果,将整个鲤科鱼类分为雅罗鱼系和鲃系;两种分子标记所获结果的不同之处在于野鲮亚科的进化地位.SINEs插入事件的分析结果显示该亚科的进化地位比较原始,而细胞色素b序列的结果则显示其相对较晚的进化起源.尽管在该研究中分析的物种较少,但为SINEs在鲤科鱼类插入事件的研究提

A plane symmetric 6R foldable ring

The design of a deployable structure which deploys from a compact bundle of six parallel bars to a rectangular ring is considered. The structure is a plane symmetric Bricard linkage. The internal mechanism is described in terms of its Denavit-Hartenberg parameters; the nature of its single degree of freedom is examined in detail by determining the exact structure of the system of equations governing its movement; a range of design parameters for building feasible mechanisms is determined numerically; and polynomial continuation is used to design rings with certain specified desirable properties. © 2013 Elsevier Ltd.

Reconstruction of arbitrary biochemical reaction networks: A compressive sensing approach

Reconstruction of biochemical reaction networks (BRN) and genetic regulatory networks (GRN) in particular is a central topic in systems biology which raises crucial theoretical challenges in system identification. Nonlinear Ordinary Differential Equations (ODEs) that involve polynomial and rational functions are typically used to model biochemical reaction networks. Such nonlinear models make the problem of determining the connectivity of biochemical networks from time-series experimental data quite difficult. In this paper, we present a network reconstruction algorithm that can deal with ODE model descriptions containing polynomial and rational functions. Rather than identifying the parameters of linear or nonlinear ODEs characterised by pre-defined equation structures, our methodology allows us to determine the nonlinear ODEs structure together with their associated parameters. To solve the network reconstruction problem, we cast it as a compressive sensing (CS) problem and use sparse Bayesian learning (SBL) algorithms as a computationally efficient and robust way to obtain its solution. © 2012 IEEE.

Model reductions for inference: generality of pairwise, binary, and planar factor graphs.

We offer a solution to the problem of efficiently translating algorithms between different types of discrete statistical model. We investigate the expressive power of three classes of model-those with binary variables, with pairwise factors, and with planar topology-as well as their four intersections. We formalize a notion of "simple reduction" for the problem of inferring marginal probabilities and consider whether it is possible to "simply reduce" marginal inference from general discrete factor graphs to factor graphs in each of these seven subclasses. We characterize the reducibility of each class, showing in particular that the class of binary pairwise factor graphs is able to simply reduce only positive models. We also exhibit a continuous "spectral reduction" based on polynomial interpolation, which overcomes this limitation. Experiments assess the performance of standard approximate inference algorithms on the outputs of our reductions.