محمد عباس اثرؔ(۱۹۰۱ء۔پ) کا اصل نام محمد عباس اور اثرؔ تخلص کرتے تھے۔ اثر ؔراولپنڈی میں پیدا ہوئے۔ سیالکوٹ میں بزمِ افکار کا احیا کیا اور اس بزم کے صدر بنے۔ اثر سیالکوٹ میں حلقہ اربابِ ذوق کے ممبر بھی منتخب ہوئے۔ آپ نعت‘ غزل‘ نظم اور قطعات لکھتے تھے ۔(۳۴۴) اثر روایتی شاعر ہیں۔ ان کی شاعری توحید و رسالت‘ یاسیت اور دردو غم میں ڈوبی ہوئی ہے۔ نمونۂ کلام ملاحظہ ہو:
آج کچھ اور حال ہے دل کا
/بجھ رہا ہے چراغ محفل کا
-اک بگولہ اٹھا سرِ منزل
-اڑ رہا ہے غبار منزل کا
3غم کی کونپل نگاہ سے پھوٹی
/کوئی ٹوٹا ہے آبلہ دل کا
5آندھی اٹھی اثرؔ بڑھاؤ قدم
/بجھ رہا ہے چراغ منزل کا
(۳۴۵)
کیا سناتے انہیں ہم حال سنایا نہ گیا
درد محسوس تو ہوتا تھا دکھایا نہ گیا
اور تو رنج کئی ہم نے اٹھائے لیکن
رنج بے مہری احباب اٹھایا نہ گیا
(۳۴۶)
/شکستِ غم آرزو درد بن کر
میرے دل کو رہتا ہے اکثر لپیٹے
اثر میں نے اشعار میں ضبطِ غم سے
3سلگتے ہوئے چند آنسو سمیٹے
(۳۴۷)
The application of patient safety management is very important in an effort to prevent or minimize the occurrence of adverse patient safety incidents. The purpose of this study was to identify the factors that influence the achievement of patient safety target indicators. The method is a quantitative observational study with a cross sectional study approach. The study population was a nurse who worked in the inpatient room with a sample of 60 people who were taken by purposive sampling. The statistical test used is Multiple Linear Regression Analysis. The results of the Multiple Linear Regression Test show that knowledge, communication systems, commitment and experience (regression coefficient values of 0.164, 1.1192, 0.528 and 1.169 have a positive influence on the achievement of patient safety goal indicators and leadership, risk management systems and reporting systems have a significant influence. Negative impact on the achievement of patient safety target indicators (regression coefficient values of -0.064, - 0.967 and -0.281). The results of the t test were obtained that the communication system is the dominant factor that has a significant effect on the achievement of the patient safety goal indicators. Significant towards the achievement of patient safety target indicators. It is expected that input or consideration for the hospital in evaluating and improving hospital policies in increasing the achievement of patient safety target indicators is in accordance with existing targets.
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.