4 resultados para Linguagens formais
em Infoteca EMBRAPA
Resumo:
A Embrapa Monitoramento por Satélite, desde 1991, adaptou-se a esse novo cenário tecnológico e vem aprimorando, sempre que possível, seus recursos físicos e humanos a essa realidade. Justamente por estar acompanhando e aplicando essa tecnologia desde seu início, a Unidade possui um histórico de acontecimentos e desenvolvimento de infraestrutura, linguagens computacionais e metodologias que refletem exatamente a rapidez com a qual a Internet vem se desenvolvendo e a amplitude de aplicações que vem oferecendo. Este histórico é apresentado no trabalho, com o intuito de resgate e registro da experiência da equipe do Centro, nesta área específica do conhecimento humano, avaliando as transformações e adaptações de tecnologias e linguagens e sua importância como instrumento de comunicação direta com a sociedade.
Resumo:
Para muitos usuários, a programação visual é uma alternativa atrativa às linguagens de programação textuais. Uma das razões para esta atração é que a representação visual de um problema está muito mais próxima com a forma pela qual a solução é obtida ou entendida se comparada à representação textual. Este trabalho apresenta um modelo para a programação visual de matrizes baseado nos paradigmas de fluxo de dados e planilhas eletrônicas. O fluxo de dados e a planilha forma a base semântica da linguagem, enquanto as representações gráficas do grafo direcionado e de uma planilha fundamentam sua base sintática. Este modelo consiste em um conjunto de diagramas bidimensionais e de regras de transformação. Os processos são implementados como redes de fluxo de dados e os dados são representados por planilhas. As planilhas podem ser vistas como variáveis do tipo matriz que armazenam dados bidimensionais, ou como funções, que recebem e produzem valores utilizados por outros processos. Neste caso, as planilhas são programadas seguindo o paradigma de programação por demonstrações que incorporam um poderoso construtor de interação, reduzindo significativamente a utilização de recursos e repetições. O modelo proposto pode ser utilizado em diversos domínios de aplicação, principalmente para simplificar a construção de modelos matemáticos de simulação e análise estatística.
Resumo:
Web x Web semântica. Representação do conhecimento. Ontologia. Agentes inteligentes. Metadados. Arquitetura de descrição de recursos. Tipos de linguagens a para construção da Web semãntica.
Resumo:
Apesar de exigir maior grau de dificuldade do que a instalação via pacotes, a instalação via código-fonte oferece uma infinidade de recursos em relação à primeira, tais como: definir a estrutura de diretórios para binários, bibliotecas, módulos, manuais e demais arquivos do SGBD conforme o desejado, o que facilita a organização, localização e manutenção do PostgreSQL; ativar suporte a um determinado idioma, para tradução de mensagens; construir suporte a determinadas linguagens ou módulos; definir alguns parâmetros padrões; além de conceber maior controle e segurança nas atualizações de versões do SGBD, evitando assim, atualizações automáticas indesejáveis por meio do sistema operacional e a conseqüente perda de bases de dados; entre outros. Para este trabalho, foi utilizado o sistema operacional Ubuntu Server 8.04.1, contudo, este tutorial é totalmente aplicável e compatível a outras versões Ubuntu, bem como a outras distribuições Linux, respeitando, é claro, as particularidades de algumas distribuições, como a estrutura de diretórios destes. Quanto ao SGBD PostgreSQL, foi adotado a versão 8.3.4, lançada em Setembro/2008, contudo, este tutorial se aplica também à versões inferiores 8.x.x deste SGBD.