341 |
Monitoria de iniciação à docência no contexto da Universidade Federal do Ceará: aspectos legais e sua aplicabilidade / Monitoring of initiation to teaching in the context of the Federal University of Ceara: legal aspects and its applicabilityBezerra, Josy Kelly Abreu January 2012 (has links)
BEZERRA, Josy Kelly Abreu. Monitoria de iniciação à docência no contexto da Universidade Federal do Ceará: aspectos legais e sua aplicabilidade. 2012. 128f. – Dissertação (Mestrado) – Universidade Federal do Ceará, Programa de Pós-graduação em Políticas Públicas e Gestão da Educação Superior, Fortaleza (CE), 2012. / Submitted by Márcia Araújo (marcia_m_bezerra@yahoo.com.br) on 2014-05-08T12:40:29Z
No. of bitstreams: 1
2012_dis_jkabezerra.pdf: 1077677 bytes, checksum: 0e28161ed8482b75f6f702068d1b1f08 (MD5) / Approved for entry into archive by Márcia Araújo(marcia_m_bezerra@yahoo.com.br) on 2014-05-08T14:34:23Z (GMT) No. of bitstreams: 1
2012_dis_jkabezerra.pdf: 1077677 bytes, checksum: 0e28161ed8482b75f6f702068d1b1f08 (MD5) / Made available in DSpace on 2014-05-08T14:34:23Z (GMT). No. of bitstreams: 1
2012_dis_jkabezerra.pdf: 1077677 bytes, checksum: 0e28161ed8482b75f6f702068d1b1f08 (MD5)
Previous issue date: 2012 / This study examines the relationship between law and practice of monitoring of initiation to teaching in the graduation courses of Federal University of Ceara (known as UFC), in terms of the monitors. Several factors influenced the need to deepen this theme, such as: dynamic character of monitoring, because it is an institutional policy committed to the professional development of future teachers; set up as this activity for many years at UFC; insert itself in the process of training of graduate students and by the experience of the researcher. Given the complexity of the subject, came the next question to be investigated: - how the Initiation Program to Teaching is running in the graduation courses of Federal University of Ceara and what it is its suitability relevant legislation? The aim of this study was to analyze the perception of monitors paid in the Initiation Program to Teaching of Federal University of Ceara, regarding the realization of the goals set out in Resolution nº 01/CEPE of March 4, 2005. The specific objectives were: Making a historical survey of the monitoring up to its institutionalization in university education; present definitions of monitoring proposed by federal institutions of university education in Brazil; analyze current legislation aimed at monitoring the Initiation Program to Teaching of Federal University of Ceara; describe the monitoring of the Initiation Program to Teaching; relate the goals set forth in Resolution of the Initiation Program to Teaching with monitoring practice in undergraduate. Based on the material needed to support the reality studied, we chose a descriptive research. The research consisted of the paid monitors of the Initiation Program to Teaching of Federal University of Ceara that received compensation in December 2011. Data were collected by a questionnaire consisting of 12 questions, with 10 objective and 2 subjective. The sample consisted of 335 paid monitors program that returned the questionnaire within the prescribed period. The research was based on the studies of Libâneo (1994), Luckesi (2005), Natário (2010), among others considered important for the development of theoretical research and support of the analysis of the responses. After collecting and analyzing data, it was concluded that, according of the vision of monitors that participated in the survey, this program fits the institution's commitment to promote the appropriate use of theoretical knowledge to various situations encountered in the workplace, but also favors the development of relational skills, because the monitor being in constant interaction with other students; that said, it is evident that the activity monitoring is an important step toward the activity of teaching. / Este estudo analisa a relação entre a legislação e a prática da monitoria de iniciação à docência, nos cursos de graduação da Universidade Federal do Ceará, sob a óptica dos monitores. Diversos fatores influenciaram a necessidade de aprofundamento deste tema, tais como: caráter dinâmico da monitoria; por tratar-se de uma política institucional, comprometida com o desenvolvimento profissional dos futuros docentes; configurar-se como atividade presente há muitos anos na UFC; inserir-se no processo de formação dos estudantes de graduação e pela experiência profissional da investigadora. Diante da complexidade do assunto, surgiu a seguinte questão a ser investigada: - de que forma o Programa de Iniciação à Docência está sendo executado nos cursos de graduação da Universidade Federal do Ceará e qual sua adequação a legislação pertinente? O objetivo desta pesquisa foi analisar a percepção dos monitores remunerados, do Programa de Iniciação à Docência, da Universidade Federal do Ceará, quanto à efetivação dos objetivos previstos na Resolução nº 01/CEPE, de 04 de março de 2005. Os objetivos específicos foram: Fazer um levantamento histórico da monitoria até sua institucionalização na educação superior; apresentar definições de monitoria propostas pelas instituições federais de ensino superior do Brasil; analisar a legislação vigente voltada à monitoria do Programa de Iniciação à Docência da Universidade Federal do Ceará; descrever a monitoria do Programa de Iniciação à Docência; relacionar os objetivos previstos na resolução do Programa de Iniciação à Docência com a prática da monitoria nos cursos de graduação. Através do levantamento do material necessário para subsidiar a realidade estudada, optou-se por uma pesquisa descritiva. O universo da pesquisa foi composto pelos monitores remunerados do Programa de Iniciação à docência da Universidade Federal do Ceará e que receberam remuneração em dezembro 2011. Os dados foram coletados mediante a aplicação de um questionário composto por 12 perguntas, sendo 10 objetivas e 2 subjetivas. Compuseram a amostra 335 monitores remunerados do programa e que devolveram o questionário no prazo determinado. Fundamentou-se a pesquisa nos estudos de Libâneo (1994), Luckesi (2005), Natário (2010), dentre outros considerados importantes para a elaboração do referencial teórico da pesquisa e fundamentação da análise das respostas. Após a coleta e análise dos dados, conclui-se que, conforme a visão dos monitores que participaram da pesquisa, este programa alinha-se ao compromisso da instituição em promover a adequada utilização do conhecimento teórico às mais diversas situações encontradas no ambiente profissional, como também, favorece o desenvolvimento de habilidades relacionais, pelo fato de estar o monitor em constante interação com outros estudantes; isso posto, é evidente que a atividade de monitoria é importante passo em direção à atividade de docência.
|
342 |
CMOS low-power threshold voltage monitors circuits and applications / Circuitos Monitores de tensão de limiar CMOS de baixa potência e aplicaçõesCaicedo, Jhon Alexander Gomez January 2016 (has links)
Um monitor de tensão de limiar (VT0) é um circuito que, idealmente, entrega o valor do VT0 como uma tensão na saída, para uma determinada faixa de temperatura, sem a necessidade de polarização externa, configurações paramétricas, ajuste de curvas ou qualquer cálculo subsequente. Estes circuitos podem ser usados em sensores de temperatura, referências de tensão e corrente, dosímetros de radiação e outras aplicações, uma vez que a dependência do VT0 nas condições de operação é um aspecto bem modelado. Além disso, estes circuitos podem ser utilizados para monitoramento de processos de fabricação e para compensação da variabilidade do processo, uma vez que o VT0 é um parâmetro chave para o comportamento do transistor e sua modelagem. Nesta tese, são apresentadas três novas topologias de circuitos, duas são monitores de VT0 NMOS e a terceira é um monitor de VT0 PMOS. As três estruturas são topologias de circuito auto-polarizadas que não utilizam resistências, e apresentam alta rejeição a variações na alimentação, baixa sensibilidade de Linea, e permitem a extração direta da tensão de limiar para grandes intervalos de temperatura e de tensão de alimentação, com pequeno erro. Sua metodologia de projeto é baseada no modelo unificado controlado por corrente (UICM), um modelo MOSFET que é contínuo, desde o nível de inversão fraca a forte e para as regiões de operação de triodo e saturação. Os circuitos ocupam uma pequena área de silício, consomem apenas dezenas de nanowatts, e podem ser implementados em qualquer processo padrão CMOS digital, uma vez que só utilizam transistores MOS (não precisa de nenhum resistor). Os monitores de VT0 são utilizados em diferentes aplicações, a fim de investigar a sua funcionalidade e comportamento como parte de um sistema. As aplicações variam de uma tensão de referência, que apresenta um desempenho comparável ao estado da arte, para uma configuração que permite obter uma menor variabilidade com processo na saída de um circuito auto-polarizado que gera um tensão CTAT. Além disso, explorando a capacidade de funcionar como um gerador de corrente específica (ISQ) que os monitores de VT0 aqui apresentados oferecem, introduz-se um novo circuito auto-polarizado que gera um tensão CTAT, que é menos sensível a variações de processo, e pode ser usado em referências de tensão band-gap. / A threshold voltage (VT0) monitor is a circuit that ideally delivers the estimated VT0 value as a voltage at its output, for a given temperature range, without external biases, parametric setups, curve fitting or any subsequent calculation. It can be used in temperature sensors, voltage and current references, radiation dosimeters and other applications since the MOSFET VT0 dependence on the operation conditions is a very well modeled aspect. Also, it can be used for fabrication process monitoring and process variability compensation, since VT0 is a key parameter for the transistor behavior and modeling. In this thesis, we present three novel circuit topologies, two of them being NMOS VT0 monitors and the last one being a PMOS VT0 monitor. The three structures are resistorless self-biased circuit topologies that present high power supply rejection, low line sensitivity, and allow the direct extraction of the threshold voltage for wide temperature and power supply voltage ranges, with small error. Its design methodology is based on the Unified Current Control Model (UICM), a MOSFET model that is continuous from weak to strong inversion and from triode to saturation regions. The circuits occupy small silicon area, consume just tens of nanoWatts, and can be implemented in any standard digital CMOS process, since they only use MOS transistors (does not need any resistor). The VT0 monitors are used in different applications in order to prove their functionality, and behavior as part of a system. The applications vary from a reference voltage, that presents performance comparable with state-of-the-art works, to a configuration that allows to obtain a lower process variability, in the output of a self-biased circuit that generates a complementary to the absolute temperature (CTAT) voltage. In addition, exploiting the ability to operate as an specific current (ISQ) generator, that the VT0 monitors presented here offer, we introduced a new self-biased circuit that produces a CTAT voltage and is less sensitive to process variations, and can be used in band-gap voltage references.
|
343 |
Nemocniční informační systémy. Kvalita v informačních systémech ve zdravotnictví / Clinical information systems. Quality in clinical information systemsKÝČEK, Michal January 2008 (has links)
In its theoretical part, this work deals with hospital information systems, their properties and development trends in the world, in Czech Republic and in the faculty Hospital in Plzeň in particular. A special reason for taking up this subject was the on-going transition to digital operation at the RTG departament of said hospital. Pictorial documentacion in digital form is presently becoming standard part of the medical do-cumentacion. The X-ray photographs can now be viewed at any client station of the hospital information system. As the existing stations were not originally intended for visualisation of pictorial medical documentacion, image quality tests have been carried out to determine the suitability of the station monitors for such operation. The main target of this work was to identify, using the technical tools available ath the RTG departament, a suitable image quality test, to verify its informative value and compare the existing hospital information system stations with dedicated diagnostic work station primarily intended for visualisation of medical X-ray documentation. The practical part of this work consisted of two tests using special graphic images and real patient`s X-ray picture including a specific diagnostic feature. A method of controlled interview was then used to establish the image quality and the degree of certainty with which that the doctors could identify the subject diagnostic feature. The test results were subject to statistical analysis using the linear regression analytic method whereby the informative value of the tests was determined. Finally, the operational properties of diagnostic work stations were compared to those of the hospital information system. In consideration of the small number of stations subjects to tests, the statistic analysis of this comparison was not carried out.
|
344 |
Análise das alterações do piscar, do filme lacrimal e da superfície ocular induzidas pelo uso de monitor de computador / Analysis of alterations in blinking, lacrimal tear film and ocular surface induced by the use of video terminal displayTania Mara Cunha Schaefer 26 March 2010 (has links)
A relação trabalho e visão é tão remota que determinou a adaptação da espécie humana ao meio em que está inserida. Demonstrou-se que trabalhar em um ambiente confortável, sem doenças ocular, favorece o desempenho visual e aumenta a produtividade. Conhecer os efeitos do monitor de computador (VDT) sobre o sistema visual significa planejar melhor o ambiente de trabalho e a atividade laboral para se obter máximo conforto e produtividade. Este estudo teve como objetivo geral analisar as alterações do piscar, do filme lacrimal e da superfície ocular induzidas pelo uso de monitor de computador (VDT). Para sua realização efetivou-se um estudo transversal, descritivo, observacional, analítico, realizado na Volkswagen do Brasil, São José dos Pinhais (PR), tendo como amostra, a população de funcionários do setor administrativo que utiliza VDT, com idade acima de 18 anos, sem doenças da superfície ocular, sistema palpebral e lacrimal. O ambiente de trabalho foi caracterizado pela temperatura, grau de umidade, velocidade do ar e iluminamento. Preencheram os critérios de inclusão 108 funcionários (idade média 34,1±7,88 anos e tempo mínimo de utilização do VDT 6 horas/dia). Foram avaliados as sintomatologias, filmagem da face para mensuração do tempo entre piscadas na situação de conversação, exame do olho externo e biomicroscopia das pálpebras, conjuntiva e córnea, filmagem videoceratoscópica para determinar tempo de ruptura do filme lacrimal, avaliação da quantidade de lágrima do lago lacrimal pelo Zone-Quick Phenol Red Thread tear test, avaliação do epitélio corneano pelo teste da lissamina verde, filmagem da face dos sujeitos para mensuração do tempo entre piscadas em leitura de VDT. Ao final da jornada de trabalho, foram feitas a reavaliação do tempo de ruptura do filme lacrimal da quantidade de lágrima e a avaliação do epitélio corneano. Compararamse o tempo entre as piscadas em conversação e em uso de VDT e o tempo de ruptura do filme lacrimal, antes e ao final da jornada de trabalho. A comparação desses tempos classificou os sujeitos como expostos, com tempo médio de ruptura do filme lacrimal menor que o tempo médio entre piscadas e não expostos com tempo médio de ruptura do filme lacrimal maior que o tempo médio entre piscadas. Nas condições do estudo, em jornada de trabalho com tempo mínimo de 6 horas de uso de VDT, houve aumento da exposição da superfície ocular causada pelo aumento do tempo entre piscadas. O aumento da exposição da superfície ocular foi causado pela diminuição do tempo de ruptura do filme lacrimal constatado ao final da jornada de trabalho. O tempo entre piscadas na situação de leitura em VDT que foi significantemente maior que na situação de conversação. O tempo de ruptura do filme lacrimal, ao final da jornada de trabalho, foi significativamente menor que em seu início. A exposição ocular observada durante a jornada de trabalho com usuários de VDT, nas condições deste estudo, não causou alteração epitelial detectável ao teste da lissamina verde. Não houve alteração do volume lacrimal em olhos com exposição, antes da jornada de trabalho com VDT, nem houve alteração do volume lacrimal em olhos com exposição ocular, após a jornada de trabalho com VDT. / The relationship between work and vision is so remote that has determined the adaptation of human beings to the environment in which they are inserted. It has been demonstrated that working in a pleasant environment, without any ocular disease, has favored visual performance and increased productivity. Knowing the effects of video terminal display (VDT) on the visual system helps plan labor environments and labor activities more effectively so that optimal comfort and productivity are obtained. This transversal study, performed at Volkswagen do Brasil, São José dos Pinhais, PR, has the objective to investigate the influence of VDT labor activities on blinking, tear film and ocular surface, ocular exposure and amount of tear in the lacrimal lake. The population sample comprised VDT administrative department employees older than 18, without diseases on the ocular surface, tear film and blinking system. The evaluation of the working environment included measurements of temperature, humidity, air speed and lighting. One hundred and eight employees met the study criteria (mean age 34.1±7.88 and minimal VDT use time of 6 hours/day). Several evaluations were performed: the ocular surface symptomatology; the measurement of the blink time in conversation situations; the examination of the ocular surface and lacrimal film; a videokeratoscopy to establish the tear film break-up time; evaluation of the amount of tears of the lacrimal lake by means of the Zone-Quick Phenol Red Thread tear test; evaluation of the corneal epithelium by means of the lissamine green test; and determination of the blink time in VDT reading situations. At the end of the working period, the amount of tears and the corneal epithelium structure were re-evaluated. Comparisons between the blink time in conversation and VDT reading situations were performed before and at the end of the working day. The comparison data obtained classifies the subjects into two categories: exposed, with a tear film break-up time shorter than the mean time between blinks; and non-exposed, with tear film break-up time longer than the mean time between blinks. The findings obtained reveal that there was an increase in the ocular surface exposure caused by the increase in the time between blinks during the working period and increase of the ocular surface exposure caused by the decrease in the tear film break-up time determined at the end of the working day. The time between blinks at VDT reading situations was significantly longer than at conversation situations. The tear film break-up time at the end of the working day was significantly shorter than at the beginning. The ocular exposure during the VDT use has not caused epithelium alterations detectable at the lissamine green test. There were no alterations in the amount of tears in the eyes which underwent ocular exposure after VDT use situations.
|
345 |
Sistema de monitoramento óptico banda larga direto para fabricação de filmes finos multicamadas com sincronização sensorless / Broadband direct optical monitoring system for multilayer thin film manufacturing with sensorless synchronizationAndré Luis Martins 24 March 2011 (has links)
Para a fabricação de filtros ópticos com característica espectral crítica, utiliza-se a tecnologia de filmes finos multicamadas, a qual exige o monitoramento e controle de espessura dos filmes com alta precisão. O sistema tradicional de monitoramento de espessura de filmes, baseado em cristal ressonante, não atende aos requisitos de precisão e repetibilidade do processo exigidos para a fabricação deste tipo de filtro. Já o monitoramento óptico, por sua vez, é um sistema que atende aos requisitos de fabricação destes filtros. Neste trabalho apresenta-se o desenvolvimento de um sistema automático de monitoramento óptico banda larga, para fabricação de filtros com filmes finos multicamadas, que se baseia na utilização de equipamentos ópticos de uso geral disponíveis no mercado. Para realizar análises de desempenho referentes exclusivamente ao algoritmo de automatização, um ambiente de simulação foi preparado, no qual os dados fornecidos pelo equipamento de aquisição de características ópticas durante a deposição efetiva foram substituídos por dados gerados por um algoritmo de simulação de crescimento do filme. Deste modo, o algoritmo de automatização e seus sistemas de segurança puderam ser exercitados. As simulações mostraram que o sistema proposto possui potencial para tornar mais preciso e repetitivo o processo de fabricação de filtros, de modo que atendam aos requisitos das aplicações especiais. / Optical filter manufacturing with critical spectral characteristics uses multilayer thin film technology, which demandas film thickness monitoring and control with high precision. Traditional monitoring systems based on oscillating crystal do not fulfill requirements of accuracy and process repeatability for manufacturing such type of filter. On the other hand, optical broadband monitoring system fulfills the manufacturing requirements to produce these filters. This work presents the development of a broadband optical monitoring system for multilayer thin film filters production, based on general optical equipment commercially available. In order to make the performance analysis related to automation algorithm, a simulation environment has been prepared, where the data supplied by optical data acquisition equipment has been replaced by simulating signals of film growing. Thus the automation algorithm and security systems could be worked. Simulations showed that the system has potential to improve the accuracy and repeatability of the manufacturing process so that the produced filters are able to fulfill the requirements of special applications.
|
346 |
Monitor and manage system and application configuration files at kernel level in GNU/LinuxStanković, Saša January 2015 (has links)
The aim of this study is to investigate if there is a way a computer can accurately and automatically react on altered configuration file(s) with a minimum of resource utilization and by what means the developer(s) of an application can perform a check of the altered configuration file for their application. In a typical GNU/Linux installation the configuration files are literally counted by the thousands, monitoring these files is a task that for the most part exceeds any system administrator's abilities. Each file has its own syntax that needs to be known by the administrator. Either one of these two tasks could give any system administrator nightmares concerning the difficulty level especially when both tasks are combined. The system administrator could attempt to automate the monitoring tasks together with the syntax checking. There are some tools in the repositories of each distribution for monitoring files but none that lets one monitor and take (predefined or user defined) actions based on what the file monitor reports, the type of file and its contents. A complete tool is not presented in this study, merely a proof of concept that monitoring and taking actions especially with version 2.6.13 (or newer) kernel of GNU/Linux with plugins are quite possible with relatively small computer resource. During this study some questions arose that are worth taking into consideration when a complete monitoring tool is to be developed, amongst others they are: add a trusted user, add both textual and graphical user interface, monitor more than one file path. This study was performed on GNU/Linux CentOS 6 distribution, all programming was done in BASH with an effort to minimize used/installed programs.
|
347 |
Measurements of Energy Consumptions in Mobile Applications with respect to Quality of Experience / Measurements of Energy Consumptions in Mobile Applications with respect to Quality of ExperienceKumar, Kasireddy Sai Suren, Vardhan, Bojja Vishnu January 2012 (has links)
Nowadays, Third Generation (3G) mobile phones equipped with powerful hardware are becoming popular and dominating the market of cellular com-munication systems. Features such as music and video players, in-built Global Positioning System (GPS) receivers, navigation maps, Internet connectivity and high resolution cameras has converted mobile phones into so called Smartphones. With the increase in applications and services, limitations on energy consumption are also increasing. Therefore, it is more im-portant for manufacturers to nd e ective means of increasing battery life of mobile phones, as the mobile device itself is energy consuming and longer operational times are demanded by customers. Good energy mangement in mobile phones requires a good understanding of the energy usage in mobile phones. To this end, this thesis report presents the results of power and energy consumption measurements conducted on available Smartphones. The services under investigation includes basic Smartphone functionalities and few Internet services are studied and conclusions were drawn. This paper presents a cost e ective methodology for reliable measurements of energy on Smartphones. It also examines the e ect of operating systems on en-ergy consumption in mobile phones and reports less energy consumption for Android supported phones. The energy consumption of these Smartphones with respect to various applications has been studied and related to Quality of Experience of users'. Based on the results conclusions were drawn. / This Thesis will serve as a guide to manufacturers and Users of smartphones while choosing smartphones and designing energy-efficient protocols. / +46 (0)723260656
|
348 |
Dynamic Load Generator: Synthesising dynamic hardware load characteristicsKarlsson, Stefan, Hansson, Erik January 2015 (has links)
In this thesis we proposed and tested a new method for creating synthetic workloads. Our method takes the dynamic behaviour into consideration, whereas previous studies only consider the static behaviour. This was done by recording performance monitor counters (PMC) events from a reference application. These events were then used to calculate the hardware load characteristics, in our case cache miss ratios, that were stored for each sample and used as input to a load regulator. A signalling application was then used together with a load regulator and a cache miss generator to tune the hardware characteristics until they were similar to those of the reference application. For each sample, the final parameters from the load regulator were stored in order to be able to simulate it. By simulating all samples with the same sampling period with which they were recorded, the dynamic behaviour of the reference application could be simulated. Measurements show that this was successful for L1 D$ miss ratio, but not for L1 I$ miss ratio and only to a small extent for L2 D$ miss ratio. We were also able to show that the total convergence time for the regulator could be reduced by using case-based reasoning to select the initial parameters from similar samples.
|
349 |
Synthèse de règles de sécurité pour des systèmes autonomes critiques / Synthesis of safety rules for critical autonomous systemsMachin, Mathilde 12 November 2015 (has links)
Les systèmes autonomes, notamment ceux opérant à proximité d'êtres humains, soulèvent des problèmes de sécurité-innocuité puisqu'ils peuvent causer des blessures. La complexité de la commande de ces systèmes, ainsi que leurs interactions avec un environnement peu structuré, rendent difficile l'élimination complète des fautes. Nous adoptons donc une démarche de tolérance aux fautes en considérant un moniteur de sécurité séparé de la commande principale et qui dispose de ses propres moyens d'observation et d'intervention. Le comportement de ce moniteur est régi par des règles qui doivent assurer la sécurité du système tout en lui permettant de remplir ses fonctions. Nous proposons une méthode systématique pour obtenir ces règles de sécurité. Les dangers, déterminés par une analyse de risque, sont modélisés formellement puis un algorithme synthétise des règles sûres et permissives, s'il en existe. Nous avons outillé cette méthode pour les étapes de modélisation et de synthèse en nous appuyant sur l'outil de vérification de modèle NuSMV. L'étude d'un cas industriel illustre l'application de la méthode et des outils sur un robot manufacturier dans un environnement humain. / Autonomous systems operating in the vicinity of humans are critical in that they potentially harm humans. In these systems, fault removal is not sufficient given the command complexity and their interactions with an unstructured environment. By a fault tolerance approach, we consider a safety monitor separated from the main command and able to observe and intervene on the system. The monitor behavior is specified by safety rules that must both ensure safety and permit the system to carry out its tasks in absence of hazard. We propose a systematic method to obtain these safety rules. The hazards, determined by a risk analysis, are formally modeled, then an algorithm synthesizes safe and permissive rules, if any exists. The method is tooled both for modeling and synthesis by use of the model-checker NuSMV. Method and tools are applied to the industrial use case of a robotic co-worker.
|
350 |
Messagingová infrastruktura a produktová analýza trhu / Message infrastructure and market analysisKlimeš, Ivo January 2008 (has links)
There are considered modern messaging architectonical concepts SOA and EDA in this diploma thesis. There are presented the elementary principals of functioning of these paradigms and principals are given into the wider context with the business processes and IT Governance. The aim of this thesis is to compare two preselected software solutions of the operational monitoring. There is always one solution per architectonical style and predefined comparative criteria. This thesis is divided into five consequential parts. The first part is focused on the putting the modern architectures into the historical context. The historical context is the way out for the modern architectonical styles. The part afterwards is closely focused on the concepts of SOA and EDA, and also on the comparison of the mentioned architectonical styles. There are put the concepts into the connection with business processes and maturity models In the next chapters. That all together has a influence on the successful implementation and governance. The chapters continuously flow into the last theoretical part of the thesis, IT Governance. There are described all the elements connected with the successful IT systems operating based on the paradigm SOA or EDA. The context in the practical part is link to the all these previous chapters. There are selected and described two software solutions in the practical part of this thesis. These solutions are then compared by the predefined criteria. The conclusion summarizes all the knowledge acquired during the paradigm comparison and there are also summarized knowledge acquired during the comparison of selected monitoring products.
|
Page generated in 0.0343 seconds