With the advancement of software engineering in recent years, the model checking techniques are widely applied in various areas to do the verification for the system model. However, it is difficult to apply the model checking to verify requirements due to lacking the details of the design. Unlike other model checking tools, LTSA provides the structure diagram, which can bridge the gap between t...

conclusions the findings showed that benson relaxation training might be an effective therapy for improving quality of life in patients with ibs. background irritable bowel syndrome (ibs) is one of the most common functional disorders of the lower gastrointestinal tract that is characterized by abdominal pain and changes in bowel habits. this disorder changes the quality of life of patients. ob...

Latar belakang: Lanjut usia merupakan seseorang yang telah berusia lebih dari 60 tahun. Setiap lansia akan mengalami penurunan fungsi tubuh dan kesehatan serta kualitas hidup. Terapi relaksasi benson gabungan nafas dalam, pikiran sistem keyakinan. Tujuan: Untuk mengetahui efektivitas terapi pada hidup lansia. Metode: Metode dalam penelitian ini menggunakan metode Review Literature diambil e-res...

Client with post cesarean section is suffering of pain. The pain can cause the anxiety. The anxiety state can be reduced by anxiety management. The anxiety management is not only pharmacological remedy, but also non pharmacological treatment. The aim of the study is to identify the reduction of anxiety level with Benson Relaxation Technique among client with post cesarean section. The design of...

Steam is a key energy vector for industrial sites, most commonly used for process heating and cooling, cogeneration of heat and mechanical power as a motive fluid or for stripping. Steam networks are used to carry steam from producers to consumers and between pressure levels through letdowns and steam turbines. The steam producers (boilers, heat and power cogeneration units, heat exchangers, ch...

In Formal methods for industrial applications: specifying and programming the steam boiler control,

nowadays, the separation of pistachios which seem to have aflatoxin is done according to their organoleptic physical qualities like color and etc. as these methods are not  fully practical, and there is always a possibility of error and also the conditions like the wrong time harvest, the transportation of picked pistachios, the delay on the processing cause some contaminations in pistachios wh...