Linguagens de programação aderentes ao paradigma adaptativo

An adaptive device is made up of an underlying mechanism, for instance, an automaton, a grammar, etc., to which is added an adaptive mechanism that is responsible for allowing a dynamic modification in the structure of the underlying mechanism. Adaptive languages have the basic feature of allowing the development of programs that self-modify through adaptive actions at runtime. The conception of such languages calls for a new programming style, since the application of adaptive technology suggests a new way of thinking. The adaptive programming style may be a feasible alternate way to obtain selfmodifying consistent codes, which allow its use in modern applications for self-modifying.

Um ambiente para o processamento de linguagens adaptativas de programação

Dispositivos adaptativos apresentam a característica de se modificarem dinamicamente em resposta a estímulos de entrada, sem interferência de agentes externos. Eventuais necessidades de modificação de comportamento são automaticamente detectadas por estes dispositivos para, em seguida, reagirem a elas de forma espontânea. Historicamente tais dispositivos emergiram das pesquisas na área de linguagens formais e autômatos. No entanto, o formalismo suscitou aplicações em diversas outras áreas. Programas com código auto-modificável, que perderam terreno em conseqüência do advento da Engenharia de Software nos anos 70, voltaram à vida recentemente em aplicações diversas. Uma das formas de programação de código auto-modificável é a utilização de linguagens de programação especificamente projetadas para isso. Linguagens adaptativas de programação são dispositivos adaptativos que empregam uma linguagem de programação convencional como mecanismo subjacente. Com o correr de sua execução, um programa escrito em uma linguagem adaptativa exibirá um comportamento auto-modificável em decorrência da ativação de suas ações adaptativas. O artigo apresenta aspectos do projeto e implementação de um ambiente para gerenciar a execução de uma linguagem adaptativa. Com o emprego de linguagem adaptiva, um novo estilo de programação é concebido, uma vez que o seu comportamento está diretamente associado ao conjunto de regras que o define, o qual se altera à medida que o código é executado.

Adaptive languages and a new programming style

A programming style can be seen as a particular model of shaping thought or a special way of codifying language to solve a problem. Adaptive languages have the basic feature of allowing the expression of programs which self-modifying through adaptive actions at runtime. The conception of such languages calls for a new programming style, since the application of adaptive technology in the field of programming languages suggests a new way of thinking. With the adaptive style, programming language codes can be structured in such a way that the codified program therein modifies or adapts itself towards the needs of the problem. The adaptive programming style may be a feasible alternate way to obtain self-modifying consistent codes, which allow its use in modern applications for self-modifying code.

Adaptivity in programming languages

A programming style can be seen as a particular model of shaping thought or a special way of codifying language to solve a problem. An adaptive device is made up of an underlying formalism, for instance, an automaton, a grammar, a decision tree, etc., and an adaptive mechanism, responsible for providing features for self-modification. Adaptive languages are obtained by using some programming language as the device’s underlying formalism. The conception of such languages calls for a new programming style, since the application of adaptive technology in the field of programming languages suggests a new way of thinking. Adaptive languages have the basic feature of allowing the expression of programs which self-modifying through adaptive actions at runtime. With the adaptive style, programming language codes can be structured in such a way that the codified program therein modifies or adapts itself towards the needs of the problem. The adaptive programming style may be a feasible alternate way to obtain self-modifying consistent codes, which allow its use in modern applications for self-modifying code.

Conception of adaptive programming languages

Adaptive devices show the characteristic of dynamically change themselves in response to input stimuli with no interference of external agents. Occasional changes in behaviour are immediately detected by the devices, which right away react spontaneously to them. Chronologically such devices derived from researches in the field of formal languages and automata. However, formalism spurred applications in several other fields. Based on the operation of adaptive automata, the elementary ideas generanting programming adaptive languages are presented.

JCML - Java Card Modeling Language: Definição e Implementação

Formal methods should be used to specify and verify on-card software in Java Card applications. Furthermore, Java Card programming style requires runtime verification of all input conditions for all on-card methods, where the main goal is to preserve the data in the card. Design by contract, and in particular, the JML language, are an option for this kind of development and verification, as runtime verification is part of the Design by contract method implemented by JML. However, JML and its currently available tools for runtime verification were not designed with Java Card limitations in mind and are not Java Card compliant. In this thesis, we analyze how much of this situation is really intrinsic of Java Card limitations and how much is just a matter of a complete re-design of JML and its tools. We propose the requirements for a new language which is Java Card compliant and indicate the lines on which a compiler for this language should be built. JCML strips from JML non-Java Card aspects such as concurrency and unsupported types. This would not be enough, however, without a great effort in optimization of the verification code generated by its compiler, as this verification code must run on the card. The JCML compiler, although being much more restricted than the one for JML, is able to generate Java Card compliant verification code for some lightweight specifications. As conclusion, we present a Java Card compliant variant of JML, JCML (Java Card Modeling Language), with a preliminary version of its compiler

Utilização de folhas de estilo para definir a apresentação de páginas Web

Relatório da Prática de Ensino Supervisionada, Mestrado em Ensino de Informática, Universidade de Lisboa, 2014

Aprendizaje, motivación y conducta adaptativa : la búsqueda del empleo en los titulados superiores.

Buscar una aproximación teórica y metodológica que permita entender la forma en que las personas se adaptan a las situaciones nuevas y/o estresantes, mediante la utilización de una situación concreta como es la búsqueda de empleo en los titulados superiores. 37 licenciados universitarios de Ciencias y Letras, de la promoción 1989, que realizaron el Primer Ciclo de la carrera en el Colegio Universitario de Gerona, y terminaron sus estudios en el campus de Bellaterra de la misma Universidad. Parte teórica: A/ Analiza los distintos modelos explicativos de la conducta adaptativa y sus influencias. B/ Aborda la incorporación al mercado de trabajo de los titulados universitarios, centrándose en el modelo propuesto por Montane (1990). Parte empírica: A/ Pone a prueba algunas hipótesis derivadas del análisis de los distintos modelos teóricos expuestos en la parte teórica, con el fin de conocer en qué medida permiten explicar los comportamientos de búsqueda de empleo. Controla las siguientes variables: percepción de control, atribuciones, valor concedido al incentivo de encontrar trabajo. Parte teórica: bibliografía. Parte empírica: cuestionarios (demográfico y de salud, de atribuciones sobre la consecución de empleo, de percepción de control sobre la consecución de empleo, de salud general de Goldberg (GHQ-28), de depresión de Beck, de estilo atribucional, de búsqueda de empleo durante el verano, de atribuciones sobre los resultados de la búsqueda de empleo, de expectativas de autoeficacia sobre búsqueda de empleo, de utilización del tiempo, sobre actividades de búsqueda de empleo para quienes han encontrado trabajo y para quienes no lo han encontrado. Análisis estadístico mediante un paquete SPSS/PCT, versión 2.2., y con un programa Statworks, versión 1.1., para Macintosh, con un nivel de significación de p0,05. A/ Situacion laboral: hay diferencias significativas con respecto a la búsqueda de trabajo. B/ Estudios cursados: hay una clara relación entre la carrera estudiada y la percepción de control sobre la consecución de empleo. C/ Sexo: no existen diferencias significativas. D/ Variables subjetivas: los sujetos con mayores expectativas de conseguir trabajo y que creen que buscar trabajo depende de factores internos buscan menos. E/ Empleo y salud: existe una cierta relación entre situación ocupacional y salud. Se confirma el modelo de Montane (1990) de la necesidad de la integración de los tres factores que determinan el proceso de inserción laboral: el mercado de trabajo, técnicas de inserción, sujeto que busca trabajo. Los titulados no se sienten capacitados para ejercer su profesión y esto afecta a la búsqueda de empleo.

Estilos intelectuales de aprendizaje en la interacción educativa de profesores-as, estudiantes : hacia una enseñanza adaptativa.

Identificar los estilos intelectuales y los estilos de enseñanza y aprendizaje de profesores y alumnos y examinar las relaciones entre ellos.. Muestra 1: 459 alumnos-as de ESO (40 por ciento) y primero de Bachillerato (60 por ciento) de tres institutos de Enseñanza Secundaria de Murcia y Cartagena. Muestra 2: 108 sujetos que imparten docencia a los alumnos anteriores.. Se realiza primero un estudio teórico sobre el origen, evolución y tratamiento del concepto de estilos intelectuales desde diferentes disciplinas. Se revisan conceptualmente los términos estilo de aprendizaje y enseñanza y se analizan los estilos intelectuales propuestos por Sternberg para referirse al autogobierno mental del alumno y del profesor. Después se realiza un estudio empírico para examinar la relación del estilo intelectual y de aprendizaje de los estudiantes con el estilo intelectual y de instrucción del profesor. Se adaptan los instrumentos, se aplican a la muestra de estudiantes y profesores y se recogen las calificaciones finales de los alumnos. Se realizan análisis correlacionales entre las variables de los distintos estilos intelectuales, análisis de varianza y pruebas t de diferencia de medias para examinar las diferencias entre los centros y se calcula el índice de similitud para la comparación de perfiles de profesores-alumnos en cada asignatura.. Test de Factor G de Catell de nivel 3, Inventario de Estilos Intelectuales para Alumnos de Sternberg, Cuestionario de Tareas Abiertas para la Medida del Estilo Intelectual de Sternberg, Inventario de Estilos Intelectuales de los Alumnos Evaluados por el Profesor de Sternberg, Knowledge Accessing Modes Inventory (KAMI) de Rancourt, Indicador de Tipo Myers-Briggs Forma G, NASSP, Learning Styles Inventory (LSI) de Canfield, Inventario de Estilos Intelectuales para Profesores de Sternberg, Inventario de Estilos Instruccionales (ISI) de Canfield.. Los resultados de la adaptación de los diferentes instrumentos son satisfactorios, mostrando unos índices de fiabilidad adecuados. Se evidencian bastantes relaciones significativas entre los diversos estilos intelectuales y de aprendizaje del alumno entre sí y con las calificaciones escolares. Se revelan diferencias entre los tres centros estudiados en el estilo intelectual de los alumnos, así como en varios estilos de aprendizaje, aunque no ocurre lo mismo cuando se tienen en cuenta los estilos intelectuales y de enseñanza del profesorado. La comparación de perfiles de profesores y alumnos pone de manifiesto que los profesores de las distintas asignaturas muestran estilos característicos predominantes y que, en algunos casos, la coincidencia entre el estilo intelectual del profesor y el del alumno está asociada a las calificaciones obtenidas por éste. Esto parece indicar que existe una mayor relación entre los estilos intelectuales de los alumnos y sus calificaciones cuando coinciden el estilo intelectual del alumno y el del profesor..

La pedagogía adaptativa como respuesta compensadora, eficaz y de calidad en la atención a la diversidad del alumnado en escuelas urbanas : programa PAD.

Confirmar la validez del soporte teórico de la intervención compensatoria en el alumnado en situación de riesgo social y educativo mediante las metodologías incluidas en la donominación de Pedagogía Adaptativa. 253 alumnos y alumnas de diez aulas de dos centros educativos de Gijón (Asturias) de los niveles de infantil, primaria y secundaria, así como un tercer centro de contraste. El estudio se desarrolló en varias fases: 1. Planificación : comunicación y difusión. 2. Identificación de clases. 3. Primer control : evaluación del programa. 4. Fase de Réplica. 5. Segundo Control. Las variables dependientes se agrupan en productos (mejora cognitiva general y diferencias y mejora académica), procesos (tasas de actividad, valoración del profesorado, autoevaluación del alumnado y valoración de familias) e impacto (socialización y ambiente instructivo). Se utilizaron pruebas psicopedagógicas (WISC-R y K-ABC) y hojas de desarrollo curricular. La experiencia ha permitido apreciar varias situaciones a resaltar: los efectos alcanzados se pueden cuantificar en tamaños de efectos del orden de 0,8 siendo más consistentes en el nivel de Educación Infantil que en Primaria y Secundaria; el efecto compensatorio valorado mediante el indicador 20-20 se manifiesta con clarida en las aulas de los tres niveles educativos que obtienen mejoras medias significativas; se confirma, igualmente, la importancia de la dirección del aula establecida como directriz compensatoria por otros metanálisis y deja patente la prioridad personal del profesorado como mediador de aprendizajes, transmisor de expectativas y organizador del ambiente de aula; la familia, como primera institución educativa resulta imprescindible si bien, hemos podido constatar la importancia, no tanto de su participación enlas actividades generales del centro, sino de su implicación en el aprendizaje por medio del control en el hogar del plan de trabajo y la identificación con el estilo educativo del centro. Se concluye que la pegagogía adaptativa constituye una fórmula válida de atención a la diversidad en la medida en que se consignan organizar aulas eficaces en centros eficaces. Si el centro educativo mantiene en su proyecto y funciona con cohesión, autonomía y compromiso social con la comunidad, las aulas deben constituir alternativas organizativas relevantes y significativas para el alumnado en situación de riesgo educativo.

Análise de impacto e risco de lesões no segmento superior associadas a execução da técnica de gyaku tsuki sobre makiwara por praticantes de karate do estilo shotokan

Este trabalho consiste em um estudo para avaliar e quantificar o pico do impacto e força gerada no segmento superior em atletas da arte marcial de origem japonesa Karate Do, oriundos da seleção Gaúcha adulta e juvenil da modalidade do ano de 2001, durante a execução da técnica de gyaku tsuki sobre makiwara. Os valores dos picos de aceleração foram obtidos na região do punho e escápula utilizando-se acelerômetros piezoelétricos uniaxiais fixos nestas regiões, e os valores da força gerada durante o choque, obtidos através da instrumentação do makiwara com extensômetros. As medições no segmento superior foram realizadas no eixo longitudinal do mesmo de acordo com as recomendações das normas ISO 2631 (1974 e 1997) e ISO 5349 (1986). Um dos acelerômetros foi fixado na porção distal do rádio e o outro acima da espinha da escápula. A disposição dos acelerômetros têm por objetivo captar o nível de vibração que efetivamente chega no segmento superior pela mão e quanto da energia vibratória é absorvida pelo mesmo. Os dois sensores foram colocados superficialmente sobre a pele, diretamente acima das estruturas anatômicas acima descritas, fixos com fita adesiva. A aquisição dos dados foi realizada com uma placa conversora analógica digital, e programa de aquisição de dados em três canais desenvolvido na plataforma de programação visual HPVee. Os ensaios foram realizados simulando a maneira clássica de execução da técnica de gyaku tsuki em makiwara. O trabalho apresenta ainda um estudo sistemático de lesões associadas ao uso do makiwara e estatísticas referentes a praticantes avançados do estado do Rio Grande do Sul. Também apresenta algumas considerações anatômicas e Mecânicas da técnica estudada, para apresentar-se como material de auxílio à estudiosos da Biomecânica dos esportes e Cinesiologia, instrutores e treinadores em geral para otimizar e aperfeiçoar, ou mesmo aumentar a compreensão da prática esportiva do Karate Do. Também é apresentado um modelo biomecânico de quatro graus de liberdade usado para análise de domínio de freqüência e possível simulação futura.

Metodologia para modelagem, validação e programação de controladores lógicos industriais usando statecharts básicos

Due of industrial informatics several attempts have been done to develop notations and semantics, which are used for classifying and describing different kind of system behavior, particularly in the modeling phase. Such attempts provide the infrastructure to resolve some real problems of engineering and construct practical systems that aim at, mainly, to increase the productivity, quality, and security of the process. Despite the many studies that have attempted to develop friendly methods for industrial controller programming, they are still programmed by conventional trial-and-error methods and, in practice, there is little written documentation on these systems. The ideal solution would be to use a computational environment that allows industrial engineers to implement the system using high-level language and that follows international standards. Accordingly, this work proposes a methodology for plant and control modelling of the discrete event systems that include sequential, parallel and timed operations, using a formalism based on Statecharts, denominated Basic Statechart (BSC). The methodology also permits automatic procedures to validate and implement these systems. To validate our methodology, we presented two case studies with typical examples of the manufacturing sector. The first example shows a sequential control for a tagged machine, which is used to illustrated dependences between the devices of the plant. In the second example, we discuss more than one strategy for controlling a manufacturing cell. The model with no control has 72 states (distinct configurations) and, the model with sequential control generated 20 different states, but they only act in 8 distinct configurations. The model with parallel control generated 210 different states, but these 210 configurations act only in 26 distinct configurations, therefore, one strategy control less restrictive than previous. Lastly, we presented one example for highlight the modular characteristic of our methodology, which it is very important to maintenance of applications. In this example, the sensors for identifying pieces in the plant were removed. So, changes in the control model are needed to transmit the information of the input buffer sensor to the others positions of the cell

Conversão de registros em XML para MARC 21: um modelo baseado em folhas de estilo XSLT

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

DINÂMICA PSÍQUICA E EFICÁCIA ADAPTATIVA DE PACIENTES COM DIABETES MELLITUS TIPO 2

O diabetes é uma doença crônica conhecida há aproximadamente 3.500 anos e que atinge, atualmente, cerca de 18,8 milhões de pessoas no mundo, sendo, portanto, de grande interesse a diversos pesquisadores das mais variadas áreas. Esta doença é resultante de uma insuficiência de insulina, que desempenha papel fundamental nos processos metabólicos do organismo. A incidência do Diabetes Mellitus tipo 2 tem apresentado um considerável crescimento nas últimas décadas, principalmente decorrente da elevada expectativa de vida e, também, pelo resultado de comportamentos destrutivos a saúde, como o abuso de substâncias, dieta inadequada e um estilo de vida sedentário. O presente estudo teve por objetivos avaliar a Qualidade de Vida, a dinâmica psíquica, a eficácia adaptativa e verificar os níveis glicêmicos de pessoas com Diabetes Mellitus tipo 2 participantes de um grupo psicoeducativo. Participaram deste estudo 14 pessoas com Diabetes Mellitus tipo 2. Os instrumentos utilizados foram: 1. Escala da Associação Brasileira de Institutos de Pesquisa de Mercado (ABIPEME); 2. Escala Diagnóstica Adaptativa Operacionalizada (EDAO); 3. Teste das Relações Objetais de Phillipson (TRO); e, 4. WHOQOL-bref. Os resultados mostraram que alguns pacientes apresentaram uma melhora significativa em seus níveis glicêmicos após a realização do grupo psicoeducativo, mesmo verificando que alguns não atingiram ainda bom controle de sua glicemia. A qualidade de vida destes participantes apresentou-se com níveis muito bons. Ao avaliar a eficácia adaptativa e a dinâmica psíquica destes participantes, verificou-se o quanto é difícil aceitar que se tem uma doença crônica e ter atitudes para realizar o tratamento adequado. Concluímos que para estas pessoas com diabetes poderem aderir ao tratamento é necessário que ele apresente uma boa capacidade de solucionar conflitos, e, apresente seu mundo interno ligado à posição depressiva. Se estes fatores estiverem equilibrados o estilo de vida e o bem-estar desses pacientes serão positivos, de modo que eles possam apresentar consequentemente um bom prognóstico com menos complicações da doença durante mais tempo de vida.

Desafios da introdução ao pensamento computacional e à programação no 1º ciclo do Ensino Básico: racionalizar, valorizar e atualizar.

O uso dos computadores em educação tem uma história de décadas, rica e inspiradora de programas e iniciativas muito diversificadas neste domínio. Esta história, tal como se fosse um rio em curso está povoada de pessoas, ideais, conceitos, artefactos e tecnologias, que se vão renovando a cada momento e enfrentando novos desafios. Esta história, incluindo a experiencia e o conhecimento obtidos pelo autor durante a vigência do Projeto Minerva e outros projetos e programas que se lhe seguiram até aos dias de hoje, deu lugar a uma base de conhecimento científico e pedagógico inestimável e constitui um precioso capital, se e quando o usamos, para enfrentar estes novos desafios. Este capital inclui, naturalmente, os sucessos e os insucessos e que podem ser encontrados no curso dessa história. O desenvolvimento das sociedades modernas hoje em dia impõe de forma impressiva novos desafios às instituições educativas, que enfrentam grandes dificuldades em conseguir responder de forma adequada, rápida e eficaz. A transformação social e o ritmo do progresso tecnológico andam de mãos dadas e exercem, em especial nas sociedades desenvolvidas e em desenvolvimento, um duplo efeito: torna a sociedade cada vez mais tecnologicamente evoluída e dependente através da produção e distribuição de forma massiva de artefactos digitais cada vez mais sofisticados e acessíveis aos cidadãos numa lógica de consumo e ao mesmo tempo requer uma adaptação ao estilo de vida digital, decorrente dos processos de distribuição e massificação da tecnologia. Este fenómeno tem impacto em quase todos os sectores da atividade humana. Destacamos aqui apenas o da educação e formação.