The field of finite tree automata provides fundamental notations and tools for reasoning about set of terms called regular or recognizable tree languages. We consider two kinds of analysis using regular tree languages, applied to logic programs. The first approach is to try to discover automatically a tree automaton from a logic program, approximating its minimal Herbrand model. In this case th...

Future high-performance computing systems may face frequent failures with their rapid increase in scale and complexity. Resilience to faults has become a major challenge for large-scale applications running on supercomputers, which demands fault tolerance support for prevalent MPI applications. Among failure scenarios, process failures are one of the most severe issues as they usually lead to t...

Closed-circuit rebreathers (CCR) have been used for many years in military diving but have only recently been adopted by technical leisure divers, media and scientific divers. Rebreather divers appreciate the value of training, pre-dive checks and equipment maintenance but it is often difficult to visualise just how important these factors are and how they inter-relate for a rebreather. In this...

Perusahaan minyak dan gas merupakan salah satu sektor bidang yang sangat besar di Indonesia. Seperti pada daerah Kalimantan menjadi pemasok 2/3 Indonesia, dimana produknya yaitu Avtur. Dalam rantai pasok avtur memiliki bagian cukup kompleks berisiko tinggi terjadinya penurunan kinerja pasoknya. Penelitian ini dilakukan untuk menganalisa risiko kritis membuat strategi mitigasi PT MIGAS XYZ, guna...

With the continuous miniaturization, electrical, high-speed and intelligent of railway signal equipment, the control switch module must have higher safety, reliability and anti-interference ability. Under this background, this paper studied the railway signal distributed computer control switch module. First of all, this paper introduced the main supporting technology of distributed interlockin...

Many lives and aircrafts have been lost due to human errors associated with mental workload overload (MWLOL). Human are successfully considered in existing Fault Tree Analysis (FTA) methods. However, MWLOL is through Performance Shaping Factors indirectly its information hidden FT construction, which not conducive analyze the root causes of risks. To overcome this difficulty, we develop a risk ...

This paper gives a practical systematic approach towards the maintenance procedure optimisation of critical industrial unit in operation, to improve its maintainability. The resolution maintainability challenge (Vibrating screen - VSU) was realised by performing two-phase analysis, encompassing criticality and assessment. assessment comprised failure investigation using fault tree analysis (FTA...

PT Kimpai Dyna Tube focuses on PBL (Plastic Barier Laminate) products, which currently providing cosmetic products with plastic-based materials. Based the results of field survey inventory process, several problems were found, namely overstock material, deadstock material and outstanding material. The analysis process used is Fault Tree Analysis (FTA) method because its efficiency. FTA, it was ...