http://hdl.handle.net/2282/273 Search the Channel search http://teora.hit.no/dspace/simple-search http://hdl.handle.net/2282/1225 Title: Om konstruksjon av feiltrær ved hjelp av datamaskin <br/> <br/>Authors: Østby, Morten <br/> <br/>Abstract: Vi har i denne rapporten beskrevet og vurdert fire metoder for konstruksjon av feiltrær ved hjelp av datamaskin. De fire metodene er Synthetic Tree Model (STM), CAT-code, Lapp og Powers metode og RIKKE fra Risø. Vi har ikke gått inn på metodenes programmer, men sett på algoritmene som ligger til grunn for programmene og vurdert deres evne til å konstruere korrekte feiltrær. Rapporten innledes med en generell beskrivelse av feiltreanalyse, og deretter følger et kapittel om hver av metodene. Ved hjelp av algoritmene til CAT-code og Lapp og Powers metode har vi manuelt konstruert to feiltrær for et prosess-system. CAT-code bygger i vesentlig grad på STM. Desisjonstabellene i CAT-code er ikke annet enn en mer hensiktsmessig måte å oppgi feiltransferfunksjonene i STM. I STM er behandlingen av løkker mangelfull. CAT-code skal kunne takle både forover- og tilbakekoplinger, men som vi har vist, er ikke dette alltid tilfelle for foroverkoplinger. STM er konstruert for elektriske systemer, mens CAT-code er utvidet til også å beskrive mekaniske komponenter. Felles for begge metodene er at de ikke tar hensyn til tidssekvenser og tidsforsinkeiser i systemer. Programmene for STM og CAT-code er tilgjengelige. De to andre metodene vi har undersøkt er ikke ferdig utviklet. Lapp og Powers metode er konstruert for kjemiske prosesser og har nok sin styrke på dette området, selv om den skal kunne løse feiltrær også for andre typer systemer. Metoden har det særtrekk at den først konstruerer en modell ut fra systemets blokkdiagram og så konstruerer feiltreet ut fra modellen. RIKKE er vel det mest ambisiøse systemet i undersøkelsen. Kanskje er algoritmene og modellene blitt for innviklede og omfattende, for metoden har ennå ikke vist seg anvendelig på virkelige systemer. RIKKE er basert på en interaktiv bruk som skal gjøre metoden så rask og effektiv at en kan følge opp forandringer i en konstruksjonsfase med stadig nye feiltrær. Både Lapp og Powers metode og RIKKE skal kunne løse feiltrær for sekvensielle systemer og for systemer med tidsforsinkelse. Lapp og Powers metode er ikke tilgjengelig, mens RIKKE kan kjøpes av forskningsinstitusjoner. Automatisk feiltrekonstruksjon vil aldri kunne oppheve de svakheter feiltreanalysen har som metode. Hendelsene i feiltreet blir fortsatt sett på som uavhengige. Komponentenes mulige tilstander er begrenset til normal funksjon og feil, og det er like vanskelig å oppdrive nok data om komponentene slik at en kan foreta en fornuftig kvantitativ evaluering av feiltreet. De fleste feiltrær konstruert ved de metodene vi har sett på, blir inkoherente. Algoritmene som brukes i programmene er av vesentlig betydning for det endelige feiltreet. Men det er like viktig at komponentmodellene som brukes i konstruksjonen er av beste kvalitet. Det bør legges mye arbeid i å konstruere korrekte og komplette komponentmodeller. Automatisk konstruksjon av feiltrær er kommet for å bli, men vil nok aldri gjøre manuell konstruksjon overflødig. Det vil bli konstruert nye system med uforutsatte vanskeligheter som datamaskinene ikke kan takle . Da er det godt å kunne ty til den menneskelige hjerne. Vi tror at feiltrekonstruksjon ved hjelp av datamaskin kan bli et nyttig supplement til konvensjonell feiltrekonstruksjon. Datamaskinene er hurtige,og ved hjelp av dem kan konstruktøren lage feiltrær for ulike topphendelser og bruke feiltrærne til å få bedre innsikt i systemet. Eller han kan sette datamaskinen til å gjøre den rutinemessige delen av konstruksjonen og få frigjort tid til å konsentrere seg om de vanskeligere sidene ved systemet han analyserer. http://hdl.handle.net/2282/368 Title: Samhandling med omgivelsene - under hvilke vilkår? : eksemplet Høgskolen i Telemark. <br/> <br/>Authors: Larsen, John-Erik <br/> <br/>Abstract: Målet med artikkelen er å undersøke i hvilken grad ulike interne vilkår er til stede ved Høgskolen i Telemark (HiT) som kan bidra til at institusjonen øker samhandlingen med det regionale arbeids- og næringslivet for å oppnå verdiskapning i regionen. På 90-tallet oppstod det en økt interesse for teorier om samhandling mellom kompetanseinstitusjoner, arbeidsliv og det offentlige. For å oppnå sterkere samhandling med omgivelsene, er det behov for institusjonelle endringer. I de senere år er bl.a. det faglige personalets betydning for utviklingen vektlagt, og at nyskapning kun vil skje ved at faglig ansatte føler eierforhold til denne endringen. Høyskolesektoren har opplevd et økt politisk press for å utvikle høyskolen som regional utviklingsaktør. Både sentrale myndigheter, Utdannings- og forskningsdepartementet (UFD) og Kommunal- og regionaldepartementet (KRD), og fylkeskommunen har forventninger til at de statlige høyskolene skal spille en aktiv rolle i utviklingen av regionen. I hvilken grad interessen og kompetansen blant fagansatte ved HiT er for å samarbeide med omgivelsene, og hvordan de mener høyskolen legger til rette for slikt samarbeid, vil stå sentralt i artikkelen. Et utvalg av ansatte ved HiT med erfaringer fra ulike typer FoU-arbeid er blitt spurt om deres egen evne til å samarbeide med omgivelsene, om synspunkter på høgskolens virkemidler for slik virksomhet, om hvordan høgskolen tilrettelegger for samhandling og om hvilke former for samhandling den enkelte foretrekker. Det er behov for å utvide kunnskapsgrunnlaget om samhandlingen mellom høgskolesektoren og lokalt/regionalt samfunns- og næringsliv. Økt fokus på høgskolenes rolle som regionale utviklingsaktører aktualiserer behovet for dokumentasjon av erfaringer fra pågående prosesser. Også den økte interessen for betydningen av samarbeid mellom det politiske nivå, privat næringsliv og kompetanseinstitusjoner, og den økte interessen for inngåelse av partnerskap i dette samarbeidet, forsterker behovet for formidling og erfaringsutveksling. http://hdl.handle.net/2282/355 Title: On the classification of conditional structures in English <br/> <br/>Authors: Røttingen, Nils