141.
Modelo cooperativo construtivista para autoria de cursos a distância usando tecnologia de Workflow.
- Zeve, Carlos Mario Dal Col
Este trabalho tem por fim especificar um modelo de descrição de tarefas, usando a tecnologia de workflow para representar a automação das atividades de autoria de cursos em ambientes distribuídos como a web, baseado em um modelo interacionista de cooperação. Busca, também, obter respostas relevantes às necessidades de especificação de workflow, tendo em vista a possibilidade de agregar ou modificar alguns elementos, para que possam expressar situações não previstas nos modelos atuais. O interesse deste trabalho em workflow devese ao fato de as tarefas nele desenvolvidas se relacionarem à autoria de documentos multimídia, tais como os utilizados em educação a...
142.
CERTAINTY EQUIVALENT AND RISK MEASURES IN ELECTRICAL ENERGY TRADE DECISIONS
- ALEXANDRE STREET DE AGUIAR
Em problemas de decisão sob incerteza que dependam da preferência entre fluxos multi-período, como é o caso dos problemas de comercialização de contratos de energia elétrica no Brasil, o agente deve saber expressar sua preferência por diferentes distribuições em cada período e, além disso, deve também especificar uma preferência entre períodos. Classicamente a abordagem utilizada é definir um funcional de preferência de von Neumann e Morgenstern separável entre os períodos, composto pela soma da esperança de utilidades que modelam a preferência em cada período. Então, para expressar a preferência entre períodos, esta soma é ponderada por um fator de desconto...
143.
Diferentes arranjos para estudo de bordadura lateral em parcelas experimentais de milho-verde
- ALVES,SUELI MARTINS DE FREITAS; SERAPHIN,JOSÉ CARLOS; SILVA,ÁLVARO ELEUTÉRIO DA; ZIMMERMANN,FRANCISCO JOSÉ P.
Visando ao estudo do uso de bordadura lateral em experimentos de avaliação de genótipos de milho-verde, testaram-se quatro arranjos para pré-especificar a disposição das linhas na parcela experimental básica. No arranjo 1, o estudo foi feito de forma que os efeitos convergissem para o centro da parcela. No arranjo 2, têm-se informações do efeito de bordadura de cada lado da parcela. No arranjo 3, as informações são obtidas em cada linha da parcela, e no arranjo 4, têm-se informações das linhas de cada lado da parcela em relação à parte central. Os dados utilizados foram provenientes de um ensaio de...
144.
Aspectos da Reologia e da Estabilidade de Suspensões Cerâmicas. Parte III: Mecanismo de Estabilização Eletroestérica de Suspensões com Alumina
- Ortega,F. S.; Pandolfelli,V. C.; Rodrigues,J. A.; de Souza,D. P. F.
Esta terceira e última parte da revisão sobre os aspectos reológicos e de estabilização de suspensões com pós cerâmicos vem reunir a aplicação dos conhecimentos adquiridos nas primeiras duas partes publicadas anteriormente. Aqui, os fenômenos eletrostático devido à dupla camada elétrica, e estérico, relacionado à adsorção de moléculas poliméricas, são combinados para explicar o mecanismo eletroestérico de estabilização de suspensões cerâmicas. Os defloculantes que atuam através desse mecanismo abrangem uma classe específica de polímero denominada polieletrólitos, a qual é constituída por macromoléculas ionizáveis quando em solução. O estudo da forma com que os polieletrólitos atuam justifica-se devido à larga utilização...
145.
Software para a simulação do comportamento de barras de aço sujeita a esforços
- Menezes,Márcia Veloso de
Observa-se que atualmente o dimensionamento de barras de aço sujeitas à ação de esforços é feito, na maioria das vezes, utilizando-se programas computacionais ou uma seqüência de fórmulas, sem que ocorra um entendimento do comportamento da estrutura. O não entendimento desse comportamento dificulta a aplicação do formulário ou dos softwares em problemas novos e menos comuns. Será apresentado, nesse trabalho, um programa computacional que simula o comportamento de peças de aço submetidas a esforços. Nesse programa é mostrado, através de animações gráficas 3D, o comportamento de peças tracionadas, comprimidas, fletidas, sujeitas a tensões combinadas e vigas mistas. Será apresentado, também,...
146.
Cobertura de planos privados de saúde e doenças crônicas: notas sobre utilização de procedimentos de alto custo
- Bahia,Ligia; Simmer,Elaine; Oliveira,Daniel Canavese de
Com o objetivo de contribuir para especificar a origem das fontes de remuneração dos procedimentos de alto custo, relacionados com a assistência a doenças crônicas, o presente trabalho examina a utilização de procedimentos médicos selecionados por clientes vinculados a planos privados de saúde e pelos segmentos populacionais cobertos exclusivamente pelo SUS. O estudo se baseia na comparação entre taxas de utilização dos procedimentos selecionados, obtidos por meio de informações solicitadas a empresas de planos de saúde, consultas às fontes oficiais e estimativas fornecidas por informantes-chave. Apesar de possíveis problemas de classificação, as taxas de utilização dos clientes de planos privados...
147.
Utilização de características intrínsecas das redes de sensores sem fio na detecção de invasões.
- Luciano Bernardes De Paula
As aplicações para Redes de Sensores Sem Fio (RSSF) crescem de maneira aceleradae, cada vez mais, estas são aplicadas para solucionar problemas antes considerados intratáveis.O maior desafio para os desenvolvedores de soluções que utilizem redes de sensoressem fio é como ultrapassar a barreira da limitação de recursos como energia, processamento ememória que essas possuem. Com o aumento da utilização dessas redes, incluindo em áreasmilitares e de segurança civil, aumentam também as ameaças de segurança que as visam. Emcontrapartida, toda a segurança já desenvolvida para as redes de computadores convencionaisnão pode ser aplicada para as RSSFs devido à limitação destas.A maioria...
148.
A prova da posição de consumidor como destinatário final, nas relações jurídicas de consumo
- Mirella D\'angelo Caldeira
O presente trabalho busca investigar o conceito jurídico da expressão"destinatário final" contida no caput do artigo 2.0 do Código de Defesa doconsumidor, fundamentando-se em duas razões; a primeira, no fato de ter olegislador utilizado-se dessa expressão como meio de conceituar e especificar oconsumidor padrão. A segunda razão, ocorre porque, para que seja possível aaplicação das normas do CDC, é necessário visar uma relação jurídica típica deconsumo, isto é, aquela que envolve consumidor e fornecedor como sujeitospartícipes da relação e produto ou serviço como objeto.Da análise do conceito de destinatário final, parte-se para a investigaçãode outro problema conseqüente, que é o...
149.
Extensão do meta-modelo RAS para adição de suporte de sistemas multi-agentes a redes de compartilhamento de componentes de software
- Mauro Morais de Miranda
O objetivo principal da utilização de componentes de software é o incremento do reuso, o que leva a um aumento da produtividade por usar componentes pré-existentes, com maior confiabilidade, maior facilidade de gerenciamento e a padronização do desenvolvimento. O processo de desenvolvimento de software baseado em componentes modifica sensivelmente o processo tradicional de desenvolvimento, introduzindo novas características. O foco passa a ser a integração de componentes, em que questões arquiteturais devem ser consideradas de forma mais rigorosa, requerendo um esforço em requisitos, testes e integração de componentes. O Object Management Group (OMG) entendeu que o primeiro passo a ser tomado...
150.
Arqueología del sector central de las Sierras de Córdoba (Argentina): Hacia una definición de los procesos sociales del período prehispánico tardío (900-1573 DC)
- Pastor,Sebastián; Berberián,Eduardo
Se efectúa un breve repaso de la información arqueológica e histórica disponible para los diferentes valles y piedemontes que rodean al cordón central de las Sierras de Córdoba (Argentina), también conocido como Sierras Grandes. A partir de la misma se plantean consideraciones generales sobre los procesos sociales del período prehispánico tardío (ca. 900-1573 DC), así como en relación a algunas persistencias de la organización nativa durante los inicios del régimen colonial español (1573-1620 DC). El período tardío es definido por el advenimiento de la producción agrícola que las sociedades serranas integraron a sus tradicionales prácticas de caza y recolección. La...
151.
Arqueología del sector central de las Sierras de Córdoba (Argentina): Hacia una definición de los procesos sociales del período prehispánico tardío (900-1573 DC)
- Pastor,Sebastián; Berberián,Eduardo
Se efectúa un breve repaso de la información arqueológica e histórica disponible para los diferentes valles y piedemontes que rodean al cordón central de las Sierras de Córdoba (Argentina), también conocido como Sierras Grandes. A partir de la misma se plantean consideraciones generales sobre los procesos sociales del período prehispánico tardío (ca. 900-1573 DC), así como en relación a algunas persistencias de la organización nativa durante los inicios del régimen colonial español (1573-1620 DC). El período tardío es definido por el advenimiento de la producción agrícola que las sociedades serranas integraron a sus tradicionales prácticas de caza y recolección. La...
152.
Modelo temporal de versões
- Moro, Mirella Moura
O objetivo principal desse trabalho é apresentar uma alternativa para a união de um modelo de versões e dados temporais. O resultado, o Modelo Temporal de Versões TVM (Temporal Versions Model), é capaz de armazenar as versões do objeto e, para cada versão, o histórico dos valores das propriedades e dos relacionamentos dinâmicos. Esse modelo difere de outros modelos de dados temporais por apresentar duas diferentes ordens de tempo, ramificado para o objeto e linear para cada versão. O usuário pode também especificar, durante a modelagem, classes normais sem tempo e versionamento, o que permite a integração deste modelo...
153.
Extensão do padrão ODMG para suportar tempo e versões
- Gelatti, Paôla Cristina
Este trabalho apresenta uma extensão do padrão ODMG para o suporte ao versionamento de objetos e características temporais. Essa extensão, denominada TV_ODMG, é baseada no Modelo Temporal de Versões (TVM), que é um modelo de dados orientado a objetos desenvolvido para armazenar as versões do objeto e, para cada versão, o histórico dos valores dos atributos e dos relacionamentos dinâmicos. O TVM difere de outros modelos de dados temporais por apresentar duas diferentes ordens de tempo, ramificado para o objeto e linear para cada versão. O usuário pode também especificar, durante a modelagem, classes normais (sem tempo e versões), o...
154.
ELICITAÇÃO DE REQUISITOS BASEADA EM OBJETIVOS PARA POLÍTICAS DE SEGURANÇA E PRIVACIDADE EM COMÉRCIO ELETRÔNICO
- SIMARA VIEIRA DA ROCHA
Este trabalho descreve um método para elicitação de requisitos baseado em objetivos para sistemas de comércio eletrônico, em conformidade com as políticas de segurança e privacidade existentes em um site. O método é originado pela integração das abordagens UWA [33] com a instanciação do método GBRAM [6] para o desenvolvimento de políticas e requisitos de sistemas de comércio eletrônicos seguros. O método resultante tem por objetivo garantir que as políticas de segurança e privacidade existentes nunca se tornem obsoletas com a adoção de novas funcionalidades a um site. Para tanto, provê meios para que os requisitos elicitados estejam em conformidade...
155.
Verificação formal de protocolos criptográficos : o caso dos protocolos em cascata
- Rodrigo Borges Nogueira
Garantir a segurança de protocolos criptográficos não é uma tarefa simples. O modelo Dolev-Yao, proposto no início da década de 80, constitui uma importante metodologia matemática de modelagem de protocolos criptográficos, possibilitando a análise e verificação da segurança destes protocolos. Porém, a verificação analítica não garante isenção de erros nas implementações. Com efeito, existem vários exemplos de protocolos que foram considerados matematicamente seguros, mas com falhas descobertas até mesmo após mais de uma década de quando propostos. Dessa forma, as abordagens baseadas em métodos formais são de grande utilidade para garantir, efetivamente, a segurança de implementações destes protocolos. Neste trabalho,...
156.
Padrões de Fluxos de Processos em Banco de Dados Relacionais
- Kelly Rosa Braghetto
A representação e execução de processos de negócio têm gerado importantes desafios na área de Ciência da Computação. Um desses desafios é a escolha do melhor arcabouço formal para a especificação dos controles de fluxo padrões. Algumas linguagens defendem o uso de redes de Petri ou álgebras de processos como base formal. O uso de redes de Petri para especificar workflows clássicos é uma abordagem bastante conhecida. Entretanto, pesquisas recentes vêm difundindo o uso de novas extensões da álgebra de processos como uma alternativa para a especificação formal de workflows. A principal contribuição deste trabalho é a definição da Navigation...
157.
Um Modelo Matemático Para A Estruturação de Um Sistema de Produção Agrícola Integrado
- Amarildo de Vicente
Este Trabalho Apresenta Uma Aplicação Matemática Para Sistematizar a Agricultura em Uma Ou Mais Propriedades Rurais de Um Determinado Produtor Onde Se Propõe Que as Atividades Sejam Praticadas em Conjunto de Forma Integrada a Fim de Que os Resíduos e os Subprodutos Gerados por Uma Delas Possam Ser Empregados da Melhor Forma Possível no Tratamento de Outras Como Fertilizantes Para o Solo Ou Como Alimentos Para Animais as Atividades a Comporem o Sistema Que Devem Fazer Parte de Um Conjunto Maior de Interesse do Produtor Considerado São Determinadas Pela Resolução de Um Modelo de Programação Matemática Este Modelo Tem Ainda...
158.
Inferencia abdutiva na avaliação de ameaças na defesa aeroespacial
- Alexandre Alves dos Santos
O processo de fusão de dados de múltiplos sensores é dividido em etapas. Uma delas é a avaliação de ameaças geradas por uma ou mais entidades em determinado ambiente. Esta etapa normalmente requer técnicas de inteligência artificial para obter inferências sobre as informações oriundas dos sensores. Neste contexto, a técnica chamada de in-ferência abdutiva, que pode ser utilizada na solução de problemas de diagnóstico através do relacionamento causal entre sintomas e desordens, é usada como método de inferência no problema de defesa aeroespacial através do relacionamento causal entre aeronaves, armamentos e alvos. Este trabalho apresenta um modelo de solução para...
159.
Grafo de relações : uma metodologia para coordenar dependencias entre atividades em ambientes computacionais
- Adailton Jose Alves da Cruz
Um dos desafios relacionados à coordenação em ambientes computacionais é a geração de estruturas para equacionar possíveis conflitos decorrentes de relacionamentos de dependências entre as atividades deste ambiente. Este trabalho apresenta uma metodologia para automatizar a geração de mecanismos de coordenação em ambientes computacionais. Estes mecanismos são gerados a partir dos comportamentos temporais especificados para as atividades executadas no ambiente. Permite-se especificar comportamentos temporais alternativos e atividades alternativas, os quais podem ser selecionados em tempo de processamento mudando assim as relações temporais entre as atividades e/ou as atividades que participam destes comportamentos. O algoritmo proposto para este fim implementa uma...
160.
A abordagem POESIA para a integração de dados e serviços da Web semantica
- Renato Fileto
POESIA (Processes for Open-Ended Systems for lnformation Analysis), a abordagem proposta neste trabalho, visa a construção de processos complexos envolvendo integração e análise de dados de diversas fontes, particularmente em aplicações científicas. A abordagem é centrada emdois tipos de mecanismos da Web semântica: workflows científicos, para especificar e compor serviços Web; e ontologias de domínio, para viabilizar a interoperabilidade e o gerenciamento semânticos dos dados e processos. As principais contribuições desta tese são: (i) um arcabouço teórico para a descrição, localização e composição de dados e serviços na Web, com regras para verificar a consistência semântica de composições desses recursos;...
