ایک ہوں مسلم حرم کی پاسبانی کے لیے
نحمدہ ونصلی علی رسولہ الکریم امّا بعد فاعوذ بااللہ من الشیطن الرجیم
بسم اللہ الرحمن الرحیم
معزز اسا تذہ کرام اور میرے ہم مکتب شاہینو!آج مجھے جس موضوع پر لب کشائی کا موقع مل رہا ہے وہ ہے’:’ایک ہوںمسلم حرم کی پاسبانی کے لیے ‘‘
محترم صدر!
اتحاد جس شکل میں موجود ہو قابل تحسین تصور کیا جا تا ہے جوقوم ملی اتحاد کی دولت سے مالامال ہوتی ہے وہ ہر لحاظ سے خوش و خرم ہوتی ہے اس کی فضاؤں میں آلودگی نہیں ہوتی اس کے کھلیانوں میں خس و خاشاک نہیں ہوتے۔ اس کے میز گردجہالت سے خالی ہوتے ہیں اس کے افراد کی عروق مردہ نہیں ہوتیں۔ اس کے میدان ویران نہیں ہوتے۔ اس کے ہسپتال آباد نہیں ہوتے۔
محترم صدر!
اتحاد جس قوم میں بھی ہو وہ دیگر اقوام میں ممتاز ہوتی ہے۔ اس کے وجود میں حسن اور نکھار پیدا ہو جاتا ہے چند اینٹیں متحد ہو جائیں تو ایک مکان تعمیر کر دیتی ہیں ایک عمارت بنادیتی ہیں ایک دیوار کھڑی کر کے بے پردہ گھر کو باپردہ بنادیتی ہیں، چند قطرے اکٹھے ہو جائیں تو ایک بحیرہ اور پھر بحر کی شکل اختیار کر لیتے ہیں۔ ریت کے چند ذرّے اکٹھے اور متحد ہو جائیں تو ریگستان وجود میں آجاتا ہے۔
صدرِذی وقار!
اسلام میں اتحادملی پر بہت زور دیا گیا ہے۔ حدیث نبویؐ ہے مسلمان مسلمان کا بھائی ہے، مسلمان مسلمان کوکبھی گالی نہیں دیتا، مسلمان مسلمان کو کبھی بُر ابھلا نہیں کہتا، اسلام کے زیور سے مرصعّ شخص معاشرے کے ماتھے کا جھومر ہوتا ہے۔ اس کے انداز نشست و برخاست معیاری ہوتے ہیں، اس کی گفتگو میں حسن ہوتا ہے۔ جواتحادملی کے جذبے سے سرشار ہوتا ہے۔
جنابِ صدر!
دنیائے رنگ و بو کے...
Buddhism is dominated by such other characteristics as sympathy, pity, and kindness. Furthermore, it forbids all kind of cruelty, violence, murder, brutality, and giving pain to any living creature. However, contrary to his teachings, the way his followers have targeted the Rohingya Muslims with violence and atrocities only shows how little they follow Gautama Buddha. Right from the independence of Burma, Buddhists, declaring Muslims as a threat, started their genocide, which involved attacking their mosques, their homes, dishonoring Muslim women, and harassing the Muslims without any reason. This compelled Muslims to leave their homes and migrate. The recent wave of violence, starting in June 2012, seriously affected the Muslim majority province of Arakan. Keeping in mind, Arakan is one of the fourteen Burmese provinces, where Islam have ruled since the time of Isalmic Caliphate. Unfortunately, in 1784, Burmese Prince Bodo Phia violated this garden of Islam by carrying out Muslim genocide. He banned all symbols of Islam such as pilgrimage, sacrifice, prayers, Friday and Eid Prayers, and preaching. This study points out the religious problems and issues of Muslims believers in Arakan including its impact, causes and consequences on their lives. The analytical research Methodolgy has been adopted in this studty.
Software systems are becoming complex and dynamic with the passage of time and to provide better fault tolerance and resource management they need to have the ability of self-adaptation. Software agents are expected to work autonomously and deal with unfamiliar situations astutely. Achieving cent percent test case coverage for these agents has always been a problem due to the limited resources. Also a high degree of dependability is expected from autonomous software agents. Multi-agent systems deployed in dynamic and unpredictable environment needs to have the ability of self-adaptation, making them adaptable to the failures. These systems have emerged as a useful technique to model real-time systems and these real-time multi-agent systems by their nature have temporal constraints. Though real-time multi-agent systems have been formally modelled in the past but self-adaptive real-time multi-agent systems are yet to be addressed. State of the art encourage the use of MAPE-K feedback loop for the provision of self-adaptation in any system. Hence there is a dire need of formal vocabulary that can be used for the conceptual design of any real-time multi-agent system with self-adaptation. In this work we proposed a framework SMARTS (Self-adaptive Multi-Agent Real-Time Systems) for the formal modelling of selfadaptive real-time multi-agent systems. Our framework integrates reflection perspective and unification with distribution perspective into the SIMBA (SIstema Multiagente Basado en ARTIS) agent architecture. For a precise semantic description of the constructs of our framework, we used Timed Communicating Object-Z (TCOZ) language. The core functionality of the system is depicted using managed system and self-adaptive unit. The self-adaptive functionality is provided by using a predefined interfaces based on Monitor, Analyze, Plan and Execute phases of the MAPE-K feedback loop. The managed system comprises the ARTIS agents, which are designed to work in hard real-time environment. In SMARTS the non-terminating behavior of the ARTIS agent is represented using active class concept of TCOZ. For communication between active processes, channel communication mechanism of TCOZ is utilized. We elaborate the application of the SMARTS framework using a trivial case-study of Traffic Management System for real-time congestion control. We ensure the correctness of the system by formally specifying and verifying the actions of the communicating real-time agents in Timed-Arc Petri-Nets as they are visually more expressive than Linear Temporal Logic (LTL) and Computational Tree Logic (CTL). The traffic models are verified using Timed Computational Tree Logic (TCTL) via translations into timed automata. The TAPAAL model checker is used for the formal verification. The simulation results show the computation trees of the traffic models, trace of the satisfied properties, count of the transitions triggered and places visited during the verification process. This formal verification of real-time self-adaptive multi-agent systems will enhance the confidence and expressibility to address the correctness of such systems.