901 resultados para Formal Methods. Component-Based Development. Competition. Model Checking


Relevância:

100.00% 100.00%

Publicador:

Resumo:

Työssä tarkastellaan hitsauksen tuotekehityksen suunnittelun toteuttamista ja hitsauksen kehittämistä konepajalla. Yritykset tietävät omat valmistustekniset ongelmansa, mutta kehittämisen aloittaminen on monesti hankalaa tai sitä ei edes aloiteta. Pienimmillä yrityksillä ei usein ole mahdollisuuksia eikä osaamista uusien tuotantomenetelmien ja tuotteiden kehittämiseen. Työssä annetaan neuvoja miten alentaa kehittämistyön aloituskynnystä ja auttaa suunnittelutehtävän jäsentelyssä. Tuotteen suunnittelu on vaativa tehtävä, koska siinä lyödään lukkoon tuotteen toimivuus ja suurin osa kustannuksista. Suunnittelijoiden on tiedettävä eri valmistusmenetelmistä ja valmistusystävällisestä suunnittelusta, jotta he voisivat huomioida valmistettavuus- ja kokoonpanonäkökohdat. Hyvässä hitsatussa tuotteessa on mahdollisimman vähän hitsiä, käytetty modulointia ja standardointia sekä käytetty hitsausta korvaavia menetelmiä. Työssä on esitelty valmistusystävälliseen suunnitteluun kehitelty "Design For Welding" -malli, jossa käydään läpi hitsatun rakenteen erityispiirteet suunnittelun kannalta. Valmistusystävällisen suunnittelun tarkoituksena on vähentää tilauskohtaista suunnittelua, hitsausta, hitsauksen jälkeistä käsittelyä ja koneistusta.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Työn tavoitteena oli luoda yhtenäinen, tehokas ja helppokäyttöinen tarjouslaskentamalli sopimusvalmistajan käyttöön. Konsernin käytössä oli aiemmin neljä erilaista tarjouslaskentamallia ja niitä oli erittäin vaikea vertailla keskenään, eikä niillä voitu laskea tarjouksia kaikille tehtaille. Työ jakautuu kirjallisuuskatsaukseen ja empiiriseen osaan. Kirjallisuuskatsauksessa käsitellään erilaisia hinnoitteluvaihtoehtoja, kustannuslaskennan roolia ja kustannuslaskentamenetelmiä. Empiirinen osa koostuu tarjouslaskennan nykytilan analysoinnista, uuden tarjouslaskentamallin rakentamisesta sekä kehitetyn tarjouslaskentamallin toimintakuvauksesta. Tarjouslaskentamallin pohjaksi valittiin kustannusperusteinen hinnoittelu, koska sitä oli käytetty aikaisemminkin ja se oli koettu hyväksi. Kustannusperusteisen tarjouslaskentamallin pohjaksi luotiin yhtenäiset työ – ja konetuntihinnat koko konserniin. Konetuntihinnat laskettiin 28 koneelle. Konetuntihintoja analysoitiin ja ryhmiteltiin siten, että päädyttiin 16 konelisän käyttöön. Tarjouslaskentamalli käsittelee vain valmistuksen kustannuksia eikä ota kantaa hallintokustannusten syntyyn. Yhtenäinen tarjouslaskentamalli helpottaa eri myyntimiesten tekemien tarjousten vertailua ja mahdollistaa tuotteiden myynnin useille tehtaille. Tarjouslaskentamalli toteutettiin taulukkolaskentaohjelmalla.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Testaustapausten valitseminen on testauksessa tärkeää, koska kaikkia testaustapauksia ei voida testata aika- ja raharajoitteiden takia. Testaustapausten valintaan on paljon eri menetelmiä joista eniten esillä olevat ovat malleihin perustuva valinta, kombinaatiovalinta ja riskeihin perustuva valinta. Kaikkiin edellä mainittuihin menetelmiin testaustapaukset luodaan ohjelman spesifikaation perusteella. Malleihin perustuvassa menetelmässä käytetään hyväksi ohjelman toiminnasta olevia malleja, joista valitaan tärkeimmät testattavaksi. Kombinaatiotestauksessa testitapaukset on muodostettu ominaisuuspareina jolloin yhden parin testaamisesta päätellään kahden ominaisuuden toiminta. Kombinaatiotestaus on tehokas löytämään virheitä, jotka johtuvat yhdestä tai kahdesta tekijästä. Riskeihin perustuva testaus pyrkii arvioimaan ohjelman riskejä ja valitsemaan testitapaukset niiden perusteella. Kaikissa menetelmissä priorisointi on tärkeässä roolissa, jotta testauksesta saadaan riittävä luotettavuus ilman kustannusten nousua.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

This paper provides a review on the latest advances and applications of the luminescence spectroscopy for the development of pharmaceuticals analyses methods, basically based on the photo- and chemiluminescence. The different forms of the drugs determination on pharmaceuticals through the fluorescence and chemiluminescence are discussed. The analyses include the drugs native fluorescence (liquid and solid-phases); the fluorescence from the oxidizing or reducing forms of the drug; the fluorescence from the chemical derivatization and their photochemistry and hydrolysis reactions. The quenching of luminescence and chemiluminescence generation for the pharmaceutical quantification are also shown. Finally, the trends and future perspectives of the luminescence spectroscopy in the field of the pharmaceutical research are discussed.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Työn tavoitteena oli tutkia The Switch Drive Systems Oy:n edellytyksiä globaalille hankintatoiminnalle ja tuotannon aloittamiselle Kiinassa. Lisäksi pyrittiin keräämään empiiristä tietoa ja palautetta yrityksen prosesseista niiden kehittämistä varten. Yrityksen tuotantostrategia perustuu mallitehdaskonseptiin ja yrityksellä on kaksi mallitehdasta Suomessa. Työ keskittyy tutkimaan näiden mallitehtaiden valmiuksia aloittaa globaali ja ulkoistettu sarjatuotanto. Tutkimus suoritettiin empiirisenä tutkimuksena haastattelemalla yhteensä yhdeksää edustajaa yrityksen kolmesta yksiköstä Suomessa. Empiirinen tutkimus perustui riskienhallinnan keinoihin. Kvantitatiivisen tutkimuksen tarkoituksena oli kartoittaa merkittävimmät riskit tarkempaa tarkastelua varten. Kvalitatiivisen tutkimuksen tavoitteena oli löytää syitä merkittävimmille riskeille. Tutkimuksen keskeisimmäksi tulokseksi on saatu lista merkittävimmistä syistä, jotka vaikeuttavat yrityksen tuotantostrategian toteuttamista. Lisäksi tuloksia ovat kvantitatiiviset tulokset merkittävimmistä riskeistä ja niihin liittyvät syyseuraussuhteet.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Tämä diplomityö toteutettiin Sammet Dampers Oy:ltä saatuna toimeksiantona. Yritys haluaa yhä parempia tuloksia tuoteryhmien kehitysprojekteista, jolloin se asettaa vaatimuksia kehitysprojekteissa käytettävälle kehitysprosessille. Yrityksen täytyy optimoida ja systematisoida käytettävää menetelmää, jotta näihin parempiin tuloksiin voidaan päästä. Työn ensimmäisenä tavoitteena on optimoida yrityksen käytössä oleva tuoteryhmien kehitysprojekteissa käytettävä prosessimalli. Tavoitteen mukaisesti työssä luodaan uusi optimoitu tuoteryhmien kehitysprosessimalli, joka vastaa yrityksen tarpeisiin. Tämä uusi malli kirjataan osaksi yrityksen toiminnanohjausjärjestelmää. Työn toisena tavoitteena on käyttää uutta optimoitua prosessimallia kellopeltien tuoteryhmän kehitysprojektissa. Tätä kehitysprojektia käytetään samalla uuden prosessimallin sisäänajamiseen osaksi yrityksen toimintoja.Tämän diplomityön puitteissa kellopeltien kehitysprojektista käydään läpi kehitysprojektin ensimmäinen osio eli vaatimustenmäärittelyprosessi ja esitellään sen tuloksena syntynyt toteutussuunnitelma. Työn tuloksena syntyneen uuden tuoteryhmien kehitysprojektin prosessimallin avulla voidaan saavuttaa merkittäviä parannuksia tarkasteltaessa kehitysprojektin tuloksia ajankäytön, laadun ja kustannusten suhteen.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Mediayhtiöt miettivät keinoja joilla saataisiin lukijat maksamaan myös verkkopalveluihin julkaistavista sisällöistä. Tässä tutkimuksessa selvitettiin tilaajapohjaisen maksullisen verkkopalvelu-mallin soveltuvuutta Talentum Media Oy:lle sekä kehitettiin yritykselle maksavia asiakkaita houkuttelevan sisältötuotteen konsepti. Tutkimuksessa ei ilmennyt syitä, joiden takia yrityksen olisi syytä lykätä maksullisen verkkopalvelun kehittämistä. Perinteistä lehteä ja sen verkkopalvelua ei kannata nähdä toistensa kilpailijoina. Käyttäjät ovat yhä valmiimpia maksamaan sisällöstä verkossa, kun se on järjestelty houkutteleviksi kokonaisuuksiksi ja paketoitu oikein, sekä kun he säästävät aikaa tai vaivaa verkkopalvelun käytöllä. Verkkopalvelun muuntaminen maksulliseksi on kuitenkin suunniteltava erittäin tarkkaan, muuten käyttäjät saattavat siirtyä ilmaisiin palveluihin. Talentumin verkkopalveluiden käyttäjille tehdyn kyselytutkimuksen mukaan yrityksen verkkopalveluiden käyttäjät maksaisivat mieluiten verkkokoulutuksista, erityisraporteista ja tutkivasta journalismista, ammattikirjojen tiivistelmistä, opastavista tietopaketeista, pörssi- ja yritystiedosta sekä näköislehdistä. Tutkimuksessa kehitettiin maksullisen verkkopalvelun konsepti, joka tarjoaa lukijoille itsensä kehittämisen välineitä sekä informaatiota nopeasti ja vaivattomasti heidän haluamaansa aikaan ja valitsemallaan päätelaitteella. Konseptia seuraavan tuotekehityshankkeen tuloksena syntyvästä verkkopalvelusta odotetaan saatavan merkittävää lisäliikevaihtoa yrityksen online-toiminnoille.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Two sensitive spectrophotometric methods are described for the determination of lansoprazole (LPZ) in bulk drug and in capsule formulation. The methods are based on the oxidation of lansoprazole by insitu generated bromine followed by determination of unreacted bromine by two different reaction schemes. In one procedure (method A), the residual bromine is treated with excess of iron (II), and the resulting iron (III) is complexed with thiocyanate and measured at 470 nm. The second approach (method B) involves treating the unreacted bromine with a measured excess of iron (II) and remaining iron (II) is complexed with orthophenanthroline at a raised pH, and measured at 510 nm. In both methods, the amount of bromine reacted corresponds to the amount of LPZ. The experimental conditions were optimized. In method A, the absorbance is found to decrease linearly with the concentration of LPZ (r = -0.9986) where as in the method B a linear increase in absorbance occurs (r = 0.9986) The systems obey Beer's law for 0.5-4.0 and 0.5-6.0 µg mL-1 for method A and method B, respectively. The calculated molar absorptivity values are 3.97µ10(4) and 3.07µ10(4) L mol-1cm-1 for method A and method B, respectively, and the corresponding Sandell sensitivity values are 0.0039 and 0.0013 µg cm-2. The limit of detection (LOD) and quantification (LOQ) are also reported for both methods. Intra-day and inter-day precision, and accuracy of the methods were established as per the current ICH guidelines. The methods were successfully applied to the determination of LPZ in capsules and the results tallied well with the label claim and the results were statistically compared with those of a reference method by applying the Student's t-test and F-test. No interference was observed from the concomitant substances normally added to capsules. The accuracy and validity of the methods were further ascertained by performing recovery experiments via standard-addition method.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Two sensitive spectrophotometric methods are described for the determination of simvastatin (SMT) in bulk drug and in tablets. The methods are based on the oxidation of SMT by a measured excess of cerium (IV) in acid medium followed by determination of unreacted oxidant by two different reaction schemes. In one procedure (method A), the residual cerium (IV) is reacted with a fixed concentration of ferroin and the increase in absorbance is measured at 510 nm. The second approach (method B) involves the reduction of the unreacted cerium (IV) with a fixed quantity of iron (II), and the resulting iron (III) is complexed with thiocyanate and the absorbance measured at 470 nm. In both methods, the amount of cerium (IV) reacted corresponds to SMT concentration. The experimental conditions for both methods were optimized. In method A, the absorbance is found to increase linearly with SMT concentration (r = 0.9995) whereas in method B, the same decreased (r = -0.9943). The systems obey Beer's law for 0.6-7.5 and 0.5-5.0 µg mL-1 for method A and method B, respectively. The calculated molar absorptivity values are 2.7 X 10(4) and 1.06 X 10(5) Lmol-1 cm-1, respectively; and the corresponding sandel sensitivity values are 0.0153 and 0.0039µg cm-2, respectively. The limit of detection (LOD) and quantification (LOQ) are reported for both methods. Intra-day and inter-day precision, and accuracy of the methods were established as per the current ICH guidelines. The methods were successfully applied to the determination of SMT in tablets and the results were statistically compared with those of the reference method by applying the Student's t-test and F-test. No interference was observed from the common excipients added to tablets. The accuracy and validity of the methods were further ascertained by performing recovery experiments via standard addition procedure.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

As a discipline, logic is arguably constituted of two main sub-projects: formal theories of argument validity on the basis of a small number of patterns, and theories of how to reduce the multiplicity of arguments in non-logical, informal contexts to the small number of patterns whose validity is systematically studied (i.e. theories of formalization). Regrettably, we now tend to view logic 'proper' exclusively as what falls under the first sub-project, to the neglect of the second, equally important sub-project. In this paper, I discuss two historical theories of argument formalization: Aristotle's syllogistic theory as presented in the "Prior Analytics", and medieval theories of supposition. They both illustrate this two-fold nature of logic, containing in particular illuminating reflections on how to formalize arguments (i.e. the second sub-project). In both cases, the formal methods employed differ from the usual modern technique of translating an argument in ordinary language into a specially designed symbolism, a formal language. The upshot is thus a plea for a broader conceptualization of what it means to formalize.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Tällä hetkellä hitsauksen automatisointiaste on hyvin pieni alumiinivenevalmistuksessa. Automatisointiasteen kasvattaminen on ensiarvoisen tärkeää kilpailukyvyn säilyttämiseksi, sekä edelleen nostamiseksi. Automatisointiasteen kasvattamisen esteenä ei ole teknologian puute, vaan suunnitellut tuotteet soveltuvat huonosti robotisoituun hitsaukseen. Lisäksi liitettävien osien tarkkuus on monissa tapauksissa puutteellinen, joten robottihitsaus on monessa tapauksessa mahdotonta. Robottihitsauksessa vaaditaan osien hyvää paikoittamista ja siihen tarvitaan kiinnittimiä. Kuitenkin alumiinivenevalmistuksessa valmistusmäärät ovat sen verran pieniä, että tuotekohtaisia kiinnittimiä ei kannata hankkia tai valmistaa. Siksi kiinnittimiltä vaaditaan joustavuutta ja modulaarisuutta, jotta samalla kiinnittimellä voi hitsata useita vastaavia piirteitä omaavia tuotteita. Tässä työssä tutkittiin modulaarisia kiinnittimiä, edistyneitä kiinnitinsuunnitteluprosesseja, osavalmistustarkkuuksia, tuotemoduloinnin hyödyntämistä ja alumiinin robottihitsauksen erityispiirteitä. Työssä suunniteltiin ja simuloitiin modulaarinen hitsauskiinnitin, jota käytetään tietyn alumiinivenemallin erillisenä osakokoonpanona valmistettavan jäykisterakennekonseptin hitsaamiseen. Suunnittelu ja simulointi tehtiin Delmia V5R20 -ohjelmistolla. Jäykisterakenne on modulaarinen tuoterakenne, jossa käytetään itsepaikoittavia liitoksia helpottamaan osien asettelua ja yksinkertaistamaan kiinnitintä. Kiinnitin soveltuu joustavasti erikokoisten jäykisterakenneosakokoonpanojen valmistukseen. Lisäksi suunniteltua kiinnitintä verrattiin kaupalliseen modulaariseen Demmeler -kiinnitinjärjestelmään. Jäykisterakenteen osakokoonpanon hitsaaminen robotilla lyhentää valmistusaikaa verrattuna nykytilaan, kun osat voidaan asettaa kiinnittimeen nopeasti ja luotettavasti. Samalla jäykisterakenteen tekeminen erillisenä osakokoonpanona lyhentää veneen rungon loppukokoonpanoaikaa ja mahdollistaa hitsausrobotin käytön myös veneen muiden hitsien hitsaamisessa. Modulaarisilla hitsauskiinnittimillä saavutetaan alumiiniveneiden nykyisillä valmistusmäärillä skaalaetuja, joita tuotekohtaisella kiinnittimellä ei voi saavuttaa.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Tässä työssä kuvataan erästä kaupallista ohjelmistoprojektia, jossa ohjelmistojen uudelleenkäyttöä tavoiteltiin komponenttipohjaisen uudelleenkäytön ja ohjelmistojen sovittamisen kautta. Projektissa toteutettiin matkapuhelinsovellus, jonka ydin eristettiin uudelleenkäytettäväksi ja sovitettavaksi komponentiksi. Ytimen sovitettavuus verifioitiin sovittamalla ydin toiselle ympäristölle ja edelleen toteuttamalla toimiva prototyyppisovellus sovitetun ytimen varaan. Ytimen sovittamisen sekä prototyyppisovelluksen toteuttamisen vaatima työmäärä oli huomattavasti pienempi kuin ytimen tekemiseen alkuperin käytetty työmäärä. Työssä on osoitettu ohjelmistometriikoiden avulla, että merkittävä osa ohjelmiston toiminnallisuudesta saatiin uudelleenkäytettäväksi sovitettavan ytimen avulla. Lisäksi työssä on kuvattu millaisia kehitysprosessikäytäntöjä projektissa oli käytössä tukemassa uudelleenkäytettävyystavoitetta.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

This research investigates relations between communication and the development of family farmers from the Pontal do Paranapanema region (state of São Paulo), mainly in the municipality of Teodoro Sampaio. Family agriculture in this municipality is represented basically by beneficiaries the Agrarian Reform program. The main hypothesis is that communication contributes positively to the development of those family farmers. Thus, this study aimed to understand communication practices of these farmers and relate them with the development of their families. Quantitative and qualitative research methods were used. Development proxy is understood as the combination between the family living conditions and production. Among the main results, it was found that the effect of communication for "life and production conditions" increases as farmers at superior levels of "development" are analyzed; thus the main hypothesis should not be rejected for those farmers with higher development condition. For the others, communication did not have the same effect because many settled families are not focused on agricultural activities. The main suggestion is to improve ways for producers and professionals from public services related to them to access information.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

In this Thesis I discuss the dynamics of the quantum Brownian motion model in harmonic potential. This paradigmatic model has an exact solution, making it possible to consider also analytically the non-Markovian dynamics. The issues covered in this Thesis are themed around decoherence. First, I consider decoherence as the mediator of quantum-to-classical transition. I examine five different definitions for nonclassicality of quantum states, and show how each definition gives qualitatively different times for the onset of classicality. In particular I have found that all characterizations of nonclassicality, apart from one based on the interference term in the Wigner function, result in a finite, rather than asymptotic, time for the emergence of classicality. Second, I examine the diverse effects which coupling to a non-Markovian, structured reservoir, has on our system. By comparing different types of Ohmic reservoirs, I derive some general conclusions on the role of the reservoir spectrum in both the short-time and the thermalization dynamics. Finally, I apply these results to two schemes for decoherence control. Both of the methods are based on the non-Markovian properties of the dynamics.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

This research focused on operation of a manpower pool within a service business unit in Company X and aimed to identify how the operation should be improved in order to get most out of it concerning the future prospects of the service business unit. This was done by analyzing the current state of the manpower pool related operations in means of project business, project management and business models. The objective was to deepen the understanding and to highlight possible areas of improvement. The research was conducted as a qualitative single-case study utilizing also an action research method; the research approach was a combination of conceptual, action-oriented and constructive approaches. The primary data was collected with executing a comprehensive literature review and semi-structured theme interviews. The main results described how the manpower pool operates as part of the service business unit in project business by participating in different types of delivery projects; process flows for the project types were mapped. Project management was analyzed especially from the resource management point of view, and an Excel-based skills analysis model was constructed for this purpose. Utilization of operational business models was also studied to define strategic direction for development activities. The results were benchmarked against two competitors in order to specify lessons to be learnt from their use of operational business models.