Made available in DSpace on 2015-05-14T12:36:41Z (GMT). No. of bitstreams: 1 arquivototal.pdf: 3375471 bytes, checksum: 71af6ca3a3405939c90099d5441d8ad0 (MD5) Previous issue date: 2010-08-03 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / The Ginga-NCL environment is responsible for the presentation of declarative (NCL) applications on the Brazilian Digital TV System (SBTVD), and it is also the ITU-T H.761 Recommendation for IPTV middleware. Lua is the scripting language of NCL. ITU-T H. 760 series also defines two sets of NCLua API for the development of IPTV applications: the Core and the Extended API. The Core comprises the basic NCLua API, which are part of the Ginga-NCL original specification for the Brazilian terrestrial DTV system. The Extended aims to provide other relevant functionalities incorporating some of the features commonly present on other imperative environments. This work aims to present a set of Lua APIs named LuaTV, which will be part of the draft specification for the NCLua Extended API. LuaTV features are divided into four functional categories: metadata, with functionalities related to the accessing Digital TV metadata information; security, providing mechanisms for encrypting and authenticating data; multidevices, offering high-level access to resources commonly available on remote devices; and widget, aimed at graphical support to applications. / O ambiente Ginga-NCL é responsável pela apresentação de aplicações declarativas (escritas na linguagem NCL) no Sistema Brasileiro de Televisão Digital (SBTVD), e é também a Recomendação ITU-T H.761 para middlewares IPTV. A linguagem Lua é utilizada como linguagem de scripting da NCL. A série de recomendações ITU-T H.760 define também dois conjuntos de API NCLua para o desenvolvimento de aplicações IPTV: as APIs Core e Extended. A API Core compreende a API NCLua básica, parte integrante da especificação original do ambiente Ginga-NCL no SBTVD. A API Extended tem como objetivo prover outras funcionalidades relevantes incorporando algumas das facilidades encontradas em ambientes imperativos. Este trabalho visa especificar um conjunto de APIs Lua denominado LuaTV, que será parte da especificação inicial para a API NCLua Extended. As facilidades da API são dividas em quatro pacotes funcionais: metadata, com funcionalidades relacionadas ao acesso de metadados presentes em um fluxo de TV Digital; security, que provê mecanismos para encriptação, autenticação e integridade de dados; multidevices, oferecendo acesso em alto-nível a recursos comumente presentes em dispositivos remotos; e widget, que tem como objetivo oferecer suporte ao desenvolvimento de componentes gráficos.

[pt] Ambientes de Execução Gerenciada tornaram-se alvos populares para compiladores de linguagens de programação de alto nível. Eles provêem um sistema tipos de alto nível com segurança de memória garantida, assim como facilidades como coleta de lixo, acesso a serviços da plataforma subjacente (possivelmente através de uma sandbox), multithreading, e uma rica biblioteca de estruturas de dados e algorithmos, mas não possuem um modelo de desempenho claro, o que atrapalha as tentativas de otimização de qualquer linguagem que não tenha um mapeamento direto na semântica do ambiente de execução, especialmente se a linguagem é dinamicamente tipada. Nós afirmamos que é possível construir um compilador para uma linguagem dinâmica que tem como alvo um ambiente de execução gerenciada que rivaliza um compilador que tem como alvo linguagem de máquina na eficiência do código que ele gera. Essa tese apresenta um compilador com tal característica, descrevendo as otimizações necessárias para sua construção, e testes de desempenho que validam essas otimizações. Nossas otimizações não dependem de geração de código em tempo de execução, apenas em informação estaticamente disponível no código fonte. Nós usamos uma nova análise de inferência de tipos para aumentar a quantidade de informação disponível. / [en] Managed runtime environments have become popular targets for compilers of high-level programming languages. They provide a high-level type system with enforced runtime safety, as well as facilities such as garbage collection, possibility sandboxed access to services of the underlying platform, multithreadng, and a rich library of data structures and algorithms. But managed runtime environments lack a clear performance model, which hinders attempts ar optimizing the compilation of any language that does nor have a direct mapping to the runtime environments semantics. This is aggravated if the language is dynamically typed. We assert that it is possible to build a compiler for a dynamic language that targets a managed runtime environment so that it rivals a compiler that targets machine code directly in efficiency of the code it generates. This dissertation presents such a compiler, describing the optimizations that were needed to build it, and benchmarks that validate these optimizations. Our optimizations do not depend on runtime code generation, only on information that is statically available from the source program. We use a novel type inference analysis to increase the amount of information available.

[pt] Nos últimos anos, as linguagens de script ganharam muita importância em diversas áreas da computação. Uma das áreas onde essas linguagens ainda são pouco exploradas é na área de computação paralela. A computação paralela sempre foi fortemente associada a computação científica, mas recentemente ela ganhou uma nova importância com a popularização de processadores multi-core. Com esse crescimento se torna necessário o surgimento de novos paradigmas de programação paralela para facilitar o desenvolvimento e dinamizar as aplicações, e linguagens de script podem ser usadas para isso, trazendo dinamismo, simplicidade e flexibilidade às aplicações. Esta dissertação visa estudar um modelo híbrido de programação entre duas linguagens de programação, Lua e Charm plus plus. / [en] Recently, scripting languages have become very important in many fields of computer science. One area in which these languages have not been explored is paralel programming. Paralel programming has always been strongly associated with scientific usage, but recently, with the growth in popularity of multi core systems, it has gained a new field of action. With this change, the development of new programming paradigms of paralel programming become necessary in order to make development easier and applications more dynamic. Scripting languages may be used for this, bringing dynamics, flexibility and simplicity to aplications. This dissertation aims to study a hybrid programming model with two programming languages, Charm plus plus and Lua.

[pt] Linguagens dinamicamente tipadas, tais como Lua, não usam tipos estáticos em favor de simplicidade e exibilidade, porque a ausência de tipos estáticos significa que programadores não precisam se preocupar em abstrair tipos que devem ser validados por um verificador de tipos. Por outro lado, linguagens estaticamente tipadas ajudam na detecção prévia de diversos bugs e também ajudam na estruturação de programas grandes. Tais pontos geralmente são vistos como duas vantagens que levam programadores a migrar de uma linguagem dinamicamente tipada para uma linguagem estaticamente tipada, quando os pequenos scripts deles evoluem para programas complexos. Sistemas de tipos opcionais nos permitem combinar tipagem dinâmica e estática na mesma linguagem, sem afetar a semântica original da linguagem, tornando mais fácil a evolução de código tipado dinamicamente para código tipado estaticamente. Desenvolver um sistema de tipos opcional para uma linguagem dinamicamente tipada é uma tarefa desafiadora, pois ele deve ser o mais natural possível para os programadores que já estão familiarizados com essa linguagem. Neste trabalho nós apresentamos e formalizamos Typed Lua, um sistema de tipos opcional para Lua, o qual introduz novas características para tipar estaticamente alguns idiomas e características de Lua. Embora Lua compartilhe várias características com outras linguagens dinamicamente tipadas, em particular JavaScript, Lua também possui várias características não usuais, as quais não estão presentes nos sistemas de tipos dessas linguagens. Essas características incluem funções com aridade flexível, atribuições múltiplas, funções que são sobrecarregadas no número de valores de retorno e a evolução incremental de registros e objetos. Nós discutimos como Typed Lua tipa estaticamente essas características e também discutimos nossas decisões de projeto. Finalmente, apresentamos uma avaliação de resultados, a qual obtivemos ao usar Typed Lua para tipar código Lua existente. / [en] Dynamically typed languages such as Lua avoid static types in favor of simplicity and exibility, because the absence of static types means that programmers do not need to bother with abstracting types that should be validated by a type checker. In contrast, statically typed languages provide the early detection of many bugs, and a better framework for structuring large programs. These are two advantages of static typing that may lead programmers to migrate from a dynamically typed to a statically typed language, when their simple scripts evolve into complex programs. Optional type systems allow combining dynamic and static typing in the same language, without affecting its original semantics, making easier this code evolution from dynamic to static typing. Designing an optional type system for a dynamically typed language is challenging, as it should feel natural to programmers that are already familiar with this language. In this work we present and formalize the design of Typed Lua, an optional type system for Lua that introduces novel features to statically type check some Lua idioms and features. Even though Lua shares several characteristics with other dynamically typed languages such as JavaScript, Lua also has several unusual features that are not present in the type system of these languages. These features include functions with exible arity, multiple assignment, functions that are overloaded on the number of return values, and the incremental evolution of record and object types. We discuss how Typed Lua handles these features and our design decisions. Finally, we present the evaluation results that we achieved while using Typed Lua to type existing Lua code.

[pt] O computador pode ser considerado um grande aliado no desenvolvimento cognitivo dos alunos, principalmente na medida que possibilita o desenvolvimento de um trabalho que se adapta a distintos ritmos de aprendizagem. No processo de ensinar matemática, por exemplo, um software educacional pode contribuir para a criação de um cenário que ofereça possibilidades para o aluno associar os conceitos matemáticos com as suas experiências cotidianas, sem perder aspectos lúdicos e motivação. Entretanto, um problema enfrentado por educadores na utilização de softwares educativos é a pouca flexibilidades dos sistemas disponíveis. Na maiorias dos jogos educativos disponíveis no mercado, pode-se apenas vivenciar conteúdos estáticos e estruturas rígidas. Um jogo educativo com conteúdos estáticos age em um conteúdo específico e, uma vez que o usuário aprende aqueles conteúdo, o jogo deixa de fornecer desafios ao jogado, perdendo toda a diversão. Numa tentativa de aliviar as consequências desses problema, essa dissertação apresenta um framework para o desenvolvimento de jogos educativos 2D no estilo aventura que facilita a definição de objetos e comportamentos por parte de educadores, a partir da integração de uma camada de scripts em linguagem Lua com um motor de jogos 2D. / [en] The computer can be considered an ally the cognitive development of students, especially by enabling the development of a work that adapts itself to different learning rhytms. In the process of teching mathematics, for instance, educational software can contribute to create a scenario that offers opportunities for the students to associate mathematical concepts with his/her quotidian experiences, without losing losing funny aspects and motivation. Homewer, a problem faced by educators in the use of educational software is the limited flexibility of the avaliable sytems. In most of the educational games in the market, one can only experience static contents and rigid structures. An educational games with static contents acts within a specific context and once the use learns those contents the games fails to provide challenges to the player and loses all the fun. As an attempt to alliviate the consequences of those problems, this work presents a framework for the design of educational 2D games in the adventure style that facilities the definition of objects and behaviors by educators and artists, from the integration of a Lua script layer with a 2D game engine.

Made available in DSpace on 2016-07-27T13:49:20Z (GMT). No. of bitstreams: 1 CAMILA ALVES MARTINS.pdf: 834302 bytes, checksum: 35370a532ae830dce2772d41bbd2759f (MD5) Previous issue date: 2006-12-15 / The images of the sacred feminine are erased in face of male power. The search for an integrative space between the feminine and the masculine principles becomes necessary because of the manifestation of the sacred that inhabits each one. This is a theoretical and qualitative work that considers three aspects of an analogy between the archetype of the Wild Woman , the mythical figure of Lilith and the biblical character of Maria Magdalena. In the historical aspect of the mythical reports we notice a demonized image of these women and a diminishment of their shine as sacred manifestations, due to the annulment of the integrating space of each one. The Wild Woman IS WHAT SHE IS, and belongs to herself. The danger of the wild lies in the negation of her feminine power. The symbolic movement occurs when the woman touches her corporality, and her feminine power to generate and nurture encompasses the experience of becoming one-in-herself. These experiences mould her vase-body and recreate new forms of integration. Lilith and Maria Magdalena find divine wisdom in the wild and in nature, and teach us to come into contact with our lunar aspects. In the androgyny, through the encounter between the feminine and masculine poles, re-creation/resurrection blows life into the aspects that need restoration, composing the truth and wisdom of its sacred space. Meeting the wolf gives light to obscure aspects and brings consciousness to the path of knowledge of the soul. This is the point where the female divinities were demonized, renounced and confined to the obscure side of their dark moons. / As imagens do feminino sagrado encontram-se apagadas diante da formação do poderio masculino, por isso, a busca de um espaço de integração entre o princípio feminino e o masculino se faz necessária. O trabalho é uma pesquisa teórica e qualitativa dividida em três capítulos que retrata uma analogia entre o arquétipo da Mulher Selvagem , a figura mítica de Lilith, e a personagem bíblica de Maria Madalena. Na historicidade dos relatos míticos percebemos uma imagem demonizada das mulheres e um apaguizamento do seu brilho devido ao anulamento do espaço integrador de cada uma. A Mulher Selvagem é O QUE É e pertence a si própria. O perigo do selvagem encontra-se na negação de seu poder. O movimento simbólico ocorre quando a mulher toca sua corporalidade, e quando seu poder feminino de gerar e nutrir abrange as experiências de tornar-se uma-em-si-mesma. Estas experiências moldam o seu Vaso-corpo e recriam novas formas de integração. Lilith e Maria Madalena encontram no selvagem e na sua essência, a sabedoria divina, e nos ensinam a entrar em contato com nossos aspectos lunares. Na androginia, a recriação/ ressurreição sopra vida nos aspectos que necessitam de restauração, compondo a verdade e a sabedoria de seu espaço sagrado através da integração das polaridades femininas e masculinas. O encontro da Mulher Selvagem traz luz aos aspectos obscuros, clarificando a consciência no caminho do conhecimento da alma. Neste ponto é que as divindades femininas foram demonizadas, negadas e confinadas ao lado obscuro de suas luas negras.

This thesis consists of an extensive study of the Weak Stability Boundary (WSB) concept in low-energy Earth-to-Moon mission design within the mathematical structure provided by the Planar Circular Restricted Three-Body Problem (PCR3BP). By employing the patched three-body approach to approximate the Sun-Earth-Moon-spacecraft system, we examine and characterize the construction of Earth-to-Moon transfer orbits. Then, we focus on the final portion of the transfer trajectories, investigating the WSB algorithmic definition proposed by E. Belbruno. We perform a dynamical characterization of the WSB associated sets generated in the lunar sphere of influence by two implementations of this algorithmic definition, namely, considering the Moon as a punctual mass and as a body with finite radius. In addition, the associated sets are analysed according to relevant criteria established on three-body problem elements in order to clarify their possible applicability in external and internal transfers and to verify the consistency of the algorithmic construction procedure. Finally, we extract the boundary of stability and investigate the structure of the boundary set by characterizing specific stable-unstable transitions. This study identifies various vulnerable aspects of the algorithmic definition concerning the adequate detection of stability regions for ballistic lunar capture, and indicates required corrections to the algorithmic construction.

Den 1 juli 2006 trädde lagen om offentliga uppköpserbjudanden på aktiemarknaden[1] (LUA) ikraft. Lagen är ett resultat av Sveriges genomförande av direktiv 2004/25/EG om uppköpserbjudanden[2] (takeover-direktivet) som inför en harmoniserad reglering av offentliga uppköp av noterade aktier. Regleringens syfte är att garantera målbolagets aktieägare en rättvis och rimlig behandling samtidigt som önskade omstruktureringar möjliggörs. Genom principen att det är aktieägarna som själva skall ta ställning till budet och godkänna försvarsåtgärder skyddas de från ledningen. Genom principen om likabehandling av aktieägare, vad gäller t.ex. premie, skyddas minoriteten. För Sveriges del har detta område sedan tidigare endast reglerats av självreglering utarbetad av Näringslivets Börskommitté (NBK) som blivit giltig i och med noteringsavtalen. Aktiemarknadsnämnden (AMN) har sedan starten agerat tolknings- och dispensinstitut avseende dessa Takeover-regler. I och med direktivets genomförande kom bestämmelserna om bl.a. budplikt och försvarsåtgärder att lagregleras, samtidigt som ett lagstadgat krav för budgivare att följa den befintliga självregleringen[3] (takeover-reglerna) infördes. Detta har inneburit att AMN numera på delegation från Finansinspektionen (FI) utför myndighetsutövning och tolkar lag vid tolknings- och dispensuttalanden avseende LUA. Detta ger upphov till ett antal frågor, bl.a. angående nämndens sammansättning och värdet av dess uttalande som rättskälla. Tolknings- och dispensfrågor får enligt LUA överlåtas till ett organ med representativa medlemmar för näringslivet. De som främst berörs av nämndens uttalanden är ett aktiemarknadsbolags huvudsakliga intressenter; bolaget självt och dess aktieägare. Aktieägarna kan även delas upp i en majoritet och en minoritet. På den svenska aktiemarknaden är det vanligt med en stark majoritet eller kontrollägare. Den för svenska förhållanden accentuerade intressekonflikten är därför mellan majoritets- och minoritetsintresset. AMN:s ledamöter utses av Föreningen för god sed på aktiemarknadens styrelse, vars huvudmän är framförallt branschorganisationer. I uppsatsen konstateras att det både bland föreningens huvudmän och nämndens ledamöter finns ett starkt representerat lednings- och majoritetsintressen medan ett utpräglat minoritetsintresse endast finns hos en ledamot i nämnden. Det har anförts att domare och akademiker skall garantera rättssäkerheten men på grund av att de endast utgör en marginell del i nämnden får de anses sakna avsedd verkan. AMN:s uttalanden avseende LUA bör formellt sett inte ha någon prejudicerande verkan då nämnden är första instans. Det är dock lagstiftarens avsikt att tyngdpunkten skall ligga i första instans, vilket tillsammans med den mycket låga frekvensen av överklaganden får till följd att nämnden hittills i praktiken varit högsta instans. Vad gäller takeover-reglerna är AMN även i fortsättningen enda instans och tolkare. I avsaknad av fler avgöranden från högre instans får därför AMN:s uttalanden tillmätas stor vikt vad gäller god sed på aktiemarknaden. [1] Lagen (2006:451) om offentliga uppköpserbjudanden på aktiemarknaden. [2] Europaparlamentets och rådets direktiv 2004/25/EG av den 21 april 2004 om uppköpserbjudanden. [3] Regler rörande offentliga uppköpserbjudanden på aktiemarknaden NASDAQ OMX Stockholm, den 1 oktober 2009, utvecklade av NBK.

<p>Den 1 juli 2006 trädde lagen om offentliga uppköpserbjudanden på aktiemarknaden[1] (LUA) ikraft. Lagen är ett resultat av Sveriges genomförande av direktiv 2004/25/EG om uppköpserbjudanden[2] (takeover-direktivet) som inför en harmoniserad reglering av offentliga uppköp av noterade aktier. Regleringens syfte är att garantera målbolagets aktieägare en rättvis och rimlig behandling samtidigt som önskade omstruktureringar möjliggörs. Genom principen att det är aktieägarna som själva skall ta ställning till budet och godkänna försvarsåtgärder skyddas de från ledningen. Genom principen om likabehandling av aktieägare, vad gäller t.ex. premie, skyddas minoriteten.</p><p>För Sveriges del har detta område sedan tidigare endast reglerats av självreglering utarbetad av Näringslivets Börskommitté (NBK) som blivit giltig i och med noteringsavtalen. Aktiemarknadsnämnden (AMN) har sedan starten agerat tolknings- och dispensinstitut avseende dessa Takeover-regler.</p><p>I och med direktivets genomförande kom bestämmelserna om bl.a. budplikt och försvarsåtgärder att lagregleras, samtidigt som ett lagstadgat krav för budgivare att följa den befintliga självregleringen[3] (takeover-reglerna) infördes. Detta har inneburit att AMN numera på delegation från Finansinspektionen (FI) utför myndighetsutövning och tolkar lag vid tolknings- och dispensuttalanden avseende LUA. Detta ger upphov till ett antal frågor, bl.a. angående nämndens sammansättning och värdet av dess uttalande som rättskälla.</p><p>Tolknings- och dispensfrågor får enligt LUA överlåtas till <em>ett organ med representativa medlemmar för näringslivet</em>. De som främst berörs av nämndens uttalanden är ett aktiemarknadsbolags huvudsakliga intressenter; <em>bolaget självt och dess aktieägare</em>. Aktieägarna kan även delas upp i en majoritet och en minoritet. På den svenska aktiemarknaden är det vanligt med en stark majoritet eller kontrollägare. Den för svenska förhållanden accentuerade intressekonflikten är därför mellan majoritets- och minoritetsintresset.</p><p>AMN:s ledamöter utses av Föreningen för god sed på aktiemarknadens styrelse, vars huvudmän är framförallt branschorganisationer. I uppsatsen konstateras att det både bland föreningens huvudmän och nämndens ledamöter finns ett starkt representerat lednings- och majoritetsintressen medan ett utpräglat minoritetsintresse endast finns hos en ledamot i nämnden. Det har anförts att domare och akademiker skall garantera rättssäkerheten men på grund av att de endast utgör en marginell del i nämnden får de anses sakna avsedd verkan.</p><p>AMN:s uttalanden avseende LUA bör formellt sett inte ha någon prejudicerande verkan då nämnden är första instans. Det är dock lagstiftarens avsikt att tyngdpunkten skall ligga i första instans, vilket tillsammans med den mycket låga frekvensen av överklaganden får till följd att nämnden hittills i praktiken varit högsta instans. Vad gäller takeover-reglerna är AMN även i fortsättningen enda instans och tolkare. I avsaknad av fler avgöranden från högre instans får därför AMN:s uttalanden tillmätas stor vikt vad gäller god sed på aktiemarknaden.</p><p>[1] Lagen (2006:451) om offentliga uppköpserbjudanden på aktiemarknaden.</p><p>[2] Europaparlamentets och rådets direktiv 2004/25/EG av den 21 april 2004 om uppköpserbjudanden.</p><p>[3] Regler rörande offentliga uppköpserbjudanden på aktiemarknaden NASDAQ OMX Stockholm, den 1 oktober 2009, utvecklade av NBK.</p>

Blueberry though one of the most valuable berry plants is limited in its occurrence in Lithuania. One of the reason – is lack of local cultivars. Over 1993 – 2004 the largest blueberry germ plasm was established in Kaunas Botanical Garden at VDU. This collection has been used for breeding of new cultivars. Seedlings ‘No.11, ’‘No.16’ and ‘No.17’ were investigated in Kaunas Botanical Garden over 2002 – 2004. The investigation aimed at estimating of productivity, character of fruiting and biochemical composition of berries. The obtained result were compare with those of halth-highbush ‘Northcountry’. Fruiting of 4 – 6 year old bushes was estimated, mean earliness of fruiting, berry size, volume and average yield for 3 seedling numbers were determined. Seedlings numbers ‘No.11, ��‘No.16’ and ‘No.17’might be classified as early cultivars. The main port of the blueberry yield was obtained in the first picking, due to this mechanised picking might be applied. The plants produce tasty, good marketable appearance and biochemical composition. The best marketable appearance typical of ‘No. 17’, the biggest berries – ‘No. 11����. The most productive were ‘No. 16’ and ‘No. 17’, their mean productivity is two times higher than that of ‘Northcountry’.