96 resultados para Plackett-burman designs
em Doria (National Library of Finland DSpace Services) - National Library of Finland, Finland
Resumo:
Kirje 24.10.1969
Resumo:
Software plays an important role in our society and economy. Software development is an intricate process, and it comprises many different tasks: gathering requirements, designing new solutions that fulfill these requirements, as well as implementing these designs using a programming language into a working system. As a consequence, the development of high quality software is a core problem in software engineering. This thesis focuses on the validation of software designs. The issue of the analysis of designs is of great importance, since errors originating from designs may appear in the final system. It is considered economical to rectify the problems as early in the software development process as possible. Practitioners often create and visualize designs using modeling languages, one of the more popular being the Uni ed Modeling Language (UML). The analysis of the designs can be done manually, but in case of large systems, the need of mechanisms that automatically analyze these designs arises. In this thesis, we propose an automatic approach to analyze UML based designs using logic reasoners. This approach firstly proposes the translations of the UML based designs into a language understandable by reasoners in the form of logic facts, and secondly shows how to use the logic reasoners to infer the logical consequences of these logic facts. We have implemented the proposed translations in the form of a tool that can be used with any standard compliant UML modeling tool. Moreover, we authenticate the proposed approach by automatically validating hundreds of UML based designs that consist of thousands of model elements available in an online model repository. The proposed approach is limited in scope, but is fully automatic and does not require any expertise of logic languages from the user. We exemplify the proposed approach with two applications, which include the validation of domain specific languages and the validation of web service interfaces.
Resumo:
Concentrated solar power (CSP) is a renewable energy technology, which could contribute to overcoming global problems related to pollution emissions and increasing energy demand. CSP utilizes solar irradiation, which is a variable source of energy. In order to utilize CSP technology in energy production and reliably operate a solar field including thermal energy storage system, dynamic simulation tools are needed in order to study the dynamics of the solar field, to optimize production and develop control systems. The object of this Master’s Thesis is to compare different concentrated solar power technologies and configure a dynamic solar field model of one selected CSP field design in the dynamic simulation program Apros, owned by VTT and Fortum. The configured model is based on German Novatec Solar’s linear Fresnel reflector design. Solar collector components including dimensions and performance calculation were developed, as well as a simple solar field control system. The preliminary simulation results of two simulation cases under clear sky conditions were good; the desired and stable superheated steam conditions were maintained in both cases, while, as expected, the amount of steam produced was reduced in the case having lower irradiation conditions. As a result of the model development process, it can be concluded, that the configured model is working successfully and that Apros is a very capable and flexible tool for configuring new solar field models and control systems and simulating solar field dynamic behaviour.
Resumo:
Kirje
Resumo:
This study investigates, designs, and implements an inexpensive application that allows local and remote monitoring of a home. The application consists of an array of sensors for monitoring different conditions in a home environment and also for accessing the devices that might be connected to the system. Only a few sensors are initially involved in this study and information about the temperature level, forced entry detection, smoke and water leakage detection can be obtained at any time from any location with an Internet connection. The application software (coded in C language) runs on an embedded system which is basically a wireless Linksys router running on a GNU/Linux based firmware for embedded systems. Interaction between the sensors and the application software is achieved through an implemented sensor interfacing circuit. The communication with the sensor interfacing unit is done through the serial port, and accessibility of the connected sensors is achieved through a telnet client. The sensors can be accessed from local and remote locations with the sensors giving reliable information. The resulting application shows that it is possible to use the router for other applications other than what it is intended for.
Resumo:
The safe use of nuclear power plants (NPPs) requires a deep understanding of the functioning of physical processes and systems involved. Studies on thermal hydraulics have been carried out in various separate effects and integral test facilities at Lappeenranta University of Technology (LUT) either to ensure the functioning of safety systems of light water reactors (LWR) or to produce validation data for the computer codes used in safety analyses of NPPs. Several examples of safety studies on thermal hydraulics of the nuclear power plants are discussed. Studies are related to the physical phenomena existing in different processes in NPPs, such as rewetting of the fuel rods, emergency core cooling (ECC), natural circulation, small break loss-of-coolant accidents (SBLOCA), non-condensable gas release and transport, and passive safety systems. Studies on both VVER and advanced light water reactor (ALWR) systems are included. The set of cases include separate effects tests for understanding and modeling a single physical phenomenon, separate effects tests to study the behavior of a NPP component or a single system, and integral tests to study the behavior of the whole system. In the studies following steps can be found, not necessarily in the same study. Experimental studies as such have provided solutions to existing design problems. Experimental data have been created to validate a single model in a computer code. Validated models are used in various transient analyses of scaled facilities or NPPs. Integral test data are used to validate the computer codes as whole, to see how the implemented models work together in a code. In the final stage test results from the facilities are transferred to the NPP scale using computer codes. Some of the experiments have confirmed the expected behavior of the system or procedure to be studied; in some experiments there have been certain unexpected phenomena that have caused changes to the original design to avoid the recognized problems. This is the main motivation for experimental studies on thermal hydraulics of the NPP safety systems. Naturally the behavior of the new system designs have to be checked with experiments, but also the existing designs, if they are applied in the conditions that differ from what they were originally designed for. New procedures for existing reactors and new safety related systems have been developed for new nuclear power plant concepts. New experiments have been continuously needed.
Resumo:
Line converters have become an attractive AC/DC power conversion solution in industrial applications. Line converters are based on controllable semiconductor switches, typically insulated gate bipolar transistors. Compared to the traditional diode bridge-based power converters line converters have many advantageous characteristics, including bidirectional power flow, controllable de-link voltage and power factor and sinusoidal line current. This thesis considers the control of the lineconverter and its application to power quality improving. The line converter control system studied is based on the virtual flux linkage orientation and the direct torque control (DTC) principle. A new DTC-based current control scheme is introduced and analyzed. The overmodulation characteristics of the DTC converter are considered and an analytical equation for the maximum modulation index is derived. The integration of the active filtering features to the line converter isconsidered. Three different active filtering methods are implemented. A frequency-domain method, which is based on selective harmonic sequence elimination, anda time-domain method, which is effective in a wider frequency band, are used inharmonic current compensation. Also, a voltage feedback active filtering method, which mitigates harmonic sequences of the grid voltage, is implemented. The frequency-domain and the voltage feedback active filtering control systems are analyzed and controllers are designed. The designs are verified with practical measurements. The performance and the characteristics of the implemented active filtering methods are compared and the effect of the L- and the LCL-type line filteris discussed. The importance of the correct grid impedance estimate in the voltage feedback active filter control system is discussed and a new measurement-based method to obtain it is proposed. Also, a power conditioning system (PCS) application of the line converter is considered. A new method for correcting the voltage unbalance of the PCS-fed island network is proposed and experimentally validated.
Resumo:
Tässä diplomityössä tutkittiin suunnittelupalvelun laatuun vaikuttavia tekijöitä sekä etsittiin keinoja mitata suunnittelupalvelun laatua. Diplomityön lähtökohtana oli tilanne, jossa suunnittelutoimisto toimittaa ylläpitosuunnittelupalvelua paperi- ja metsäteollisuuden alan yritykselle. Työssä selvitettiin yleisesti, mistä suunnittelupalvelun laatu muodostuu. Tärkeä osa työtä oli tutkia kyselytutkimuksen avulla, onko tilaajalla ja toimittajalla samanlaiset näkemykset laadun osalta. Kyselyt suoritettiin sekä haastatteluin että kirjallisesti. Vastauksia saatiin kaikkiaan 45 kappaletta. Kohdejoukko oli tarkasti määritelty koostuen sekä tilaajan että toimittajan edustajista. Työssähavaittiin, että suunnittelupalvelun laatuun ja toimittajan valintaan vaikuttavat hyvin paljon itse suunnitelmien laadun lisäksi henkilökohtaiset kokemukset palvelusta. Pahimmiksi riskitekijöiksi ylläpitosuunnittelulle koettiin lähtötietoihin liittyvät ongelmat sekä aikataulujen pettäminen. Näiden lisäksi työssä tehtiin selvitys suunnittelupalvelun laadun mittaristosta, jonka oikealla käytöllä voitaisiin luoda ohjausvaikutus suunnittelupalveluprosessiin paremman laadun ja tehokkaamman toiminnan aikaansaamiseksi.
Resumo:
Tämä diplomityö on tehty ohjeeksi väyläsuunnittelijoille, tiehankkeiden suunnittelussa tehtävään ympäristön tilan selvittämiseen sekä ympäristövaikutusten arviointiin.Työn toimeksiantajana on Tieliikelaitoksen Konsultoinnin Suunnittelupalvelut. Tutkimusongelmaa lähestyttiin selvittämällä aikaisemmin suunnittelussa käytettyjätyöskentelytapoja ja -menetelmiä sekä tarkastelemalla aiemmin tehtyjä tiensuunnittelun asiakirjoja. Selvitys keskittyi Tieliikelaitoksen ja sitä edeltäneen Tielaitoksen toimintaan, mutta työssä tarkasteltiin myös muiden asiantuntijoiden laatimia suunnitelmia. Työn lähtökohtana oli laatia ohje, jonkaavulla suunnittelijat voivat tehdä suunnitelmaan kuuluvan ympäristötiedon käsittelyn itsenäisesti. Hankkeissa, joissa näin toimitaan, oletetaan ympäristövaikutusten jäävän melko vähäisiksi eikä niissä vaadita YVA-lain mukaista menettelyä. Laaditun ohjeen myötä eri suunnittelijoiden laatimat tiehankkeiden suunnitelmat yhtenäistyvät ympäristötiedon käsittelyn osalta, sillä aiemmin yhtenäistä käytäntöä ei ole ollut. Suunnitelmien laatu paranee ja ympäristövaikutusten arviointi helpottuu samaan ohjeeseen kootun tiedon avulla. Ohjeen aikaansaaman suunnittelutoiminnan kehittyminen näkyy vasta, kun ohjetta on sovellettukäytännössä hankkeiden suunnitteluun.
Resumo:
Sähkökoneenterminen suunnittelu on yhtä tärkeätä kuin koneen sähköisten piirien ja magneettipiirin mitoitus, koska koneen lämpenemä määrää koneesta saatavan tehon. Pääosasähkökoneista suunnitellaan edelleen ns. perimätiedon avulla, jossa tukeudutaanvalmiiksi koeteltuihin ratkaisuihin ja kokemusperäiseen tietoon tiettyjen rakenteiden toimivuudesta. Perinteisin menetelmin uusia konerakenteita suunniteltaessa ei pystytä saamaan luotettavaa tietoa uusien ratkaisuiden toimivuudesta. Etenkin hitaasti pyörivien ja suuren vääntötiheyden omaavien kestomagneettitahtikoneiden jäähdytyksen mitoitus on ongelmallista. Siten tarve kehittää analyyttisiä työkaluja lämpenemän mallinnukseen on perusteltua. Tässä työssäperehdytään suuren tehotiheyden omaavien kestomagneettikoneiden urakoon ja virrantiheyden valintaan termisen mitoituksen kannalta. Työn tavoitteena on laatia yksinkertainen analyyttinen työkalu urakoon ja virrantiheyden valintaan. Työkaluavoidaan hyödyntää jo koneensuunnittelun alkuvaiheessa.
Resumo:
The active magnetic bearings present a new technology which has many advantages compared to traditional bearing designs. Active magnetic bearings, however, require retainer bearings order to prevent damages in the event of a component, power or a control loop failure. In the dropdown situation, when the rotor drops from the magnetic bearings to the retainer bearings, the design parameters of the retainer bearings have a significant influence on the behaviour of the rotor. In this study, the dynamics of an active magnetic bearings supported electric motor during rotor drop on retainer bearings is studied using a multibody simulation approach. Various design parameters of retainer bearings are studied using a simulation model while results are compared with those found in literature. The retainer bearings are modelled using a detailed ball bearing model, which accounts damping and stiffness properties, oil film and friction between races and rolling elements. The model of the ball bearings includes inertia description of rollingelements. The model of the magnetic bearing system contains unbalances of the rotor and stiffness and damping properties of support. In this study, a computationally efficient contact model between the rotor and the retainer bearings is proposed. In addition, this work introduces information for the design of physicalprototype and its retainer bearings.
Resumo:
The solid-rotor induction motor provides a mechanically and thermally reliable solution for demanding environments where other rotor solutions are prohibited or questionable. Solid rotors, which are manufactured of single pieces of ferromagnetic material, are commonly used in motors in which the rotationspeeds exceed substantially the conventional speeds of laminated rotors with squirrel-cage. During the operation of a solid-rotor electrical machine, the rotor core forms a conductor for both the magnetic flux and the electrical current. This causes an increase in the rotor resistance and rotor leakage inductance, which essentially decreases the power factor and the efficiency of the machine. The electromagnetic problems related to the solid-rotor induction motor are mostly associated with the low performance of the rotor. Therefore, the main emphasis in this thesis is put on the solid steel rotor designs. The rotor designs studied in thisthesis are based on the fact that the rotor construction should be extremely robust and reliable to withstand the high mechanical stresses caused by the rotational velocity of the rotor. In addition, the demanding operation environment sets requirements for the applied materials because of the high temperatures and oxidizing acids, which may be present in the cooling fluid. Therefore, the solid rotors analyzed in this thesis are made of a single piece of ferromagnetic material without any additional parts, such as copper end-rings or a squirrel-cage. A pure solid rotor construction is rigid and able to keep its balance over a large speed range. It also may tolerate other environmental stresses such as corroding substances or abrasive particles. In this thesis, the main target is to improve the performance of an induction motor equipped with a solid steel rotor by traditional methods: by axial slitting of the rotor, by selecting a proper rotor core material and by coating the rotor with a high-resistive stainless ferromagnetic material. In the solid steel rotor calculation, the rotor end-effects have a significant effect on the rotor characteristics. Thus, the emphasis is also put on the comparison of different rotor endfactors. In addition, a corrective slip-dependent end-factor is proposed. The rotor designs covered in this thesis are the smooth solid rotor, the axially slitted solid rotor and the slitted rotor having a uniform ferromagnetic coating cylinder. The thesis aims at design rules for multi-megawatt machines. Typically, mega-watt-size solidrotor machines find their applications mainly in the field of electric-motor-gas-compression systems, in steam-turbine applications, and in various types of largepower pump applications, where high operational speeds are required. In this thesis, a 120 kW, 10 000 rpm solid-rotor induction motor is usedas a small-scale model for such megawatt-range solid-rotor machines. The performance of the 120 kW solid-rotor induction motors is determined by experimental measurements and finite element calculations.