17 articles for “Safety-critical systems”

Research ArticleOpen accessIn the abstractFormal Validation of the Safety Property of Sack Protocol Using Theorem Proving TechniqueZ. Shukur, N. Alias, M. H. Mohamed Halip, B. IdrusThis paper demonstrates the formal validation process of safety properties of Selective ACKnowledgment (SACK) protocol. SACK is a complex communication protocol as it is used in various types of distributed computer systems and networks. This acknowledgment mechanism is used with sliding window protocol that allows the receiver to acknowledge packets received out of order, but within the correct sliding window. … …Journal of Computer Science, Vol. 3, Issue 6 · 30 Jun 2007 · 6,231 accessesView PDF Cite

Research ArticleOpen accessIn the abstractFailure Diagnosis on Discrete Event SystemsSihem Kechida, Nasr Eddine DebbacheThe modern technology advances to a point where it is possible and extensively desirable to improve reliability and the technical process safety. This is achieved by computer implanted FDI procedures (Fault Detection and Isolation). However, the malfunction of actuators, sensors and of the process components, as well as erroneous actions of human operators can have some disastrous consequences in high … …American Journal of Applied Sciences, Vol. 2, Issue 11 · 30 Nov 2005 · 6,889 accessesView PDF Cite

Research ArticleOpen accessIn the abstractDegradation of Power Generation Performance due to Effects of Various Ice Shapes and Accretions on Wind Turbine BladesAditya Bagade, Changki Mo, Abdelhamid MazherIn today’s world, green energy has become a key initiative as an alternative energy resource. Wind turbines are widely used to harvest wind energy in seasonal and cold environments. Although efficient, cold weather conditions negatively affects wind turbine operations due to ice formation. Damage from icing is seen on blade-tips when super-cooled water droplets that form in colder environments rapidly … …Energy Research Journal, Vol. 6, Issue 2 · 11 Sep 2015 · 7,818 accessesView PDF Cite

Research ArticleOpen accessIn the abstractA Study on Nuclear Blast Overpressure on Buildings and other infrastructures using Geospatial TechnologyC. Vijayaraghavan, D. Thirumalaivasan, R. VenkatesanAn Improvised Nuclear Device or nuclear bomb of yield 10 kiloton to 20 kiloton explodes in any major city due to terrorism or any other reason can cause catastrophic damages on the building's and other infrastructures and also shutting down of critical life-safety systems.. The explosion may produce blast overpressure, thermal radiation and harmful instant and delayed nuclear radiations. The … …Journal of Computer Science, Vol. 8, Issue 9 · 15 Aug 2012 · 8,103 accessesView PDF Cite

Research ArticleOpen accessIn the abstractModified Center Interpolation Net for Classification of Composite Structures Tested Using Low Frequency Electronic TappingMahmoud Z. IskandaraniProblem statement: Most exhaustive NDT techniques require large capital equipment, are difficult to apply to complex geometric structures and, above all, are time-consuming to use and some take a considerable time to complete. As a solution to the problems associated with NDT applications, there is a need to establish an intelligent analysis system that supports a portable testing environment, which … …American Journal of Applied Sciences, Vol. 7, Issue 2 · 28 Feb 2010 · 7,110 accessesView PDF Cite

Research ArticleOpen accessAll words, across the recordEnhancing Dam Safety and Management: Long Short-Term Memory Based Predictive Models for Accurate Alert ForecastingNisha C. M, N. ThangarasuDam management and early alert systems are critical for effective water resource management. Accurate prediction of dam alert signals facilitates proactive decision-making, thereby aiding in the effective management and reduction of potential risks linked to dam operations. Within this research, Long Short-Term Memory (LSTM) networks are utilized to forecast dam alert signals issued from the dam by leveraging daily parameters, … …Journal of Computer Science, Vol. 22, Issue 1 · 6 Feb 2026 · 1,632 accessesView PDF Cite

Research ArticleOpen accessAll words, across the recordA Hybrid Decision-Making Model for Maintenance Prioritization in Health Care SystemsHassana Mahfoud, Abdellah El Barkany, Ahmed El BiyaaliClinical engineering departments have to establish and continuously regulate a Medical Equipment Management Program (MEMP) to ensure a high reliability and safety of their critical medical devices. Asset criticality assessment is an essential element of reliability centered maintenance and risk-based maintenance, especially when enormous various devices exist and the worst failure consequences are not evident. This paper presents a new … …American Journal of Applied Sciences, Vol. 13, Issue 4 · 28 Apr 2016 · 8,682 accessesView PDF Cite