پروفیسر حافظ محمود خان شیرانی مرحوم
ہم کو ابھی تک اپنے ملک کے علماء اور محققین کی پوری قدر نہیں ہوئی، کیسے افسوس کی بات ہے کہ ہماری قوم اور ملک کے ایک نامور محقق پروفیسر حافظ محمود خان شیرانی کا انتقال ۱۶؍ فروری ۱۹۴۶ء کو ٹونک میں ہوگیا، اور ہم میں سے بہتوں کو اس کی خبر نہیں ہوئی۔
شیرانی مرحوم کا وطن ٹونک تھا، شیرانی پٹھان تھے، اور ان کو اپنے پٹھان ہونے پر فخر تھا، ٹونک ہمیشہ سے علماء اور محققین کا مقام رہا، وہاں کا نادر کتب خانہ اکثر محققوں کو اپنی طرف کھینچ کر لے جایا کرتا ہے، اور شیرانی کا تو وہ وطن ہی تھا، شیرانی صاحب کی انگریزی کی استعداد پوری تھی، فارسی کی تعلیم متوسط اور عربی کی معمولی مگر ان میں تحقیق و تلاش کا مادہ فطرۃً تھا، تاریخ اور خصوصاً تاریخ ادب سے ان کو بے حد شغف تھا، تاریخ کے ذوق سے ان کو کتبوں اور سکون کا شوق تھا، اسی شوق سے وہ لکھنؤ بھی آتے تھے، اور چونکہ ہمارے مدرسہ دارالعلوم ندوۃ العلماء کے درس اول و شیخ الحدیث مولانا حیدر حسن خان صاحب مرحوم بھی ٹونکی تھے، اس تعلق سے وہ کبھی کبھی ہمارے مدرسہ میں بھی ٹھہرتے تھے اور اسی واسطہ سے میری ان کی ملاقات ہوئی، اور اس کے بعد جب وہ لاہور تھے، تو کئی بار ملنا ہوا۔
مرحوم کا سال پیدایش ۱۲۹۸ھ ہے، عمر قریباً سرسٹھ برس تھی ۱۹۰۴ء میں اسکول کی تعلیم چھوڑ کر بیرسٹری کے لیے لندن گئے، جہاں سے والد کی وفات پر ۱۹۰۶ء میں واپس آئے، پھر فوراً واپس گئے، اور ۱۹۱۴ء میں واپس آئے، بیرسٹرتو نہیں ہوئے، مگر قلمی کتابوں کا شوق پید اہوگیا، پیرس کے قومی کتب خانہ میں تین ماہ مصروف رہے، اور وہیں بعض فرانسیسی اہل علم کے ساتھ مل کر...
Sheikh Abdul Haq Muḥaddith Dehlavi is one of the prominent muhaddithin of the Subcontinent. He has played an unforgettable role in the leadership of the Ummah. His writings consist of God's benevolence, justice, and solving People’s problems so that they can look at their defects and focus on building their lives. He discussed topics related to the nation; do not follow useless philosophy and false interpretations which do not benefit a common man. Along with the reformed works, He has also left behind a large collection on technical topics. He wrote books on important and technical topics such as Tafseer, Tajweed, Hadith, Beliefs, Jurisprudence, Sufism, Ethics, Actions, Philosophy, History, Biography, etc. Sheikh Abdul Haq Muhaddith Dehlavi has priority in teaching and publishing the knowledge of Hadith. In the context of the publication of the knowledge of hadith, his two commentaries Mishkwat al-Masabih, Ishaat al-Lamaat and Lamaat al-Tanqeeh, has a special place. In the said article, an introduction and methodological study of the work done by Sheikh Abdul Haq will be presented.
Natural disasters affect millions of peoples every year around the globe. These include flood, fire, earthquake, windstorm etc. These disasters are different in nature but in the end, they cause damage to human lives, economy, properties and health. Diversity in the nature of these calamities also requires different ways to monitor them and to mitigate the damages they cause. Floods, among other disasters, are the most common hazards that leave nothing but destruction behind. In addition to an effective evacuee plan, forecast information and keeping the communication up even when the flood is at its climax, helps the citizens survive through a flood situation. Thus damages can be reduced significantly and it also helps to seek aid, food and shelter in a better way. Furthermore, such information serves as a learning source and helps planning ahead for the future floods.
Smart Flood Monitoring System-of-Systems (SoS) is a flood monitoring and rescue system. It collects a large amount of information from weather and flood onlookers and observers. This information is then made available as alerts to the citizens before the flood, to plan ahead and during the disaster for getting help and to support rehabilitation process. System also maintains communication with the authorities for disaster management, social services and public utilities (collectively referred to as ?emergency responders?) to synchronize their support and rescue efforts with the community needs. The proposed approach satisfies three conditions imposed by the definition of SoS i.e. autonomy, geographic distribution and constant evolution of components. Main focus of the proposal is to specify, design and formally verifying a smart SoS model of flood monitoring to communicate the right information to the right people at the right place well in time. Smart Flood Monitoring System-of-Systems (SoS) is verified by constructing Timed Coloured Petri Nets (CPN) using CPN Tools 4.0.0. Model checking is done by specifying the safety properties in Finite Space Processes (FSP) and analyzing them by Labeled Transition System Analyzer (LTSA) 3.0. This formal verification will ensure the correctness properties of the proposed model.