Engineering failure analysis and design optimisation with HiP-HOPS

The scale and complexity of computer-based safety critical systems, like those used in the transport and manufacturing industries, pose significant challenges for failure analysis. Over the last decade, research has focused on automating this task. In one approach, predictive models of system failure are constructed from the topology of the system and local component failure models using a process of composition. An alternative approach employs model-checking of state automata to study the effects of failure and verify system safety properties. In this paper, we discuss these two approaches to failure analysis. We then focus on Hierarchically Performed Hazard Origin & Propagation Studies (HiP-HOPS) - one of the more advanced compositional approaches - and discuss its capabilities for automatic synthesis of fault trees, combinatorial Failure Modes and Effects Analyses, and reliability versus cost optimisation of systems via application of automatic model transformations. We summarise these contributions and demonstrate the application of HiP-HOPS on a simplified fuel oil system for a ship engine. In light of this example, we discuss strengths and limitations of the method in relation to other state-of-the-art techniques. In particular, because HiP-HOPS is deductive in nature, relating system failures back to their causes, it is less prone to combinatorial explosion and can more readily be iterated. For this reason, it enables exhaustive assessment of combinations of failures and design optimisation using computationally expensive meta-heuristics. (C) 2010 Elsevier Ltd. All rights reserved

Recruitment variability of fish stocks in the Barents Sea: Spatial and temporal variation in 0-group fish length of six commercial species during recent decades of warming (1980–2017)

Young-of-the-year (0-group) fish in the Barents Sea have been investigated in an annual joint Norwegian-Russian pelagic trawl survey in autumn, using a standardized procedure since 1980. We use a conceptual framework of ‘upstream’ spawning areas and ‘downstream’ nursery areas, recorded as 0-group distribution in the Barents Sea, to address spatial (geographical) and temporal (1980–2017) variation in 0-group length. Four boreal species (cod Gadus morhua, haddock Melanogrammus aeglefinus, herring Clupea harengus, and deepwater redfish Sebastes mentella) tended to have smaller 0-group individuals in the northern and eastern parts of the Barents Sea, with the largest individuals found in the central part where they were also most abundant. We interpret this to reflect slower growth as the ‘fore-runners’ of the seasonal cohort of juveniles are transported into colder waters (through lateral mixing). The Arctic species (capelin Mallotus villosus and polar cod Boreogadus saida) showed a different pattern with increasing 0-group length with increasing distance away from the spawning areas, seen most clearly for capelin. The longer juveniles in northern areas are probably older and stemming from early spawning.publishedVersio

Seasonal and interannual variability in abundance and population development of Calanus finmarchicus at the western entrance to the Barents Sea, 1995–2019

Data on copepodid abundance and stage composition of Calanus finmarchicus was collected with seasonal resolution (5–6 times a year) from four stations along an oceanographic transect across the western Barents Sea Opening over 25 years (1995–2019). The stations were located in the Norwegian Coastal Current (NCC), inflowing Atlantic water (two stations), and near the Arctic polar front south of Bear Island. Mean copepodite abundance in the water column for the four stations increased from a level around 1000–10,000 individuals m−2 in winter to 30,000–100,000 individuals m−2 in summer (maximum 670,000 m−2). The overwintering (G0) population was dominated by copepodite stage 5 (CV) (40–70%) but with a relatively high fraction also of stage CIV (25–35%) in January. During winter, there was a progressive development of CVs into adult males and females, with mean abundances from 1500 to 4000 adult females m−2 in April and May for the stations in the NCC and Atlantic water. Young copepodids of the new spring generation (G1) appeared with relatively high abundances in April at the NCC station and in May at the Atlantic water stations. The data showed a gradient of later development from south to north, reflected both in the maturation of the overwintering generation and in the development of the spring generation. Back-calculations based on temperature-dependent development time suggested peak spawning around late April to mid-May for the Atlantic water stations, and a month or so earlier (in March) for the NCC station, during an early phase of the spring phytoplankton growth. The spring generation developed as a distinct cohort but with large interannual variability in numbers. In Atlantic water, the composition of the copepodid developmental stages in August resembled the situation in June, although it was slightly more advanced. This is interpreted to reflect development of a second generation (G2) spawned upstream sometime in June or early July. The June data suggests that only a small fraction of the G1 cohort develops into adults that spawn and form the G2. There was a tendency of increased summer abundance of C. finmarchicus in the inflow region of the southwestern Barents Sea after about 2005. This may be related to the wind regime with more eastward wind-stress at the Barents Sea opening in recent ‘high Calanus’ years compared to ‘low Calanus’ years in the early 2000s.publishedVersio

Environmental monitoring of fish in the Paz watercourse

Appendix 7/15 of the publication "State of the environment in the Norwegian, Finnish and Russian border area 2007" (The Finnish Environment 6/2007)

Lagesilda i Pasvikvassdraget : langtidseffekter av en biologisk invasjon

Pasvikvassdraget har siden 1991 vært gjenstand for omfattende økologiske studier i regi av Ferskvannsøkologisk faggruppe ved Universitetet i Tromsø. Undersøkelsene har særlig vært rettet mot å undersøke effektene av at lagesilda, en fremmed fiskeart for Nord-Norge, kom inn i vassdraget på slutten av 1980-tallet. For å få en grundig forståelse av økologien i vassdraget har studiene også omfattet andre viktige fiskearter, krepsdyrplankton og bunndyr. Samtidig har vi hatt et nært samarbeid med russiske forskere angående tungmetallforurensing fra de russiske Nikel-smelteverkene, og med finske forskere gjennom sammenlignende studier med fiskebestandene i Enaresjøen og andre innsjøer i den finske delen av vassdraget. Totalt sett har dette resultert i mye ny og interessant kunnskap om Pasvikvassdraget; kunnskap som bl.a. er dokumentert gjennom 36 internasjonale publikasjoner, 22 fagrapporter og populærvitenskapelige publikasjoner, fire doktorgradsavhandlinger og 12 masteroppgaver (se Appendiks 2 for detaljer). I perioden 2008 – 2011 har langtidsstudiene i Pasvikvassdraget vært fulgt opp gjennom et prosjekt finansiert av Norges forskningsråd (Miljø-2015 programmet; prosjektnr. 183984/S30). Denne rapporten er en populærvitenskapelig sammenfatning av kunnskapen som har fremkommet gjennom dette prosjektet, der det særlig har vært lagt vekt på de langsiktige effektene av lagesildas invasjon og viktige forvaltningsmessige implikasjoner

State of fish populations in small forest lakes in the Norwegian, Finnish and Russian area

Appendix 9/15 of the publication "State of the environment in the Norwegian, Finnish and Russian border area 2007" (The Finnish Environment 6/2007)

Measurement of quarkonium production at forward rapidity in pp collisions at √s=7 TeV

The inclusive production cross sections at forward rapidity of J/ψ , ψ(2S) , Υ (1S) and Υ (2S) are measured in pp collisions at s√=7 TeV with the ALICE detector at the LHC. The analysis is based on a data sample corresponding to an integrated luminosity of 1.35 pb‾¹ . Quarkonia are reconstructed in the dimuon-decay channel and the signal yields are evaluated by fitting the μ+μ− invariant mass distributions. The differential production cross sections are measured as a function of the transverse momentum pT and rapidity y , over the ranges 0<pT<20 GeV/c for J/ψ , 0<pT<12 GeV/c for all other resonances and for \(2.5 . The measured cross sections integrated over pT and y , and assuming unpolarized quarkonia, are: σJ/ψ=6.69±0.04±0.63 μ b, σψ(2S)=1.13±0.07±0.19 μ b, σΥ(1S)=54.2±5.0±6.7 nb and σΥ(2S)=18.4±3.7±2.9 nb, where the first uncertainty is statistical and the second one is systematic. The results are compared to measurements performed by other LHC experiments and to theoretical models

UPAYA MENINGKATKAN MOTIVASI BELAJAR SISWA MELALUI MEDIA GAME EDUCATION DALAM PEMBELAJARAN IPS DI MTs HASBUR RACHMAN ALIF DESA LENGKONG WETAN KABUPATEN MAJALENGKA

ASEP SAMSUL MA'ARIF : Berdasarkan Observasiawal di kelas VII MTs Hasbur Rachman Alif terlihat proses pembelajaran IPS masih menggunakan media spidol dan papan tulis. Sehingga banyak siswa yang kurang memperhatikan guru pada saat proses pembelajaran., Hal ini berakibat pada kejenuhan dan kebosanan yang berdampak pada hasil belajar siswa yang kurang dari KKM yang diterapkan di MTs Hasbur Rachman Alif yakni 70. Tujuan penelitian ini untuk mengetahui bagaimana penerapan pembelajaran dengan menggunakan media Game Education pada mata pelajaran IPS Terpadu, aktivitas siswa dan kinerja guru dengan pembelajaran dengan menggunakan media Game Education, dan mengetahui motivasi belajar siswa sebelum dan setelah diterapkannya pembelajaran dengan menggunakan media Game education pada mata pelajaran IPS Terpadu di MTs Hasbur Rachman Alif. Pembelajaran dengan menggunakan media Game Education menekankan motivasi siswa untuk berpikir kritis dan menuangkan. Hal ini memudahkan siswa untuk mengakses materi IPS yang banyak dimanapun, serta mempemudah daya ingat siswa tentang apayatgtelah didapatkan selama proses pembelajaran. Penelitian ini menggunakan Penelitian Tindakan Kelas (pTK) yang dilaksanakan selama tiga siklus. Teknik Pengumpulan data menggunakan observasi, tes, dan dokumentasi. Subjek penelitian ini adalah siswa kelas VII MTs Hasbur Rachman Alif sebanyak 31 siswa yang terdiri dari 18 siswa laki-laki dan 13 siswa perempuan. Pembelajaran dengan menggunakan media Game Education dapat meningkatkan motivasi belajar siswa hal ini terlihat dari hasil tes yang telah dilakukan selama tiga siklus, dimana pada pratindakan (pretes) nilai sebesar 65,25 dan ketuntasan belajar 25 yo, siklus I nilai rata-rata sebesar 76,75 dan ketuntasan_ belajar siswa sebesar 65,5%o siklus II nilai rata-rata siswa 85,75 dan nilai ketuntasan belajar sebesar 90% siklus III dengan nilai rata-rata 92,25 dan ketuntasan belajar mengalami peningkatanya itu 97,5yo. Dengan demikian dapat disimpulkan bahwa pembelajaran dengan menggunakan media Game Education merupakan salah satu upaya untuk meningkatkan hasil belajar siswa pada mata pelajaran IPS Terpadu di MTs Hasbur Rachman Alif. Kata Kunci: Game Education, MotivasiBelajar, PTK

Event-by-event mean pT fluctuations in pp and Pb–Pb collisions at the LHC

Event-by-event fluctuations of the mean transverse momentum of charged particles produced in pp collisions at TeX TeX 0.9, 2.76 and 7 TeV, and Pb–Pb collisions at TeX TeX 2.76 TeV are studied as a function of the charged-particle multiplicity using the ALICE detector at the LHC. Dynamical fluctuations indicative of correlated particle emission are observed in all systems. The results in pp collisions show little dependence on collision energy. The Monte Carlo event generators PYTHIA and PHOJET are in qualitative agreement with the data. Peripheral Pb–Pb data exhibit a similar multiplicity dependence as that observed in pp. In central Pb–Pb, the results deviate from this trend, featuring a significant reduction of the fluctuation strength. The results in Pb–Pb are in qualitative agreement with previous measurements in Au–Au at lower collision energies and with expectations from models that incorporate collective phenomena

Suppression of ψ(2S) production in p-Pb collisions at √sNN=5.02 TeV .

The ALICE Collaboration has studied the inclusive production of the charmonium state ψ(2S) in proton-lead (p-Pb) collisions at the nucleon-nucleon centre of mass energy √sNN = 5.02TeV at the CERN LHC. The measurement was performed at forward (2.03 < ycms < 3.53) and backward (−4.46 < ycms < −2.96) centre of mass rapidities, studying the decays into muon pairs. In this paper, we present the inclusive production cross sections σ (2S), both integrated and as a function of the transverse momentum pT, for the two ycms domains. The results are compared to those obtained for the 1S vector state (J/ψ), by showing the ratios between the production cross sections, as well as the double ratios [σ (2S)/σJ/ ]pPb/[σ (2S)/σJ/ ]pp between p-Pb and proton-proton collisions. Finally, the nuclear modification factor for inclusive ψ(2S) is evaluated and compared to the measurement of the same quantity for J/ψ and to theoretical models including parton shadowing and coherent energy loss mechanisms. The results show a significantly larger suppression of the ψ(2S) compared to that measured for J/ψ and to models. These observations represent a clear indication for sizeable final state effects on ψ(2S) production