Preparador-programador de máquinas herramientas con CNC.

Contenido ocupacional y formativo del certificado de profesionalidad de 'Preparador-programador de máquinas herramientas con CNC', perteneciente a la familia profesional 'Industrias de fabricación de equipos electromecánicos'. Se recoge: 1) El Real Decreto que establece dicho certificado. 2) Las realizaciones profesionales y criterios de ejecución de cada una de las unidades de competencia que constituyen el perfil profesional de la ocupación. 3) Los objetivos generales y específicos, criterios de evaluación y contenidos teórico-prácticos de los módulos que componen el itinerario formativo, así como la duración del mismo. 4) Por último, se recogen los requisitos personales exigidos a profesorado y alumnado y los requisitos materiales necesarios (instalaciones, equipo y maquinaria, herramientas, etc.).

Programador de aplicaciones informáticas.

Real Decreto 1597, de 17 de octubre de 1997, por el que se establece el certificado de profesionalidad de la ocupación de programador de aplicaciones informáticas acompañado de dos anexos, uno sobre el referente ocupacional, familia (servicios a las empresas) y perfil profesionales, y otro sobre el referente formativo que incluye los objetivos y contenidos específicos de los módulos que componen la ocupación, su duración y los requisitos personales y materiales.

Simulador de la Operación Coordinada de los Sistemas Eléctricos del Istmo Centroamericano (SOSEICA): manuales del usuario, técnico y del programador

Incluye Bibliografía

Simulador de la Operación Coordinada de los Sistemas Eléctricos del Istmo Centroamericano (SOSEICA): manual del usuario, técnico y del programador, versión 3.3

Incluye Bibliografía

Simulador interactivo de flujos de potencia: manual del programador

Incluye Bibliografía

Programa????o do sistema de manuten????o

Este projeto refere-se ?? implanta????o de um sistema operacional criado para sanar as dificuldades encontradas na manuten????o da ??rea de 800 ha ocupada pela Funda????o Oswaldo Cruz. O campus ?? dividido em cinco ??reas. Cada uma delas ?? visitada diariamente por um programador respons??vel que alimenta o sistema informatizado em rede com as requisi????es de servi??o, desdobrando-as em a????es internas, que por sua vez s??o distribu??das aos departamentos executantes. O sistema foi divulgado para a institui????o por meio de um Manual de Manuten????o explicando os novos procedimentos. A implanta????o do sistema possibilitou mudan??as qualitativas e quantitativas no conjunto da organiza????o

Programa????o de computadores

Treinar pessoal especializado para o exerc??cio da Fun????o de Programador de Computadores na Administra????o p??blica

O PAPEL DO ILUSTRADOR NA CRIAÇÃO DE ÁLBUNS ILUSTRADOS ELETRÓNICOS

O papel criativo dos autores na conceção de conteúdos para publicações eletrónicas de álbuns ilustrados tem sido preterido pelo papel de programador, já que na tentativa de explorar o mercado editorial online as editoras tendem a recriar o seu portefólio impresso no mundo das publicações virtuais[1] . Esta preferência tem como consequência a criação de conteúdos que ignoram as diferenças da manipulação e experiência de leitura que os diferentes tipos de publicação permitem. Devem os álbuns ilustrados eletrónicos libertar-se das ligações ao códice tradicional, permitindo que se legitimem enquanto objetos autónomos, assumindo as suas próprias regras de leitura? Qual o papel do ilustrador neste processo?

O PAPEL DO ILUSTRADOR NA CRIAÇÃO DE ÁLBUNS ILUSTRADOS ELETRÓNICOS

O papel criativo dos autores na conceção de conteúdos para publicações eletrónicas de álbuns ilustrados tem sido preterido pelo papel de programador, já que na tentativa de explorar o mercado editorial online as editoras tendem a recriar o seu portefólio impresso no mundo das publicações virtuais[1] . Esta preferência tem como consequência a criação de conteúdos que ignoram as diferenças da manipulação e experiência de leitura que os diferentes tipos de publicação permitem. Devem os álbuns ilustrados eletrónicos libertar-se das ligações ao códice tradicional, permitindo que se legitimem enquanto objetos autónomos, assumindo as suas próprias regras de leitura? Qual o papel do ilustrador neste processo?

Contributo para o estudo das expressões faciais na animação

A animação 3D de expressões faciais é uma tarefa complexa, o que aliado ao alto consumo de recursos do próprio hardware, torna o processo extremamente longo. Adicionando duas outras condicionantes, nomeadamente os cada vez mais baixos orçamentos praticados e a rapidez exigida pelos clientes, podem por em causa a sustentabilidade de um projeto de animação. Nesse sentido é necessário reunir esforços e investigar profundamente para tornar a animação 3D acessível a qualquer animador. É importante começar precisamente com softwares grátis, para salvaguardar uma despesa logo à partida, e open source, para qualquer programador poder igualmente dar asas à sua imaginação e qualquer tipo de extensão ou melhoria processual poder ser livremente adicionada. O atual paradigma dos softwares grátis e de código aberto na área de modelação e animação 3D é o Blender 3D e foi tomado como referência para qualquer especificação técnica.

XAdES4J: a java library for XAdES signature services

As comunicações electrónicas são cada vez mais o meio de eleição para negócios entre entidades e para as relações entre os cidadãos e o Estado (e-government). Esta diversidade de transacções envolve, muitas vezes, informação sensível e com possível valor legal. Neste contexto, as assinaturas electrónicas são uma importante base de confiança, fornecendo garantias de integridade e autenticação entre os intervenientes. A produção de uma assinatura digital resulta não só no valor da assinatura propriamente dita, mas também num conjunto de informação adicional acerca da mesma, como o algoritmo de assinatura, o certificado de validação ou a hora e local de produção. Num cenário heterogéneo como o descrito anteriormente, torna-se necessária uma forma flexível e interoperável de descrever esse tipo de informação. A linguagem XML é uma forma adequada de representar uma assinatura neste contexto, não só pela sua natureza estruturada, mas principalmente por ser baseada em texto e ter suporte generalizado. A recomendação XML Signature Syntax and Processing (ou apenas XML Signature) foi o primeiro passo na representação de assinaturas em XML. Nela são definidas sintaxe e regras de processamento para criar, representar e validar assinaturas digitais. As assinaturas XML podem ser aplicadas a qualquer tipo de conteúdos digitais identificáveis por um URI, tanto no mesmo documento XML que a assinatura, como noutra qualquer localização. Além disso, a mesma assinatura XML pode englobar vários recursos, mesmo de tipos diferentes (texto livre, imagens, XML, etc.). À medida que as assinaturas electrónicas foram ganhando relevância tornou-se evidente que a especificação XML Signature não era suficiente, nomeadamente por não dar garantias de validade a longo prazo nem de não repudiação. Esta situação foi agravada pelo facto da especificação não cumprir os requisitos da directiva 1999/93/EC da União Europeia, onde é estabelecido um quadro legal para as assinaturas electrónicas a nível comunitário. No seguimento desta directiva da União Europeia foi desenvolvida a especificação XML Advanced Electronic Signatures que define formatos XML e regras de processamento para assinaturas electrónicas não repudiáveis e com validade verificável durante períodos de tempo extensos, em conformidade com a directiva. Esta especificação estende a recomendação XML Signature, definindo novos elementos que contêm informação adicional acerca da assinatura e dos recursos assinados (propriedades qualificadoras). A plataforma Java inclui, desde a versão 1.6, uma API de alto nível para serviços de assinaturas digitais em XML, de acordo com a recomendação XML Signature. Contudo, não existe suporte para assinaturas avançadas. Com este projecto pretende-se desenvolver uma biblioteca Java para a criação e validação de assinaturas XAdES, preenchendo assim a lacuna existente na plataforma. A biblioteca desenvolvida disponibiliza uma interface com alto nível de abstracção, não tendo o programador que lidar directamente com a estrutura XML da assinatura nem com os detalhes do conteúdo das propriedades qualificadoras. São definidos tipos que representam os principais conceitos da assinatura, nomeadamente as propriedades qualificadoras e os recursos assinados, sendo os aspectos estruturais resolvidos internamente. Neste trabalho, a informação que compõe uma assinatura XAdES é dividia em dois grupos: o primeiro é formado por características do signatário e da assinatura, tais como a chave e as propriedades qualificadoras da assinatura. O segundo grupo é composto pelos recursos assinados e as correspondentes propriedades qualificadoras. Quando um signatário produz várias assinaturas em determinado contexto, o primeiro grupo de características será semelhante entre elas. Definiu-se o conjunto invariante de características da assinatura e do signatário como perfil de assinatura. O conceito é estendido à verificação de assinaturas englobando, neste caso, a informação a usar nesse processo, como por exemplo os certificados raiz em que o verificador confia. Numa outra perspectiva, um perfil constitui uma configuração do serviço de assinatura correspondente. O desenho e implementação da biblioteca estão também baseados no conceito de fornecedor de serviços. Um fornecedor de serviços é uma entidade que disponibiliza determinada informação ou serviço necessários à produção e verificação de assinaturas, nomeadamente: selecção de chave/certificado de assinatura, validação de certificados, interacção com servidores de time-stamp e geração de XML. Em vez de depender directamente da informação em causa, um perfil — e, consequentemente, a operação correspondente — é configurado com fornecedores de serviços que são invocados quando necessário. Para cada tipo de fornecedor de serviços é definida um interface, podendo as correspondentes implementações ser configuradas de forma independente. A biblioteca inclui implementações de todos os fornecedores de serviços, sendo algumas delas usadas for omissão na produção e verificação de assinaturas. Uma vez que o foco do projecto é a especificação XAdES, o processamento e estrutura relativos ao formato básico são delegados internamente na biblioteca Apache XML Security, que disponibiliza uma implementação da recomendação XML Signature. Para validar o funcionamento da biblioteca, nomeadamente em termos de interoperabilidade, procede-se, entre outros, à verificação de um conjunto de assinaturas produzidas por Estados Membros da União Europeia, bem como por outra implementação da especificação XAdES.

Supporting intra-task parallelism in real-time multiprocessor systems

Os sistemas de tempo real modernos geram, cada vez mais, cargas computacionais pesadas e dinâmicas, começando-se a tornar pouco expectável que sejam implementados em sistemas uniprocessador. Na verdade, a mudança de sistemas com um único processador para sistemas multi- processador pode ser vista, tanto no domínio geral, como no de sistemas embebidos, como uma forma eficiente, em termos energéticos, de melhorar a performance das aplicações. Simultaneamente, a proliferação das plataformas multi-processador transformaram a programação paralela num tópico de elevado interesse, levando o paralelismo dinâmico a ganhar rapidamente popularidade como um modelo de programação. A ideia, por detrás deste modelo, é encorajar os programadores a exporem todas as oportunidades de paralelismo através da simples indicação de potenciais regiões paralelas dentro das aplicações. Todas estas anotações são encaradas pelo sistema unicamente como sugestões, podendo estas serem ignoradas e substituídas, por construtores sequenciais equivalentes, pela própria linguagem. Assim, o modo como a computação é na realidade subdividida, e mapeada nos vários processadores, é da responsabilidade do compilador e do sistema computacional subjacente. Ao retirar este fardo do programador, a complexidade da programação é consideravelmente reduzida, o que normalmente se traduz num aumento de produtividade. Todavia, se o mecanismo de escalonamento subjacente não for simples e rápido, de modo a manter o overhead geral em níveis reduzidos, os benefícios da geração de um paralelismo com uma granularidade tão fina serão meramente hipotéticos. Nesta perspetiva de escalonamento, os algoritmos que empregam uma política de workstealing são cada vez mais populares, com uma eficiência comprovada em termos de tempo, espaço e necessidades de comunicação. Contudo, estes algoritmos não contemplam restrições temporais, nem outra qualquer forma de atribuição de prioridades às tarefas, o que impossibilita que sejam diretamente aplicados a sistemas de tempo real. Além disso, são tradicionalmente implementados no runtime da linguagem, criando assim um sistema de escalonamento com dois níveis, onde a previsibilidade, essencial a um sistema de tempo real, não pode ser assegurada. Nesta tese, é descrita a forma como a abordagem de work-stealing pode ser resenhada para cumprir os requisitos de tempo real, mantendo, ao mesmo tempo, os seus princípios fundamentais que tão bons resultados têm demonstrado. Muito resumidamente, a única fila de gestão de processos convencional (deque) é substituída por uma fila de deques, ordenada de forma crescente por prioridade das tarefas. De seguida, aplicamos por cima o conhecido algoritmo de escalonamento dinâmico G-EDF, misturamos as regras de ambos, e assim nasce a nossa proposta: o algoritmo de escalonamento RTWS. Tirando partido da modularidade oferecida pelo escalonador do Linux, o RTWS é adicionado como uma nova classe de escalonamento, de forma a avaliar na prática se o algoritmo proposto é viável, ou seja, se garante a eficiência e escalonabilidade desejadas. Modificar o núcleo do Linux é uma tarefa complicada, devido à complexidade das suas funções internas e às fortes interdependências entre os vários subsistemas. Não obstante, um dos objetivos desta tese era ter a certeza que o RTWS é mais do que um conceito interessante. Assim, uma parte significativa deste documento é dedicada à discussão sobre a implementação do RTWS e à exposição de situações problemáticas, muitas delas não consideradas em teoria, como é o caso do desfasamento entre vários mecanismo de sincronização. Os resultados experimentais mostram que o RTWS, em comparação com outro trabalho prático de escalonamento dinâmico de tarefas com restrições temporais, reduz significativamente o overhead de escalonamento através de um controlo de migrações, e mudanças de contexto, eficiente e escalável (pelo menos até 8 CPUs), ao mesmo tempo que alcança um bom balanceamento dinâmico da carga do sistema, até mesmo de uma forma não custosa. Contudo, durante a avaliação realizada foi detetada uma falha na implementação do RTWS, pela forma como facilmente desiste de roubar trabalho, o que origina períodos de inatividade, no CPU em questão, quando a utilização geral do sistema é baixa. Embora o trabalho realizado se tenha focado em manter o custo de escalonamento baixo e em alcançar boa localidade dos dados, a escalonabilidade do sistema nunca foi negligenciada. Na verdade, o algoritmo de escalonamento proposto provou ser bastante robusto, não falhando qualquer meta temporal nas experiências realizadas. Portanto, podemos afirmar que alguma inversão de prioridades, causada pela sub-política de roubo BAS, não compromete os objetivos de escalonabilidade, e até ajuda a reduzir a contenção nas estruturas de dados. Mesmo assim, o RTWS também suporta uma sub-política de roubo determinística: PAS. A avaliação experimental, porém, não ajudou a ter uma noção clara do impacto de uma e de outra. No entanto, de uma maneira geral, podemos concluir que o RTWS é uma solução promissora para um escalonamento eficiente de tarefas paralelas com restrições temporais.

Suporte à computação paralela e distribuída em Java: API e comunicação entre nós cooperantes

Este trabalho é uma parte do tema global “Suporte à Computação Paralela e Distribuída em Java”, também tema da tese de Daniel Barciela no mestrado de Engenharia Informática do Instituto Superior de Engenharia do Porto. O seu objetivo principal consiste na definição/criação da interface com o programador, assim como também abrange a forma como os nós comunicam e cooperam entre si para a execução de determinadas tarefas, de modo a atingirem um único objetivo global. No âmbito desta dissertação foi realizado um estudo prévio relativamente aos modelos teóricos referentes à computação paralela, assim como também foram analisadas linguagens e frameworks que fornecem suporte a este mesmo tipo de computação. Este estudo teve como principal objetivo a análise da forma como estes modelos e linguagens permitem ao programador expressar o processamento paralelo no desenvolvimento das aplicações. Como resultado desta dissertação surgiu a framework denominada Distributed Parallel Framework for Java (DPF4j), cujo objetivo principal é fornecer aos programadores o suporte para o desenvolvimento de aplicações paralelas e distribuídas. Esta framework foi desenvolvida na linguagem Java. Esta dissertação contempla a parte referente à interface de programação e a toda a comunicação entre nós cooperantes da framework DPF4j. Por fim, foi demonstrado através dos testes realizados que a DPF4j, apesar de ser ainda um protótipo, já demonstra ter uma performance superior a outras frameworks e linguagens que possuem os mesmos objetivos.

Simulação da profundidade de campo

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Engenharia Informática

Um modelo de grupos para aplicações interactivas distribuídas

Dissertação apresentada para a obtenção do Grau de Doutor em Informática pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia