دریائے نیل
ہم قاہرہ یونیورسٹی اور حدیقہ الحیوان سے پیدل کبری الجامعہ پہنچے جس کے نیچے دریائے نیل رواں دواں تھا ۔میں نے یہاں اس پانی میں ٹھہرائو اور بردباری محسوس کی نیل اپنے ہزاروں میل کے بہائو کاا ظہار چیخ چیخ کر نہیں کر رہا تھا ۔ہم نے تین مصری جنین کے دو ٹکٹ لیے اور لانچ میں بیٹھ گئے ۔لانچ کی خستہ حالی بھی مصری عوام کی معیشت کی طرح زبوں حال اور نا تواں تھی ۔لانچ میں بیٹھتے ہی مجھے دکتور ہ شائمہ کی بات یاد آئی ۔انہوں نے کہا تھا کہ ایک مصری کہاوت ہے کہ جو بندہ دریائے نیل کا پانی پی لے وہ دوبارہ مصر ضرور آ تا ہے ۔میں نے چلتی لانچ سے ہاتھ دریا میں ڈالا اور اوک بھر پانی پیا ۔لانچ کی ایک کھڑکی میں سبز رنگ کی بوتل نظر آئی میں نے بوتل کو نیل کے پانی میں خوب دھویا اور اس کودریا کے پانی سے بھرا ، دکتور محمود بولے اس کاکیا کرو گے میں نے کہا یہ سبز رنگ کی بوتل ہے اور پاکستان کا سرکاری رنگ سبز ہے میں اس سبز رنگ کے ساتھ نیل کا اشتراک چاہتا ہوں میری خواہش ہے کہ مصر اور پاکستان ایک دوسرے کے قریب ہوں ،اس پانی اور بوتل کی طرح ۔میں نے دکتور محمود سے پوچھا نیل کا پانی کہاں سے نکلتا ہے اس نے کہاں سوڈان میں کوئی دور جگہ ہے ۔میں نے پوچھا وہاں کو نسا گلیشئیر ہو سکتا ہے جہاں سے یہ پانی آ تا ہے کہنے لگے افریقہ میں گلیشئیر نہیں ہوتے یہ کوئی پاکستان تو نہیں ،پھر کہنے لگے کوئی دو جھیلیں ہیں وہاں سے یہ پانی آ تا ہے ۔اس حوالے سے میں معلوماتی کتب سے رجوع کیا تو معلوم ہوا کہ ہم جسے ایک دریائے نیل سمجھ...
Every Human being needs family system to live with dignity. There is joint family system, and separate family system in practice in Muslim Societies. Shah Waliullah gave concept of ideal family system. The ingredients of ideal family system of Shah Waliullah are Nikāḥ, Siblings, Property, Love and Society. People faced many problems for living respectfully, and born grave losses due to war. Shah Waliullah not only taught us religious teachings but also guided us how to make our socio- economic system strong as well as family system. In this article, his teachings and thoughts about family system have been discussed.
Dependability is an umbrella concept that subsumes many key properties about a system, including reliability, maintainability, safety, availability, con- dentiality, and integrity. Various dependability modeling techniques have been developed to e ectively capture the failure characteristics of systems over time. Traditionally, dependability models are analyzed using paperand- pencil proof methods and computer based simulation tools but their results cannot be trusted due to their inherent inaccuracy limitations. To overcome these limitations, we propose to leverage upon the recent developments in probabilistic analysis support in higher-order-logic theorem proving to conduct accurate and rigorous dependability analysis. This thesis provides a semantic language embedding of the dependability concept that relies on a theory for probabilistic reasoning to develop a framework for formal dependability analysis within the sound environment of higher-order-logic theorem proving. In this thesis, we mainly focus on the formalization of two widely used dependability modeling techniques: (i) Reliability Block Diagrams - a graphical technique used to determine the reliability of overall system by utilizing the failure characteristics of individual system components; and (ii) Fault Trees - used for graphically analyzing the conditions and the factors causing an undesired top event, i.e., a critical event, which can cause the whole system iv v failure upon its occurrence. In particular, we present a RBD and FT-based formal dependability analysis framework that has the ability to accurately and rigorously determine the formal reliability, failure, availability and un- availability of safety-critical systems with arbitrary number of components. To illustrate the practical e ectiveness of our proposed infrastructure, we present the formal dependability analysis of several real-world safety-critical systems, including smart grids, WSN data transport protocols, satellite solar arrays, virtual data centers, oil and gas pipeline systems and an air tra c management system using the HOL4 theorem prover.