غزل ۔۔۔ڈاکٹر محمد کامران
پروفیسر پنجاب یونیورسٹی لاہور
ایسا بھی نہیں تم سے مجھے پیار نہیں ہے
لیکن مجھے اس بات پہ اصرار نہیں ہے
میں نے یہ غزل موجٍ صبا تجھ پہ کہی ہے
حالانکہ مجھے تجھ سے سروکار نہیں ہے
اس شخص کی آنکھیں مجھے سونے نہیں دیتیں
دل جس کی محبت میں گرفتار نہیں ہے
میں نے بھلے وقتوں میں خریدا تھا کوئ خواب
اب اس کا کہیں کوئ خریدار نہیں ہے
ماں باپ کی عزت کا اسے خوف ہے ورنہ
اس شوخ کے انکار میں انکار نہیں ہے
تعالج هذه الدراسة مظاهر الترف في الفن الأخميني، وما رافقه من تغيرات وتطورات انعكست على المستوى الفني والاقتصادي والاجتماعي، إذ إنَّ الإنسان بطبيعته الفطرية لديه ميول بحب الجمال، وعن طريق الفن يشعر الفنان بحقيقة هذا الجمال ومواطنه، فالفنان له قدرة وحدس في التنبه إلى مواطن الجمال في الطبيعة والكون، التي يشعر باللذة من توفيرها واشباعها والتي تمثل جزء من مظاهر الترف، سيما وأنها تبعث في على التذاذ الإنسان بما يفوق أحياناً اللذّات المادية والتي يحتاجها في حياته، وسنحاول في هذه الدراسة توضيح مفهوم الترف، والأسباب التي ساهمت في ظهوره عند بعض طبقات المجتمع الأخميني، وإلى أيَ مدى ساهم الفن الأخميني في بروز الترف، وفي هذه الدراسة سوف يتم يتناول مظاهر الترف الأخميني من حيث المادة الأولية التي نحت أو صنعت منها النماذج الفنية المتنوعة، حيث تشير الأعمال الفنية التي وصلت إلينا من هذا العصر إلى أمكانية فنية وفلسفية مترفة في معالجة الموضوعات لم نألفها قبل في فن الفارسي القديم وأن كان هذا النحات هو حفيد النحات الحضارات السابقة والمجاورة لا سيما الحضارتين العيلامية والآشورية، لكن ما أوجده هذا النحات الأخميني يشير إلى فهم عميق لدوره في المجتمع يسمو به على أقرانه.
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.