Abdelhakim Dahimene, Chouki Zegar

معهد الهندسة الكهربائية والإلكترونيك-جامعة أمحمد بوقرة - بومرداس · الجزائر

Amar Aissani , Fatima Hessas

كلية الرياضيات-جامعة العلوم والتكنولوجيا هواري بومدين - الجزائر · الجزائر

Amjad Gawanmeh , Hussam Moh’d Nour Al Hamadi, Mahmoud Al-Qutayri

جامعة خليفة · الامارات

Wireless Body Sensor Networks (WBSNs) enable the integration of various physiological sensors that facilitate continuous monitoring of a patient condition as well as support independent living of persons with chronic conditions in their homes. WBSNs may contain different types of sensors that are used to monitor several medical parameters such as ElectroCardioGram (ECG), which is one of the most commonly used and studied biomedical sensors. ECG Biosensors are used to detect and transmit the electrical activity of the heart over a period of time. The ECGs are treated by a signal processing unit inside the biosensor to detect and identify heart patterns. Testing and verification of these biosensor systems is a challenging and important process since faults in these critical systems may lead to loss of lives as well as loss of money and reputation. However, due to the complexity of these systems, and the increasing demand for new products and new technologies in this domain, traditional testing methods might not be adequate to provide a high level of assurance about the correctness of their operation. In this work, we propose a verification framework for functionality and security of ECG biosensors. The framework is composed of three parts, wherein the first; we use theorem proving to verify the biosensor functionality. Then, we develop a test case gene ration ii algorithm based on formal specifications to validate the functionality of the ECG biosensor. The last part addresses security in the biosensor by providing a protocol with low overhead on the biosensor resources. The protocol is formally verified using the model checking technique. Our framework has been used for the verification of ECG biosensors at several levels of abstractions with respect to functionality and security.

Yekhou Naima, Mekhaneg .B, يحيى محمد

كلية العلوم والتكنولوجيا-جامعة الجيلالي بونعامة - خميس مليانة · الجزائر

أم السعد هرنون, شهرزاد بلقاسم, عبداللطيف بليلة

كلية العلوم الاجتماعية والإنسانية-جامعة الجيلالي بونعامة - خميس مليانة · الجزائر

Khadidja Sellami, Leila Madani, Sabah Lamiri

كلية العلوم-جامعة الدكتور يحيى فارس بالمدية · الجزائر

A travers ce travail, on a fait l’étude de la possibilité d’utiliser le chauffage par induction électromagnétique au lieu du chauffage classique pour améliorer l’extraction du contenu en pectines résidantes dans les fruits de Cucurbita pepo, et cela en optant une extraction avec l’eau à chaud. Pour l’extraction des substances pectiques, on a étudié l’effet de la partie du fruit traité sur le rendement en pectines ainsi que celui du rapport (masse de la matière végétale / volume d’eau utilisée). Les résultats montrent que le meilleur rendement était pour les écorces avec 38.70% dans les conditions d’extraction (PH =neutre ,100°C, 30min, m/v=1/10), tandis que le rendement était très faible pour la pulpe 19.30% sous les conditions d’extraction (PH=neutre ,100°,30 min, m/v=1/20). Les différentes valeurs des quantités de pectines extraites avec l’eau à chaud utilisant un chauffage par induction électromagnétique ont indiqué que le mode de chauffage utilisé est efficace pour améliorer l’extraction des pectines et que la variation de la masse et la partie de la matière végétale (pulpe et écorce) peuvent affecter le rendement en pectine extraite.

Massinissa Saci , Mohammed Khebbaz, Yassine Boudouda

كلية المحروقات والطاقات المتجددة وعلوم الارض والكون-جامعة قاصدى مرباح ورقلة · الجزائر

Our work aims to study the fatigue behavior of Coiled Tubing (CT) used in well intervention and completion operations. The study focused on analyzing mechanical stresses and the key factors that influence the lifespan of CT, such as internal pressure, wall thickness, corrosion, mechanical damage, material quality, and bending cycles. We explored numerical fatigue life models, evaluated the use of ultrasonic sensors for real-time thickness monitoring, and analyzed the integration of advanced software like IWI (Insite for Well Intervention). Low-cycle fatigue, worsened by internal pressure and repeated bending, was confirmed as the main failure mechanism of CT. Pre-job simulations using IWI software helped identify critical zones and optimize operational decisions. For example, in one case study, cutting 200 meters of fatigued tubing avoided failure and reduced post-job fatigue to only 0.45%. In another case study involving a fishing operation, fatigue limitations restricted the maximum allowable pulling force, leading to the decision to abandon the well after unsuccessful recovery attempts. The use of intelligent monitoring and tracking systems significantly improves predictive maintenance, reduces non-productive time (NPT), and enhances wellsite safety. In conclusion, an effective fatigue management strategy, combining sensor technology, numerical modeling, and real-time tracking software, is essential to extend the lifespan of CT, reduce operational risks, and ensure the success of interventions in demanding environments.

عمر أحمد علي أحمد, محمد مطلق عساف

جامعة القدس · فلسطين

.M. de Belair G , Djamila Belouahem Abed

كلية العلوم-جامعة باجي مختار - عنابة · الجزائر

إياد عبد القادر عبيد, حلا ملندي

كلية الهندسة المعمارية-جامعة حلب · سوريا