Modeling, Specification & Evaluation Language (MOSEL), tool used for the performance and reliability modeling of communication systems, computers, and manufacturing systems, once the system is specified using this language. The modeling language is part of the evaluation environment. Once the system is specified using the language, the evaluation environment takes place by executing the performance analyses of the model, and calculating the steady state probabilities . After this stage, results can be collected in the result file or in graphics mode using the Intermediate Graphical Language (IGL), where the aim of this paper is to give an overview of mosel and to show a real example under windows platform.
wael saleh mohamed abughres, Mohamed Ahmed Ramadan Mgheder, Ahmed B. Abdurrman (8-2017)

الهدف من هذه الرسالة هو تطور الأوضاع الاستقرار يابونوف جديدة لأنظمة غامض تاكاجي - Sugeno المستمر ، من أجل تقليل درجة من المحافظة . يتم تمثيل أنظمة غير الخطية والتي تسيطر عليها تاكاجي - Sugeno تصميم نموذج غامض. هذا التصميم يجمع بين مرونة نظرية المنطق الضبابي و أدوات التحليل الرياضي صرامة في نظرية النظام الخطي في إطار موحد . نظم غامض تاكاجي - Sugeno سماح التمثيل المتعدد الوسائط . يتم تنفيذ التصميم الأكثر استخداما السيطرة غامض في الأدب خارج باستخدام التعويضات الموزعة الموازي ( PDC) مخطط لأنها تشاطر نفس الوظائف العضوية للنموذج غامض TS . الفكرة الرئيسية لتصميم وحدة تحكم PDC هو لاشتقاق كل قاعدة التحكم من حكم المقابلة من TS نموذج غامض وذلك ل تعويض ذلك. وحدة تحكم غامض الشاملة الناتجة عن ذلك، والذي هو غير الخطية بصفة عامة ، هو مزج غامض كل دولة تحكم ردود فعل الخطية الفردية. الاستفادة من نموذج غامض TS يكمن في أن الاستقرار والأداء خصائص النظام الذي يمثله نموذج غامض TS يمكن تحليلها باستخدام يابونوف نهج الدالة حيث يعتمد ظروف الاستقرار القرار على مجموعة من المصفوفات الخطية عدم المساواة ( LMIS ) .كما هو معروف أن مشاكل التحكم غير الخطية يصعب ويصعب التعامل معها. نظام مقلوب البندول هو نظام غير الخطية نموذجية وغير مستقرة. تاكاجي-Sugeno نهج تحكم غامض لتحقيق الاستقرار في البندول المقلوب هو الهدف من هذه الأطروحة. تتم مراجعة الكثير من التقنيات، فضلا عن نموذج رياضي أكثر اكتمالا من النظام للتحقيق في مجموعة متنوعة من الظواهر غير الخطية.السبب وراء دراسة مقلوب البندول هو أن العديد من الأنظمة الهندسية هامة يمكن أن تكون على غرار تقريبا كما البندول ويمكن خطي من دون الكثير من الخطأ. علاوة على ذلك، مقلوب البندول هو أداة جيدة لاختبار وتقييم ومقارنة نظريات التحكم المختلفة.في هذه الأطروحة اثنين وأربعة قواعد جيدا أن تستخدم لTS النمذجة غامض، غير خطية القطاع المحلي، نفذت كما تصور الرئيسي للنموذج غامض TS التي تصف نظام غير الخطية كله وفقا للقواعد اللغوية IF-THEN، لكل قاعدة يناظر شروط الخطية المحلية أو النظم الفرعية في منطقة مساحة الدولة المختلفة. بالإضافة إلى ذلك، تم إجراء مقارنات بين استجابة النظام الأصلي ونماذج غامض TS تنفيذها اعتمادا على نهجين وكان خطأ صغير إلى حد كبير. بناء على هذه النماذج وقد تم بناؤها على السيطرة غامض T-S باستخدام اثنين وأربعة قواعد.علاوة على ذلك، أصبح المصفوفات الخطية عدم المساواة (LMI) مشاكل الأمثل الأداة المفضلة للسيطرة غامض في عام 1990. يمكن أن تكون على غرار العديد من أنظمة غير الخطية كما نظم غامض، لذلك يمكن اعتبار السيطرة غامض كأسلوب السيطرة غير الخطية. وقد تم الحصول على نتائج مفيدة باستخدام LMIS، ومع ذلك لا تزال بعض المصادر من التحفظ بالمقارنة مع النهج غير الخطية الأخرى. تتعامل هذه الأطروحة مع مثل هذه القضايا من التحفظ ويناقش بعض الأفكار حول التغلب عليها.والميزة الرئيسية لتركيبات المصفوفات الخطية عدم المساواة هو أنها يمكن أن تضمن الاستقرار والأداء من نظام غير الخطية من قبل على غرار نظام غامض تاكاجي-Sugeno. يوصف النظام عن طريق IF-THEN غامض القواعد التي تمثل الأنظمة الخطية "المحلية" من النبات غير الخطية. وتتمثل هذه القواعد عدديا من قبل مجموعة من الوظائف العضوية. كما عيب والمنهجيات التفاوت مصفوفة خطية الحالية لا تشمل شكل وظائف الأعضاء.ولذلك ثبت أن الاستقرار لأي مجموعة من القواعد مع أي وظيفة العضوية التي يمكن وصفها من قبل هذه النماذج الخطية. هذا هو مصدر من المحافظة التي يمكن تخفيضها.
محمد خليفة طلحة (2013)

Abstract The number of mobile service users has been tremendously increased during the last few years, and the types of mobile services are developed from pure voice to data and multimedia services, such as audio/video streaming, e-mail, file transfer, and web browsing. These services have quite different requirements for their quality. 3G WCDMA cellular mobile networks answer this growing demand for these wireless data services. Then it needs to provide a huge capacity and wide area of coverage with acceptable quality of service. Capacity and coverage in WCDMA networks planning are the important issues because they are dependent of each other and related to the services data rate. In this thesis the capacity and coverage of mixed rate services are derived and analyzed. The uplink Capacity Coverage Product (CCP) of mixed rate services is developed by two methods, and three scenarios are assumed. The first method is the exact solution and the second method is the approximate solution. Math lap computer programs are used to get results and curves. Then some parameters affecting the mixed rate CCP are studied and a comparison between the two methods is also performed.The application of CCP in dimensioning and planning of a single service and mixed rate services WCDMA network is presented. A comparison with the conventional planning method is performed.
علي صالح منصور (2008)