The xSAP Safety Analysis Platform

This paper describes the xSAP safety analysis platform. xSAP provides several model-based safety analysis features for finite- and infinite-state synchronous transition systems. In particular, it supports library-based definition of fault modes, an automatic model extension facility, generation of safety analysis artifacts such as Dynamic Fault Trees (DFTs) and Failure Mode and Effects Analysis (FMEA) tables. Moreover, it supports probabilistic evaluation of Fault Trees, failure propagation analysis using Timed Failure Propagation Graphs (TFPGs), and Common Cause Analysis (CCA). xSAP has been used in several industrial projects as verification back-end, and is currently being evaluated in a joint R&D Project involving FBK and The Boeing Company

Estimation of seismic moments from local magnitudes and coda durations for the Cairo earthquake aftershocks recorded at Kottamyia (KEG) Broadband station

The spectral analysis of fifty-five KEG VBB records from the October 12, 1992 Cairo earthquake source region was performed to obtain the seismic moment. We obtained this parameter in turn to develop empirical local magnitude (ML), seismic moment (Mo), coda duration (D) relations for that region. In this study the data consist of Lg-waves on the vertical component seismograms for the recorded earthquakes with ML ranging from 1.7 to 4.7. The derived empirical relation between the seismic moment (Mo) and magnitude ML for the aftershocks sequence with 1.7 = ML < 3.5 is Log (Mo) = (0.96 ± 0.05) ML + (17.88 ± 0.13). We found a correlation between the coda duration (D) and Log of the moment (Log (Mo)) as follows: Log (Mo) = (2.35 ± 0.27) Log (D) + (16.33 ± 0.48)

Global Postural Exercise Program Versus Muscle Energy Technique on Management of Temporomandibular Joint Disorders

Objective: To compare between the effects of global postural exercise program against muscle energy technique on maximum pressure pain threshold, maximal mouth opening range of motion as well as quality of life on patients with temporomandibular joint disorders. Methods: 63 patients having temporomandibular disorders were randomized into three groups; Group (A) were given global postural exercise program in addition to conventional therapy (in the form of LASER and hot packs), Group (B) were given muscle energy technique as well as traditional therapy and the Group (C) control were given traditional therapy only. All patients were examined by the pressure algometer, paquimeter and Arabic version of Oral health impact profile 14 questionnaire as well as the duration of treatment were 6 weeks. Results: there were no significant statistical differences revealed&nbsp; pretreatment for all variables, Mmaximal mouth opening range of motion, quality of life scale, as well as pain) as in mouth opening (P=0.130), OHIP-14 (P=0.642), right temporalis muscles (P=0.384), left temporalis muscles (P=0.930), right masseter muscles (P=0.790), left masseter muscles (P=0.064), right trapezius muscle (P=0.403), and left trapezius muscle (P=0.058) among groups where (P&gt;0.05). While after-treatment and follow up , there were significant statistical differences were P value was (P&lt;0.05), in mouth opening (P=0.0001 and P=0.0001, respectively), OHIP-14 (P=0.0001 and P=0.0001, respectively), right temporalis muscles (P=0.035 and P=0.020, respectively), left temporalis muscles (P=0.0001 and P=0.0001, respectively), right masseter muscles (P=0.001 and P=0.0001, respectively), left masseter muscles (P=0.004 and P=0.035, respectively), right trapezius muscle (P=0.0001 and P=0.0001, respectively), and left trapezius muscle (P=0.031 and P=0.001, respectively) between groups. Conclusion: Both Muscle energy technique and global postural exercise program improved mouth opening, pressure pain threshold, as well as quality of life in temporomandibular joint disorders patients, with the superiority of muscle energy technique over global postural exercise program

Some New Exact Solutions of Jacobian Elliptic Functions in Nonlinear Physics Problem

Abstract:An extended mapping method with symbolic computation is developed to obtain some new periodic wave solutions in terms of Jacobin elliptic function for nonlinear elastic rod equation arising in physics.As a result,many exact travelling wave solutions are obtained which include Jacobian elliptic functions solutions,combined Jacobian elliptic functions solutions and triangular function solutions.Solutions in the limiting cases have also been studied.It is shown that the mapping method provides a very effective and powerful mathematical tool for solving nonlinear evolution equations in physics

Dust-Acoustic Solitary Waves in Magnetized Dusty Plasma with Dust Opposite Polarity

The nonlinear propagation of small but finite amplitude dust-acoustic solitary waves (DAWs) in magnetized collision less dusty plasma has been investigated. The fluid model is a four component magnetized dusty plasma, consisting of positive and negative dust species, isothermal electrons and ions in the presence of an external magnetic field. A reductive perturbation method was employed to obtain the Zakharov Kuznetsov (ZK) equation for the first-order potential. The effects of the presence of positively charged dust fluid, the external magnetic field, and the obliqueness are obtained. The results of the present investigation may be applicable to some plasma environments, such as cometary tails, upper mesosphere and Jupiter\u27s magnetosphere

Fast COVID-19 Detection from Chest X-Ray Images Using DCT Compression

Novel coronavirus (COVID-19) is a new strain of coronavirus, first identified in a cluster with pneumonia symptoms caused by SARS-CoV-2 virus. It is fast spreading all over the world. Most infected people will develop mild to moderate illness and recover without hospitalization. Currently, real-time quantitative reverse transcription-PCR (rqRT-PCR) is popular for coronavirus detection due to its high specificity, simple quantitative analysis, and higher sensitivity than conventional RT-PCR. Antigen tests are also commonly used. It is very essential for the automatic detection of COVID-19 from publicly available resources. Chest X-ray (CXR) images are used for the classification of COVID-19, normal, and viral pneumonia cases. The CXR images are divided into sub-blocks for finding out the discrete cosine transform (DCT) for every sub-block in this proposed method. In order to produce a compressed version for each CXR image, the DCT energy compaction capability is used. For each image, hardly few spectral DCT components are included as features. The dimension of the final feature vectors is reduced by scanning the compressed images using average pooling windows. In the 3-set classification, a multilayer artificial neural network is used. It is essential to triage non-COVID-19 patients with pneumonia to give out hospital resources efficiently. Higher size feature vectors are used for designing binary classification for COVID-19 and pneumonia. The proposed method achieved an average accuracy of 95% and 94% for the 3-set classification and binary classification, respectively. The proposed method achieves better accuracy than that of the recent state-of-the-art techniques. Also, the time required for the implementation is less