Política Pública de Formação Continuada do Professor: O PDE no Paraná - Implicações no Trabalho Docente

Este estudo tem como objeto e análise a compreensão da Política Pública de Formação Continuada dos Professores da rede estadual de ensino do Paraná, materializada no Programa de Desenvolvimento Educacional entre os anos de 2003-2010. A pesquisa se constitui em uma investigação de natureza bibliográfica, documental e de campo, a partir do método materialista histórico dialético, no entendimento que os dados levantados nesses três processos investigativos se articulam para uma análise qualitativa de compreensão da realidade. Os objetivos foram compreender a partir da formação do professor PDE em que medida os pressupostos, a concepção e os objetivos anunciados no referido Programa foram objetivados nas relações sociais, no trabalho docente, na socialização do conhecimento e no redimensionamento das práticas coletivas. Da mesma forma, entender o processo de implantação e articulação entre os dois níveis de ensino (educação básica e o ensino superior) uma vez que o Programa foi desenvolvido em parceria entre os dois níveis de ensino. Ainda, explicita de que forma e em que medida foram incorporadas as proposições históricas dos trabalhadores da educação por formação continuada. O trabalho conclui que: ao considerar o espectro mais amplo do contexto social, político, econômico e educacional, no bojo da sociedade capitalista neoliberal, a Política Pública de Formação Continuada, materializada no Programa de Desenvolvimento Educacional entre os anos de 2007-2010, cuja concepção político-metodológica é orientada pelo princípio ontológico do trabalho, apresenta-se como uma proposta inovadora de qualificação, que contribui para o aperfeiçoamento e para o avanço na carreira e na valorização dos professores; se contrapõe à visão da educação, da formação e do trabalho docente estritamente vinculada ao mundo do trabalho e que, em certa medida, acolhe as reivindicações e proposições dos trabalhadores da educação; esse Programa produziu importantes contribuições no campo da formação continuada dos professores da rede estadual de ensino paranaense quanto aos fundamentos políticos e disciplinares de caráter teórico-prático com impactos significativos na melhoria no processo ensino-aprendizagem, mesmo que não diretamente por meio da implementação dos projetos de intervenção, mas pela própria condição de aprofundamento no conhecimento do professor participante no Programa e, com isso, a incidência na sua prática pedagógica, na preparação das aulas, na organização dos conteúdos, na metodologia de trabalho e no processo avaliativo; que mesmo considerando os problemas, as dificuldades encontradas durante o Programa não anulam os esforços empreendidos até aqui, ao contrário, indicam possibilidades sempre de superação

SBLOCK: A framework for efficient stencil-based PDE solvers on multi-core platforms

We present a new software framework for the implementation of applications that use stencil computations on block-structured grids to solve partial differential equations. A key feature of the framework is the extensive use of automatic source code generation which is used to achieve high performance on a range of leading multi-core processors. Results are presented for a simple model stencil running on Intel and AMD CPUs as well as the NVIDIA GT200 GPU. The generality of the framework is demonstrated through the implementation of a complete application consisting of many different stencil computations, taken from the field of computational fluid dynamics. © 2010 IEEE.

Optimal control with stochastic PDE constraints and uncertain controls

The optimal control of problems that are constrained by partial differential equations with uncertainties and with uncertain controls is addressed. The Lagrangian that defines the problem is postulated in terms of stochastic functions, with the control function possibly decomposed into an unknown deterministic component and a known zero-mean stochastic component. The extra freedom provided by the stochastic dimension in defining cost functionals is explored, demonstrating the scope for controlling statistical aspects of the system response. One-shot stochastic finite element methods are used to find approximate solutions to control problems. It is shown that applying the stochastic collocation finite element method to the formulated problem leads to a coupling between stochastic collocation points when a deterministic optimal control is considered or when moments are included in the cost functional, thereby forgoing the primary advantage of the collocation method over the stochastic Galerkin method for the considered problem. The application of the presented methods is demonstrated through a number of numerical examples. The presented framework is sufficiently general to also consider a class of inverse problems, and numerical examples of this type are also presented. © 2011 Elsevier B.V.

A PDE viewpoint on basic properties of coordination algorithms with symmetries

Several recent control applications consider the coordination of subsystems through local interaction. Often the interaction has a symmetry in state space, e.g. invariance with respect to a uniform translation of all subsystem values. The present paper shows that in presence of such symmetry, fundamental properties can be highlighted by viewing the distributed system as the discrete approximation of a partial differential equation. An important fact is that the symmetry on the state space differs from the popular spatial invariance property, which is not necessary for the present results. The relevance of the viewpoint is illustrated on two examples: (i) ill-conditioning of interaction matrices in coordination/consensus problems and (ii) the string instability issue. ©2009 IEEE.

Studies on three-dimensional quantitative structure-activity relationship of PDE inhibitory activity of imidazopyridines

In recent years there has been a resurgence of interest in inhibitors of cyclic nucleotide phosphodiesterases (PDE) and enzymes responsible for the intracellular hydrolysis of the second messenger cAMP and cGMP. In this study, a series of 2-substituted phenyllimidazo[4,5-b]pyridines have been made to investigate 3D-QSAR of PDE activity using CoMFA. CoMFA resulted in a quantitative description of the major steric and electrostatic field effects, and gave significant new insights to factors governing PDE inhibition activity. The model was used to predict the PDE inhibition activity of imidazopyridines with satisfactory results.

咪唑并吡啶类化合物结构及PDE抑制活性的三维构效关系研究

对咪唑并吡啶类化合物作为环核苷酸磷酸二酯酶（PDE）的抑制剂的抑制活性进行了比较分子力场分析．结果表明，立体效应和静电作用场是描述对PDE仰制活性和进行结构性能关系研究的最重要的结构参数，提出了对该类化合物进行结构修饰的方法，并由新建立的三维定量构效关系模型对该类化合物的PDE抑制活性进行了预报.

Stochastic switching in infinite dimensions with applications to random parabolic PDE

© 2015 Society for Industrial and Applied Mathematics.We consider parabolic PDEs with randomly switching boundary conditions. In order to analyze these random PDEs, we consider more general stochastic hybrid systems and prove convergence to, and properties of, a stationary distribution. Applying these general results to the heat equation with randomly switching boundary conditions, we find explicit formulae for various statistics of the solution and obtain almost sure results about its regularity and structure. These results are of particular interest for biological applications as well as for their significant departure from behavior seen in PDEs forced by disparate Gaussian noise. Our general results also have applications to other types of stochastic hybrid systems, such as ODEs with randomly switching right-hand sides.

Three parallel programming paradigms: Comparisons on an archetypal PDE computation

Three paradigms for distributed-memory parallel computation that free the application programmer from the details of message passing are compared for an archetypal structured scientific computation -- a nonlinear, structured-grid partial differential equation boundary value problem -- using the same algorithm on the same hardware. All of the paradigms -- parallel languages represented by the Portland Group's HPF, (semi-)automated serial-to-parallel source-to-source translation represented by CAP-Tools from the University of Greenwich, and parallel libraries represented by Argonne's PETSc -- are found to be easy to use for this problem class, and all are reasonably effective in exploiting concurrency after a short learning curve. The level of involvement required by the application programmer under any paradigm includes specification of the data partitioning, corresponding to a geometrically simple decomposition of the domain of the PDE. Programming in SPMD style for the PETSc library requires writing only the routines that discretize the PDE and its Jacobian, managing subdomain-to-processor mappings (affine global-to-local index mappings), and interfacing to library solver routines. Programming for HPF requires a complete sequential implementation of the same algorithm as a starting point, introduction of concurrency through subdomain blocking (a task similar to the index mapping), and modest experimentation with rewriting loops to elucidate to the compiler the latent concurrency. Programming with CAPTools involves feeding the same sequential implementation to the CAPTools interactive parallelization system, and guiding the source-to-source code transformation by responding to various queries about quantities knowable only at runtime. Results representative of "the state of the practice" for a scaled sequence of structured grid problems are given on three of the most important contemporary high-performance platforms: the IBM SP, the SGI Origin 2000, and the CRAYY T3E.

Semi-Lagrange time integration for PDE models of asian options

Semi-Lagrange time integration is used with the finite difference method to provide accurate stable prices for Asian options, with or without early exercise. These are combined with coordinate transformations for computational efficiency and compared with published results

Image denoise by fourth-order PDE based on the changes of laplacian

Fourth-order partial differential equation (PDE) proposed by You and Kaveh (You-Kaveh fourth-order PDE), which replaces the gradient operator in classical second-order nonlinear diffusion methods with a Laplacian operator, is able to avoid blocky effects often caused by second-order nonlinear PDEs. However, the equation brought forward by You and Kaveh tends to leave the processed images with isolated black and white speckles. Although You and Kaveh use median filters to filter these speckles, median filters can blur the processed images to some extent, which weakens the result of You-Kaveh fourth-order PDE. In this paper, the reason why You-Kaveh fourth-order PDE can leave the processed images with isolated black and white speckles is analyzed, and a new fourth-order PDE based on the changes of Laplacian (LC fourth-order PDE) is proposed and tested. The new fourth-order PDE preserves the advantage of You-Kaveh fourth-order PDE and avoids leaving isolated black and white speckles. Moreover, the new fourth-order PDE keeps the boundary from being blurred and preserves the nuance in the processed images, so, the processed images look very natural.

Numerical solution of a PDE system with non-linear steady state conditions that translates the air stripping pollutants removal

This work deals with the numerical simulation of air stripping process for the pre-treatment of groundwater used in human consumption. The model established in steady state presents an exponential solution that is used, together with the Tau Method, to get a spectral approach of the solution of the system of partial differential equations associated to the model in transient state.

The elliptic sine-Gordon equation: a nonlinear elliptic integrable PDE

In this paper, we summarise this recent progress to underline the features specific to this nonlinear elliptic case, and we give a new classification of boundary conditions on the semistrip that satisfy a necessary condition for yielding a boundary value problem can be effectively linearised. This classification is based on formulation the equation in terms of an alternative Lax pair.