سیرت نگاری پیر کرم شاہ الازہری کی "ضیاالنبی "کے تناظر میں
ڈاکٹر طالب علی اعوان
سیرت نگاری کوئی انسانی کمال نہیں بلکہ یہ بارگاہِ رسالت ماب صلی اللہ علیہ والہ وسلم میں شرفِ قبولیت ہے۔یہ وہ خوش بختی ہے جس پر جتنا فخر کیا جائے کم ہے۔حسان بن ثابت رضی اللہ عنہ کے ایک نعتیہ شعر کا مفہوم ہے:
"لوگ اگر مجھ سے محبت کرتے ہیں تو اس لیے کہ میں نے سرکارِ دوعالم صلی اللہ علیہ والہ وسلم کا ذکر کیا ہے، لوگوں میں اگر کہیں میرا تذکرہ ہے تو فقط اس واسطے کہ میں نے سرورِ کائنات صلی اللہ علیہ والہ وسلم کی شان تحریر کرنے کا اعزاز حاصل کیا ہے، جب تک سازِحیات بجتا رہے اس کے تاروں سے محبتِ رسول صلی اللہ علیہ والہ وسلم ہی سنائی دے۔"
اللہ تعالی نے قرآنِ حکیم میں اپنے حبیب صلی اللہ علیہ والہ وسلم کی شان بیان کرتے ہوئے فرمایا:
"ورفعنا لک ذکرک" ترجمہ:"ہم نے آپ کے ذکر کو بلند کیا۔"
رفع ذکر کا ایک پہلو یہ بھی ہے کہ آپ کا تذکرہ کیا جائے، اخلاق و عادات کو نمایاں کیا جائے ،شمائل کو بیان کیا جائے اور آپ کی حیاتِ طیبہ اور اسوہ حسنہ کے مختلف پہلووں کو اجاگر کیا جائے۔
مسلمانوں کےلیے ذکرِ حبیب باعثِ افتخار و اعزاز اور ذریعہ نجات ہے۔ غیر مسلم بھی آپ صلی اللہ علیہ والہ وسلم کے تذکرے کو باعثِ شرف سمجھتے ہیں چناچہ آکسفورذ یونیورسٹی (برطانیہ) کے پروفیسر مارگولیتھ (D.S Margoliouth) نے 1905ء میں حضورِ اکرم صلی اللہ علیہ والہ وسلم کےحالات پر اپنی کتاب محمد اور ظہورِ اسلام (Muhammad And The Rise Of Islam) کے نام سے لکھی تو اس کا آغاز ہی...
Background of the Study: Lockdown was implemented worldwide to limit the spread of COVID-19. This sudden implementation of lockdown causes significant lifestyle changes for every individual. Along with the general population, it also has psychological, behavioral, and physical consequences on athletes. The study objective is to determine the occurrence of lower extremity musculoskeletal injuries during the COVID-19 lockdown in athletes.
Methodology: Retrospective cross-sectional study design was used, and participants were recruited by a non-probability convenient sampling technique. A sample size of 147 was taken as calculated by the Raosoft software, and the study was completed 6 months. Both male and female athletes between the age group of 18-35 years, participants who did not participate in any official training session during the lockdown and registered at domestic level for at least 2 years were recruited from Pakistan Sports Board and Wapda Sports Complex Lahore. Data was collected using a semi-structured questionnaire. Nordic Musculoskeletal Questionnaire was used to identify the problematic painful areas of body. Data entry, analysis, and interpretation were done by using SPSS software version 22.0.
Results: The mean age and BMI of participants were 25.6531±4.49 (years) and 23.28±3.24 (kg/m2) respectively. From the total, 39.5% of participants reported lower extremity musculoskeletal injuries. And most reported problematic areas include lower back and knee. 75% of participants continue to do workouts at home as a prevention strategy against injury occurrence.
Conclusion: This concluded that the occurrence of lower extremity musculoskeletal injuries during the lockdown was moderate.
The assurance of required quality properties is one of the major challenge in Self- Adaptive Systems (SAS). Self-adaptive systems have the capability to adapt their dynamic behavior autonomously at runtime due to uncertain changes in the environment. Research in this field is being held since mid-sixties, and over the last decade the importance of self-adaptivity is being increased. In general a self-adaptive system is much difficult to specify and verify, because of its highly complex internal behavior and especially when time constraints are involved. In the proposed research, Colored Petri Net (CPN) formal language will be used to model self-adaptive multi-agent system. CPN is increasingly used to model self-adaptive complex concurrent systems due to its flexible formal specification and formal verification behavior. CPN is visually more expressive than simple Petri Nets enables diverse modeling approaches and provides a richer framework for such a complex formalism. The specification and verification of internal structure of each self-adaptive agent is being expressed through modal μ-calculus (Mμ). We propose SMACS (Self-adaptive Multi-Agent Concurrent System) framework, that is specifically designed for complex architectures, those contain inter-connected components in a heterogenous way. All agents of SMACS are also known as intelligent agents due to their self-adaptation behavior. The internal structure of SMACS framework is based on MAPE-K feedback loop. Each phase of the feedback loop works as an internal agent known as; Monitor Int-Agent, Analyzer Int-Agent, Planer Int-Agent and Executer Int-Agent. The agents adapt and update their behavior through interaction with the environment by using the decentralized approach. The Liveness, Safeness and Deadlock-freedom properties of self-adaptive agents are being verified through the TAPA model checker. For implementation of SMACS framework, Traffic Monitoring System (TMS) and Smart Computer Lab (SCL) are chosen as case studies. CPN based state space analysis will also be done to verify the behavioral properties of the model. The general objective of the proposed system is to maximize the utility generated over some predetermined time horizon. This research will provide new direction for modeling and verification of concurrent system. The main idea behind this work is to achieve true concurrency of multiple interconnected self-adaptive agents with their dynamic behavior.