• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 25
  • 20
  • 11
  • 8
  • 4
  • 3
  • 2
  • 1
  • 1
  • Tagged with
  • 90
  • 14
  • 9
  • 9
  • 9
  • 8
  • 7
  • 7
  • 7
  • 6
  • 6
  • 6
  • 6
  • 5
  • 5
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
51

Programação funcional usando Java / Functional programming using Java

Zavaleta Gavidia, Jorge Juan January 1997 (has links)
Desde a introdução da World Wide Web para o mundo nos inícios de 1990, usando a Internet como uma rede para transferir dados, empregando uma forma de expressão chamada de Hipertexto, a qual liga as informações relacionadas e combinadas com multimídia, os Webs resultantes têm aberto novas possibilidades de expressão e comunicação. A quantidade de tráfego de dados na Web e o número de computadores ofertando informação vem crescendo dramaticamente, mas falta expressividade e qualidade interativa na Web; ainda assim, vem despertando um grande interesse instrutivo e útil. O ilimitado universo de possibilidades da Web para acessar aplicações seguras, portáveis e independentes para cada plataforma em hardware e software e que possam chegar a qualquer lugar sobre a Internet, surge a linguagem Java da Sun Microsystem [DEC 95]. A habilidade de Java para executar código sobre hosts remotos de uma maneira segura é uma necessidade crítica para muitas organizações de desenvolvedores de software e provedores de Internet na atualidade [ARN 96]. A linguagem Java é realmente valiosa para redes de ambientes distribuídos como a Web. Entretanto, Java vai mais longe deste domínio ao fornecer uma linguagem de programação de propósito geral poderosa e adequada para construir uma variedade de aplicações que não dependem das características da rede [ARN 96]. O modelo imperativo tradicional é padrão e quase universal vem tendo uma profunda influência sobre a natureza das linguagens de programação e ainda continua a tendência de sempre ter uma direção para fornecer mais e mais formas abstratas de resolver problemas, tentando mudar a simplicidade na programação com rapidez na execução de programas [FIE 88]. Parece. portanto, natural e quase inevitável o desenvolvimento em tecnologia das linguagens. Os amplos esforços gastos em desenvolver métodos rigorosos para especificar, produzir, verificar software e produtos de hardware, mas os esforços foram restringidos às linguagens convencionais. A aproximação natural de Von Neumann tem contribuído a esta falha desde a noção de um estado global que pode mudar arbitrariamente em cada passo da computação e vem sendo provado ser intuitivamente e matematicamente intratável. Esta falha tem tornado ao software o componente mais caro para muitos sistemas de computação [GLA 84]. Os primeiros passos para solucionar estas falhas foram tomadas pela programação estruturada ao trabalhar nas áreas de especificação formal, verificação de programas e na semântica formal que ainda continuam em pesquisa. O crescimento numeroso de pesquisadores têm certeza de que os problemas originam-se da aproximação fundamental à filosofia de Von Neumann e estão voltando-se para uma linguagem de um novo tipo. Uma de tais aproximações é a tomada pelas linguagens de programação funcional [PLA 93]. Num programa funcional, o resultado de uma função chamada é unicamente determinado pelos valores atuais dos argumentos da função [PLA 93]. As linguagens de programação funcional têm a vantagem que elas oferecem um uso geral das funções, o qual não esta disponível nas linguagens imperativas clássicas. Devido a ausência de efeitos colaterais, as provas de correção dos programas são mais fáceis que nas linguagens imperativas. As funções podem ser avaliadas em qualquer ordem assim como a disponibilidade total das mesmas, a nova geração de linguagens funcionais também oferecem uma elegante noção de uso amigável [PLA 93]. Os padrões e a proteção que fornecem ao usuário um acesso simples a estruturas de dados complexos, basicamente não tendo a preocupação do gerenciamento da memória, como faz a linguagem Java. O objetivo principal deste trabalho é a descrição da implementação de um Construtor de Funções Java (LispJ), usado para gerar funções Lisp em código Java utilizando a linguagem Java da Sun Microsystem como ambiente de desenvolvimento. A descrição compreende a codificação de um Interpretador Lisp da linguagem funcional LISP, e a codificação do Construtor de Funções Java visualizado através de um applet Java utilizado como interface entre o Construtor de Funções Java e o usuário sobre a Internet. / Since the introduction of the World Wide Web to the world in the beginning of the nineties, using the Internet as a network to transfer data, using a form of expression called Hypertext, which connects related and combined information with multimedia, the resulting Webs have opened new possibilities of expression and communication. The amount of data traffic in the Web and the number of computers offering information have been growing dramatically, but there is a lack of interactive expressivity and quality in the Web; nevertheless, its instructive and useful interest is growing wider. From the unlimited universe of possibilities of the Web to access safe, portable and independent applications for each platform in hardware and software and that are able to get anywhere on the Internet, there is the Java Sun Mycrosystem language [DEC 95]. Java's ability to perform code on remote hosts in a safe way is a critical need for many software developing organizations and Internet providers nowadays [ARN 96]. Java language is really valuable for network environments arranged as the Web. However, Java extends further from this domain as it provides a broad programming language that is powerful and adequate to build a variety of applications which do not depend on the characteristics of the network [ARN 96]. The prevailing traditional model is a pattern and almost universal, has had a deep influence on the nature of the programming languages and there is still a trend of one direction to provide more and more abstract ways of solving problems, trying to change the simplicity in the fast programming in programs run [FIE 88]. It seems, therefore, natural and almost inevitable the development in technology of the programming languages. Wide efforts were made to develop strict methods to specify, produce, check software and hardware products, but the efforts were restricted to conventional languages. Von Neumann's natural approximation has contributed to this gap since the notion of a global state which can change arbitrarily in each step of the computer science and has proven to be intuitively and mathematically intractable. This gap has turned the software into the most expensive component for many computing systems [GLA 84]. The first steps to solve these gaps were taken by the structured programming when working on the areas of formal specification, programs checking and the formal semantics, which are still being researched. The ever growing number of researchers are sure that the problems come from the fundamental approximation to Von Neumann's philosophy and are turning to a new kind of language. One of such approximations is the one through the functional programming languages [PLA 93]. In a functional program, the result of a called function is determined only by the present values of the function arguments [PLA 93]. The functional programming languages have the advantage of offering a general use of the functions, which is not available in the classic prevailling lan guages [PLA 93]. Due to absence of side effects, the correction tests in the programs are easier than in the prevailing languages. The functions may be evaluated in any order and so may their total disposal. The new generation of functional languages also offers an elegant notion of friendly use [PLA 93]. The patterns and protection offer the user a simple access to complex data structures, basically by not worrying about memory management, as occurs with the Java language. The main objetive of this work is the description of the implementation of a Java Functions Builder (Lisp1), used do generate Lisp functions in Java code utilizing the Java language from Sun microsystem as a developing environment. The description covers the code of the Lisp Interpreter of the LISP functional language, and the Java Functions Builder code visualized through a Java applet utilized as interface between the Java Functions Builder and the users on the Internet.
52

Návrh trading strategie pro řízení volného finančního kapitálu firmy / Design of Trading Strategy for Managing of Free Financial Capital of the Company

Jiřík, Leoš January 2014 (has links)
This thesis deals with the design of trading strategies suitable for trading the currency markets. Design is carried out by means of artificial intelligence, the proposed strategies are then optimized and evaluated using previously unknown data. The partial objective is to implant this process in an existing company with the aim to broaden its capital. The consequences arising from this trading approach to the development of the company’s capital are subsequently studied from several perspectives – a schedule is outlined for the introduction into the company that has been chosen earlier, then the expected costs and revenues are compared in the scope of medium-term and in the last part the above procedure is analyzed so its risks can be pointed out and therefore procedures for their restrictions can be proposed as well.
53

Technická analýza / Technical Analysis

Kosek, Lukáš January 2014 (has links)
This thesis deals with problems of the technical analyses and its usage during creation of the automated trading systems. Theoretical section explains the basic principles of functioning of the monetary market (Forex) and includes technical indicators. Portfolio of strategies, as output of this work, was applied onto monetary pairs of Euro/American dollar and British pound/American dollar. Computer program Adaptrade Builder was used for proposed commercial strategies with help of the genetic algorithms and subsequently tested on the MetaTrader 4 commercial platform.
54

CIP Safety / CIP Safety

Šindelek, Milan January 2016 (has links)
This master’s thesis deals with the security machinery using available technologies. It contains a description to assess and reduce the risk of machine design of security measures and their application. In each section are provides descriptions of the standards, using the CIP Safety communication technology, design and implementation security measures of machine at two demonstration learning tasks.
55

Řízení proporcionálního hydraulického ventilu / Control of proportional directional control valves

Hoferek, Martin January 2017 (has links)
The thesis deals with design and implementation of proportional hydraulic valve, which will be integrated to hydraulic system of small hydro in Rájec - Jestřebí. This valve will be used to control one of the wicket gates of double Francis turbine. The thesis is processed for the company Mavel a.s., which is the owner of SH. The goal of this thesis is to create control of the valve according to the client's requirements, its implementation to the control system and commissioning.
56

Query builder for database system / Framtagning av verktyg för att skapa databasförfrågningar

Stigeborn, Patrik, Strömgren, Jonathan January 2015 (has links)
Large amount of data is used by companies to enable good analysis of their system’s workability. Data can be stored in a partitioned database, to enable an optimal way of accessing the data. The problem with partitioning is that the complexity of the database structure increases. Therefore retrieving data demands higher expertise of the user. This degree project will examine different solutions to create an efficient and easy to use method, to access and retrieve data from a database with such architecture. Interviews have been conducted at Ericsson and were an important source of information. Existing query builders were another source - they were analyzed for comparison and ideas. As result of research and development, a customized query builder was created. It was adapted to Ericsson’s database environment and internal software. The SQL-queries are generated dynamically using the query builder that was developed in this degree project. The query builder takes input parameters, interpret them and then generate a query. It was implemented in C++, and satisfies specific demands and functionality. / Stora mängder data används av företag för att skapa bra analyser av deras systems prestanda. Denna data kan lagras i partitionerade databaser, för att möjliggöra optimal hämtning av data. Problemet med partitionering är att det skapar komplex databasstruktur, därmed ökar kraven på användaren i samband med inhämtning av data. I detta examensarbete kommer vi att undersöka olika lösningar för att skapa en effektiv och lättanvändlig metod för att få åtkomst och hämta data från en partitionerad databas. Intervjuer har genomförts med anställda på Ericsson, som tillsammans med litteraturstudier har varit vår främsta informationskälla. Resultatet av våran undersökning och utveckling blev en specialanpassad query builder. Den är anpassad för Ericssons databasmiljö och interna system. SQL-frågor kommer att genereras dynamiskt utav vår query builder. Denna query builder kommer att ta emot indata, vilket den sedan kommer att tolka och utifrån detta skapa en SQL-förfrågan. Query buildern är uppbyggd i C++, och tillfredställer givna krav på funktionallitet.
57

Murder Bird: Art and Love's Twisted Relationship

Wegescheide, Javier 16 May 2014 (has links)
No description available.
58

Numerical analysis using simulations for a geothermal heat pump system. : Case study: modelling an energy efficient house

Ilisei, Gheorghe January 2018 (has links)
The ground source resources are becoming more and more popular and now the ground source heat pumps are frequently used for heating and cooling different types of buildings. This thesis aims at giving a contribution in the development of the thermal modelling of borehole heat storage systems. Furthermore, its objective is to investigate the possibility of implementing of a GSHP (ground source heat pump) with vertical boreholes, in order to deliver the heating and cooling demand for a passive house and to emphasize some certain advantages of this equipment even in the case of a small building (e.g. residential house). A case study is presented to a suitable modelling tool for the estimation of the thermal behaviour of these systems GSHP by combining the outcome from different modelling programs. In order to do that, a very efficient residential solar house (EFden House – a passive residential single-family house, which was projected and built in Bucharest with academic purposes) is being analysed. The numerical results are produced using the software DesignBuilder, EED (Earth Energy Designer) and a sizing method for the length of the boreholes (ASHRAE method). The idea of using 2 different modelling programs and another sizing method for the borehole heat exchanger design (ASHRAE method) is to make sure that all the calculations and results are valid and reliable when analysing such a system theoretically (in the first phases of implementing a project), before performing a geotechnical study or a thermal response test in order to assess the feasibility of such a project beforehand. The results highlight that the length of the borehole, which is the main design parameter and also a good index in estimating the cost of the system, is directly influenced by the other fundamental variables like thermal conductivity of the grout, of the soil and the heat carrier fluid. Also, some correlations between these parameters and the COP (coefficient of performance) of the system were made. The idea of sizing the length of boreholes using two different methods shows the reliability of the modelling tool. The results showed a difference of only 2.5%.  Moreover, the length of borehole is very important as it was calculated that can trigger a difference in electricity consumption of the GSHP up to 28%. It also showed the fact that the design of the whole system can be done beforehand just using modelling tools, without performing tests in-situ. The method aims at being considered as an efficient tool to estimate the length of the borehole of a GSHP system using several modelling tools. / <p>The presentation was made via Skype due to the programme being online based</p>
59

Evaluation of retrofitting strategies for post-war office buildings

Duran, Ozlem January 2018 (has links)
The energy used in non-domestic buildings accounts for 18 % of the energy use in the UK. Within the non-domestic building stock, 11 % of office buildings have a very high influence on the energy use. Thus, the retrofit of office buildings has a significant potential for energy efficiency and greenhouse gas emissions reduction within the non-domestic building stock. However, the replacement rate of existing buildings by new-build is only around 1-3 % per annum. Post-war office buildings, (built between 1945 and 1985) represent a promising sector for retrofit and energy demand reduction. They have disproportionately high energy consumption because many were built before the building regulations addressed thermal performance. The aim of the research is to evaluate the retrofit strategies for post-war office buildings accounting for the improved energy efficiency, thermal comfort and hence, productivity, capital and the running costs. The research seeks to provide the optimal generic retrofit strategies and illustrate sophisticated methods which will be the basis for guidelines about post-war office building retrofit. For this, multiple combinations of heating and cooling retrofit measures were applied to representative models (Exemplar) of post-war office buildings using dynamic thermal simulation modelling. The retrofit strategies include; applying envelope retrofit to UK Building Regulations Part L2B and The Passivhaus Institue EnerPHit standards for heating demand reduction and winter comfort. Passive cooling interventions such as shading devices and night ventilation and active cooling intervention such as mixed-mode ventilation were applied to overcome summer overheating. All retrofit combinations were evaluated considering future climate, inner and outer city locations and different orientations. In summary, the results showed that under current weather conditions Part L2B standard retrofit with passive cooling provided the optimum solution. In 2050, however, both Part L2B retrofit naturally ventilated cases with the passive cooling measures and EnerPHit retrofit mixed-mode ventilation cases provide the requisite thermal comfort and result in a similar range of energy consumption. It was concluded that to create generic retrofit solutions which could be applied to a given typology within the building stock is possible. The methodology and the Exemplar model could be used in future projects by decision-makers and the findings and analysis of the simulations could be taken as guidance for the widespread retrofit of post-war office buildings.
60

Podpora průběžné integrace v rámci systému Copr / Continues Integration Support for Copr Build System

Klusoň, Martin January 2018 (has links)
This thesis deals with implementation of continuous integration for build system Copr. The implementation uses framework Citool and its modules, which are already used for continuous integration of build system Koji. The outcome system can run the tests for the new package from the build system Copr and test it on virtual machine. This thesis shows way how to implement continuous integration for build system Copr.

Page generated in 0.0407 seconds