TEORA Community: Fellesadministrasjonen og fellestjenestene

Om konstruksjon av feiltrær ved hjelp av datamaskin

Thu, 07 Jun 1979 22:58:59 GMT

Title: Om konstruksjon av feiltrær ved hjelp av datamaskin

Authors: Østby, Morten

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.

Samhandling med omgivelsene - under hvilke vilkår? : eksemplet Høgskolen i Telemark.

Fri, 29 Oct 2004 22:58:59 GMT

Title: Samhandling med omgivelsene - under hvilke vilkår? : eksemplet Høgskolen i Telemark.

Authors: Larsen, John-Erik

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.

On the classification of conditional structures in English

Fri, 29 Oct 1971 22:58:59 GMT

Title: On the classification of conditional structures in English

Authors: Røttingen, Nils

The possible role of libraries in the digital future

Wed, 29 Oct 1997 22:58:59 GMT

Title: The possible role of libraries in the digital future

Authors: Bakken, Frode

Abstract: All over the world there is an enormous effort to develop the information society in order to support new economic growth. A new economy is planned which to a large extent will be based on the trading of intellectual property on the global network under the umbrella of the development of electronic commerce. Different library types will meet different challenges brought about by this shift in the global economy. In its optimal form, electronic commerce of intellectual property will mean that from every access point on the global network it will be possible to search, order, download and pay for all kinds of items or commodities which can, in turn, be stored and transported digitally. One of the most serious challenges to library roles will be for those libraries which have offered services to the general public – like public libraries – or to a large part of the public – like the students in an academic library. These libraries are easily defined as political projects established to fulfil societal aims. New roles in the digital future have to be developed in accordance with the needs of market forces in general and in accordance with the laws of competition. A defensive strategy for libraries is not satisfactory. The European commission has to contribute to the definition of the new "regulatory" framework for libraries also in the digital future.