haku: @instructor Paasiala, Pasi / yhteensä: 3
hakutulos-lista
viite: 1 / 3
« edellinen | seuraava »
Tekijä:Ahmed, Muneer
Työn nimi:Design and implementation of component distance rule for Solibri Model Checker
Komponenttien etäisyys -säännön suunnittelu ja toteutus Solibri Model Checkeriin
Julkaisutyyppi:Diplomityö
Julkaisuvuosi:2012
Sivut:(11) + 88      Kieli:   eng
Koulu/Laitos/Osasto:Tietotekniikan laitos
Oppiaine:Ohjelmistotekniikka   (T-106)
Valvoja:Saikkonen, Heikki
Ohjaaja:Paasiala, Pasi ; Törmä, Seppo
OEVS:
Sähköinen arkistokappale on luettavissa Aalto Thesis Databasen kautta.
Ohje
sulje

Digitaalisten opinnäytteiden lukeminen Aalto-yliopiston Harald Herlin -oppimiskeskuksen suljetussa verkossa

Oppimiskeskuksen suljetussa verkossa voi lukea sellaisia digitaalisia ja digitoituja opinnäytteitä, joille ei ole saatu julkaisulupaa avoimessa verkossa.

Oppimiskeskuksen yhteystiedot ja aukioloajat: https://learningcentre.aalto.fi/fi/harald-herlin-oppimiskeskus/

Opinnäytteitä voi lukea Oppimiskeskuksen asiakaskoneilla, joita löytyy kaikista kerroksista.

Kirjautuminen asiakaskoneille

  • Aalto-yliopistolaiset kirjautuvat asiakaskoneille Aalto-tunnuksella ja salasanalla.
  • Muut asiakkaat kirjautuvat asiakaskoneille yhteistunnuksilla.

Opinnäytteen avaaminen

  • Asiakaskoneiden työpöydältä löytyy kuvake:

    Aalto Thesis Database

  • Kuvaketta klikkaamalla pääset hakemaan ja avaamaan etsimäsi opinnäytteen Aaltodoc-tietokannasta. Opinnäytetiedosto löytyy klikkaamalla viitetietojen OEV- tai OEVS-kentän linkkiä.

Opinnäytteen lukeminen

  • Opinnäytettä voi lukea asiakaskoneen ruudulta tai sen voi tulostaa paperille.
  • Opinnäytetiedostoa ei voi tallentaa muistitikulle tai lähettää sähköpostilla.
  • Opinnäytetiedoston sisältöä ei voi kopioida.
  • Opinnäytetiedostoa ei voi muokata.

Opinnäytteen tulostus

  • Opinnäytteen voi tulostaa itselleen henkilökohtaiseen opiskelu- ja tutkimuskäyttöön.
  • Aalto-yliopiston opiskelijat ja henkilökunta voivat tulostaa mustavalkotulosteita Oppimiskeskuksen SecurePrint-laitteille, kun tietokoneelle kirjaudutaan omilla Aalto-tunnuksilla. Väritulostus on mahdollista asiakaspalvelupisteen tulostimelle u90203-psc3. Väritulostaminen on maksullista Aalto-yliopiston opiskelijoille ja henkilökunnalle.
  • Ulkopuoliset asiakkaat voivat tulostaa mustavalko- ja väritulosteita Oppimiskeskuksen asiakaspalvelupisteen tulostimelle u90203-psc3. Tulostaminen on maksullista.
Sijainti:P1 Ark Aalto     | Arkisto
Avainsanat:geometric algorithm
component distance rule
building information modeling
Solibri Model Checker
geometrinen algoritmi
komponenttien etäisyys sääntö
tietomallinnus
Solibri Model Checker
Tiivistelmä (fin): Rakennusten suunnittelussa esiintyy erilaisia etäisyysvaatimuksia.
Esimerkiksi WC-istuin ja pesuallas eivät saa olla liian kaukana toisistaan.
Toisaalta jotkin komponentit eivät saa olla liian kaukana toisistaan.
Tässä diplomityössä toteutettiin Solibri Model Checker -ohjelmistoon (SMC) uusi parametrisoitava sääntö tarkastamaan näitä asetettuja vaatimuksia.
Tietomallinnusta (BIM) käytetään nykyaikaisten mallien suunnittelussa.
Kynällä piirretyt mallit ovat historiaa.
SMC analysoi tuotettuja tietomalleja sääntöjen avulla ja ilmoittaa niiden sisältämistä suunnitteluongelmista ja epäkohdista.
Tässä työssä keskitytään yhteen sääntöön, joka tarkastaa, ovatko tietyt komponentit annetun enimmäis- tai vähimmäisetäisyyden päässä toisistaan.
Sääntöä pystyy konfiguroimaan erilaisiin käyttötarkoituksiin muuttamalla käytettäviä luokitteluja, tarkastusmenetelmiä, etäisyysarvoa tai tarkastettavaa suunnittelualaa.

Tässä diplomityössä keskitytään SMC:n Komponenttien etäisyys -sääntömoduulin toteutukseen.
Työ sisältää kaikki ohjelmistokehityksen elinkaaren vaiheet.
Säännölle asetetut vaatimukset perustuvat asiakkaan toiveisiin ja itseanalyysiin.
Suunnittelussa apuna käytettiin UML-mallinnuskieltä ja MagicDraw -ohjelmistoa.
Toteutus tehtiin Java-ohjelmointikielellä.
Toteutusta testattiin sekä automaattitestein että käsin.
Vaatimuksia validointiin ja arvioitiin toteutettua ohjelmistoa vastaan.
Käyttämällä laajennuksia ja viimeisimpiä kirjastoja pyrittiin vaikuttamaan laatutekijöitä kuten esimerkiksi muistinkäytön optimointiin, käytettävyyteen ja suorituskykyyn.
Tiivistelmä (eng): Different proximity requirements need to be satisfied when a building is designed.
For example, there must not be too much distance between a toilet seat and a wash basin.
On the other hand, some components must not be closer than a given distance.
In this work, a new parametric rule has been implemented as a part of Solibri Model Checker to check these requirements.
Building Information Modeling is used to design the modern era models and the previous trend of model design done with paper and pencil, only have been history.
Solibri Model Checker software product uses BIM and analyzes BIM files with rules to find out problems and drawbacks in them.
This thesis focuses one of the rules that checks, whether specific components exist within the range of the given maximum and minimum distances with certain parameters such as disciplines, classifications, methods and distance value.

This thesis focuses on the implementation of a Component Distance module as a part of Solibri Model Checker.
The work consists of all the phases of the software development life cycle for the Component Distance Rule.
The requirements are based on requirements engineering from the perspective of the client and self-analysis.
For designing, UML modeling language is used and MagicDraw as a tool.
Java technology is used as the implementation programming language.
The rule is tested both with automatic unit tests and manually.
Consistency is maintained in the requirements validation and verification process to evaluate requirements against implemented software.
Quality factors such as memory optimization, usability, performance are dealt using plug-ins and latest libraries.
ED:2013-01-07
INSSI tietueen numero: 45734
+ lisää koriin
« edellinen | seuraava »
INSSI