کلیه مطالب این سایت فاقد اعتبار و از رده خارج است. تعطیل کامل

شهریور 1403
شن یک دو سه چهار پنج جم
 << <   > >>
          1 2
3 4 5 6 7 8 9
10 11 12 13 14 15 16
17 18 19 20 21 22 23
24 25 26 27 28 29 30
31            


 

کلیه مطالب این سایت فاقد اعتبار و از رده خارج است. تعطیل کامل کلیه مطالب این سایت فاقد اعتبار و از رده خارج است. تعطیل کاملکلیه مطالب این سایت فاقد اعتبار و از رده خارج است. تعطیل کامل کلیه مطالب این سایت فاقد اعتبار و از رده خارج است. تعطیل کامل کلیه مطالب این سایت فاقد اعتبار و از رده خارج است. تعطیل کامل کلیه مطالب این سایت فاقد اعتبار و از رده خارج است. تعطیل کامل

لطفا صفحه را ببندید کلیه مطالب این سایت فاقد اعتبار و از رده خارج است. تعطیل کامل

لطفا صفحه را ببندید

کلیه مطالب این سایت فاقد اعتبار و از رده خارج است. تعطیل کامل

کلیه مطالب این سایت فاقد اعتبار و از رده خارج است. تعطیل کامل کلیه مطالب این سایت فاقد اعتبار و از رده خارج است. تعطیل کامل

لطفا صفحه را ببندید

کلیه مطالب این سایت فاقد اعتبار و از رده خارج است. تعطیل کامل

کلیه مطالب این سایت فاقد اعتبار و از رده خارج است. تعطیل کامل

لطفا صفحه را ببندید

کلیه مطالب این سایت فاقد اعتبار و از رده خارج است. تعطیل کامل کلیه مطالب این سایت فاقد اعتبار و از رده خارج است. تعطیل کامل کلیه مطالب این سایت فاقد اعتبار و از رده خارج است. تعطیل کامل

کلیه مطالب این سایت فاقد اعتبار و از رده خارج است. تعطیل کامل کلیه مطالب این سایت فاقد اعتبار و از رده خارج است. تعطیل کامل کلیه مطالب این سایت فاقد اعتبار و از رده خارج است. تعطیل کامل

لطفا صفحه را ببندید

کلیه مطالب این سایت فاقد اعتبار و از رده خارج است. تعطیل کامل

کلیه مطالب این سایت فاقد اعتبار و از رده خارج است. تعطیل کامل

کلیه مطالب این سایت فاقد اعتبار و از رده خارج است. تعطیل کامل کلیه مطالب این سایت فاقد اعتبار و از رده خارج است. تعطیل کامل

کلیه مطالب این سایت فاقد اعتبار و از رده خارج است. تعطیل کامل

لطفا صفحه را ببندید

کلیه مطالب این سایت فاقد اعتبار و از رده خارج است. تعطیل کامل

کلیه مطالب این سایت فاقد اعتبار و از رده خارج است. تعطیل کامل کلیه مطالب این سایت فاقد اعتبار و از رده خارج است. تعطیل کامل

لطفا صفحه را ببندید

کلیه مطالب این سایت فاقد اعتبار و از رده خارج است. تعطیل کامل

کلیه مطالب این سایت فاقد اعتبار و از رده خارج است. تعطیل کامل

کلیه مطالب این سایت فاقد اعتبار و از رده خارج است. تعطیل کامل

کلیه مطالب این سایت فاقد اعتبار و از رده خارج است. تعطیل کامل

 

کلیه مطالب این سایت فاقد اعتبار و از رده خارج است. تعطیل کامل کلیه مطالب این سایت فاقد اعتبار و از رده خارج است. تعطیل کاملکلیه مطالب این سایت فاقد اعتبار و از رده خارج است. تعطیل کامل کلیه مطالب این سایت فاقد اعتبار و از رده خارج است. تعطیل کامل کلیه مطالب این سایت فاقد اعتبار و از رده خارج است. تعطیل کامل کلیه مطالب این سایت فاقد اعتبار و از رده خارج است. تعطیل کامل

لطفا صفحه را ببندید کلیه مطالب این سایت فاقد اعتبار و از رده خارج است. تعطیل کامل

لطفا صفحه را ببندید

کلیه مطالب این سایت فاقد اعتبار و از رده خارج است. تعطیل کامل

کلیه مطالب این سایت فاقد اعتبار و از رده خارج است. تعطیل کامل کلیه مطالب این سایت فاقد اعتبار و از رده خارج است. تعطیل کامل

لطفا صفحه را ببندید

کلیه مطالب این سایت فاقد اعتبار و از رده خارج است. تعطیل کامل

کلیه مطالب این سایت فاقد اعتبار و از رده خارج است. تعطیل کامل

لطفا صفحه را ببندید

کلیه مطالب این سایت فاقد اعتبار و از رده خارج است. تعطیل کامل کلیه مطالب این سایت فاقد اعتبار و از رده خارج است. تعطیل کامل کلیه مطالب این سایت فاقد اعتبار و از رده خارج است. تعطیل کامل

کلیه مطالب این سایت فاقد اعتبار و از رده خارج است. تعطیل کامل کلیه مطالب این سایت فاقد اعتبار و از رده خارج است. تعطیل کامل کلیه مطالب این سایت فاقد اعتبار و از رده خارج است. تعطیل کامل

لطفا صفحه را ببندید

کلیه مطالب این سایت فاقد اعتبار و از رده خارج است. تعطیل کامل

کلیه مطالب این سایت فاقد اعتبار و از رده خارج است. تعطیل کامل

کلیه مطالب این سایت فاقد اعتبار و از رده خارج است. تعطیل کامل کلیه مطالب این سایت فاقد اعتبار و از رده خارج است. تعطیل کامل

کلیه مطالب این سایت فاقد اعتبار و از رده خارج است. تعطیل کامل

لطفا صفحه را ببندید

کلیه مطالب این سایت فاقد اعتبار و از رده خارج است. تعطیل کامل

کلیه مطالب این سایت فاقد اعتبار و از رده خارج است. تعطیل کامل کلیه مطالب این سایت فاقد اعتبار و از رده خارج است. تعطیل کامل

لطفا صفحه را ببندید

کلیه مطالب این سایت فاقد اعتبار و از رده خارج است. تعطیل کامل

کلیه مطالب این سایت فاقد اعتبار و از رده خارج است. تعطیل کامل

کلیه مطالب این سایت فاقد اعتبار و از رده خارج است. تعطیل کامل

کلیه مطالب این سایت فاقد اعتبار و از رده خارج است. تعطیل کامل



جستجو


آخرین مطالب


 



شیب شمالی

N

شیب غربی

W

فصل اول

مقدمه

۱-۱– کلیات

سیستماتیک: علم بررسی تنوع موجودات زنده است. این علم شامل کشف، توصیف و تفسیر گوناگونی های زیست شناختی و تلفیق اطلاعات حاصل از این گوناگونی ها به شکل سیستم های طبقه بندی پیش نگر است. علم سیستماتیک به بررسی علمی اشکال مختلف و گوناگونی های موجود در عالم جانداران و هر گونه رابطه بین آنها می ­پردازد (۱۴) .
تعریف فلور و فلورستیک
فلورستیک: شاخه ای از علم گیاه شناسی است که به شناسایی و لیست کردن همه ی گونه های گیاهی یک منطقه می ­پردازد. رستنی های یک منطقه را فلور می­نامند. به کتاب یا دیگر آثاری که رستنی های یک منطقه را شرح می­ دهند نیز فلور گفته می­ شود. فلور در معنای دوم ابزاری برای شناسایی تاکسون های یک منطقه به شمار می آید. بنابراین فلورستیک در بر دارنده ی بررسی فلور ها (رستنی های مناطق) و تهیه ی فلور ها (کتاب های رستنی های مناطق) است (۱۲).

(( اینجا فقط تکه ای از متن درج شده است. برای خرید متن کامل فایل پایان نامه با فرمت ورد می توانید به سایت feko.ir مراجعه نمایید و کلمه کلیدی مورد نظرتان را جستجو نمایید. ))

برای شناخت فلور و پوشش گیاهی یک منطقه داشتن اطلاعات کلی از تاریخچه اکولوژی، منابع شناسایی، موقعیت جغرافیایی، عوامل دیرینه شناسی و ویژگی های کمی و کیفی آن فلور ضروری است. در واقع مجموع این یافته ها سیمای یک فلور و پوشش گیاهی یک منطقه را ترسیم می­نماید و آگاهی از این یافته ها مقدمه ای برای شناخت کامل یک فلور است (۳۰).
زیستگاه ها بلوک های ساختمانی اساسی محیط زیست می­باشند که توسط حیوانات و گیاهان اشغال شده اند و به عنوان واحدی برای توصیف محل و مدیریت حفاظت از محیط زیست مهم هستند. زیستگاه به عنوان منطقه ای که در آن یک موجود زنده یا گروهی از موجودات زنده زندگی می­ کند شرح داده می­ شود و توسط اجزای زنده و غیرزنده محیط زیست تعریف می­ شود (۹).

۱-۲- ویژگی های سرزمین ایران

کشور پهناور ایران در جنوب غرب آسیا یکی از مناطق نیمکره شمالی است که به سبب برخی عوامل از جمله شرایط اقلیمی متفاوت، وجود کوههای مرتفع حصار مانند در اطراف، وجود کویر بزرگ مرکزی و با وسعتی بیش از ۱۶۴۰۰۰۰ کیلومتر مربع، نوعی ویژگی و تنوع زیستی در هر گوشه و کنار خود دارد و در هر بخش آن، ترکیب خاص عناصر مختلف زیستی نوعی اکوسیستم ویژه بوجود آورده است. نواحی مختلف جغرافیای گیاهی در فلات ایران باعث جریان ژنتیکی عظیم در این منطقه شده و در نتیجه تنوعی خاص در گونه های گیاهی پدید آورده است که در مقایسه با کشورهای همجوار و برخی نقاط دیگر بسیار جالب است. برخی از گونه های گیاهی در حصار موانع طبیعی در سرزمین اصلی خود ایران به صورت بومزاد (اندمیک) محصور مانده اند. بخش بزرگی از این سرزمین را نواحی بیابانی، نیمه بیابانی و کویری تشکیل می­دهد. ساکنان نواحی بیابانی و نیمه بیابانی ایران همواره به پوشش گیاهی آن سخت وابسته بوده اند و هر کجا که پوشش گیاهی توانسته است میکروکلیمای مناسبی پدید آورد مردم در آنجا سکنی گزیده اند. همین عرصه های محدود پوشش گیاهی، به سبب تنوع آب و هوائی، توپوگرافی و ادافیکی بسیار متفاوت و ناهماهنگ است. پوشش گیاهی کشور ایران به طور اخص، معمولا از پهنه های محدود گسسته و پراکنده تشکیل یافته است. در صد پوشش این پهنه ها در نواحی شمالی و برخی نواحی شمال غربی و پر باران بسیار بالاست ولی در نواحی خشک و کم باران که تبخیر آن چندین برابر بارش است در صد آن بسیار پائین ولی در عوض تنوع گونه ای در آنها بسیار بالاست (۶).
تنوع گونه ای گیاهان در ایران رقمی چشمگیر دارد و در مقایسه ایران یکی از کشورهای کم نظیر جهان از این حیث است. در ایران ۱۶۷ تیره از گیاهان آوندی وجود دارد که شامل ۱۲۱۵ جنس بوده، بعضی از آنها فقط دارای یک گونه و بعضی از آنها تا حدود ۸۰۰ گونه دارند. مجموع تاکسونهای موجود در ایران حدود ۸۰۰۰ است که شامل حدود ۶۴۱۷ گونه، ۶۱۱ زیر گونه، ۴۶۵ واریته، و ۸۳ هیبرید است. از این تعداد حدود ۱۸۱۰ تاکسون بومزاد (اندمیک) ایران هستند. آمار فعلی مربوط به بررسی های انجام شده تا سال ۱۳۷۹ درهرباریوم مرکزی دانشگاه تهران است (۶).

۱-۳- تاریخچه مطالعات فلورستیکی در ایران

علی‌رغم‌ اینکه‌ ایرانیان‌ در علم‌ استفاده‌ از گیاهان‌ و بالطبع‌ شناسایی‌ آنها سابقه‌ای‌ بس‌ طولانی‌ دارند، معهذا در دوران‌ تحول ‌این علم‌ در دنیا و جایگزینی‌ متدهای‌ نوین‌ در شناسایی‌ گیاهان‌، سابقه‌ چندانی‌ در منابع‌ و مأخذ متعلق‌ به‌ ایران‌ در این‌ دوره‌ دیده‌ نمی‌شود. در حالی‌ که‌ در سالهای‌ ۱۷۰۰ تا ۱۸۰۰ میلادی‌ در کشورهای ‌اروپایی‌ با احداث‌ هرباریوم‌ها و باغ‌های‌ گیاهشناسی‌ زمینه‌های‌ لازم‌ برای‌ توسعه‌ علم‌ گیاهشناسی‌ فراهم‌ می‌شد‌، در ایران‌ تحول‌ قابل‌ ملاحظه‌ای‌ مشهود نبود. از این‌ رو در همین‌ سال‌ها جاذبه‌های‌ گیاهشناسی‌ ایران‌، موجب‌ انجام‌ مسافرت‌های‌ متعدد گیاهشناسان‌ اروپایی‌ به‌ ایران‌ گشت‌، نمونه‌های‌ گیاهی‌ متعددی‌ در این‌ سال‌ها از ایران‌ جمع‌ آوری‌ گردید که‌ هم‌ اکنون‌ در هرباریوم‌های‌ اروپایی‌ نگهداری‌ می‌شوند ( قهرمان ۱۳۷۵) (۱۰).
به طور یقین تنوع فلور و پوشش گیاهی از عوامل اصلی قرار گرفتن سرزمین وسیع ایران در کانون توجه علم گیاه شناسی و گیاه شناسان بوده است (۳۰).

۱-۳-۱- تاریخچه مطالعات فلورستیکی ایران:

اطلاعات در این زمینه در ایران حاصل مطالعات فلوریستیکی در حدود ۳۰۰ سال است که اغلب توسط گیاه شناسان خارجی جمع آوری شده است. مرحوم پروفسور احمد پارسا که از بنیان‌ گذاران علم گیاه‌ شناسی نوین در ایران است، از ابن سینا – د انشمند بزرگ ایرانی – به عنوان بنیان ‌گذار فلور در آسیا و ایران یاد می‌کند (۳۰).
سرآغاز‌ سفر های گیاهشناسی اروپائیان در ایران احتمالاً در سال ۱۶۸۴ میلادی بوده که دکتر کمپفر آلمانی به جنوب قفقاز، رشت, قزوین, اصفهان، شیراز و کرانه‌ های خلیج فارس رفت. یکی از ره آوردهای علمی او از ‌این سفر چند ساله مجموعه‌ای از گیاهان‌این نواحی بود که به بریتیش میوزیم در لندن منتقل شد (۱۰).
پس از او دانشمندان و کسان دیگری به ترتیب زیر به‌ ایران آمدند:
۱۷۷۴-۱۷۷۰ میلادی: گملین آلمانی گیاهان گیلان را گرد آوری و به بریتیش میوزیم داد.
۱۷۸۴-۱۷۷۰ : دانشمند فرانسوی آندره میشو گیاهان برخی از نواحی جنوبی ‌ایران را جمع کرد و آنها را به هرباریوم گیاهشناس نامی فرانسوی آلفونس دوکاندل در فرانسه داد.
۹۷-۱۷۹۶ : دو فرانسوی به نامهای الیویه و برونی‌یر گیاهان نواحی شمالی و غربی ‌ایران را جمع کردند. در حدود همین سالها، بلانژه فرانسوی نیز در مسافرت خود به تهران, اصفهان، شیراز و بوشهر, گیاهان‌این نواحی را گرد آورد.
۱۸۲۸ : سیوویتس , اهل مجارستان، مجموعه‌ای از گیاهان خوی و ارومیه را گرد آورد.
۱۸۳۷-۱۸۳۵ : اوشه الوای فرانسوی دوبار به‌ایران سفر کرد. از طریق بغداد به کرمانشاه, همدان و اصفهان رفت و در مسیر خود مجموعه‌ای از گیاهان زردکوه، نعل کوه, خوی، تبریز، دماوند, اصفهان، بوشهر و بندر عباس را تهیه کرد. در سفر دوم، در‌ایران در گذشت ( مدفنش در صحن کلیسای ارامنه جلفای اصفهان است). مجموعه‌های او را که در موزه تاریخ طبیعی پاریس محفوظ است گیاهشناس نامدار سوئیسی ادموند بواسیه معرفی کرد.
۱۸۴۳-۱۸۴۲ : تئو‌‌درکچی، گیاهشناس اتریشی، دوبار متوالی به ایران سفر کرد. بار اول که از طریق خیلج فارس به‌ایران آمد, گیاهان جزیره خارک, بوشهر, دالکی, شیراز, تخت جمشید وکوههای مجاور آن را گرد آورد. بار دوم از گیاهان ارتفاعات البرز مجموعه‌ای تهیه کرد. بعدها نامهای گیاهان گرد آمده از‌این نواحی را در مجله‌های خارجی منتشر کرد و گونه‌های جدید بسیاری از‌ ایران را شناسانید.
۱۸۴۹-۱۸۴۷ : دکتر بوزه، از اهالی ریگا (لتونی) ، از آذربایجان، گیلان, مازندان، تهران، اصفهان و یزد گیاهانی را گرد آورد که بعدها بواسیه در کارهای خود از آنها استفاده کرد. گیاهان بوزه در کتاب او به نام سفری به ماوراء قفقاز و‌ ایران در ۴۹-۱۸۴۵ در مسکو به چاپ رسید.
۱۸۵۱-۱۸۵۰: دکترستاکس انگلسیی در نواحی مرزی بلوچستان ‌ایران و پاکستان گیاهانی را جمع کرد.
۱۸۶۷-۱۸۶۵: پروفسور ‌هاوسکنخت آلمانی گیاهان کردستان و کوههای مجاور صحنه را جمع کرد. همچنین با شناسایی گیاهان گرد آورده شلیمر، طبیب ناصرالدین شاه و معلم دارالفنون قدیم، به محتوای گیاهشناختی کتاب او کمک نمود. در همان سالها کافر برخی از گیاهان کاشان را جمع کرد.
۱۸۵۸: فن بونژ، از دوستان بواسیه، به ‌ایران و افغانستان سفر کرد و مجموعه‌هایی شامل دو هزار گونه گیاهی از گرگان، مازندران، شاهرود, مشهد، طبس، تهران، اصفهان، یزد و کرمان فراهم آورد. همه گونه‌های گرد آورده او بوسیله بواسیه معرفی و چاپ شد.
۱۸۸۶-۱۸۸۵: دکتر شتاپف، رئیس هرباریوم کیو (لندن) ، در سفری به‌ ایران، گیاهان کازرون و حوالی کتل مالو و کتل پیرزن را گرد آورد. وی کارهای ارزشمندی درباره گیاهان ‌ایران دارد.
۱۸۹۴: فرین توصیف مجموعه گیاهان گرد آورده خود از بندرگز و گرگان را به چاپ رسانید.
۱۹۰۸: جیمز گیاهان باغی کرمان را جمع کرد.
۱۹۰۹-۱۸۷۹: اشتراوس در مسافرتهای متعدد خود در نقاط غربی ‌ایران در مدت سی سال اقامت خود در‌این کشور، گیاهان بسیاری از نقاط مختلف گرد آورد. توصیف‌ این گیاهان را برنمولر در ۲۰۲ صفحه در پنج شماره مجله ”با یهفته تسوم بوتانیشن سنترال بلات“ از سال ۱۹۰۵ تا ۱۹۱۰ و مجموعه دیگری را به نام (مجموعه جدید اشتراوس) در ۲۴۱ صفحه در سه شماره همان مجله در سالهای ۱۱-۱۹۱۰ چاپ کرد. مجموعه‌ای از خزه‌ها و هپاتیکهای ‌ایران نیز گرد آوری شد که بخشی از آنها را شیفنر تشخیص داد و وصف آنها را در ۱۹۰۸ منتشر کرد.
۱۹۰۲: سین تنیس گیاهانی از گرگان و ارتفاعات آن نواحی گرد آورد.
۱۹۳۹-۱۸۸۹: گیاهشناس نامدار، ی. برنمولر، از اهالی وایمار آلمان، چندین بار به نقاط مختلف‌ایران مانند کرمان، یزد، بوشهر و اصفهان سفر کرد. از مجموعه گیاهان گردآورده افراد دیگری مانند اشتراوس، کناپ و گائوبا نیز در انتشارات خود بهره گرفت. او حدود پانصد گونه تازه در ‌ایران کشف کرد.
۱۹۱۳: پوپنوک گیاهان جزیزه هرمز در خلیج فارس را جمع کرد.
۱۹۲۰-۱۹۱۹: گاندژر گیاهان کرانه‌های جنوب‌ ایران را گرد آورد و وصف آنها را چاپ کرد.
۱۹۲۶: گروسهایم توصیف گیاهانی از تبریز، جلفا، مرند، کوه میشوداغ، یام، صوفیان، انیل‌زنیل را به چاپ رسانید.
۱۹۲۶-۱۹۲۵: گیلیات- سمیث گیاهانی از نقاط مختلف آذربایجان گرد آورد که بوسیله دکتر تاریل، رئیس وقت هرباریوم و کتابخانه کیو، به چاپ رسید.
۱۹۲۷: مکمیلان گیاهان مسجد سلیمان را جمع کرد.
۱۹۲۸: چیک گیاهان شیراز و نواحی مجاور آن را گرد آورد.
۱۹۲۸: هرنر گیاهان بوشهر، دشت ارژن (فارس) و میان کتل را جمع کرد.
۱۹۲۹: دارلینگتون و کاوان گیاهان آذربایجان، اصفهان, قزوین و کرمانشاه را جمع کردند.

موضوعات: بدون موضوع  لینک ثابت
[سه شنبه 1401-04-14] [ 06:26:00 ب.ظ ]




T24: اعلام آمادگی برای ورود به مرحله بعد با یک سیستم ذخیره سازی و هر دو سیستم میزبان

( اینجا فقط تکه ای از متن فایل پایان نامه درج شده است. برای خرید متن کامل پایان نامه با فرمت ورد می توانید به سایت feko.ir مراجعه نمایید و کلمه کلیدی مورد نظرتان را جستجو نمایید. )

T25: اعلام آمادگی برای ورود به مرحله بعد با تنها یک سیستم ذخیره سازی و یک میزبان
T26: تلاش برای رفع مشکل نرم افزاری در مولفه های ناکارا
T27: ایجاد ماشین های مجازی لازم بر روی ESXها و روشن کردن آنها
T28: ایجاد یک HA cluster و اجرا کردن سرویس HA بر روی تعدادی از VMها
T29: اعلام آمادگی سیستم برای ورود به مرحله بعد
T30: سرویس های سطح بالای دیگری مورد نیاز است.
T31: ایجاد یک جفت fault tolerance
T32: سرویس های سطح بالای دیگری مورد نیاز است.
T33: اعلام آمادگی سیستم برای ورود به مرحله بعد
T34: اعلام آمادگی سیستم برای ورود به مرحله بعد بدون امکان اجرای سرویس های سطح بالا. این حالت به دلیل در دسترس نبودن تعداد کافی مولفه های سخت افزاری بروز نموه است.
T35: ایجاد توازن و بهینگی در میزان منابع تخصیص یافته به ماشین های مجازی و سرویس ها و نیز رزرو کردن منابع لازم برای موارد خاص از جمله بروز مشکل در یکی از سیستم های میزبان و غیره. این کار توسط سرویس DRS صورت می گیرد.
T36: ESX درخواست ماشین های مجازی در حال اجرا را دریافت و به آنها سرویس می دهد.
T37: ارائه بازخورد سرویس دهی به سیستم
T38: پردازش داخلی سرویس FT برای انتقال کنترل از یک ماشین مجازی به جفت آن در شرایط بروز مشکل برای ماشین مجازی اول
T39: ارائه بازخورد سرویس دهی به سیستم
T40: طرح درخواست مهاجرت یک ماشین مجازی توسط مدیر سیستم. این درخواست توسط سرویس VMotion اجرا خواهد شد.
T41: پردازش داخلی سرویس VMotion برای انتقال یک ماشین مجازی از یک سیستم میزبان به میزبان دیگر
T42: ارائه بازخورد سرویس Motion به سیستم
T43: پردازش داخلی کلاستر HA
T44: ارائه بازخورد سرویس HA به سیستم
T45: هر دو دستگاه ذخیره سازی به درستی بوت شده اند و در عین حال، هر دو سیستم میزبان در این مرحله دچار مشکل شده اند.
T46: هر دو سیستم میزبان به درستی بوت شده اند و در عین حال، هر دو دستگاه ذخیره سازی در این مرحله دچار مشکل شده اند.
T47: تمام چهار مولفه اصلی سیستم در مرحله بوت دچار مشکل شده اند.
T48: مسئول رفع اشکال، موفق به برطرف کردن مشکل مولفه های نقص یافته می شود.
T49: مسئول موفق به رفع ایراد نمی شود.
T50: بارگزاری ماشین مجازی دچار اختلال می شود
T51: ایجاد کلاستر HA دچار اختلال شده و ناکام مانده است
T52: ایجاد جفت FT دچار اختلال شده و ناکام مانده است
T53: بروز اختلال در سرویس دهی ESX به ماشین های مجازی
T54: بروز اختلال در سرویس FT
T55: بروز اختلال در سرویس VMotion
T56: بروز اختلال در سرویس HA
T57: ارسال بازخورد در مورد عدم موفقیت در ایرادیابی فیزیکی و بازگشت به وضعیت اولیه
T58: رفع اشکال در بارگزاری ماشین مجازی
T59: رفع اشکال در ایجاد کلاستر HA
T60: رفع اشکال در ایجاد جفت FT
T61: برطرف کردن اشکال در روند سرویس دهی ESX
T62: برطرف کردن اشکال در روند سرویس دهی FT
T63: برطرف کردن اشکال در روند سرویس دهی VMotion
T64: برطرف کردن اشکال در روند سرویس دهی FT
پس از شرح مختصر گزارها در مدل که باعث تغییر وضعیت آن و به وجود آمدن توزیع های مختلف توکن در مدل می شوند، به تحلیل دقیقتر آن می پردازیم. در این بخش برای تحلیل بهتر مدل می توانیم آن را به چند مرحله[۱۵۱] تقسیم نمائیم تا بتوانیم رفتار سیستم را گروه بندی کنیم. پس از شناخت رفتار این دیتا سنتر نمونه، می توان رفتار آن را از جنبه های مختلف به کمک ابزار فرمال ارزیابی و تحلیل نمود.
به این منظور، انتقال کنترل در مدل را به مراحل زیر تقسیم می کنیم:
مرحله۱: از زمان روشن کردن مولفه های سخت افزاری شامل دستگاه های ذخیره سازی و سیستم های میزبان تا انتهای زمان بوت شدن یا دچار مشکل شدن آن ها (P0-P17 و P35، P36).
مرحله ۲: از هنگام آمادگی سیستم برای ایجاد و بارگزاری ماشین های مجازی تا هنگام آمادگی سیستم برای ایجاد توازن و بهینگی در میزان منابع تخصیص یافته به ماشین های مجازی و سرویس ها توسط سرویس DRS (P18-P23 و P37-P39).

موضوعات: بدون موضوع  لینک ثابت
 [ 06:26:00 ب.ظ ]




تشخیص اینکه نیاز هست چه کاری انجام شود،
انجام اقدامات حمایتی در ازای تلاش­ های صورت گرفته،
تشخیص دادن پیروانی که عملکرد خوبی داشته و اهداف مورد توافق را تحقق می بخشند،
پیگیری کردن جهت حصول اطمینان از اینکه اهداف مورد توافق به­ طور رضایت­بخشی محقق شده ­اند،
سازماندهی برای فراهم کردن منابع مورد نیاز پیروانی که اهداف موردنظر را محقق کرده ­اند (Kirkbride, 2006).

( اینجا فقط تکه ای از متن فایل پایان نامه درج شده است. برای خرید متن کامل پایان نامه با فرمت ورد می توانید به سایت feko.ir مراجعه نمایید و کلمه کلیدی مورد نظرتان را جستجو نمایید. )

۲-۱-۱۱-۲ مدیریت بر مبنای استثناء فعال
که دربرگیرنده­ی مداخله­ی رهبر در کار پیروان پیش از آنکه امور مشکل­ساز شوند (Horwitz et al, 2008) در مدیریت برمبنای استثنای فعال رهبر با نظارت مستمر بر رفتار پیروان، تمامی انحراف از استانداردها، اشتباهات و خطاهای پیروان را در انجام وظایف کنترل کرده و در صورت لزوم اقدامات اصلاحی را انجام می­دهد (Bass & Riggio, 2006).
به­ طور کلی شاخص­ های کلیدی مدیریت برمبنای استثناء فعال عبارتند از:
سازمان­دهی برای آگاه شدن از اشتباهاتی که ممکن است رخ دهد،
توجه زیاد به اشتباهات و انحرافات،
آماده و گوش به زنگ بودن در خصوص انحراف از قوانین و
آموزش پیروان در خصوص نحوه­ اصلاح اشتباهات (Kirkbride, 2006).
۳-۱-۱۱-۲ مدیریت برمبنای استثناء منفعل
در این حالت رهبر تنها در زمانی به مداخله می ­پردازد که کارها با مشکل مواجه شده باشد (Horwitz, 2008:3-4). رهبر منتظر می­ماند تا انحراف­ها، اشتباهات و خطاها رخ دهند سپس اقدام به اصلاح می­ کند (Bass & Riggio, 2006). در واقع رهبر تنها در زمان بروز مشکل وارد عمل می­ شود تا مسائل حاد و وخیم نشوند (Horwitz et al, 2008).
شاخص­ های کلیدی مدیریت مبتنی بر استثناء منفعل:
اقدام نکردن مگر در صورت بروز مشکل،
اجتناب از تغییرات غیرضروری،
انجام اقدامات اصلاحی زمانی که اشتباهات رخ می­ دهند،
صرف انرژی زیاد برای نگهداری از وضع موجود و
حل مشکلات و از سرگرفتن دوباره­ی کارها (Kirkbride, 2006).
رهبری عدم مداخله­گر
طبق نظر برنارد باس[۱۷۲]، رهبر عدم مداخله­گر از نقش فعال رهبری خودداری نموده و در طیف رهبری، جزء غیرفعال­ترین نوع رهبری به­شمار می­رود (Horwitz et al, 2008).
یوکل[۱۷۳] (۲۰۱۰) رهبری عدم مداخله­گر را فقدان رهبری اثربخش تعریف می­ کند (Bagler et al, 2013).
سبک عدم مداخله در واقع به معنای عدم رهبری است. در این سبک رهبران از انجام وظایف رهبری خویش امتناع ورزیده و وظایف خود را به­ طور تمام و کمال به پیروان تفویض می­نمایند. آن ها با این فکر و ذهنیت نادرست که تفویض اختیار موجب سلب مسئولیت می­ شود، در مقابل اشتباهات زیردستان خود را مبری دانسته و تمام عواقب ناگوار تصمیمات را متوجه آنان می­نمایند. این رهبران هیچ نوع حمایتی از پیروان خویش به­عمل نمی­آورند، که این امر باعث می­ شود سطح رضایتمندی و انگیزش کارکنان به شدت کاهش یافته و به ایجاد و افزایش میزان بیگانگی شغلی در بین کارکنان دامن زده شود (الوداری، ۱۳۸۹).
شاخص­ های کلیدی سبک رهبری عدم مداخله­گر عبارتند از:
اجتناب کردن از تصمیم ­گیری،
واگذار کردن مسئولیت ­ها،
اجتناب از جانبداری در مجادلات و
نشان دادن بی­علاقگی نسبت به امور جاری (Kirkbride, 2006).
۱۳-۲ رهبری و مدیریت دانش
اجرای موفقیت­آمیز مدیریت دانش مستلزم تعهد و رهبری آشکار مدیریت عالی در سرتاسر تلاش­ های مدیریت دانش است. یعنی، نوعی تغییر پارادایمی در فلسفه­ی مدیریت عالی مورد نیاز است. مدیریت باید به جای اصرار بر کنترل کارکنان بر تعهد، قابلیت اطمینان و اعتماد به آنان تأکید کند (Oliver & Kandadi, 2006).
اَمبیل[۱۷۴] (۱۹۹۹و ۱۹۹۶) این ایده را مطرح می­ کند که وظیفه­ی اولیه­ رهبران ایجاد جو و محیطی مطلوب است که هر یک از اعضای سازمان بتوانند در آن ایده­های جدید خلق کنند، دانش را توسعه دهند و به روز کنند. ابتکارات را عملی کنند و عملکرد شرکت را بهبود دهند، به نحوی که ارتباط منظم بین رهبران و کارکنان می ­تواند به وسیله­ اکتساب دانش تسریع شود (Girdauskiene & savaneviciene, 2012).
چالش اکثر رهبران ایجاد نوعی ظرفیت در دیگران از طریق ایجاد فضایی است که در آن، خلق و تسهیم دانش تشویق می­ شود. اشخاص در طی فرایند خلق دانش از طریق تجارب و تصورات شخصی­شان، دانش و ایده­های جدید ایجاد می­ کنند. این دانش­ها را می­توان در تیم با دیگران تسهیم نمود. رهبران از طریق ایجاد جوی که پذیرای ایده­های جدید است کارکنان را به تسهیم ایده­هایشان تشویق می­ کنند. کارکنان در زمانی که توسط مدیران قدردانی شوند، یا در شرایطی که تسهیم دانش بخشی از فرایند ارزشیابی عملکردشان باشد یا در زمانی که پاداش­های مالی و غیرمالی جهت تسهیم برای آن ها تدارک دیده شود با احتمال بیشتری به تسهیم دانش ترغیب می­شوند (Heibler, 1996).
پیکرینگ و ماتسون[۱۷۵] (۱۹۹۲) پیشنهاد می­ کنند که پارادایم جدید مدیران را به این باور می­رساند که کارکنان می­خواهند بخش مهمی از سازمان باشند، برای انجام خوب کار می­توان به آن ها اعتماد نمود و اینکه آنان توانا، خلاق و نوآور هستند. آن ها معتقدند که سبک رهبری جدید دربردارنده­ی بینش عمیق­تر، مدیریت سطح خرد کمتر، حمایت­گر و کمتر جهت­دهنده، آموزنده و کمتر کنترل­ کننده، تیم­محورتر با تمرکزی برنده- برنده و مسئولیت تیمی بیشتر و فعالیت فردی کمتر است. آن ها بر یادگیری و ارتباط جهت کمک به تعریف چشم­انداز، اهداف، نقش­ها و مسئولیت­های واضح و شفاف رهبری مدیریت عالی تمرکز می­ کنند.
بسیاری از اندیشمندان معتقدند که ابراز خصوصیات رهبری مثبت و سازنده در سطوح مختلف مدیریت، از مهمترین الزامات ایجاد فرهنگ دانشی در سازمان ها است (Oliver & Kandadi, 2006).
طبق نظر داونپورت[۱۷۶] و همکاران (۱۹۹۸) تعهد و رهبری مدیریت عالی، اساسی­ترین عامل موفقیت پروژه مدیریت دانش است (Heibler, 1996).
پولیتیس[۱۷۷] (۲۰۰۱) معتقد است که در میان انواع سبک­های مختلف رهبری، سبکی که شامل تعاملات انسانی و تشویق افراد به مشارکت و تصمیم ­گیری است، دارای بیشترین اثر بر مدیریت دانش ،بالاخص فرایند کسب دانش دارد. او مهمترین شاخص­ های رهبری برای کسب دانش را درک مشکلات و ایجاد ارتباطات، ویژگی­های شخصی رهبری، کنترل، مذاکره و قدرت سازماندهی می­داند (Politis, 2001).
وان بارن[۱۷۸] (۱۹۹۸) حمایت مدیریت ارشد را به­عنوان یکی از مهمترین عوامل برای خلق و تسهیم موفقیت­آمیز دانش در سازمان شناسایی نموده است (Heibler, 1996).
سینگ[۱۷۹] (۲۰۰۸) در تحقیق خود راجع به نقش رهبری در مدیریت دانش در شرکت­های نرم­افزاری به این نتیجه رسید که سبک­های دستوری و حمایتی رابطه­ منفی معناداری با اقدامات مدیریت دانش داشته و سبک­های مشاوره­ای و تفویضی بیشترین و مثبت­ترین رابطه را با اقدامات مدیریت دانش دارند. (singh,2008)
گوه[۱۸۰] (۱۹۹۸) خاطر نشان می­ کند که خلق مؤثر دانش بدون توانمندسازی کارکنان و تعهد قوی رهبر به سازمان امکان­ پذیر نمی ­باشد. به زعم وی مدیران عالی می بایست:
دانش کافی داشته باشند.
پیش ­بینی واقع­گرایانه­ای از نتایج مدیریت دانش داشته باشند.
با کارکنان ارتباط داشته باشند.
توانایی هماهنگ­سازی علایق مختلف واحدهای وظیفه ­ای درگیر در فرایند اجرای مدیریت دانش را داشته باشند (ابطحی و خیراندیش، ۱۳۹۰).
کانگاس[۱۸۱] (۲۰۰۹) در تحقیق خود در صنعت حمل­ونقل با ذکر اینکه اولین قدم و مهم­ترین قدم برای مدیریت دانش و خلق موفق دانش، توجه به افراد است، مهمترین اقدام رهبر را شناسایی نوع فرهنگ مناسب برای پیاده­سازی مدیریت دانش می­داند (Kangas, 2009).
مطالعه­ ای که توسط اندرسون[۱۸۲] و انجمن کیفیت و بهره­وری آمریکا[۱۸۳] انجام شد، نشان داد یکی از حیاتی­ترین دلایل عدم توانایی سازمان ها جهت استفاده اثربخش از دانش، فقدان تعهد رهبر عالی برای تسهیم دانش سازمانی است و دلیل دیگر کم بودن الگوهای نقش بود که رفتارهای مطلوب را به نمایش گذارند (Heibler, 1996).
جایا سنگام[۱۸۴] و همکارانش (۲۰۱۰) نیز به رابطه انواع قدرت رهبری با فرآیندهای مدیریت دانش پرداختند. آن ها دریافتند که قدرت تخصصی و مبتنی بر دانش، اثر مثبتی بر کسب و توزیع دانش داشته و قدرت مشروع، مانع از اقدامات کسب دانش خواهد شد (Jayasingam et al, 2010).
ویتالا[۱۸۵] (۲۰۰۴) رهبری دانش را فرآیندی می­داند که طی آن رهبر، کارکنان را در شناخت و یادگیری فرآیندهای لازم جهت تحقق اهداف سازمان یاری می­دهد (Viitala, 2004:8).
چینینگ لانگ[۱۸۶] (۲۰۰۱) در مطالعات خود مسائل مدیریتی مرتبط با دانش سازمانی را مورد بررسی قرار داده است. از منظر وی مدیران برای دستیابی به جایگاه رهبری دانش در سازمان باید گشودگی و اعتماد را از ارزش­های اصلی خود قرار دهند. از تیم­ها حمایت کنند و شکل­ گیری فرهنگ مشوق نوآوری، یادگیری و تسهیم دانش را مورد حمایت قرار دهند. بر این اساس مدیران دانش­پرور باید سازمان را به صورت جامعه­ای انسانی ببینند که قادر است اطلاعات حاصل از سیستم­های تکنولوژی را جهت خلق مفاهیم جدید به­کار گیرد. به این ترتیب مدیران به جای تأکید بر روش­های کنترلی و نیز شیوه ­های معمول انجام کار، زمینه را برای شناخت روش­های جدید انجام امور آماده می­سازند (Chinyinglang, 2001:50).
تئوری رهبری تحول­آفرین چشم­انداز مفیدی برای درک چگونگی تأثیر رهبران بر مدیریت دانش سازمانی فراهم می­ کند. رهبری تحول­آفرین یکی از مناسب­ترین سبک­های رهبری برای سازمان­های دانشی است. مؤلفه­ های تئوری رهبری تحول­آفرین تناسب خوبی با فرایند مدیریت دانش دارد. کارکنان در زمانی که دارای آزادی برای ایجاد ایده­های جدید، تسهیم آن ها با همکاران­شان و آزمون ایده­های جدیدشان هستند، بهره­ورترند (Sosik, 1997:465).
رهبری تحول­آفرین می ­تواند تأثیر مثبتی روی انتقال و تسهیم دانش داشته باشد (Girdauskeine & savaneviciene, 2012).

موضوعات: بدون موضوع  لینک ثابت
 [ 06:26:00 ب.ظ ]




که در آن m تعداد کل پارامترهای مدل و واریانس باقیمانده ها است.
ب- محک شوارتز:
در اینجا الگویی را انتخاب می کنیم که عبارت زیر را حداقل کند:

(‏۲-۲۶)

ثابت شده است که آزمون SC مدل های با مرتبه کمتر را انتخاب می کند و در آزمون AIC مدل های با مرتبه بالا انتخاب می شوند ]۴۲[.
فصل سوم
پخش بار سری زمانی
پخش بار سری زمانی
مقدمه
با افزایش تزریق تولیدات پراکنده[۵۱] در شبکه قدرت، توجه به این سطح از تولیدات در پخش بار سیستم قدرت نیز بیشتر شده است. در این فصل فرض بر این است که مقادیر تولیدات منابع پراکنده و یا توان اکتیو و راکتیو مصرفی سیستم به صورت سری های زمانی است و مقادیر عددی و نقطه به نقطه برای این متغیرهای ورودی موجود نیست. البته در این فصل برای مدل نمودن منبع تولید پراکنده از داده های حقیقی در تشکیل مدل سری زمانی استفاده شده است. در این بخش با هدف برآورد مدل سری زمانی دامنه ولتاژ و زوایای باس های سیستم قدرت، توان های اکتیو و راکتیو عبوری از خطوط و توان راکتیو تولیدی باس های PV از روش پخش باری که در سال ۱۹۷۴ توسط آلن[۵۲] و الشکرچی[۵۳] ]۱۲[ مطرح شد، استفاده شده است. در این روش از خطی سازی معادلات غیرخطی پخش بار، جهت یافتن سری زمانی متغیرهای خروجی مسئله استفاده می شود.

( اینجا فقط تکه ای از متن فایل پایان نامه درج شده است. برای خرید متن کامل پایان نامه با فرمت ورد می توانید به سایت feko.ir مراجعه نمایید و کلمه کلیدی مورد نظرتان را جستجو نمایید. )

پخش بار احتمالی
آنالیز پخش بار یکی از مهمترین جنبه های بهره برداری و برنامه ریزی در سیستم قدرت است. در پخش بار قطعی، تمامی توان های تزریقی به سیستم قدرت و توپولوژی شبکه به صورت مقادیر مشخص در نظر گرفته می شوند. این در شرایطی است که متغیرهای حالت سیستم به دلیل تغییرات تصادفی بار و تولیدات پراکنده، عدم تخمین دقیق بار سیستم و پارامترهای شبکه دارای طبیعت تصادفی می باشند.
با در نظر گرفتن موارد عدم قطعیت در بار و تولیدات سیستم قدرت، می توان پخش بار قطعی که به صورت مرسوم انجام می شود را بهبود بخشید. پخش بار احتمالی در شبکه قدرت به سه دسته کلی روش های عددی، تحلیلی و تقریبی تقسیم بندی می شوند. در پخش بار احتمالی متغیرهای تصادفی به صورت تابع توزیع احتمالی در نظر گرفته می شوند. البته برخی از محققان متغیرهای تصادفی در سیستم قدرت را به صورت فرآیندهای تصادفی مدل می کنند و از روش های مونت کارلو ترتیبی برای حل مسئله و در نظر گرفتن همبستگی زمانی میان متغیرها استفاده می کنند.
در مدلسازی بار و تولیدات سیستم قدرت، باید تغییرات هر کدام از متغیرها به صورت جداگانه، تابع توزیع احتمالی و ارتباط میان بار و تولیدات سیستم به درستی شبیه سازی شوند. روش های مرسوم برای مدلسازی ارتباط میان متغیرها شامل استقلال متغیرها، ارتباط خطی بین متغیرها و روش های پیچیده دیگر می باشد ]۱[.
استفاده از آنالیز سری های زمانی در شبیه سازی پارامترهای سیستم قدرت به مرور در حال افزایش است. از سوی دیگر با توجه به افزایش واحدهای تولید پراکنده در شبکه قدرت و اطلاع از وابستگی زمانی میان تولیدات پراکنده و بار سیستم، سری های زمانی می توانند برای آنالیز پخش بار در سیستم قدرت به کار گرفته شوند.
یک بار اجرای پخش بار قطعی نمی تواند تمامی نقاط کار ممکن در یک سیستم را بررسی کند. در مطالعات گذشته از سری زمانی بار و تولیدات سیستم به صورت ترتیبی و پشت سر هم، با انجام پخش بارهای متوالی استفاده شده است ]۱[. با داشتن اطلاعات مربوط به متغیرهای سیستم در یک بازه زمانی و یا شبیه سازی مدل سری زمانی، ارتباط میان متغیرهای بار و تولیدات سیستم به راحتی مدلسازی خواهند شد. اما استفاده از این روش نیازمند انجام پخش بارهای متعدد است. به طور مثال اگر پخش بار به صورت ساعتی انجام شود، در طول یک سال به تعداد ۸۷۶۰ پخش بار نیاز خواهیم داشت ]۱[.
در روشی که در این فصل پیشنهاد شده است، داده های ورودی در روش پخش بار از نمونه های تصادفی تابع توزیع احتمالی متغیرها حاصل نمی شود. بلکه مدل سری زمانی مربوط به تولیدات و بارهای سیستم به صورت مستقیم در آنالیز پخش بار وارد می شوند. همچنین فرضی که در این روش در نظر گرفته شده بدین صورت است که داده های عددی مربوط به متغیرها در دسترس نیست و نمی توان ارتباط میان متغیرهای ورودی را محاسبه کرد. به طور مثال شکل ‏۳‑۱ یک پخش بار قطعی در شبکه قدرت با مقادیر ورودی مشخص در باس های مختلف را نشان می دهد. در حالی که شکل ‏۳‑۲ پخش بار در شبکه ای که در آن ورودی های سیستم به صورت سری زمانی است را نشان می دهد.
شکل ‏۳‑۱: نمایش یک پخش بار قطعی در سیستم با ورودی های مشخص ]۱[
شکل ‏۳‑۲: نمایش یک پخش بار سری زمانی با ورودی های مدل سری زمانی ]۱[
معرفی روش پخش بار فرمولاسیون۴
روش فرمولاسیون۴ از خطی سازی تمامی قسمت های غیر خطی در معادلات پخش بار استفاده می کند. در واقع این روش در ادامه روش های فرمولاسیون۱، ۲ و ۳ است که پیشتر توسط آلن و الشکرچی پیشنهاد شده و کاملترین خطی سازی معادلات را در میان روش های قبلی دارد. در این روش برای یافتن نقاطی که حول آن ها خطی سازی صورت می پذیرد از یک پخش بار قطعی حول نقاط میانگین می کند ]۱۲-۱۱[. در یک پخش بار قطعی مقادیر معلوم در معادله شامل توان های اکتیو تزریقی در تمام باس ها به جز باس اسلک، توان راکتیو تزریقی در تمامی باس های PQ و دامنه ولتاژ در تمامی باس های دارای ژنراتور می باشد.
معادلات پخش بار را می توان به شکل کلی معادلات ۳-۱ الی ۳-۵ نوشت ]۱۲[:

(‏۳-۱)

(‏۳-۲)

که می باشد.

(‏۳-۳)

(‏۳-۴)

(‏۳-۵)

موضوعات: بدون موضوع  لینک ثابت
 [ 06:26:00 ب.ظ ]




Uwe Glässer, Yuri Gurevich, Margus Veanes, “An Abstract Communication Model”, Microsoft Research Technical Report MSR-TR-2002-55, May 2002.
Kamran Sartip, “LOTOS: Language of Temporal Ordering Specification”, Deptartment of Computing and Software, McMaster University, Canada, March 2007.
Kenneth J. Turner, “The Formal Specification Language LOTOS: A Course For Users”, Department of Computing Science and Mathematics, University of Stirling, Scotland, Aug. 1989.

    1. Logrippo, M. Faci, M. Haj-Hussein, “An introduction to LOTOS: learning by examples”, Computer Networks and ISDN Systems, Volume 23, Issue 5, Feb. 1992, pp 325-342, ISSN 0169-7552, DOI: 10.1016/0169-7552(92)90011-E.

Bernhard K. Aichernig, Andreas Kerschbaumer, “Property Orientation in the Model Oriented Vienna Development Method (VDM)”, Siteceer X, 1999, [Online]. Available: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.56.4913
Marian Iordache, Panos Antsaklis, “A Survey on the Supervision of Petri Nets,” DES Workshop PN 2005, Miami, FL, June 21, 2005.
Marian V. Iordache and Panos J. Antsaklis, “Petri Nets and Programming: A Survey”, ۲۰۰۹ American Control Conference, Hyatt Regency Riverfront, St. Louis, MO, USA, June 10-12, 2009.

    1. Miyamoto, S. Kumagai, “A Survey of Object-Oriented Petri Nets and Analysis Methods”, IEICE TRANS. FUNDAMENTALS, VOL. E88–A, NO.11 NOVEMBER 2005.
    1. Alur, J. Esposito, M.Kim, V. Kuma, I. Lee, “Formal modeling and analysis of hybrid systems: A case study in multi-robot coordination”, FM’99: Proceedings of the World Congress on Formal Methods, LNCS 1708, pp. 212–232, Springer, 1999.
    1. Murata, “Petri Nets: Properties, Analysis, and Applications”, Proceedings of IEEE, 77 (4) (1989) 541–۵۷۹٫
    1. Zurawski, M. Zhou, “Petri Nets and Industrial Applications: A Tutorial”, IEEE. Trans. Industrial Electronics, Vol. 41, No. 6, Dec. 1994.

W.M.P. van der Aalst, K.M. van Hee, G.J. Houben, “Modelling and Analysing Workflow using a Petri-net based approach”, Proceedings of Second Workshop on Computer-supported Cooperative Work, Petri nets related formalisms, pp. 31-50, 1994.
Emine G. Aydal, Richard F. Paige, Mark Utting, Jim Woodcock, “Putting Formal Specifications under the Magnifying Glass: Model-based Testing for Validation”, IEEE Proc. ICST ’۰۹ on Software Testing Verification and Validation, 2009, ISBN: 978-0-7695-3601-9

    1. Girault, R. Valk, “Petri Nets for Systems Engineering, A Guide to Modelling, Verification, and Applications”, ISBN: 3540412174, Springer-Verlag, July 2001.
    1. E. Holloway, B. H. Kroghand A. Giua, “A Survey of Petri Net Methods for Controlled Discrete Event Systems”, SpringerLink journal on Discrete Event Dynamic Systems, Vol. 7, Issue 2, April 1997, pp. 151-190, DOI: 10.1023/A:1008271916548.

Yuri Gurevich. Evolving Algebras. In B. Pehrson and I. Simon, editors, IFIP 1994 35 World Computer Congress, volume I: Technology and Foundations, pages 423-427. Elsevier, Amsterdam, 1994.

    1. B¨orger, “Modeling with Abstract State Machines: A support for accurate system design and analysis”, Modellierung 2004, volume P-45 of GI-Edition Lecture Notes in Informatics, pages 235–۲۳۹٫ Springer-Verlag, 2004.
    1. B¨orger, S. Mazzanti, “A practical method for rigorously controllable hardware design”, ZUM’۹۷: The Z Formal Specification Notation, volume 1212 of Lecture Notes in Computer Science, pages 151–۱۸۷٫ Springer-Verlag, 1997.

David Lee, Mihalis Yannakakis, “Principles and methods of testing finite state machines-a survey”, IEEE Proc. Vol. 84, Issue: 8, pp. 1090 – ۱۱۲۳, ISSN: 0018-9219, Aug. 1996.
Tommaso Bolognesi, Ed Brinksma, “Introduction to the ISO specification language LOTOS”, ACM Journal on Computer Networks and ISDN Systems, Volume 14, Issue 1, March, 1987, doi: ۱۰٫۱۰۱۶/۰۱۶۹-۷۵۵۲(۸۷)۹۰۰۸۵-۷.
Guy Ledu, “Multimedia in the E-LOTOS Process Algebra”, Chapter 16 of “Formal Methods For Distributed Processing – A Survey of Objet Oriented Approaches”, Cambridge University Press, 2001, pp. 357-372
Peter Gorm Larsen, Kenneth Lausdahl, Nick Battle, John Fitzgerald, “VDM-10 Language Manual”, Overture Technical Report Series, No. TR-001, May 2010.
John Fitzgerald, Peter Gorm Larsen and Shin Sahara, “Technical report series: Modeling and Analysis in VDM”, Proceedings of the Fourth VDM/Overture Workshop, University of Newcastle upon Tyne, No. CS-TR-1099, May 2008.
Massimo, “A brief architecture overview of VMware ESX, XEN and MS Viridian”, [Online]. Available: http://it20.info/2007/06/a-brief-architecture-overview-of-vmware-esx-xen-and-ms-viridian.
VMeare, “A Performance Comparison of Hypervisors”, VMware Inc., Performance study, Revision: 20070201 Item: PS-004-INF-01-002, 2007.
Tim Abels, Puneet Dhawan, Balasubramanian Chandrasekaran, “An Overview of Xen Virtualization”, Dell Power Solutions, Aug. 2005.
Microsoft, “Hyper-V Architecture”, Microsoft MSDN, [Online]. Available: http://msdn.microsoft.com/en-us/library/cc768520%28v=bts.10%29.aspx , 2011
Microsoft Inc., CA Inc., “Protecting your Virtualized Server Investment ”, White paper, May 2010.
Microsoft Inc., “About Virtual Machines and Guest Operating Systems”, Microsoft MSDN, Sep. 2011, [Online]. Available: http://technet.microsoft.com/enus/library/cc794868% – 28WS.10%29.aspx.
Yuval Shavit, “Advantages and disadvantages of Hyper-V”, Search Systems Channel, [Online]. Available: http://searchsystemschannel.techtarget.com/feature/Advantages-and-disadvantages-of-Hyper-V
Mike Neil, “Hypervisor, Virtualization Stack, And Device Virtualization Architectures”, Windows Virtualization Microsoft Corporation, Microsoft WinHEC 2006.
CA Inc., “Deployment Options for Microsoft Hyper-V Server”, CA ARCSERVE REPLICATION & CA ARCSERVE HIGH AVAILABILITY R16, 2011.
CA Inc., “CA ARCserve Replication and High Availability Deployment Options for Microsoft Hyper-V”, CA ARCserve Replication and CA ARCserve High Availability, 2010.
Ray Weinstein, Burk Buechler, “HigHly AvAilAble virtuAlizAtion WitH Microsoft Hyper-v And scvMM 2008”, Dell Power Solutions, Nov. 2008.
Robert Larson, Janique Carbone et.All, “Windows Server 2008 Hyper-V Resource Kit”, Microsoft Press, ISBN: 0-7356-2517-4, June 2009.
Ian Pratt, “Xen and the Art of Virtualization”, University of Cambridge and Founder of XenSource Inc., 2006.
Paul Barham et. All, “Xen and the Art of Virtualization”, SOSP’03, October 19-22, 2003, Bolton Landing, New York, USA, Copyright 2003 ACM 1­۵۸۱۱۳­۷۵۷­۵/۰۳/۰۰۱۰٫

موضوعات: بدون موضوع  لینک ثابت
 [ 06:26:00 ب.ظ ]
 
مداحی های محرم