Engenheiros portugueses no século XVIII: as suas "geometrias especulativas"

O século XVIII Português foi, à semelhança do resto da Europa, fértil em alterações académicas, científicas e ideológicas. O desenvolvimento da ciência e da técnica, o surgimento das primeiras máquinas, impulsionou a área do saber, que atualmente chamamos de engenharia. Em Portugal (à época ainda um império do qual fazia parte, entre outros, o Brasil), as escolas técnicas e militares consolidam-se e surgem vários engenheiros e militares de renome cujas obras se difundem pelo reino. Manuel de Azevedo Fortes (1660-1749), engenheiro-mor do reino Português, publicou, em 1728 e 1729, os dois tomos de uma das suas obras maiores, O Engenheiro Português, obra dedicada à formação dos engenheiros na Academia Militar de Lisboa.. A primeira parte deste tratado aborda os conhecimentos matemáticos que Azevedo Fortes considera essenciais na formação dos engenheiros. Na sua Geometria Especulativa, um manuscrito datado de 1724, aborda os elementos de geometria e trigonometria, sem esquecer as suas aplicações. O Brigadeiro José Fernandes Pinto Alpoim (1700-1765), engenheiro que se destacou na arquitetura e fortificação do Brasil no século XVIII, publicou o Exame de Artilheiros em 1744 e Exame de Bombeiros em 1748, obras contendo os princípios da geometria e da trigonometria e as suas aplicações à engenharia militar que se destinavam ao ensino dos militares na Academia Militar do Rio de Janeiro, onde era professor. Nesta comunicação analisaremos a matemática, em particular a geometria, presente nestas obras, salientando não só os conteúdos abordados mas a ênfase dada às aplicações desses conteúdos nos contextos militares da época.

Step towards multiplatform framework for supporting pediatric and neonatology care unit decision process

Children are an especially vulnerable population, particularly in respect to drug administration. It is estimated that neonatal and pediatric patients are at least three times more vulnerable to damage due to adverse events and medication errors than adults are. With the development of this framework, it is intended the provision of a Clinical Decision Support System based on a prototype already tested in a real environment. The framework will include features such as preparation of Total Parenteral Nutrition prescriptions, table pediatric and neonatal emergency drugs, medical scales of morbidity and mortality, anthropometry percentiles (weight, length/height, head circumference and BMI), utilities for supporting medical decision on the treatment of neonatal jaundice and anemia and support for technical procedures and other calculators and widespread use tools. The solution in development means an extension of INTCare project. The main goal is to provide an approach to get the functionality at all times of clinical practice and outside the hospital environment for dissemination, education and simulation of hypothetical situations. The aim is also to develop an area for the study and analysis of information and extraction of knowledge from the data collected by the use of the system. This paper presents the architecture, their requirements and functionalities and a SWOT analysis of the solution proposed.

Las reformas de las universidades ibéricas en la segunda mitad del siglo XVIII

Bajo los auspicios reformadores del Marqués de Pombal, los nuevos estatutos de la Universidad de Coimbra, ratificados por el rey José I en junio de 1772, representaron una importante revisión de los principales estudios en Portugal. Hacia un largo tiempo que los Estatutos de la Universidad de Coimbra no fueron revisados, y la revisión de los Estatutos de 1559 (rey Sebastián), 1591 (el rey Felipe I de Portugal, II de Castilla) y 1653 (rey João IV), se observa que, en comparación con más de dos siglos de vigencia del mismo modelo con modificaciones más o menos limitados, los Estatutos de 1772 traen un nuevo pensamiento y un nuevo impulso mediante la promoción, en particular, de la educación y el desarrollo de las Ciencias exactas y naturales y la valoración del método experimental. Al mismo tiempo, en España, el rey Carlos III, renuncia a imponer un único modelo de estudios de todas las universidades. En ambos casos, el portugués y el español, la urgencia de las reformas es mas aguda pues que los jesuitas fueron expulsados de los territorios en 1759 y 1767, respectivamente; y tanto precursores como mentores quieren estas reformas para abrir las universidades a la ciencia moderna y el humanismo de la Ilustración. La renovación de los contenidos y métodos de enseñanza en Coimbra fue notoria, con la preocupación notable con la investigación, lo que no era muy común en la época. Había también una preocupación con las necesidades de la sociedad en una forma muy práctica (habiendo sido en la época construido el Observatorio Astronómico, el Laboratorio de Física, etc.). Al mismo tempo, la universidad de Coimbra tuvo como profesores dos matemáticos notables, José Anastácio da Cunha y José Monteiro da Rocha. En España también fueron importantes los ensayos de renovación de los métodos, de apertura a la ciencia de la época, de conexión con las realidades de la sociedad española, de coordinación de esfuerzos para conformar una «comunidad universitaria española». En esta comunicación se hace una discusión de comparación entre las dos reformas ibéricas.

Factoriality and the pin-reutenauer procedure

We consider implicit signatures over finite semigroups determined by sets of pseudonatural numbers. We prove that, under relatively simple hypotheses on a pseudovariety V of semigroups, the finitely generated free algebra for the largest such signature is closed under taking factors within the free pro-V semigroup on the same set of generators. Furthermore, we show that the natural analogue of the Pin-Reutenauer descriptive procedure for the closure of a rational language in the free group with respect to the profinite topology holds for the pseudovariety of all finite semigroups. As an application, we establish that a pseudovariety enjoys this property if and only if it is full.

Desenvolvimento do pensamento computacional com recurso ao Scratch: uma experiência com alunos do 8ºano

Relatório de estágio de mestrado em Ensino de Informática

Open Educational Resources for Development of University Courses

Open Education Resources are educational materials purposely made available for free use by others. They offer tremendous potential for reducing costs and increasing access to education especially in the developing world. This paper discusses issues of quality, localization, adaptation and integration that need to be addressed in order to make OER adoption a successful strategy.

La evaluación como elemento clave de la formación basada en competencias: tres casos en el ámbito de la ingenierías

El Espacio Europeo de Educación Superior implica cambios organizativos y académicos referentes a la formación basada en competencias. El proyecto AlineaME, coordinado por la Unidad de Soporte a la Calidad y la Innovación Docente de la Escuela Superior Politécnica - Universidad Pompeu Fabra, propuso a docentes del área TIC y a pedagogos la reflexión conjunta en aras a diseñar recomendaciones centradas en la alineación entre los tres elementos clave del proyecto: competencias, metodología y evaluación (C*M*E). Este trabajo recoge tres casos de aplicación de recomendaciones, concretamente de Ingeniería Telemática (dos casos - Universidad de Valladolid y Pompeu Fabra) y de Ingeniería Técnica en Informática de Gestión (un caso - Universidad de Sevilla).Las recomendaciones aplicadas hacen referencia a la necesidad de explicitar la alineación C*M*E en los Planes Docentes de Asignaturas y de presentar esta alineación al estudiantado. También a la integración de la evaluación de la asignatura como tarea-proceso de aprendizaje. La metodología seguida para laaplicación de ambas es (salvo pequeñas diferencias) parecida en los tres casos. La primera recomendación consistió en recoger en el Plan Docente la Alineación y en verbalizar dicha alineación en la sesión de presentación de la asignatura. La segunda se incorporó incluyendo actividades formativas en las que se favorecía la evaluación entre iguales. Para evaluar la aplicación de recomendaciones se recogieron evidencias en clave de satisfacción por parte del estudiantado así como valoraciones de los propios docentes. Para ello se diseñaron instrumentos específicos.En cuanto a la presentación de la alineación C*M*E en los Planes Docentes de asignaturas, los resultados indican que los alumnos son más conscientes de qué, cómo y por qué van a trabajar y ser evaluados. Globalmente valoran positivamente su utilidad para la autorregulación. Asimismo, plantear la evaluación como tarea deaprendizaje resultó ser para los estudiantes un interesante elemento de reflexión.

Cuatro casos, cuatro historias de uso educativo de las TIC

[spa] Este informe presenta parte de los procesos y los resultados del proyecto de I+D+I: Políticas y prácticas en torno a las TIC en la enseñanza obligatoria: Implicaciones para la innovación y la mejora, parcialmente financiado por Ministerio de Ciencia e Innovación. SEJ2007-67562. Recoge los cuatro estudios de caso llevados a cabo en dos Institutos de Enseñanza Secundaria Obligatoria y dos centros de educación primaria de Cataluña, que nos han posibilitado elucidar el impacto de las políticas de uso de las TIC y de otras iniciativas políticas para favorecer la innovación y la mejora en cada centro, prestando especial atención a: (a) los temas organizativos relacionados con el tiempo y el espacio; (b) el desarrollo del currículum en el centro (visiones sobre el conocimiento, el aprendizaje, el papel del alumnado y el profesorado, el lugar de las TIC, etc.); (c) las condiciones de trabajo del profesorado (acceso a formación, espacios y prácticas de colaboración; desarrollo profesional); (d) los resultados del aprendizaje (valor intelectual, social y personal de lo aprendido; capacidad de transferencia para seguir aprendiendo

Cuatro casos, cuatro historias de uso educativo de las TIC

[spa] Este informe presenta parte de los procesos y los resultados del proyecto de I+D+I: Políticas y prácticas en torno a las TIC en la enseñanza obligatoria: Implicaciones para la innovación y la mejora, parcialmente financiado por Ministerio de Ciencia e Innovación. SEJ2007-67562. Recoge los cuatro estudios de caso llevados a cabo en dos Institutos de Enseñanza Secundaria Obligatoria y dos centros de educación primaria de Cataluña, que nos han posibilitado elucidar el impacto de las políticas de uso de las TIC y de otras iniciativas políticas para favorecer la innovación y la mejora en cada centro, prestando especial atención a: (a) los temas organizativos relacionados con el tiempo y el espacio; (b) el desarrollo del currículum en el centro (visiones sobre el conocimiento, el aprendizaje, el papel del alumnado y el profesorado, el lugar de las TIC, etc.); (c) las condiciones de trabajo del profesorado (acceso a formación, espacios y prácticas de colaboración; desarrollo profesional); (d) los resultados del aprendizaje (valor intelectual, social y personal de lo aprendido; capacidad de transferencia para seguir aprendiendo

Developing Iowa’s Bio-science Workforce: The Role of the Community Colleges of Iowa In Creating Skilled Workers for the Emerging Bio-science/Biotechnology Sector, 2006

The Iowa economy is undergoing great change. Among the sectors deemed important to Iowa’s economic future is bioscience. Definition of what constitutes the bioscience sector but suggests it includes agricultural, medical, plant-life sciences, and related industrial activity.

Development of a harmonised method for the profiling of amphetamine

Résumé : Cette thèse de doctorat est le fruit d'un projet de recherche européen financé par le quatrième programme cadre de la Commission Européenne (DG XII, Standards, Measurement and Testing). Ce projet, dénommé SMT-CT98-2277, a été financé pour la partie suisse par l'Office Fédéral de l'Education et de la Science (OFES, Berne, Suisse). Le but de ce projet était de développer une méthode harmonisée et collaborativement testée pour le profilage des impuretés de l'amphétamine illicite par chromatographie capillaire en phase gazeuse. Le travail a été divisé en sept phases majeures qui concernaient la synthèse de l'amphétamine, l'identification d'impuretés, l'optimisation de la préparation de l'échantillon et du système chromatographique, la variabilité des résultats, l'investigation de méthodes mathématiques pour la classification et la comparaison de profils et finalement l'application de la méthode à des réels échantillons illicites. La méthode résultant de ce travail n'a pas seulement montré que les données étaient interchangeables entre laboratoires mais aussi qu'elle était supérieure en de nombreux points aux méthodes préalablement publiées dans la littérature scientifique. Abstract : This Ph.D. thesis was carried out in parallel to an European project funded by the fourth framework program of the European Commission (DG XII, Standards, Measurement and Testing). This project, named SMT-CT98-2277 was funded, for the Swiss part, by the Federal Office of Education and Science (OFES, Bern, Switzerland). The aim of the project was to develop a harmonised, collaboratively tested method for the impurity profiling of illicit amphetamine by capillary gas chromatography. The work was divided into seven main tasks which deal with the synthesis of amphetamine, identification of impurities, optimization of sample preparation and of the chromatographic system, variability of the results, investigation of numerical methods for the classification and comparison of profiles and finally application of the methodology to real illicit samples. The resulting method has not only shown to produce interchangeable data between different laboratories but was also found to be superior in many aspects to previously published methods.

PARCES : Programa de acompañamiento en pro del rendimiento académico en la educación superior

Solució mòbil (Android) aplicada al campus universitari del ITFIP (Universidad Colombiana) com a eina de suport per al seguiment del rendiment acadèmic d'estudiants com a estratègia per reduir els nivells de deserció.

Las habilidades motrices básicas en educación primaria: aspectos de su desarrollo = Key motor skills in primary education: developmental aspects

The physical education curriculum stresses the importance of improving students’ key motor skills. This idea agrees with the contributions of research into motor development concerning the important role these skills play in child development. In order to facilitate this improvement is essential to know the different basic aspects of how these key motor skills evolve as well as the essential factors related to the characteristics and conditions of educational practice

Tool-supported invariant-based programming

The development of correct programs is a core problem in computer science. Although formal verification methods for establishing correctness with mathematical rigor are available, programmers often find these difficult to put into practice. One hurdle is deriving the loop invariants and proving that the code maintains them. So called correct-by-construction methods aim to alleviate this issue by integrating verification into the programming workflow. Invariant-based programming is a practical correct-by-construction method in which the programmer first establishes the invariant structure, and then incrementally extends the program in steps of adding code and proving after each addition that the code is consistent with the invariants. In this way, the program is kept internally consistent throughout its development, and the construction of the correctness arguments (proofs) becomes an integral part of the programming workflow. A characteristic of the approach is that programs are described as invariant diagrams, a graphical notation similar to the state charts familiar to programmers. Invariant-based programming is a new method that has not been evaluated in large scale studies yet. The most important prerequisite for feasibility on a larger scale is a high degree of automation. The goal of the Socos project has been to build tools to assist the construction and verification of programs using the method. This thesis describes the implementation and evaluation of a prototype tool in the context of the Socos project. The tool supports the drawing of the diagrams, automatic derivation and discharging of verification conditions, and interactive proofs. It is used to develop programs that are correct by construction. The tool consists of a diagrammatic environment connected to a verification condition generator and an existing state-of-the-art theorem prover. Its core is a semantics for translating diagrams into verification conditions, which are sent to the underlying theorem prover. We describe a concrete method for 1) deriving sufficient conditions for total correctness of an invariant diagram; 2) sending the conditions to the theorem prover for simplification; and 3) reporting the results of the simplification to the programmer in a way that is consistent with the invariantbased programming workflow and that allows errors in the program specification to be efficiently detected. The tool uses an efficient automatic proof strategy to prove as many conditions as possible automatically and lets the remaining conditions be proved interactively. The tool is based on the verification system PVS and i uses the SMT (Satisfiability Modulo Theories) solver Yices as a catch-all decision procedure. Conditions that were not discharged automatically may be proved interactively using the PVS proof assistant. The programming workflow is very similar to the process by which a mathematical theory is developed inside a computer supported theorem prover environment such as PVS. The programmer reduces a large verification problem with the aid of the tool into a set of smaller problems (lemmas), and he can substantially improve the degree of proof automation by developing specialized background theories and proof strategies to support the specification and verification of a specific class of programs. We demonstrate this workflow by describing in detail the construction of a verified sorting algorithm. Tool-supported verification often has little to no presence in computer science (CS) curricula. Furthermore, program verification is frequently introduced as an advanced and purely theoretical topic that is not connected to the workflow taught in the early and practically oriented programming courses. Our hypothesis is that verification could be introduced early in the CS education, and that verification tools could be used in the classroom to support the teaching of formal methods. A prototype of Socos has been used in a course at Åbo Akademi University targeted at first and second year undergraduate students. We evaluate the use of Socos in the course as part of a case study carried out in 2007.