پروفیسر منظور حسین شورؔ
(ڈاکٹر غلام مصطفےٰ خان)
شور صاحب (اﷲ بخشے) میرے دیرینہ کرم فرما تھے۔ ان کا بچپن کا نام منظور علی تھا جیسا کہ میں نے ان کے مکان پر ایک کتاب میں لکھا ہوا دیکھا تھا۔ بعد میں ان کا نام منظور حسین ہوا۔ دوھیال ایچپور کی تھی اور ننھیال اکولہ کی تھی۔ یہ دونوں شہر برار میں ہیں، وہ امراؤتی (برار) کی شہر پناہ کے ناگپوری دروازے کے قریب ایک آبادی میں جو سادات کی تھی دسمبر ۱۹۱۰ء میں پیدا ہوئے۔ والدضامن علی صاحب جو بعد میں کراچی آکر ۱۹۶۸ء میں فوت ہوئے، تھانیدار تھے۔ بہت سیدھے سادے تھے، امراؤتی میں بارہا ان سے شرفِ ملاقات حاصل ہوا تھا، شور صاحب کی ابتدائی تعلیم امراؤتی ہی کے محمڈن اسکول میں ہوئی، اس زمانے میں میٹرک کی گیارہویں جماعت ہوا کرتی تھی، یہ اسکول جس کا نام اب تبدیل کردیا گیا ہے مال ٹیکری کے قریب ہے۔ اور اب اس ٹیکری پر شیوا جی کا مجسمہ نصب کردیا گیا ہے۔ شور صاحب نے ۱۹۲۸ء میں وہاں سے میٹرک پاس کیا۔ پھر علی گڑھ تشریف لے گئے۔ وہاں میرس ہوسٹل میں ان کا قیام تھا۔ ناگپور کے مونس حسین ان کے خاص دوست تھے، علی گڑھ کے انٹرمیڈیٹ کالج میں اس وقت نویں دسویں گیارہویں اور بارہویں جماعتیں تھیں، میرس ہوسٹل، ارون سرکل یانیوسرکل کے چار ہوسٹلوں میں سے ایک تھا۔ اس کے علاوہ منٹو سرکل میں ان طلبہ کے لیے چار ہوسٹل تھے اور وہاں دو ہوسٹلوں (اے۔بی) میں تعلیم بھی ہوا کرتی تھی۔ ڈے اسکالر اور سیمی بورڈ ان کے علاوہ تھے۔ مولانا احسن مارہروی مرحوم کی وجہ سے طلبہ میں شعر و شاعری کا ذوق زیادہ پیدا ہوگیا تھا۔ وہ طرحی مشاعرے بھی منعقد کراتے تھے اور کل ہند مشاعرے بھی انہی کے دم سے قائم ہوئے تھے۔ شور صاحب کی...
Two things human beings to reflect and the reconciliation between these statements and the lines can extract with ease. That man did not know about any of those things and goods through the universe, the Qurʾān said. Secondly, it has been in the material world of the universe, it can be concluded that so far, just being by God and is not without any reason that, in other words, each vowel (cause) and effect (effect) the highest (Purpose) is necessarily driven, and every step of every object in the universe and is the result of the three-member process.
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.