181. Los patrones estéticos en los albores del siglo XXI: hacia una revisión de los estudios en torno a este tema - Bañuelos, Carmen
El culto del cuerpo se ha convertido en nuestros días en un fenómeno social de gran significación. La presentación del yo físico adquiere una especial relevancia en los nuevos estilos de vida. Diversos grupos sociales (médicos, psicologos, sociólogos, modistos, publicistas, estilistas, esteticistas, periodistas...) centran su interés en la definición social del "cuerpo". el objetivo es contribuir a la creación de un modelo ideal único y generalizable, legitimando determinadas prácticas sociales dirigidas hacia este fín. La definición de este modelo esta en manos de un grupo de "diseñadores de cuerpos" que asumen el papel de especificar los límites de la normalidad...

182. Análisis de posibles modificaciones en el diseño actual de un equipo de tracción lumbar - Gallego Ruiz, Germán
El estudio está centrado en ofrecer una alternativa a los equipos de tracción lumbaractuales, que mejore su eficacia médica y sea más atractiva de cara a su uso, tanto parapacientes como médicos especializados en rehabilitación y prevención.El análisis ha sido realizado con la intención de ofrecer atractivas y plausibles modificaciones a corto plazo, teniendo en cuenta la existente problemática relacionada conbajas laborales y pacientes crónicos, debido a problemas lumbares y la limitada variedad de mecanismos no invasivos con tal de solventar o aliviar dicha sintomalogía.Mediante el presente proyecto, se ha realizado un estudio del estado del arte relacionado con dolencias...

183. para a obtenção do grau de Doutor em Engenharia Electrotécnica e de - Dados Derivados; Aplicações Interactivas; Faculdade De; Engenharia Da; Universidade Do Porto; João Carlos; Pascoal Faria; Orientação Do Doutor Raul Fern; O De Almeida Moreira Vidal
O programa de investigação apresentado nesta dissertação foi apoiado pelo programa PRODEP, medida 4.2, acção de formação 12.9.4. Resumo Uma regra activa ou gatilho ("trigger") é um terno evento-condição-acção com o seguinte significado: se o evento ocorrer, avaliar a condição e, se esta for verdadeira, executar a acção. O termo "regra activa " surgiu na área das bases de dados activas, onde as regras activas são usadas para a imposição de restrições de integridade estática (nos estados válidos dos dados) ou dinâmica (nas transições de estado válidas), para o cálculo automático de dados derivados (calculados em função doutros), para o...

184. FIVE ONTOLOGICAL LEVELS TO DESCRIBE AND EVALUATE SOFTWARE ARCHITECTURES - Hernán Astudillo
Los modelos de calidad para la arquitectura del software son taxonomías de atributos de calidad, comúnmente usados para especificar y para evaluar requisitos no funcionales. La mayoría de los modelos de calidad ofrecen un enfoque de dos niveles, que distinguen los atributos externamente observables de los internamente medibles, dando lugar a criterios compuestos de calidad que son específicos a cada stakeholder. Mucho trabajo se ha dedicado a determinar la influencia de los atributos internos sobre los externos, y la mayoría de los modelos usan una jerarquía de dos niveles. Este artículo argüe que este aparente orden dual obscurece el que...

185. Cosíntesis de sistemas heterogéneos complejos - Moya Fernández, José Manuel
Los rápidos cambios tecnológicos y la fuerte demanda de aparatos electrónicos de consumo, cada vez más complejos, están haciendo que el coste de diseño sea dominante para un amplio rango de sistemas empotrados. Esta complejidad inherente de los sistemas empotrados. Esta complejidad inherente de los sistemas se ve agravada por la heterogeneidad de los recursos y de las herramientas de síntesis de bajo nivel. Por tanto, cada vez más patente la necesidad de nuevas metodologías y herramientas de diseño que permitan aumentar drásticamente la productividad de los diseñadores. El enfoque más común consiste en especificar el sistema completo, con un...

186. Arquitectura de control, planificación y simulación para teleprogramación de robots - Hernando Gutiérrez, Miguel
a aparición de retardo temporal en las comunicaciones es uno de los problemas más importantes a los que se enfrenta la teleoperación actualmente, especialmente por sus efectos directos sobre la estabilidad del sistema de teleoperación. Esta inestabilidad intrínseca se puede dar en aquellos sistemas que tienen una realimentación sensorial directa al dispositivo de entrada dispositivo maestro denominados bilaterales. Sin embargo, el retraso en las comunicaciones tiene también un efecto directo sobre la actuación del operador en aquellos sistemas que no son inestables de forma intrínseca, por el hecho de que el operador carece de una realimentación directa e inmediata. Con...

187. Especificación del comportamiento de gestión de red mediante ontologías - Guerrero Casteleiro, Antonio
La utilización de ontologías como técnica para la representación del conocimiento aporta la posibilidad de compartir conceptos comunes entre personas y aplicaciones informáticas. A día de hoy, en el campo de la gestión de red son conocidas las ventajas que propone su aplicación a la integración de múltiples modelos de información de gestión de red (SMI, CIM, CMIP,…), integración que permitirá el intercambio de información de gestión en un entorno heterogéneo a aquellas aplicaciones basadas en ontologías capaces de manejar los conceptos comunes. El desarrollo y utilización de correspondencias semánticas entre las definiciones de diferentes modelos de información será una...

188. Ciencias de la Computación / Computational Sciences Verification of the Formal Concept Analysis - Rev R. Acad; Cien Serie; A. Mat; José Antonio Alonso; Joaquín Borrego; María José Hidalgo; Francisco Jesús Martín–mateos; José Luis Ruiz–reina
Abstract. This paper is concerned with a formal verification of the Formal Concept Analysis framework. We use the PVS system to represent and formally verify some algorithms of this theory. We also develop a method to transform specifications of algorithms based on finite sets into other executable ones, preserving its correctness. We illustrate this method by constructing an executable algorithm to compute an implicational base of the system of implications between attributes of a finite formal context. Verificación del Análisis formal de conceptos Resumen. En este trabajo se realiza una verificación formal de la teoría del Análisis formal de conceptos....

189. WHAT FINITISM COULD NOT BE ∗ - Matthias Schirn; Universität München; Karl-georg Niebergall; Universität München
chief difficulty for everyone who wishes to understand Hilbert’s conception of finitist mathematics is this: to specify the sense of the provability of general statements about the natural numbers without presupposing infinite totalities. Tait further argues that all finitist reasoning is essentially primitive recursive. In this paper, we attempt to show that his thesis “The finitist functions are precisely the primitive recursive functions ” is disputable and that another, likewise defended by him, is untenable. The second thesis is that the finitist theorems are precisely the universal closures of the equations that can be proved in PRA. KEY WORDS: finitist...

190. El teatro en Alicante (1900-1910) - Reus Boyd-Swan, Francisco
SE INTENTA DAR UNA VISION LO MAS COMPLETA POSIBLE DEL HECHO TEATRAL EN ALICANTE EN LOS AÑOS ESTUDIADOS. TRAS LA INTRODUCCION, EN LA QUE HAY UNA JUSTIFICACION DEL TRABAJO REALIZADO, ESTE QUEDA ESTRUCTURADO EN NUEVE CAPITULOS, A TRAVES DE LOS CUALES SE PASA REVISTA A LA PANORAMICA HISTORICA Y LITERARIA ESPAÑOLA Y ALICANTINAS EN LAS QUE SE INSCRIBE TODO EL CUMULO DE ACONTECIMIENTOS TEATRALES QUE VIENEN A CONTINUACION. SE DETALLAN LAS FUENTES DOCUMENTALES DE DONDE SE HA EXTRAIDO EL MATERIAL UTILIZADO Y SE HACE UNA DESCRIPCION DE LOS TEATROS QUE ESTUVIERON EN FUNCIONAMIENTO DURANTE ESTOS AÑOS, PARA PASAR A OFRECER UNA PROGRAMACION, PRESUNTAMENTE COMPLETA, DE TODOS LOS TEATROS DIA A DIA, CON LA...

191. APPLICATION OF TECHNICAL REGULATIONS FOR LABELING QUALITY LEVEL OF ENERGY EFFICIENCY IN BUILDINGS: THE CASE OF THE CENTER FOR TECHNOLOGY - UFSM - Cibele Sangoi Klüsener
O Regulamento Técnico da Qualidade para Etiquetagem do Nível de Eficiência Energética de Edifícios tem por objetivo especificar os requisitos técnicos e os métodos para a classificação de edifícios comerciais, de serviços e públicos quanto à eficiência energética. Este trabalho busca avaliar a aplicabilidade do Regulamento sob o ponto de vista da prática arquitetônica e analisar a influência das variáveis que determinam a classificação do edifício do Centro de Tecnologia da Universidade Federal de Santa Maria RS. A classificação parcial quanto aos três requisitos principais estabelecidos pela normativa, Envoltória, Sistema de Iluminação e Sistema de Condicionamento de Ar e a...

192. Um ambiente de edição e simulação de estado-gramas - Valeria Gonçalves S. Elias
Este trabalho aprescnta um Editor Gráfico de Estadogramas. Estadogramas são uma extensão de diagramas de estados convencionais, acrescidos de conceitos de hierarquia, concorrência e comunicação. Apresentamos uma interface gráfica particular, que permite especificar sistemas reativos através da notação de estadogramas. No final de uma sessão de edição, fornecemos a opção de simulação de estadogramas. Nessa simulação são destacados os estados em que o sistema se encontra e são efetuadas as mudanças de estados que ocorrerem em decorrência de eventos. A cada estadograma editado, é gerada uma descrição textual passível de ser convertida em um programa em C que se comporta...

193. UMA CASA COM PAREDES DE CRISTAL: A CLÍNICA PSICANALÍTICA NO AMBULATÓRIO HOSPITALAR - NADJA NARA BARBOSA PINHEIRO
O objetivo principal de nosso estudo foi o de promover uma reflexão sobre os atendimentos psicanalíticos desenvolvidos nos ambulatórios hospitalares. Partimos do princípio que a dinâmica hospitalar (re)produz a interpenetração público/privado característica da atualidade. Assim, pensar as relações entre o público, o privado e a psicanálise perpassa a construção da tese como um todo. Analisou-se as relações entre o público e o privado na antiguidade grega, no transcorrer do século XIX e na atualidade. Dessa análise, promoveu-se uma correspondência entre os modos de relação estabelecidos entre público e privado no século XIX e a clínica particular, assim como público/privado na...

194. Efficient mechanised analysis of infinite CSPz specifications: strategy and tool support - Adalberto Cajueiro de Farias
Na modelagem de sistemas concorrentes, o uso de diferentes linguagens formais tem sido uma alternativa, muito utilizada nos últimos anos. Álgebras de processos (como CSP e CCS) são adequadas para modelar comportamento, enquanto que linguagens baseadas em modelos matemáticos (come Z e VDM) são mais adequadas para descrever aspectos de dados. As linguagens integradas surgiram com o intuito de prover suporte para lidar com diferentes aspectos ao mesmo tempo. CSPz, por exemplo, é uma notação integrada que faz uso de CSP e Z para especificar comportamento e dados de forma ortogonal. Sua semântica foi definida em termos de CSP, o...

195. Uma abordagem baseada em caracterisicas para o estabelecimento de contratos eletronicos para serviços Web - Marcelo Fantinato
Contratos eletrônicos descrevem processos de negócio interorganizacionais em termos de fornecimento e consumo de serviços eletrônicos (atualmente serviços Web). O estabelecimento de contratos eletrônicos em um determinado domínio de negócios normalmente envolve um conjunto de pontos comuns e pontos de variação bem definidos. Essas propriedades não são completamente exploradas pelas abordagens existentes para o estabelecimento de contratos eletrônicos. Modelos de características têm sido amplamente usados para capturar e gerenciar pontos comuns e variabilidades em famílias de produtos no contexto de linha de produto de software. Esta tese apresenta uma abordagem baseada em modelos de características para ser aplicada no estabelecimento...

196. A tração elétrica como alternativa para o transporte urbano - Bueno, Alexandre Garcia
Este trabalho foi desenvolvido com a finalidade de reunir o conhecimento necessário para a aplicação da tração elétrica no transporte urbano e, desta maneira, auxiliar na diminuição dos impactos nocivos causados pelo homem ao meio ambiente. É sabido que 80% das emissões jogadas na atmosfera provém do escapamento de veículos equipados com motores de combustão interna. Estas emissões são responsáveis diretas pelo chamado efeito estufa que notoriamente tem causado alterações climáticas indesejadas em nosso planeta. Segundo especialistas, estas alterações no clima já estão ocasionando quebras na produção agrícola, doenças respiratórias e outros problemas sociais. Visando minimizar estes danos ao ambiente,...

197. Modelagem e análise de objetos como processos em CSP: padrão de projeto e estudo de caso - Renata Elaine Mesel Kaufman
A fim de viabilizar maior interação entre profissionais da área de saúde, foram propostos protocolos de comunicação,dentre os quais destacamos: HL7, DICOM, CORBAMed e GEHR. Decidimos especificar formalmente um subconjunto de um sistema de prontuário eletrônico, baseado no modelo GEHR, pois existe um interesse real nesta formalização, pela comunidade do projeto GEHR. As vantagens da formalização são óbvias: descobrir e corrigir erros nas fases iniciais da construção de software, especificar sistemas consistentes e livres de ambigüidades, obter implementações que comprovadamente correspondem às especificações, enfim, aumentar a confiabilidade e a robustez do software e reduzir custos de desenvolvimento e evolução. Definimos...

198. Avaliação da resistência à compressão do concreto através de testemunhos extraídos: contribuição à estimativa do coeficiente de correção devido aos efeitos do broqueamento. - José Orlando Vieira Filho
Esta pesquisa experimental destina-se à avaliação da resistência à compressão do concreto na estrutura através da análise das resistências de corpos-de-prova padrão moldados fc(M), denominada potencial e de testemunhos extraídos da estrutura fc(E), denominada efetiva objetivando quantificar o coeficiente de correção devido aos efeitos do broqueamento na extração - nesta tese considerado como a relação entre elas R(M/E) = fc(M)/fc(E) - a ser aplicado à resistência dos testemunhos de mesmas dimensões dos corpos-de-prova. Admitindo-se que a resistência dos testemunhos representa a resistência do concreto na estrutura, esta relação R(M/E) corresponde a parcela yc2 do coeficiente normativo de ponderação da resistência...

199. Metodología per implementar automatismes GRAFCET en microprocessadors programats en C - Bayó Puxan, Oriol
En el món de l'automatització industrial hi ha tres grans elements de control: els PLC "Programmable Logic Controler', els Sistemes Embedded "Embedded System" i, cada cop més, els PC. En matèria d'eines de programació, els PLC han avançat molt gràcies a l'aparició de l'estàndard IEC 61131; però els Sistemes Embedded segueixen programant-se, generalment, en C. Aquest projecte vol ser un pont per aplicar les eines de programació dels PLC a la programació de Sistemes Embedded, per tal de reduir els costos associats a la manca d'eines en l'especificació, la codificació i el manteniment del Software Embedded, i augmentar-ne les prestacions i...

200. Análisis de posibles modificaciones en el diseño actual de un equipo de tracción lumbar - Gallego Ruiz, Germán
El estudio está centrado en ofrecer una alternativa a los equipos de tracción lumbar actuales, que mejore su eficacia médica y sea más atractiva de cara a su uso, tanto para pacientes como médicos especializados en rehabilitación y prevención. El análisis ha sido realizado con la intención de ofrecer atractivas y plausibles modificaciones a corto plazo, teniendo en cuenta la existente problemática relacionada con bajas laborales y pacientes crónicos, debido a problemas lumbares y la limitada variedad de mecanismos no invasivos con tal de solventar o aliviar dicha sintomalogía. Mediante el presente proyecto, se ha realizado un estudio del estado del arte relacionado con dolencias...

Página de resultados:
Anterior  1  2  3  4  5  6  7  8  9  10  11  12  13  14  15  16  17  Siguiente