Submitted by Automa??o e Estat?stica (sst@bczm.ufrn.br) on 2017-01-10T12:38:21Z No. of bitstreams: 1 RuthineiaJessicaAlvesDoNascimento_TESE.pdf: 6329302 bytes, checksum: f22f9fe27a39b94fcd9cc9ae37adb3f4 (MD5) / Approved for entry into archive by Arlan Eloi Leite Silva (eloihistoriador@yahoo.com.br) on 2017-01-11T13:40:12Z (GMT) No. of bitstreams: 1 RuthineiaJessicaAlvesDoNascimento_TESE.pdf: 6329302 bytes, checksum: f22f9fe27a39b94fcd9cc9ae37adb3f4 (MD5) / Made available in DSpace on 2017-01-11T13:40:12Z (GMT). No. of bitstreams: 1 RuthineiaJessicaAlvesDoNascimento_TESE.pdf: 6329302 bytes, checksum: f22f9fe27a39b94fcd9cc9ae37adb3f4 (MD5) Previous issue date: 2016-06-29 / Conselho Nacional de Desenvolvimento Cient?fico e Tecnol?gico (CNPq) / Este trabalho, em uma primeira etapa, investiga a aplica??o da espectroscopia no infravermelho pr?ximo para a caracteriza??o qualitativa r?pida da fibra da casca de coco verde e avalia o potencial deste material lignocelul?sico para a produ??o de etanol de segunda gera??o. Em uma segunda etapa, os dados de espectroscopia no infravermelho pr?ximo foram associados a m?todos de pr?-tratamento matem?tico de dados diferentes. M?todos de calibra??o multivariada foram investigados quanto ao seu potencial para o monitoramento em tempo real do processo de hidr?lise enzim?tica da fibra da casca de coco verde. A fibra da casca de coco verde foi submetida a quatro tipos de pr?-tratamentos f?sico-qu?micos: Pr?-tratamento com ?cido sulf?rico dilu?do (2% p/v), pr?-tratamento com ?cido fosf?rico dilu?do (0,2% p/v), pr?-tratamento alcalino (NaOH 0,5% p/v) e pr?-tratamento hidrot?rmico. Foram avaliadas as mudan?as de morfologia, composi??o qu?mica e de ?ndice de cristalinidade ocasionadas pelos pr?-tratamentos f?sico-qu?micos utilizados. Tamb?m foram investigadas a influ?ncia dos pr?-tratamentos nos rendimentos da hidr?lise enzim?tica e no rendimento de etanol te?rico deste processo. Mudan?as nos teores de lignina, hemicelulose e celulose cristalina foram caracterizadas por m?todos tradicionais, como MEV, DRX e utilizando um m?todo anal?tico alternativo, a espectroscopia NIR, onde bons resultados foram obtidos. O pr?-tratamento com ?cido fosf?rico dilu?do mostrou-se como o mais eficiente quando se visa ? produ??o de bioetanol, resultando em 39,16% de rendimento de hidr?lise enzim?tica e 83,68 L/t de fibra de rendimento de etanol te?rico. Os modelos de calibra??o para o monitoramento foram constru?dos e otimizados pelo processo de valida??o cruzada e a capacidade preditiva destes foram analisadas pelo processo de valida??o externa. Os pr?-tratamento matem?ticos realizados nos dados espectrais foram a varia??o padr?o normal (Standard normal variate-SNV), corre??o multiplicativa de luz (Multiplicative scatter correction-MSC) e suaviza??o por media m?vel (Smoothing moving average-SMA) associados a 1? e 2? derivada de Savitzky-Golay. Os intervalos de calibra??o para ART, glicose, convers?o de celulose e rendimento de etanol te?rico foram: 0,12 ? 7,87 g.L-1; 0,00 ? 5,87 g.L-1; 0,00 ? 28,85% e 0,00 ? 61,68 L/t de fibra. Os melhores modelos de calibra??o para quantifica??o de ART, glicose, convers?o de celulose e rendimento de etanol te?rico foram obtidos para o pr?-tratamento matem?tico SMA + 2? derivada apresentando valores de R2 e RMSEP iguais a, 0,98 e 0,1994 g.L-1, para ART; 0,99 e 0,0266g.L-1, para glicose; 0,99 e 0,1839%, para convers?o de celulose; 0,99 e 0,2279 L/t para rendimento de etanol te?rico. Os modelos de calibra??o obtidos foram utilizados para o monitoramento de um processo de hidr?lise enzim?tica da fibra da casca de coco verde com a obten??o de resultados satisfat?rios para o monitoramento da etapa de hidr?lise enzim?tica do processo de fabrica??o de etanol de segunda gera??o. / This study investigates the application of near infrared spectroscopy for rapid qualitative characterization of coconut husk fiber and evaluates the potential of this lignocellulosic material for producing second-generation ethanol. The near infrared spectroscopy associated with methods of data mathematical pretreatment and multivariate calibration methods have been used to their potential for real time monitoring of coconut husk fiber enzymatic hydrolysis process. The coconut husk was subjected to four types of physico-chemical pretreatments: Pretreatment with dilute sulfuric acid (2% w/v), pretreatment with dilute phosphoric acid (0.2% w/v), alkaline pretreatment (NaOH 0.5% w/v) and hydrothermal pretreatment. Morphological changes, chemical composition and crystallinity index variations caused by the physical-chemical pretreatments were evaluated. Also, the influence of pretreatments in enzymatic hydrolysis yield and the theoretical ethanol yield was investigated. The changes in lignin, hemicellulose and crystalline cellulose were characterized by traditional methods such as SEM and XRD as well as using an alternative analytical method such as NIR spectroscopy showing good results. Pretreatment with dilute phosphoric acid proved to be more efficient aiming the production of bioethanol, resulting in aproximately 39.16% of enzymatic hydrolysis yield and 83.68 L/t of theoretical ethanol yield. The monitoring calibration models were built and optimized with the cross-validation process and the models predictive ability were analyzed by the external validation. The mathematical pretreatments performed on spectral data were Standard normal variation (SNV), Multiplicative scatter correction (MSC) and Smoothing moving average (SMA) coupled with 1st and 2nd derivative of Savitzky-Golay. The calibration intervals for ART, glucose, cellulose conversion and theoretical ethanol yield were: 0.12 ? 7.87 g.L-1; 0.00 ? 5.87 g.L-1; 0.00 ? 28.85% and 0,00 ? 61,68 L/t of fiber. The best calibration models for quantification of ART, glucose, cellulose conversion and the theoretical ethanol yield were obtained for the mathematical pretreatment SMA + 2nd derivative having R2 and RMSEP values equal to, 0.98 and 0.1994 g.L-1, for ART; 0.99 and 0,0266 g.L-1 for glucose; 0.99 and 0.1839% for cellulose conversion; 0.99 and 0.2279 L/t of theoretical ethanol yield. The obtained calibration models were used for monitoring an enzymatic hydrolysis process of coconut husk with satisfactory results.

Submitted by Automa??o e Estat?stica (sst@bczm.ufrn.br) on 2017-03-15T00:19:14Z No. of bitstreams: 1 ThiagoDavidDosSantosMarinho_DISSERT.pdf: 1356454 bytes, checksum: 1729cdbb721d0f506e383c0cbe6eb72e (MD5) / Approved for entry into archive by Arlan Eloi Leite Silva (eloihistoriador@yahoo.com.br) on 2017-03-17T00:21:08Z (GMT) No. of bitstreams: 1 ThiagoDavidDosSantosMarinho_DISSERT.pdf: 1356454 bytes, checksum: 1729cdbb721d0f506e383c0cbe6eb72e (MD5) / Made available in DSpace on 2017-03-17T00:21:08Z (GMT). No. of bitstreams: 1 ThiagoDavidDosSantosMarinho_DISSERT.pdf: 1356454 bytes, checksum: 1729cdbb721d0f506e383c0cbe6eb72e (MD5) Previous issue date: 2016-08-30 / Este trabalho apresenta a ferramenta GenMeter, composta por: (i) uma linguagem espec?fica de dom?nio utilizada para descrever textualmente testes de performance; e (ii) um componente que utiliza os testes descritos para gerar projetos em diferentes plataformas de execu??o de testes de performance. O objetivo ? utilizar os conceitos definidos na linguagem para abstrair os conceitos de cada plataforma, que muitas vezes s?o modelados diferentemente, quanto ? nomenclatura e/ou estrutura, e at? dependentes da ferramenta, ao inv?s de apenas do dom?nio. A ferramenta proposta oferece suporte para testes de servi?os SOAP, REST e de aplica??es web para JMeter e Silk Performer. Ela tamb?m permite a customiza??o para novos tipos de testes e plataformas alvo. Foram feitos estudos para avaliar o uso da ferramenta: 3 testes de aplica??es Web, REST e SOAP foram reescritos na linguagem espec?fica de dom?nio (DSL - domain specific language) e ent?o foram gerados projetos nas plataformas de destino, para que fossem executados. A partir dos ajustes e novas implementa??es necess?rios para a gera??o dos projetos, obteve-se feedback referente a capacidade de customiza??o da ferramenta em rela??o aos tipos de aplica??es e caracter?sticas de plataformas e organiza??es. Al?m disso, os scripts tamb?m foram avaliados em rela??o ? sua concis?o: al?m dos testes implementados com a DSL e com o Silk Performer, foram criados testes com a ferramenta Gatling.io (tamb?m baseados no teste da empresa). Comparou-se o total de palavras necess?rias para a defini??o de cada teste, al?m da rela??o entre o n?mero de palavras reservadas e o total de palavras, e a rela??o entre o n?mero de palavras reservadas fora do contexto e o total de palavras reservadas. Os testes criados com a DSL GenMeter possuem, em m?dia, 59,15% menos palavras em rela??o aos testes de Silk Performer e 39,43% em rela??o aos testes de Gatling.io, com exce??o de um tipo de teste, em que a especifica??o com a DSL ficou com pouco mais que o dobro (138,35%) de palavras. Na segunda compara??o, em m?dia, os testes com a GenMeter apresentaram um percentual de 56,33% de palavras reservadas em rela??o ao total, contra 39,98% do Silk Performer e 67,03% do Gatling.io. Esta compara??o pode ser interpretada como a quantidade de informa??o adicional que o usu?rio precisa fornecer pra cada linguagem, al?m das estruturas fornecidas pela mesma. J? na terceira compara??o, que pode ser interpretada como o quanto a sintaxe da linguagem hospedeira pode interferir na visualiza??o das informa??es dos testes, a GenMeter teve em m?dia 23,57% de palavras reservadas fora do contexto em rela??o ao total de palavras reservadas, contra 53,38% do Silk Performer e 54,60% do Gatling. Dessa forma, foi poss?vel observar os benef?cios de utilizar a DSL para diferentes tipos de aplica??es, customizando-a de acordo com determinados conceitos e caracter?sticas de plataformas e organiza??es. / This work presents GenMeter, a tool composed of: (i) a domain-specific language (DSL) used to describe textually performance tests; and (ii) a component that uses those described test specifications to generate projects in different performance test execution platforms. The purpose is to use concepts defined in the language to abstract the concepts of each platform, which are often modeled differently regarding nomenclature and/or structure and even dependent on the tool rather than just the domain. The proposed tool supports SOAP, REST and web applications performance tests to JMeter and Silk Performer. It also allows customization to new test types and target platforms. Studies were conducted to evaluate the use of the tool: 3 tests of web applications, REST and SOAP services have been rewritten in the DSL and then were generated projects to the target platforms, to be executed. After the adaptation and new implementations necessary for the project generation, we obtained feedback regarding the ability to customize the tool for the applications types and platforms and organizations features. Moreover, the scripts were also evaluated for their conciseness: tests were created with Gatling.io tool (also based on the company?s test) to compare with existing DSL and Silk Performer tests. Our study also compared the total number of words needed to define each test and the relation between the number of reserved words and the total number of words; and the relationship between the number of reserved words out of context, and the total of reserved words. Tests created with GenMeter have, on average, 59,15% less words in relation to Silk Performer tests and 39,43% in relation to Gatling.io tests, except by one test type, where GenMeter?s tests get little more than the double (138,35%) of words. In second comparison, on average, tests with the GenMeter presented a percentage of 56.33% of reserved words in relation to the total, against 39.98% from Silk Performer and 67.03% from Gatling.io. This first comparison can be interpreted as the amount of additional information that the user needs to provide for each language, in addition to the structures provided by them. In the third comparison, which can be interpreted as how the syntax of the host language may interfere with viewing of the test information, GenMeter had an average of 23.57% of reserved words out of context relative to the total of reserved words against 53.38% from Silk Performer and 54.60% from Gatling. Thus, it was possible to observe the benefits of using DSL for different types of applications, customizing it according to certain concepts and features platforms and organizations.

Submitted by Automa??o e Estat?stica (sst@bczm.ufrn.br) on 2017-04-03T20:52:33Z No. of bitstreams: 1 TuiraMoraisAvelinoPinheiro_DISSERT.pdf: 2413470 bytes, checksum: 78fb473d9090a36baad717fa819d5e29 (MD5) / Approved for entry into archive by Arlan Eloi Leite Silva (eloihistoriador@yahoo.com.br) on 2017-04-06T22:22:11Z (GMT) No. of bitstreams: 1 TuiraMoraisAvelinoPinheiro_DISSERT.pdf: 2413470 bytes, checksum: 78fb473d9090a36baad717fa819d5e29 (MD5) / Made available in DSpace on 2017-04-06T22:22:11Z (GMT). No. of bitstreams: 1 TuiraMoraisAvelinoPinheiro_DISSERT.pdf: 2413470 bytes, checksum: 78fb473d9090a36baad717fa819d5e29 (MD5) Previous issue date: 2015-09-29 / Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior (CAPES) / A criatividade ? considerada como a fonte para gera??o de ideias de novos produtos e processos. Para isso, organiza??es utilizam t?cnicas de criatividade para facilitar e auxiliar o processo de gera??o de ideias. O objetivo desta disserta??o ? analisar a efic?cia de uma t?cnica de criatividade na gera??o de ideias em empresas do setor de bebidas. O m?todo de pesquisa ? caracterizado como estudo de casos. A fundamenta??o te?rica envolveu a classifica??o das t?cnicas de criatividade e finalizou com a sele??o de uma dessas. Os estudos de caso foram realizados em duas empresas do setor de bebidas: ?gua de coco e bebida l?ctea. Foram aplicados a t?cnica de criatividade selecionada. A aplica??o desta gerou ideias que foram classificadas em: Desenvolvimento de Produto e Embalagem; Processo Produtivo; e Gest?o Organizacional. Na empresa de ?gua de Coco, as ideias resultaram na elabora??o de uma nova m?quina de envaze de ?gua de coco e em uma nova embalagem voltada para um p?blico espec?fico, al?m das ideias de melhoria de processo e gest?o elaboradas pelas equipes. Na empresa de Bebida L?ctea, as ideias voltaram-se para a cria??o de um novo setor na empresa, desenvolvimento de uma nova linha de produtos e novos sabores. Nessa ?ltima, a maioria das ideias focaram na melhoria dos Processos Produtivos, com a participa??o dos gestores no incentivo ? liberdade de pensamento para gera??o de ideias. Esses resultados foram obtidos pela influ?ncia com a familiaridade do problema, diversidade da equipe, associa??o entre ideias, observa??o do outro participante, compartilhamento do conhecimento t?cito e flu?ncia da t?cnica utilizada. Os resultados evidenciaram que a utiliza??o de uma t?cnica de criatividade fez os funcion?rios discutir e gerar solu??es para produtos e processos, dando o in?cio ? fase de Pr?-Desenvolvimento de Produtos com a etapa de gera??o de ideias. / The creativity is considered as the source for new products and process generating of idea. For this, organizations use creative techniques to facilitate and assist the process of generating ideas. The aim of this work is to analyze the effectiveness of a creativity technique to generate ideas in beverage sector companies. The research method is characterized as case studies. The theoretical foundation involved the classification of creativity techniques and ended with the selection of one of these. Case studies were conducted in two companies in the beverage industry: Coconut water and milk drink. The selected creativity technique were applied. The application of this has generated ideas that were classified as: Product Development and Packaging; Production Process; and Organizational Management. In Coconut Water Company, ideas resulted in the development of a new machine of coconut water bottling and new packaging aimed at a specific audience, in addition to process improvement ideas and marketing developed by the teams. Milk Beverages on the company, the ideas have turned to the creation of a new sector in the company, development of a new product line and new flavors. In the latter, most of the ideas focused on improving the Productive Process, with the participation of managers in encouraging freedom of thought to generate ideas. These results were obtained for influence with the familiarity of the problem, diversity of staff, association of ideas, observation of another participant, sharing of tacit knowledge and fluency of the technique used. The results showed that the use of a creativity technique made employees discuss and generate solutions for products and processes, giving the start to the stage of Product Development Initial with the step of generating ideas.

Made available in DSpace on 2014-12-17T14:56:16Z (GMT). No. of bitstreams: 1 AugustoCFW_DISSERT.pdf: 4069800 bytes, checksum: c488b0f09f064b7a5254eca8a4fff499 (MD5) Previous issue date: 2013-08-30 / The generation of electricity in Brazil is predominantly renewable, with internal hydraulic generation being more than 70% of its energy matrix. The electricity rationing occurred in 2001 due to lack of rain, led the country to increase the participation of alternative energy sources. This need for new sources of energy makes the regional potential to be exploited, which configures the change of generation model from centralized generation to distributed generation. Among the alternative sources of energy, the solar energy is presented as very promising for Brazil, given that most of its territory is located near to the equator line, which implies days with greater number of hours of solar radiation. The state of Rio Grande do Norte (RN) has one of the highest levels of solar irradiation of the Brazilian territory, making it eligible to receive investments for the installation of photovoltaic solar plants. This thesis will present the state-of-the-art in solar photovoltaic power generation and will examine the potential for generation of solar photovoltaic power in Brazil and RN, based on solarimetrics measurements conducted by various institutions and also measurements performed in Natal, the state capital / A gera??o de energia el?trica no Brasil ? predominantemente renov?vel, com a gera??o interna hidr?ulica sendo superior a 70% do total de sua matriz energ?tica. O racionamento de energia el?trica ocorrido em 2001, devido ? falta de chuvas, levou o pa?s a incrementar a participa??o de fontes alternativas de energia. Esta necessidade por novas fontes de energia faz com que as potencialidades regionais sejam aproveitadas, o que configura a mudan?a do modelo de gera??o, passando de gera??o centralizada para gera??o distribu?da. Dentre as fontes alternativas de energia, a solar apresenta-se como uma fonte bastante promissora para o Brasil, tendo em vista que a maior parte do seu territ?rio est? localizada pr?ximo ? linha do equador, o que implica em dias com maior quantidade de horas de radia??o solar. O Estado do Rio Grande do Norte (RN) tem um dos maiores ?ndices de incid?ncia solar do territ?rio brasileiro, o que o torna apto a receber investimentos para a instala??o de usinas solares fotovoltaicas. Esta disserta??o apresentar? o estado da arte em gera??o de energia solar fotovoltaica e analisar? o potencial de gera??o da energia solar fotovoltaica no Brasil e no RN, baseando-se em medi??es solarim?tricas realizadas por diversas institui??es e tamb?m em medi??es realizadas em Natal

Made available in DSpace on 2016-04-28T20:19:20Z (GMT). No. of bitstreams: 1 2007 - Deividy Attila Marcelino.pdf: 602923 bytes, checksum: b30a778e1a49c1c66c059e268603c8de (MD5) Previous issue date: 2007-03-19 / The objective of this study is to draw a panorama of the business strategies in the segment of electric power generation, making a comparison among the data obtained in the research, starting from 2001. The analysis is based on the vertical integration level, in the participation area in the country and in the technology (hydroelectric power, thermoelectric or alternative) used by the companies. Those variables are compared to the ROE of each company and to the composition of its Social Capital. For that, the sample contains three private companies, three public state companies and three public federal companies, so that it establishes a balance in the analysis. The methodology consists of a multicases study with the survey of data by formularies. The obtained results demonstrate that the best performance don't depend on the composition of the company?s Social Capital, but depends on its strategic vision. In other words, the companies that adapt to the market, taking advantage new opportunities, have the largest Return on Equity. That verification reinforces the Theories of Innovation of Value of Kim & Maubourgne, where the companies break up with the effective order and create new market borders. / O objetivo deste estudo ? tra?ar um panorama das estrat?gias empresariais do segmento de gera??o de energia el?trica, fazendo uma compara??o entre os dados obtidos na pesquisa, a partir de 2001. A an?lise ? baseada no n?vel de verticaliza??o, na regi?o de atua??o no pa?s e na tecnologia (hidrel?trica, termel?trica ou alternativa) utilizada pelas empresas. Essas vari?veis s?o comparadas ao ROE de cada empresa e paralelamente ? composi??o do seu capital. Para isso, a amostra possui tr?s empresas privadas, tr?s p?blicas estaduais e tr?s p?blicas federais, de forma que se mantenha um equil?brio na an?lise. A metodologia consiste em um estudo de multicasos com o levantamento de dados atrav?s de formul?rios. Os resultados obtidos demonstram que os melhores desempenhos n?o dependem da composi??o do capital da empresa, mas sim, de sua vis?o estrat?gica. Ou seja, as empresas que buscam se adaptar, aproveitando as novas oportunidades do mercado, t?m os maiores retornos sobre o Patrim?nio Liquido. Tal constata??o refor?a as Teorias de Inova??o de Valor de Kim & Maubourgne, onde as empresas rompem com a ordem vigente e criam novas fronteiras de mercado.

Landtags-Abgeordnete sind Berufs-Politiker auf Zeit – so wollen es die Spielregeln unserer Demokratie. Wer ein Landtags-Mandat erringt, engagiert sich befristet im Auftrag seiner Wähler für das Allgemeinwohl. Das nächste Wahl-Ergebnis und vor allem der innerparteilich festgelegte Platz auf der Landesliste der eigenen Fraktion entscheiden stets aufs Neue über die berufspolitische Zukunft jedes einzelnen Abgeordneten. In diesem Buch kommen bekannte und weniger bekannte Politiker aller politischen Lager in Thüringen zu Wort, die die Gründerjahre im Freistaat seit Wiedererstehen des Landes mitgeprägt haben. Mit ihren vielfältigen und oft sehr detailreichen Erinnerungen rufen sie die höchst ereignisreiche Zeit seit Oktober 1990 wach. Wie lebt es sich als „Interessen-Vertreter auf Abruf“? Welche persönlichen Erfahrungen vermittelte das Abgeordneten-Dasein – noch dazu in den Jahren umfangreichster Veränderungen seit 1990? Und wie sieht das Leben nach dem oft unfreiwilligen Abschied aus der Berufs-Politik aus? Holger Zürch hat darüber mit einstigen Abgeordneten und Ministern gesprochen, die zwischen 1990 und 2004 dem Thüringer Landtag angehörten. Sie haben die weitreichenden politischen, wirtschaftlichen und sozialen Umgestaltungen der drei DDR-Bezirke Erfurt, Gera und Suhl zum Wiedererstehen des heutigen Freistaats Thüringen gestaltet. Von Holger Zürch im April 2013 für Qucosa.de bearbeitete, gekürzte Version der Original-Ausgabe. Das Buch erschien 2006 im Engelsdorfer Verlag Leipzig (ISBN-10: 3939404012 - ISBN-13: 9783939404019).

Does the choice of a medium, by which a company’s advertising message is carried, communicate something about that company’s commitment to act responsibly towards the green environment? Does the choice of a medium that consumers perceive as more harmful for the green environment impact ad and brand evaluations more negatively than a medium that they perceive as less harmful? If so, to what extent do companies have knowledge of such change in consumer media behavior and thereby take into account the green environmental aspect with media selection? Driven by such questions, and by way of an experiment, secondary data analysis, interviews and surveys this thesis explores green media selection and its impact on communication effectiveness from the consumer’s and marketing manager’s perspective. Building on theories of advertising planning and media selection the thesis contributes with four empirical studies to increase the understanding of green advertising media and how consumers’ eco-harmful media perceptions impact communication effectiveness. The findings shed light on the importance of taking the green environmental aspect into account when practitioners select advertising media. This is particularly valid for companies that are committed to act responsibly toward the green environment, by for instance having documented green environmental policies, and wish to be associated as such through their brands and marketing communication thereof. / <p>Diss. Stockholm : Handelshögskolan, 2013</p>

Magistro baigiamajame darbe nagrinėjama žodžio (išraiškos) laisvės teisės ribų teisinio reglamentavimo Lietuvoje problema. Aptarti žodžio (išraiškos) laisvės teisės istorinės ištakos, raidos etapai, žodžio (išraiškos) laisvės teisės vieta žmogaus teisių sistemoje. Pabrėžiama, jog žodžio laisvė nėra absoliuti, o norint apsaugoti svarbesnius visuomenės interesus arba atskirų asmenų teises nustatomos tam tikros žodžio laisvės ribos. Taip pat prieita nuomonės, jog žodžio laisvės teisė ir informacijos laisvės teisė yra dvi skirtingos fundamentinės žmogaus teisės – informacijos gavimo teisė yra socialinė kategorija, tuo tarpu žodžio laisvė, kaip žmogaus saviraiškos būdas, yra greičiau dvasinė kategorija. Analizuojant žodžio (išraiškos) laisvės ribojimo pagrindus, aptarta teisės ir moralės santykio problema. Aptariant minėtą problemą, rėmėmės I.Kanto žmogaus valios autonomija. Paaiškėjo, jog teisėta veikla išplaukia ne iš išorinio reglamentavimo, o iš vidinio asmens apsisprendimo veikti moraliai, iš pagarbos proto principams. Moralės dėsnis “įrašytas” žmogaus dvasioje ir žmogus yra laisvas, jei jis veikia vadovaudamasis moralės įstatymu. Filosofiniu požiūriu analizuota žodžio (išraiškos) laisvės teisės struktūra. Žodžio (išraiškos) laisvės teisę lemia tiesos ir gėrio filosofinės kategorijos. Žodžio (išraiškos) laisvė sietina su tiesos skelbimu gera valia ir gėrio siekimu. Tiesa sudaro intelektualinį žodžio (išraiškos) laisvės naudojimo aspektą, o gėris valinį aspektą. Darbe... [toliau žr. visą tekstą] / In this Master’s paper the legal regulation issue of free speech limits in Lithuania is analyzed. Historical fountainhead of free speech, its process and position in the system of human rights are discussed. It is emphasized that the freedom of speech is not absolute, and on purpose to protect the public interest that are more important or the rights of each individual person some particular limits of free speech are set down. It has also been considered that freedom of speech and freedom of information are two different kinds of fundamental human rights. The freedom of information is a social category whereas the freedom of speech that is like a way of a person’s self-expression is rather a moral category. While analyzing the basis of free speech limits the problem of relation between law and morality has been discussed appealing to I. Kant autonomy of human will. It appeared that good will is one that acts from duty in accordance with the universal moral law that the autonomous human being freely gives itself. This law obliges one to treat humanity — understood as rational agency, and represented through oneself as well as others — as an end in itself rather than as means. The structure of free speech has been analysed philosophically. It occurred that freedom of speech is conditioned by the philosophical categories of the truth and the good. The free speech is related to proclamation of the truth, good will and endeavor to seek the good. The truth makes an intellectual... [to full text]

Made available in DSpace on 2014-12-17T15:48:01Z (GMT). No. of bitstreams: 1 IvanSMJ_DISSERT.pdf: 2894212 bytes, checksum: 3acb921ac87239ee36be60cb2e15b0e6 (MD5) Previous issue date: 2012-04-27 / A remo??o de inconsist?ncias em um projeto ? menos custosa quando realizadas nas etapas iniciais da sua concep??o. A utiliza??o de M?todos Formais melhora a compreens?o dos sistemas al?m de possuir diversas t?cnicas, como a especifica??o e verifica??o formal, para identificar essas inconsist?ncias nas etapas iniciais de um projeto. Por?m, a transforma??o de uma especifica??o formal para uma linguagem de programa??o ? uma tarefa n?o trivial. Quando feita manualmente, ? uma tarefa pass?vel da inser??o de erros. O uso de ferramentas que auxiliem esta etapa pode proporcionar grandes benef?cios ao produto final a ser desenvolvido. Este trabalho prop?e a extens?o de uma ferramenta cujo foco ? a tradu??o autom?tica de especifica??es em CSPm para Handel-C. CSP ? uma linguagem de descri??o formal adequada para trabalhar com sistemas concorrentes. Handel-C ? uma linguagem de programa??o cujo resultado pode ser compilado diretamente para FPGA's. A extens?o consiste no aumento no n?mero de operadores CSPm aceitos pela ferramenta, permitindo ao usu?rio definir processos locais, renomear canais e utilizar guarda booleana em escolhas externas. Al?m disto, propomos tamb?m a implementa??o de um protocolo de comunica??o que elimina algumas restri??es da composi??o paralela de processos na tradu??o para Handel-C, permitindo que a comunica??o entre m?ltiplos processos possa ser mapeada de maneira consistente e que a mesma somente ocorra quando for autorizada.

Made available in DSpace on 2014-12-17T15:48:09Z (GMT). No. of bitstreams: 1 VivianeMR_DISSERT.pdf: 1295596 bytes, checksum: 1bb5688145cd1ce7005121d9de48c246 (MD5) Previous issue date: 2013-12-13 / The work proposed by Cleverton Hentz (2010) presented an approach to define tests from the formal description of a program s input. Since some programs, such as compilers, may have their inputs formalized through grammars, it is common to use context-free grammars to specify the set of its valid entries. In the original work the author developed a tool that automatically generates tests for compilers. In the present work we identify types of problems in various areas where grammars are used to describe them , for example, to specify software configurations, which are potential situations to use LGen. In addition, we conducted case studies with grammars of different domains and from these studies it was possible to evaluate the behavior and performance of LGen during the generation of sentences, evaluating aspects such as execution time, number of generated sentences and satisfaction of coverage criteria available in LGen / O trabalho proposto por Cleverton Hentz (2010) apresentou uma abordagem para defini??o de testes a partir da descri??o formal das entradas do programa. Considerando que alguns programas podem ter suas entradas formalizadas atrav?s de gram?ticas, como ? o caso dos compiladores, ? comum o uso de gram?ticas livres de contexto para especificar o conjunto de entradas v?lidas. No trabalho original foi desenvolvida LGen, uma ferramenta que consiste na gera??o autom?tica de testes para compiladores. No presente trabalho identificamos tipos de problemas recorrentes em diferentes ?reas, onde gram?ticas s?o usadas para descrev?-los, como por exemplo, para especificar configura??es de software, e que s?o situa??es potenciais para o uso de LGen. Al?m disso, realizamos estudos de caso com gram?ticas de dom?nios diferentes e a partir destes estudos foi poss?vel avaliar o comportamento e o desempenho de LGen durante o processo de gera??o das senten?as, avaliando aspectos como tempo de execu??o, quantidade de senten?as geradas e satisfa??o de crit?rios de cobertura dispon?veis em LGen