1 |
Um processo de sintese de sistemas reativosFigueiredo Filho, Antonio Gonçalves 18 December 1991 (has links)
Orientador: Hans Kurt Edmund Liesenberg / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Ciencia da Computação / Made available in DSpace on 2018-07-14T02:20:01Z (GMT). No. of bitstreams: 1
FigueiredoFilho_AntonioGoncalves_M.pdf: 2872725 bytes, checksum: 4e5fa0936d1d93dfbbc8d3144be0ee22 (MD5)
Previous issue date: 1991 / Resumo: Esta dissertação apresenta um gerador de programas adequado para implementar o controle de sistemas reativos complexos. Este processo de geração consiste em uma síntese de sistemas reativos a partir de uma especificação, baseada em estadogramas. Os estadogramas são diagramas de estados convencionais estendidos suportando conceitos de hierarquia, concorrência e comunicação. Esta ferramenta. comporta-se como um tradutor que recebe como entrada uma descrição textual (i.e., um programa escrito em uma linguagem descritiva de estadogramas - LEG) e produz como saída um programa funcionalmente equivalente em C. Um programa escrito em LEG associa código inerente ao tratamento do controle da aplicação (cÓdigo LEC propriamente dito) e cÓdigo responsáve1 pela aplicação, (cÓdigo escrito em C). Para ilustrar uma aplicação desta ferramenta, descreve-se sua. utilização na construção de um editor topológico. / Abstract: A Program generator appropriate to implement the complex reactive systems control is presented. This generation process consists in a synthesis of reactive systems from a statecharts-based specification. Statecharts are a broad extension of conventional state diagrams supporting the notion of hierarchy, concurrency and communication. This tool behaves like a translator that receives a textual description of a statechart (i.e., a program written in a statecharts language - LEG) in its input and it outputs a functionally equivalent C program A program written in LEG combines code inherent to application control (represented by LEG code) and to application code (code written in C). An application of this tool in a construction of a topological editor is described. / Mestrado / Mestre em Ciência da Computação
|
2 |
Análisis normativo de los derechos y garantías sociales y su incidencia en políticas públicas de protección social. Potenciales riesgos y oportunidades. Comparación Chile - GuatemalaLópez López, Emely Joan January 2014 (has links)
Magíster en Gestión y Políticas Públicas / El presente estudio tiene como objeto identificar riesgos que amenacen el cumplimiento de derechos sociales o bien potencien dicho cumplimiento. Esto, mediante la realización de un análisis sobre la presencia o ausencia de las dimensiones del contenido mínimo de los derechos sociales en las políticas públicas de protección social, específicamente en la etapa de diseño de programas sociales. Para realizarlo, se comparan dos países, Chile y Guatemala, que por sus diferencias económicas, históricas, sociales, políticas y culturales tienen un reconocimiento legal diferente de estos derechos, distintos enfoques en las políticas de protección social, diseño y resultados diferentes en sus programas sociales.
La realización de este estudio amerita una metodología cualitativa descriptiva. Los datos utilizados provienen de fuentes de información secundaria, así información primaria mediante entrevistas a actores relevantes. Se aplican ciertos instrumentos que permiten realizar los análisis propuestos, como matrices de dimensiones de estos derechos, mapa de proceso del diseño de los programas sociales y cuadros comparativos. Además, se aplican indicadores estructurales que dan cuenta de la situación de los derechos sociales y capacidades estatales en el tema.
Del análisis realizado se deduce que el diseño de los programas sociales estudiados, Mi Bono Seguro de Guatemala, y el programa Puente de Chile, no da cuenta de las dimensiones de los derechos sociales. Estos programas tienen carácter, enfoques, prestaciones y condiciones diferentes, lo que permite, según el contexto institucional y legal de cada país, conocer qué aspectos y elementos pueden llevar a conculcar o propiciar estos derechos. Guatemala tiene un reconocimiento legal de los derechos sociales más profundo que Chile. Sin embargo, Chile tiene mayores avances en políticas sociales. Por lo que en este caso, no necesariamente ha habido una correlación directa entre uno y otro.
En cuanto a la verificación de presencia o ausencia de dichas dimensiones en cada una de las fases del diseño, ha sido posible deducir, aspectos que pueden representar una amenaza para cumplimiento de derechos sociales, relacionados con ausencia de política complementarias, exigencia de requisitos inadecuados, cese definitivo de beneficios, entre otros. Y otros que por su configuración llevarían a propiciar su cumplimiento, como el reconocimiento legal de los derechos sociales, creación de mecanismos de exigibilidad directa, participación de los beneficiarios en toma de decisiones, entre otros
|
3 |
Los noticieros centrales de televisión en chile: contenido ideologico y percepción del públicoAndonegu Mac-Kay, Cristina January 1992 (has links)
Seminario para optar al grado de Licenciado en Comunicación Social
|
4 |
El atractivo del docu-reality en Chile: caso "Perla tan real como Tú" y "adopta un famoso"Espinoza López, Camila Constanza January 2014 (has links)
Memoria para optar al título de Periodista / Conocer la vida privada de las personas y ver en pantalla a protagonistas anónimos, que efectúan actividades cotidianas son algunas de las promesas del docu-reality, espacio de tele-realidad, que se caracteriza por hacer un seguimiento y televisar lo qué hace un personaje o grupo humano durante un periodo de tiempo determinado. Es este formato el que motiva la investigación que busca descubrir ¿por qué la audiencia se interesa en este programa?, ¿qué contenidos resultan atractivos? y ¿a qué tipo de personajes se quiere ver en escena?
La curiosidad por conocer la intimidad de una persona ajena y el ser testigo de los problemas que enfrenta son algunos de los factores que captan la atención de los telespectadores. También, el interés en este formato se relaciona con la identificación que siente la audiencia al ver en los docu-realities a sujetos desconocidos que cumplen una rutina similar a la suya.
En la investigación se encontrará el testimonio de emblemáticos productores de la industria televisiva chilena y la visión que tiene el público que consume este programa. Además, para complementar la información y observar cómo se ha asentado el docu-reality en la pantalla local se cuenta con un registro histórico de los espacios que se han estrenado en la última década.
Palabras claves: Televisión, tele-realidad, docu-reality, reality show, audiencia, vida privada, intimidad, seguimiento, morbo y voyerismo.
|
5 |
Análisis, diseño e implementación de un módulo de planificación de construcción de casos de usoMoquillaza Vizarreta, Arturo 24 April 2014 (has links)
Los procesos actuales de desarrollo de software implican la utilización de una serie de
herramientas y de metodologías que permitan dirigir y soportar el proceso de desarrollo y la
gestión adecuada del proyecto mismo. Con el paso del tiempo, estas metodologías se han
hecho más útiles a medida que la complejidad del software que se desarrolla ha ido en
aumento. RUP, por ejemplo, es una metodología que nos guía para lograr este propósito [1].
Uno de los grandes desafíos de la comunidad de investigadores en ingenie ría de software, es
involucrar a los stakeholders en el proceso de captura de requerimientos. Un stakeholder se
puede definir como aquella persona que está materialmente afectada por el resultado del
proyecto. En ese sentido, todo proyecto involucra la satisfacción de necesidades de un grupo
diverso de stakeholders. Típicamente, estos tienen diferentes perspectivas sobre el problema,
y diferentes necesidades que deben ser convenientemente identificadas [4].
No obstante los avances logrados en los últimos años, hay algunas partes del proceso de
desarrollo de software que aún no están adecuadamente soportadas por alguna metodología,
y en ese sentido, requieren de la experiencia de quienes manejan el proyecto de software.
El proceso de elección del orden de construcción de los casos de uso a partir de los
requerimientos capturados, es un ejemplo de lo anterior.
El presente proyecto muestra una propuesta de solución a este tema. Se ha implementado un
módulo de software que permite capturar la opinión de los stakeholders y a partir de estas,
generar una secuencia de construcción de casos de uso. / Tesis
|
6 |
Crítica metodológica sobre avaliação de programa de imunização: contribuições para a construção de um novo modelo / Critic methodologies about evaluation of program of immunization: contributions for the construction of a new modelVerani, José Fernando de Souza January 2005 (has links)
Made available in DSpace on 2016-02-26T13:26:08Z (GMT). No. of bitstreams: 2
361.pdf: 333680 bytes, checksum: e9423634f42bdf6a70ee9f2c81dd9d61 (MD5)
license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5)
Previous issue date: 2005 / Os objetivos deste trabalho são realizar uma análise crítica do modelo de avaliação do programa de imunização, elaborado pela OMS/OPAS, e propor contribuições para a construção de novo modelo. O autor apresenta os antecedentes, objetivos, dimensões e componentes do programa, bem como as mudanças que este presencia, nos dias atuais, como conseqüência de vários fatores, tais como o desenvolvimento de novas vacinas, de novas tecnologias que permitem a prática de injeções seguras, de novas abordagens no âmbito da descentralização das ações de saúde, a busca da equidade da oferta e do acesso aos serviços como também a participação mais efetiva da comunidade. Tais transformações levam à introdução, no programa, de novos componentes, assim como de indicadores que possam expressá-los de modo mais adequado. A incorporação, no programa, desses novos elementos, componentes e indicadores, requer sua introdução também no modelo avaliativo, adequando-o à nova realidade. Método: 1. Revisão da literatura, sobre metodologias avaliativas, para a partir delas, identificar o corpo teórico-conceitual que se encontra subjacente no modelo.2. Pressupondo que, para realizar mudanças no modelo, faz-se necessário explicitar sua estrutura teórica, o autor desenvolve uma formulação da teoria avaliativa que fundamente esse modelo. Utiliza, para tal formulação, os elementos teórico-conceituais identificados na revisão da literatura. Resultados: Fundamentando sua análise crítica na experiência prática com o modelo, o autor examina cada componente e dimensão, assim como seus indicadores, em seus aspectos positivos e problemáticos, ressaltando, ainda, suas inter-relações com os fatores sócio-econômicos, políticos e culturais, fatores esses que configuram o ambiente natural do programa. Finalmente, propõe, ao longo da análise que realiza, suas contribuições, em forma de acréscimos ou alterações, para a construção de um novo modelo.
|
7 |
Gastos e spillover effects : uma avaliação do programa RPSMorais, João Carlos Nicolini de 05 December 2014 (has links)
Dissertação (mestrado)—Universidade de Brasília, Departamento de Economia, 2014. / Submitted by Ana Cristina Barbosa da Silva (annabds@hotmail.com) on 2015-02-13T18:22:53Z
No. of bitstreams: 1
2014_JoaoCarlosNicolinideMorais.pdf: 4341482 bytes, checksum: 94fa364369b096ba7e42f6a842df7571 (MD5) / Approved for entry into archive by Raquel Viana(raquelviana@bce.unb.br) on 2015-03-04T18:45:06Z (GMT) No. of bitstreams: 1
2014_JoaoCarlosNicolinideMorais.pdf: 4341482 bytes, checksum: 94fa364369b096ba7e42f6a842df7571 (MD5) / Made available in DSpace on 2015-03-04T18:45:06Z (GMT). No. of bitstreams: 1
2014_JoaoCarlosNicolinideMorais.pdf: 4341482 bytes, checksum: 94fa364369b096ba7e42f6a842df7571 (MD5) / Programas sociais que estabelecem condicionalidades para o ganho de benefícios alcançaram grande popularidade nos últimos anos. O programa RPS (Reds de Protección Social) realizado na Nicarágua teve a adição de uma fase inicial com a avaliação de comunidades separadas em grupos controle e de tratamento. Apesar do desenho experimental para a avaliação do programa, não se deve desconsiderar a possibilidade da existência de efeitos indiretos sobre não-beneficiários ou mesmo sobre outros beneficiários. Tentamos destacar neste trabalho a possibilidade desse efeito entre as comunidades avaliadas. Com uma base de dados que indica a proximidade entre as localizações obtidas, relatamos spillover effects significantes e negativos para os gastos das famílias avaliadas. Dessa forma acreditamos gerar uma motivação para o aprofundamento da pesquisa sobre os efeitos do RPS entre as comunidades de avaliação. ____________________________________________________________________________________ ABSTRACT / Social Programs that condition their beneficits have attained great popularity in the recent years. The RPS program (Reds de Protección Social) carried out in Nicaragua had a preliminary avaliation phase in which communities were selected to treated and controlled groups. Although the avaliation had an experimental design, one must not neglect the possibilities of indirect effects on non-beneficiaries or even with other beneficiaries. We try to highlight the possibility of such an effect between the communitties avaliated in the program. With a data set that indicates the proximity of the localities obtained, we report significant and negative spillovers on the expenditure of the avaliated families. In this way, we believe that we generate a motivation for further research on the effects of RPS across villages.
|
8 |
Falhas de mercado e a homogeneização da programação de televisão por radiofusão no Brasil / Market failures and the homogeneity of broadcasttv programming in BrazilRosa, Rodrigo Amorim Gonçalves 06 October 2008 (has links)
Dissertação (mestrado)—Universidade de Brasília, Departamento de Economia, 2008. / Submitted by Jaqueline Ferreira de Souza (jaquefs.braz@gmail.com) on 2011-05-30T21:00:01Z
No. of bitstreams: 1
2008_RodrigoAmorimGoncalvesRosa.pdf: 1116448 bytes, checksum: b432c70650688913bcba47f639dbc3c5 (MD5) / Approved for entry into archive by Jaqueline Ferreira de Souza(jaquefs.braz@gmail.com) on 2011-05-30T21:03:20Z (GMT) No. of bitstreams: 1
2008_RodrigoAmorimGoncalvesRosa.pdf: 1116448 bytes, checksum: b432c70650688913bcba47f639dbc3c5 (MD5) / Made available in DSpace on 2011-05-30T21:03:20Z (GMT). No. of bitstreams: 1
2008_RodrigoAmorimGoncalvesRosa.pdf: 1116448 bytes, checksum: b432c70650688913bcba47f639dbc3c5 (MD5) / Este trabalho analisa a relação entre falhas de mercado no setor de televisão por radiodifusão no Brasil e as características da programação de televisão aberta. A partir da observância de falhas de mercado (bens públicos, externalidades, oligopolização e assimetrias de informações) é discutida a associação entre essas falhas e o processo de seleção de programação pelas emissoras de televisão por radiodifusão comerciais e públicas no Brasil. Teoricamente, verifica-se a presença de um viés de homogeneização, ou de duplicação, da programação de TV no Brasil a partir de uma versão adaptada do modelo de Steiner (1952) para um cenário com cinco emissoras comerciais, próximo da configuração brasileira do mercado de televisão. Em termos empíricos, é analisado o nível de diversidade da programação das emissoras comerciais e da TV Brasil, emissora pública federal de radiodifusão, a partir de um coeficiente de diversidade da programação proposto por Steiner, desenvolvido para o mercado brasileiro. O coeficiente é calculado com base na programação das cinco maiores emissoras de televisão privadas nacionais e na programação da TV Brasil. Os resultados são discutidos em termos da maximização do bem-estar social, como proposto por Shy (2001) e confirmam a presença do viés de homogeneização, ou duplicação, na televisão comercial brasileira, e que a presença da TV pública atenua a falha de mercado, ao ampliar a oferta de diversidade de programação, embora não esteja imune ao viés de homogeneização e esteja abaixo do nível socialmente ótimo. ______________________________________________________________________________ ABSTRACT / This paper discusses the relationship between market failures in broadcast television in Brazil (public good, externalities, oligopoly and assimetry of information) and the process of program-choice by television stations. Theoretically, it verifies the existence of a homogeneity bias, or duplication bias, in private TV programming in Brazil from an adapted version of Steiner (1952) of a setting with five private broadcast stations, similar to brazilian market configuration. Empirically, it analyses the level of diversity of private television e of TV Brasil, the federal public broadcast television, from a coefficient of diversity of programming as proposed by Steiner, developed to brazilian broadcast market. The coefficient is calculated by the schedule of programming of the five major private television stations and of TV Brasil. The results are discussed in terms of welfare, as proposed by Shy (2001) and seem to confirm the existence of the homogeneity bias. The presence of public broadcast television softens market failure, by raising diversity supply of television programming, although it is not free from the homogeneity bias and remains below social optimum.
|
9 |
Estrategias de seleção de caminhos no contexto de criterios estruturais de teste de softwarePeres, Leticia Mara 17 December 1999 (has links)
Orientadores: Silvia Regina Vergilio, Mario Jino / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-07-26T08:01:35Z (GMT). No. of bitstreams: 1
Peres_LeticiaMara_M.pdf: 8518550 bytes, checksum: 2de6ca87d235b1b8960f087717081807 (MD5)
Previous issue date: 1999 / Resumo: Critérios estruturais de teste têm o objetivo de auxiliar a etapa de geração de dados de teste e de avaliar a adequação de um conjunto de casos de teste, oferecendo medidas de cobertura. Eles requerem a execução de caminhos do programa que exercitem alguns elementos, tais como: comandos, decisões, definições e usos de variáveis. A seleção de caminhos e conseqüente geração de dados de teste para aplicação de um critério estrutural é uma das etapas mais difíceis de serem automatizadas. Pois, é indecidível determinar um dado de entrada para executar um particular caminho em um programa; é indecidível determinar até mesmo se esse dado existe, ou seja, se o caminho é ou não executável. Isto, aliado à eficácia dos dados gerados, aumenta a importância dessa etapa e conseqüentemente os custos de teste. Por isso, vários trabalhos na literatura ressaltam a importância de estratégias para minimizar o número de caminhos não executáveis selecionados para satisfazer um dado critério estrutural. Este trabalho tem como objetivos estudar, propor e fornecer mecanismos para automatização e validação de estratégias de seleção de caminhos a serem utilizadas em conjunto com critérios de teste estrutural. São propostas estratégias que consideram diferentes características de programas para seleção de caminhos visando: aumentar a eficácia, facilitar a etapa de geração de dados, e reduzir os efeitos causados por caminhos não executáveis no teste de software. Uma estrutura de representação /automatização dessas estratégias é apresentada e um módulo que implementa essa estrutura é descrito. O módulo é uma extensão à ferramenta Poke-Tool que apóia a utilização de diferentes critérios de teste e foi utilizado para avaliar uma estratégia proposta com o objetivo de minimizar o número de caminhos não executáveis selecionados. Esta aplicação permitiu detectar algumas estruturas de programa para os quais a estratégia avaliada não alcança seu objetivo e também verificar aspectos de eficácia dos dados gerados para a execução dos caminhos selecionados / Abstract: Testing criteria are useful in the task of test case generation and they are predicates to consider the testing activity ended, that is, to determine the adequation of a test set. They require the execution of paths in the program that exercise some elements such as statements, decisions, definitions and uses of variables. Selecting paths and generating automatic test data for a given structural criterion are very hard activities since it is not always possible to determine a data that executes a particular path in a program; it is even undecidable whether this data exists, that is, whether the path is feasible. This makes those activities difficult and increases the cost of testing. Several researches attach importance to strategies that minimize the number of infeasible selected paths to cover structural criteria. The goal of this work is to study, propose and offer strategies to select paths and mechanisms to automate and validate these strategies to be used with structural criteria. The proposed strategies consider different characteristics of programs for paths selection with the goal of: increasing the efficacy, easing the test data generation and reducing the effects caused by infeasible paths in the software testing. A structure to represent these strategies are presented. A module that implements this structure is described. This module is an extension to the testing tool named Poke-Tool, that supports different structural testing criteria. It was used to evaluate a strategy that proposes to 'minimize the number of infeasible selected paths. This application was guided to the detection of some program structures for which the evaluated strategy did not meet its objective and pointed out some results about the efficacy of the generated test data / Mestrado / Mestre em Engenharia Elétrica
|
10 |
La mirada de Chilevisión en las últimas tres clasificaciones mundialistasArcos Morales, Cristian January 2010 (has links)
Memoria para optar al título de Periodista / El deporte es una de las áreas más desarrolladas en la televisión abierta. Sinónimo de pasiones y por ende, de audiencias. Muchas veces actúa como catalizador de sentimientos que están latentes a nivel social y se manifiestan tras triunfos o fracasos deportivos. La televisión ha seguido de cerca estas reacciones.
El presente trabajo se enfocará en la forma como uno de los canales de televisión abierta más vistos en la actualidad, cubrió los procesos clasificatorios a los últimos tres mundiales de fútbol que contaron con participación chilena. Tres procesos enmarcados en momentos muy diferentes del país, con contextos muy disímiles en la industria de la televisión, tanto en la propiedad de los canales como en los avances tecnológicos. Veremos cómo la actual red Chilevisión, antigua RTU, antiguo Canal 11, antiguo Canal 9, cubrió las clasificaciones nacionales a los mundiales de España 1982, Francia 1998, Sudáfrica 2010. Y veremos cómo esta cobertura tiene directa relación con la conducta del espectador chileno.
Chilevisión es uno de los canales pioneros de la televisión chilena. Originalmente llamado Canal 9, por su frecuencia de emisión, fue fundado en 1959 bajo el patrocinio institucional de la Universidad de Chile. 1
Su primera transmisión se realizó el 4 de noviembre de 1960. En sus inicios fue una señal experimental que gracias al aporte del Estado salía al aire únicamente los días viernes, durante una hora. Hasta que en 1962, en coincidencia con el Mundial de Fútbol realizado en nuestro país, comenzó su proceso de masificación.
|
Page generated in 0.0454 seconds