Zugl.: Duisburg, Essen, Universiẗat, Diss., 2007.

The goal of diploma thesis is disquisition on existing file format intended for data transmission over computer network. Choose one of the compared file format and create a file structure for transmission sports data. Assess the structure of files from existing sports data suppliers and create their own structure. Compare the possible ways of distribution of created data files and give recommendations for services implementers.

Orientador: Ivanil Sebastião Bonatti / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica / Made available in DSpace on 2018-07-20T15:34:37Z (GMT). No. of bitstreams: 1 Figueiredo_RenatoJansendeOliveira_M.pdf: 5779228 bytes, checksum: b2fb963a793332e11d4da83c66486ada (MD5) Previous issue date: 1995 / Resumo: Metodologias de projeto de sistemas digitais em alto nível têm por objetivos principais permitir a descrição de sistemas cada vez mais complexos, mantendo a visão sistêmica do projeto durante todo o seu ciclo de desenvolvimento, e diminuir o tempo de desenvolvimento de projetos. Este trabalho apresenta uma abordagem à metodologia de projeto de sistemas digitais através do uso de uma linguagem de especificação(SDL - Specification and Description Language)para o projeto de circuitos. Um algoritmo de mapeamento de um sub-conjunto da linguagem SDL para VHDL (Very High Speed Integrated Circuit Hardware Description Language) sintetizável é apresentado, juntamente com exemplos de aplicação, e implementado em um programa de domínio público (Stoht - SDL to Hardware Translator) que realiza este mapeamento de maneira automática / Abstract: System-level design methodologies allow the description of more complex systems, keeping the view of the system as a whole throughout all its developing cycle, and also allow the shortening of project development schedule. This work presents an approach to system-level design by using a specification language (SDL - Specification and Description Language) to hardware design. An algorithm for the translation of a subset of SDL to synthesis able VHDL (Very High Speed Integrated Circuit Hardware Description Language) is presented together with examples of implementation. This algorithm has been implemented in a software translator (Stoht - SDL to Hardware Translator) that performs the language mapping automatically / Mestrado / Mestre em Engenharia Elétrica

Orientador: Shusaburo Motoyama / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica / Made available in DSpace on 2018-07-17T17:32:48Z (GMT). No. of bitstreams: 1 Tamura_RobertoToshiyuki_M.pdf: 5692280 bytes, checksum: 5060e1cac0598ce84d6c8f7ffee3b0b4 (MD5) Previous issue date: 1988 / Resumo: Não informado / Abstract: Not informed. / Mestrado / Mestre em Engenharia Elétrica

Orientador: Walter da Cunha Borelli / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-08-04T00:33:45Z (GMT). No. of bitstreams: 1 Chung_StellaWingKwan_M.pdf: 1574709 bytes, checksum: 0da0dcfc25970e0c769f10026ff0c99f (MD5) Previous issue date: 2004 / Resumo: Este trabalho apresenta propostas de mobilidade para os protocolos H.323 e SIP. Para o protocolo H.323, são desenvolvidos sistemas com mobilidade intra-dominio, inter-dominios e inter-dominios em conjunto com os novos conceitos do protocolo H.510. Estas propostas se basearam na solução de mobilidade desenvolvida por Liao utilizando a expansão da conferencia ad hoc multiponto para realizar roaming e handoff em um estabelecimento de chamada entre terminais moveis H.323. Para o SIP, é desenvolvido o sistema com mobilidade inter-dominios para o estabelecimento de sess~ao entre terminais moveis SIP. Esta proposta se baseia na solução de mobilidade desenvolvida por Chen, Moh e Berquin utilizando a conferencia multiponto com a presença da MCU para realizar roaming e handoff. Todos estes sistemas foram especificados utilizando a linguagem de especificação formal SDL orientada a objeto a partir da ferramenta SDL TAU Suite. Esta ferramenta permite simular os sistemas a partir dos diagramas em MSC e validar os sistemas para detecção e correção de eventuais erros de logica e de especificação / Abstract: This work describes some proposals for mobility extension to H.323 and SIP protocols. The new proposals for H.323 involve intrazone and interzone mobility, and interzone mobility using resources with new entities, signallings and functions from H.510. Based on the mobility solution developed by Liao, these new systems have demonstrated how H.323 could be extended in order to offer mobility using ad hoc multipoint conference for roaming and handoff during a call establishment between H.323 mobile terminals. The other proposal is a system with interzone mobility using multipoint conference with MCU for roaming and handoff during a call establishment between SIP mobile terminals. This system is based on Chen, Moh and Berquin mobility solution. All these systems were specified using the SDL object-oriented formal language with SDL TAU Suite tool. This tool allows the simulation of the systems with MSC diagrams and the validation of the systems by detecting and correcting logical and specification errors / Mestrado / Telecomunicações e Telemática / Mestre em Engenharia Elétrica

SDL in der 1996 standardisierten Sprachversion ist zur Zeit die im Telekommunikationsbereich am weitesten verbreitete Sprache zur Spezifikation von Protokollen. Ein wesentlicher Aspekt der Sprachentwicklung seit 1988 ist auch die Verfügbarkeit einer formalen Basis semantischer Konzepte. Für das Datenkonzept der Sprache wurde auf die algebraischen Technik ACT ONE zurückgegriffen. Obwohl Anspruch als auch praktischer Wert von SDL in der Ausführbarkeit als Spezifikationstechnik liegt, wird dieses gerade durch das verwendete Datenmodell beeinträchtigt. Verdeckt wird dieses Problem durch die Bereitstellung von vordefinierten Datentypen. Durch die Erweiterung von SDL um objektorientierte Konzepte im Jahr 1992 und durch die allgemein wachsende Bedeutung der Daten in Protokollbeschreibungen treten die vorhandenen Sprachprobleme bei den Daten immer mehr in der Vordergrund. Individuelle Lösungen zur Spezifikation von Daten in verfügbaren SDL-Werkzeugen sind die Folge. In der vorliegenden Arbeit werden sowohl die praxismotivierten Unzulänglichkeiten als auch die formalen Unstimmigkeiten im SDL-Datenkonzept aufgezeigt. Auf der Grundlage einer systematischen Analyse werden ein allgemeiner Anforderungskatalog und eine Methodik für Veränderungen am Datenkonzept erarbeitet. Zusätzlich werden wichtige Sprachmodifikationen mit dem Schwerpunkten Ausdruckskraft und Ausführbarkeit vorgestellt und bewertet. Es steht somit ein Instrumentarium zur Verfügung, das den unterschiedlichen SDL-Interessengruppen bei der Bewertung und Nutzung von SDL-Veränderungen dienlich ist. Die in der Arbeit vorgestellten Modifikationen des Datenkonzepts basieren auf den langjährigen Erfahrungen des Autors bei der Implementierung und dem Einsatz von Werkzeugen, die mit verschiedenen projektspezifischen Zielstellungen SDL-Beschreibungen in ausführbare Programme überführen. Die Kombination von SDL mit einer weiteren Spezifikationstechnik, ASN.1, spielt hier eine besondere Rolle. Durch die aktive Mitarbeit des Autors bei der SDL-Sprachstandardisierung werden in der Arbeit auch Vorschläge präsentiert, die über das Potential der vorhandenen Werkzeuge hinausgehen. Das schließt beispielsweise die Bewertung der neuen, in der Praxis noch nicht etablierten, SDL-Version aus dem Jahr 2000 mit ein. / SDL in the language version which was standardized in 1996 is the most-used language in the telecommunication domain for the specification of protocols today. An essential aspect of the language development since 1998 is the availability of a formal basis for semantic concepts. The algebraic technique ACT ONE is used for the data concept of the language. Although the requirement and the practical value of SDL is the execution a specification technique, this is impaired straight by the used data model. The problem is hidden by the supply of pre-defined data types. Because of the introduction of object oriented concepts in 1992 and because of the generally increasing importance of data for the protocol description the existing language problems are taking more and more attention. Individual solutions for the specification of data are the consequence with available SDL tools. In the presented document are pointed out the praxis motivated inadequacies as well as the formal discrepancy of the data concept. A general requirement catalogue and a methodology are designed for language modifications based on a systematic inspection of the SDL data concept. Furthermore important language modifications are introduced and evaluated with the focus to expression power and to execution. Instruments are provided thus, which are helpful to different SDL interest groups for the evaluation and for the application of SDL modifications. In the document presented data modifications are based on years of experience of the author in the implementation and application of tools that compile SDL specifications with different project-specific objectives into executable programs. The combination of SDL with a further specification technology, ASN.1, plays an important role here. Because of the active role of the author in the SDL standardization process also suggestions are presented going beyond the potential of the existing tools. That includes for example the evaluation of the new, in practice not yet established SDL version, published in 2000.

Packet broadcast networks are in widespread use in modern wireless communication systems. Medium access control is a key functionality within such technologies. A substantial research effort has been and continues to be invested into the study of existing protocols and the development of new and specialised ones. Academic researchers are restricted in their studies by an absence of suitable wireless MAC protocol development methods. This thesis describes an environment which allows rapid prototyping and evaluation of wireless medium access control protocols. The proposed design flow allows specification of the protocol using the specification and description language (SDL) formal description technique. A tool is presented to convert the SDL protocol description into a C++ model suitable for integration into both simulation and implementation environments. Simulations at various levels of abstraction are shown to be relevant at different stages of protocol design. Environments based on the Cinderella SDL simulator and the ns-2 network simulator have been developed which allow early functional verification, along with detailed and accurate performance analysis of protocols under development. A hardware platform is presented which allows implementation of protocols with flexibility in the hardware/software trade-off. Measurement facilities are integral to the hardware framework, and provide a means for accurate real-world feedback on protocol performance.

Darbe yra nagrinėjama vienmačių homogeninių difuzinių procesų parametrų, įeinančių į difuzijos ir poslinkio koeficientus, vertinimas. Vertinimui naudojama stacionariųjų tankių išraiškos. Panaudojant skaitinius metodus lygtys yra modeliuojamos kompiuteriu, skaičiavimams naudojant SAS statistikos paketą. / We consider the estimation of unknown parameters in the drift and diffusion coefficients of a one-dimension diffusion X when the observation is a discrete sample. For the estimation we use stationary distribution function. Using numerical methods we approximate SDE and realize the algorithm with computer.

Orientador: Walter da Cunha Borelli / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-07-25T16:20:30Z (GMT). No. of bitstreams: 1 Nassif_NadiaAdel_M.pdf: 10953982 bytes, checksum: cacb2be7368db5f807502c09fe7bed13 (MD5) Previous issue date: 1999 / Resumo: A tese trata da especificação formal em SDL (Specification and Description Language) e da simulação através do SDT 1 (SDL Design Tool), de um classificador de fluxo X/V usado no IpSwitching e, do LDP (Label Distribution Protocol) do MPLS (MultiProtocol Label Switching), partindo-se das recomendações do IETF (Internet Engineering Task Force). Tanto o IpSwitching como o MPLS são protocolos que utilizam a combinação da técnica de label-swappingcom o roteamento de camada 3, para transportar pacotes de um protocolo de rede sem conexão sobre uma tecnologia de comutação, como o IP sobre o ATM. Com o objetivo de se avaliar a performance do IpSwithing em relação à variação dos parâmetros do classificador de fluxo X/V, que é parte integrante do controlador de um IpSwitch, foram realizadas simulações com diferentes traces de tráfego IP. Em relação ao MPLS é proposto uma especificação única que combina as características dos procedimentos de distribuição de labelcom a máquina de estado do LDP. O objetivo é analisar através de simulações, o comportamento de um LSR (Label Switching Router) em diferentes configurações, diante do recebimento de mensagens LDP e do estabelecimento de LSPs (Label Switched Paths). .. Palavras Chaves: SDL - Specification and Description Language, SDT ¿ SDL Design Tool, Especificação Formal, Simulação, MSC - Message Sequence Cha'rt, IP sobre ATM, IpSwitching, Classificador de Fluxo, MPLS - MultiProtocol Label Switching, LDP ...Observação: O resumo, na íntegra, poderá ser visualizado no texto completo da tese digital / Abstract: The thesis deals with formal specification using SDL (Specification and Description Language) and the simulation using SDT 2 (SDL Design Tool) of the flow classifier X/Y used in IpSwitching, and of the LDP (Label Distribution Protocol) from MPLS (MultiProtocol Label Switching), based on the IETF (Internet Engineering Task Force) recomenda tions. IpSwitching and MPLS are protocols that use the combination of the label-swapping technique with the layer 3 routing, forwarding connectionless traffic over a switching technology like IP over ATM. In order to analize the IpSwitching performance varying the flow classifier X/Y paremeters, which is part of the IpSwitch controller, it was used different IP traffic traces on the simulations. Concerning the MPLS it is proposed a single specification that combines the LDP procedures and LDP state machine. The goal is to verify the LSR (Label Switching Router) behaviour in recieving LDP messages and establishing LSPs (Label Switched Path), using different LSR configurations. ;Key Words: SDL - Specification and Description Language, SDT - SDL Design Tool, Formal Specification, Simulation, MSC - Message Sequence Chart, IP over ATM, IpSwitching, Flow Classifier, MPLS - MultiProtocol Label Switching, LDP - Label Distribution Protocol, label-swapping. ...Note: The complete abstract is available with the full electronic digital thesis or dissertations / Mestrado / Mestre em Engenharia Elétrica

Abstrakt Produkten som jag har utvecklat är en mjukvarubaserad 3D-renderare. För att göra en sådan produkt är man tvungen att gå djupt in i området 3D och utföra alla beräkningar på egen hand. Dessa tar annars grafikkortet hand om. Denna rapport förklarar varför jag har valt att göra en egen mjukvarubaserad 3D- renderare och vad den är för något och i vilka områden den används. Här förklaras även min syn på programmering, digitala spel, vad programmering innebär för mig och hur min syn på spel har påverkat mig med tiden. Jag tar även upp mina tankar om spelindustrin och samhällets misstolkade värderingar av spel samt vad för sorts spel jag anser skulle gynna mänskligheten i framtiden. Vad jag tycker om utbildningen Digitala spel nämns också samt hur jag tror att den skulle kunna förbättras. Slutligen följer en kortfattad beskrivning av hur mitt projekt har genomförts. Abstract The product I have been developing is a software based 3D renderer. To do such a thing you need to go deeply into the 3D subject and do all calculations which normally would be handed over as tasks to the graphic card. This document explains why I have chosen to do my own software based 3D renderer and what it really is. The document also explains what a 3D renderer does and in which places it is being used. Here you will also find my own explanation about programming and digital games, the meaning of programming for me and how my vision towards games has affected me in time. My ideas of the gaming industry, the misunderstandings of games in society and what sort of games that I think would aid humanity in the future. What I think about the education Digital Games will also be brought up as well as how I think Digital Games could be improved. Finally, a short description how the process of my project has been carried out will be told. / Detta är en reflektionsdel till en digital medieproduktion. Tele: tel 0709-210255 Mail: mattiaspgames@gmail.com