چکیده:
امنیت شبکه یک موضوع پیچیده است که از نظر تاریخی فقط توسط افراد با تجربه و آنهایی که آموزش کافی دیده اند مورد توجه قرار می گیرد. با اینحال، همچنان که افراد بیشتری به شبکه متصل میشوند، تعداد افرادی که بایستی اصول امنیت را در دنیای شبکه شده بدانند، نیز افزایش می یابد. این مقاله بر اساس ماربری کامپیوتر و مدیریت سیستمهای اطلاعاتی که در خاطرم بوده است نوشته شده است و مفاهیم مورد نیاز برای آشنا شدن با بازار و خطرات و نحوه مواجه شدن با آنها را توضیح می دهد.
دسته: فنی و مهندسی
حجم فایل: 6764 کیلوبایت
تعداد صفحه: 77
استفاده از سیگنال های ترکیبی برای خاموش کردن سیگنال موجود راکتوری
توسط
جانگ لانگ لین
ثبت شده در سازمان مهندسی هسته ای به صورت کامل برای دریافت مدرک
فوق لیسانس
در موسسه تکنولوژی ماساچوست
خلاصه
یک ویستینگ هوس 4 حلقه ای PWR برای آزمایش کردن به منظور نشان دادن مفهوم موجود بودن سیگنال حفاظتی راکتور براساس اثرات فوق کنش متقابل سیستم ها انتخاب شده است. روابط متقابل سیستم ها و رخ دادن سیگنال ها در طول انتقال های مسلم با استفاده از دستورالعمل PRISM شبیه سازی شده است (1). براساس نتایج مربوط به شبیه سازی ها، یک مجموعه از ماتریس های سیگنالی رخ داده منطبق با شرایط نیروگاهی مختلف ایجاد شده اند و سیگنال هایی که منجر به خاموش شدن سیگنال راکتوری به صورت کاملا اتوماتیک در رخ دادن و پیدایش هر رخداد در حال انتظار نیز مشخص و معرفی می گردند. این سیگنال های ایجاد شده به منظور محقق ساختن سیگنال های خاموش کردن راکتور مرتبط در دسترس می باشند. این ملاک برای انتخاب کردن یک سیگنال برجسته به عنوان سیگنال محقق شده به صورت رتبه چهارم برای محدود ساختن دلیل رایج شکست ها، برای حداقل ساختن مقیاس برای تغییرات مدار PRS مورد نیاز و برای تایید کردن موفقیت های سیگنال محقق شده برای شرایط سازمانی مختلف یک نیروگاه قدرت هسته ای تنظیم شده است.
بعد از انتخاب کردن سیگنال های محقق شده، این مسخص می گردد که سیگنال های مربوط به هفت راکتور خاموش شده ممکن است با استفاده از پنج سیگنال برجسته موجود باشد. مدار RPS برای تغییرات مورد نیاز به منظور محقق شدن سیگنال های خاموش کردن راکتور براساس جفت سیگنال های محقق شده- و در حال محقق شدن فوق پیشنهاد شده است. اگر چه برخی از فرایندهای محقق شدن سیگنال خاموش ممکن است بستگی به سطح قدرت راکتور داشته باشد اما کار گزارش شده در این جا نشان دهنده یک مجموعه سیگنالی از مدارهای محقق شده سیگنالی می باشد که برای استفاده کردن در هر سطح قدرت راکتوری مناسب می باشد. مدار تغییر یافته و پیشنهاد شده از نظر ساده بودن، موثر بودن، قابل قبول بودن و هزینه کم مورد انتظار می باشد.
به عنوان مثالی از کاربرد مربوط به روش محقق شدن سیگنال پیشنهاد داده شده در سطوح دیگر که روابط متقابل سیستم می تواند صریحا معرفی و مشخص گردد، محقق شدن رخ دادن سیگنال پاششی ایمن از دریچه MSIV نشان داده شده است و و نیاز به تغییرات مداری نیز پیشنهاد گردیده است.
اهمیت مربوط به رتبه بندی در بین سیگنال های راکتوری خاموش براساس ماتریس های مربوط به سیگنال رخدادی ایجاد شده استقرار یافته است. پتانسیل استفاده های مربوط به رتبه بندی نیز مورد بحث قرار می گیرد.
براساس نتایج موفقیت آمیز کلی در مورد محقق شدن سیگنال ها و به علاوه بهبودهای سازمانی در کار گزار شده در این جا، این پیشنهاد می گردد که روش محقق بودن سیگنال براساس روابط متقابل سیستم علاوه بر این با جزئیات بیشتر و با استفاده از دستورالعمل های کامپیوتری بسیار دقیق مورد ارزیابی قرار می گیرد.
استاد راهنمای تز: میشل دبیلو گولای
پروفسور مهندسی هسته ای
فهرست
عنوان
خلاصه
تقدیر و تشکر
فهرست
لیست جدول ها
لیست شکل ها
مجموعه اصطلاحات
فصل اول: مقدمه
فصل دوم: تکنولوژی های سیگنالی موجود و مورد استفاده در صنعت
1-2- روش های سیگنالی موجود
1-1-2- الگوریتم SGCC
2-1-2- الگوریتم MGCC
3-1-2- الگوریتم PEM
4-1-2- روش شناسی PHC
5-1-2- الگوریتم BND
2-2- کاربرد روش های سیگنالی موجود
3-2- سیگنال موجود براساس روابط متقابل سیستم فوق
1-3-2- روابط متقابل سیستم
2-3-2- برای از مثال های ساده برای روش استفاده شده و ارتقا یافته در این جا برای راه اندازی کردن نیروگاه های قدرت هسته ای
3-3-2- مطالعه سیستماتیک
فصل 3: موجود بودن سیگنال راکتوری خاموش براساس روابط متقابل سیستم فوق
1-3- سیستم حفاظت راکتوری برای راکتورهای آبی تنظیم کننده فشار هوای داخلی وستینگ هوس
2-3- ماتریس رخداد سیگنالی براساس آنالیزهای ایمنی در دسترس
1-2-3- رخدادهایی برای ماتریس رخداد سیگنالی
2-2-3- سیگنال هایی برای ماتریس رخداد سیگنالی
3-2-3- ساختار مربوط به ماتریس رخداد سیگنالی براساس آنالیزهای ایمنی در دسترس و فوق
4-2-3- روابط متقابل سیستم مشاهده شده براساس ماتریس های سیگنال رخداد
5-2-3- نامناسب بودن ماتریس های سیگنال رخداد براساس آنالیزهای ایمنی در دسترس
3-3- مدل شبیه سازی فعل و انفالی فشار هوای داخل راکتور PRISM با دستورالعمل شبیه سازی
1-3-3- محاسبات شکل گرفته با استفاده از PRISM
2-3-3- تنطیم کردن PRISM برای ساختن ماتریس های سیگنال رخداد
4-3- ماتریس سیگنال رخداد براساس نتایج PRISM با همه سیستم های کنترل در دسترس
1-4-3- ماتریس سیگنال رخداد ساخته شده
2-4-3- ملاک برای انتخاب کردن سیگنال های موجود
3-4-3- انتخاب کردن اولیه برای جفت سیگنال های محقق شده- در حال محقق شدن
5-3- ماتریس های سیگنال رخداد بدون همه سیستم های کنترل در دسترس
1-5-3- ترکیبات مربوط به سیستم های کنترل در دسترس
2-5-3- ترکیبات سیگنال محقق شده- در حال محقق شدن به صورت نهایی
6-3- سیگنال های موجود و روابط متقابل فیزیکی برای فرایندهای موجود
1-6-3- استفاده از سیگنال کنترل انحراف جریان تغذیه کننده آب یا بخار نسبت به رفت و برگشت در سطح بالا برای ژنراتور بخار یا سیگنال رفت و برگشتی در سطح کم برای ژنراتور بخار
2-6-3- استفاده از سیگنال هشدار انحراف Tavg/Tref نسبت به سیگنال رفت و برگشتی با قدرت راکتور بالا یا رفت و برگشتی با فشار هوای کم
1-2-6-3- استفاده از سیگنال هشدار انحراف Tavg/Tref برای سیگنال رفت و برگشتی با قدرت راکتوری بالا
2-2-6-3- محقق بودن و موجود بودن سیگنال رفت و برگشتی با هوای فشرده کم
3-6-3- استفاده از به کار گرفتن هیتر پشتیبان هوای فشرده یا سیگنال هشدار انحراف Tavg/Tref برای وجود داشتن سیگنال رفت و برگشتی با دمای بالا برای دلتای دمایی بیش از این
1-3-6-3- استفاده از به کار گرفتن هیتر پشتیبان هوای فشرده برای وجود داشتن سیگنال رفت و برگشتی با دمای بالا برای دلتای دمایی بیش از این
2-3-6-3- استفاده از سیگنال هشدار انحراف Tavg/Tref برای وجود داشتن سیگنال رفت و برگشتی با دمای بالا برای دلتای دمایی بیش از این
3-3-6-3- استفاده از سیگنال راه اندازی هیتر پشتیبان هوای فشرده یکنواخت و سیگنال هشدار انحراف Tavg/Tref برای وجود داشتن سیگنال رفت و برگشتی با دمای بالا برای دلتای دمایی بیش از این
4-6-3- استفاده از هشدار انحراف میله ای برای موجود بودن رفت و برگشت به مقدار زیاد و قدرت راکتوری مثبت و سیگنال های رفت و برگشتی با سرعت زیاد و قدرت راکتور منفی
فصل 4- کاربردها و تاسیسات کار گزارش شده در اینجا
1-4- کاهش رفت و برگشتی در نیروگاه های قدرت هسته ای
1-1-4- تغییرات منطقی RPS
1-1-1-4- تغییرات برای راه اندازی راکتورها در RTP 100 درصد
2-1-1-4- تغییرات برای راه اندازی راکتورها در نیروگاه ها در مقایسه با دیگر RTP 100 درصد
2-1-4- ارزیابی کردن تغییرات منطقی
1-2-1-4- ساده بودن و دشواری ها
2-2-1-4- قابل قبول بودن موارد در نظر گرفته شده
3-2-1-4- در نظر گرفتن هزینه مربوط به سود
2-4- اهمیت مربوط به رتبه بندی کردن در بین سیگنال های خاموش راکتور اتوماتیک
1-2-4- تخمین زدن اهمیت مربوط به رتبه بندی های سیگنال خاموش راکتور اتوماتیک
2-2-4- تاسیسات و کاربردهای مربوط به اهمیت رتبه بندی های سیگنال خاموش راکتور اتوماتیک
3-4- موجود بودن سیگنال پاششی ایمن ناشی از سیگنال کم خط فشار بخار
1-3-4- اثر مربوط به پاشش ایمنی برنامه ریزی نشده
2-3-4- پاشش ایمنی برنامه ریزی نشده ناشی از بستن MSIV
3-3-4- محدود ساختن پاشش ایمنی برنامه ریزی نشده
فصل 5: نتیجه گیری و پیشنهادات
1-5- خلاصه
2-5- نتیجه گیری و پیشنهادات
منابع
قیمت: 42,000 تومان
دسته: مقالات ترجمه شده isi
حجم فایل: 1407 کیلوبایت
تعداد صفحه: 7
گزارش سمینار درس ارزیابی کارایی شبکه های کامپیوتری
موضوع سمینار: ارزیابی عملکرد و بازرسی مدل در سیستم های مدل سازی شده به صورت شبکه های پتری هیبرید
چکیده
در این مقاله رویکردی برای ارزیابی شاخص های اندازه گیری عملکرد برای توصیف فرایند و بازرسی مدل بر اساس خواص ساختاری و اطلاعات محدودیت برای فرآیند های معمولی در سطح مایع مورد بحث قرار گرفته است. برای این منظور یک سیستم سه مخزنی معمولی در نظر گرفته شده است و با استفاده از شبکه های پتری هیبرید مدلسازی می شود. بر اساس مدل یک ساختار مارکوفی تعریف شده و توسعه می یابد. شاخص های اندازه گیری مثل فاصله ورود، فاصله ظرفیت و طول صف برای مکان ها و فاصله سرویس، زمان سرویس و استفاده از انتقالها برای ساختار مارکوفی توسعه یافته تعیین می شوند.
a b s t r a c t
In this paper، an approach for evaluating the performance measures for process description and model checking based on structural properties and constraint information for typical liquid level processes is discussed. For this purpose، a typical three tank system is considered and modeled using Hybrid Petri nets. Based on the model، a Markovian structure is defined and developed. Performance measures such as arrival distance، throughput distance and queue length for places and service distance، service time and utilization for transitions are determined for the developed Markovian structure under various case studies. Finally، conditions for model checking based on constraint information are derived analytically.
1. مقدمه
رویکرد مدنظر مطالعه در ادامه فعالیت احیر می باشد.
مدل در نظر گرفته شده تحت مطالعات موردی مختلف با توسعه یک ساختار مارکوفی با مجموعه معنایی سرور نا متناهی تجزیه و تحلیل میشود.
قیمت: 10,000 تومان
دسته: مطالعات ارتباطی و فناوری اطلاعات
حجم فایل: 25 کیلوبایت
تعداد صفحه: 31
مقدمه ای بر امنیت شبکه
چکیده:
امنیت شبکه یک موضوع پیچیده است که از نظر تاریخی فقط توسط افراد با تجربه و آنهایی که آموزش کافی دیده اند مورد توجه قرار می گیرد. با اینحال، همچنان که افراد بیشتری به شبکه متصل میشوند، تعداد افرادی که بایستی اصول امنیت را در دنیای شبکه شده بدانند، نیز افزایش می یابد. این مقاله بر اساس ماربری کامپیوتر و مدیریت سیستمهای اطلاعاتی که در خاطرم بوده است نوشته شده است و مفاهیم مورد نیاز برای آشنا شدن با بازار و خطرات و نحوه مواجه شدن با آنها را توضیح می دهد.
Network security is a complicated subject، historically only tackled by well-trained and experienced experts. However، as more and morepeople become ``wired''، an increasing number of people need to understand the basics of security in a networked world. This document was written with the basic computer user and information systems manager in mind، explaining the concepts needed to read through the hype in the marketplace and understand risks and how to deal with them.
قیمت: 6,000 تومان
خلاصه
ما بر این اعتقاد می باشیم که هر تراکنش به صورت مستقل می باشد، یعنی اینکه به انجام محاسبه بدون هیچ ارتباط مستقیمی با تراکنش های دیگر می پردازد. تراکنش به صورت غیر مستقیم، البته از طریق ذخیره سازی و بازیابی داده در پایگاه داده، ارتباط بر قرار می کنند. به هر حال، این تنها روشی می باشد که تراکنش ها می توانند فعالیت یکدیگر را تحت تاثیر قرار دهند.
برای اطمینان از تراکنش به شکل دقیق، DBS (سرور پایگاه داده) می بایست به کنترل تمام روش هایی بپردازد که تراکنش انجام می گیرد. این بدین معنا می باشد که DBS (سرور پایگاه داده) می بایست به عنوان رابط هر فعالیت تراکنش بوده که می تواند تراکنش های دیگر را تحت تاثیر قرار دهد. در مدل ما، چنین عملیاتی تنها بر مبنای دسترسی به داده های مشترک می باشد. چون تراکنش دسترسی به داده های مشترک از طریق توزیع عملیات پایگاه داده به DBS (سرور پایگاه داده) دارد،، DBS (سرور پایگاه داده) می تواند تا جایی که لازم است به کنترل چنین فعالیت هایی بپردازد.
در بسیاری از سیستم ها، تراکنش، امکان ارتباط را از طریق ارسال پیام هایی ایجاد می کند. ما امکان ارتباط چنین پیام هایی را در مدل مان مطرح می کنیم، به شرطی که چنین پیام هایی در پایگاه داده ذخیره گردند. تراکنش به ارسال و دریافت پیام از طریق نوشتن و خواندن جزییات اطلاعات، که آن پیام را شکل می دهد، می پردازد. این محدودیت بر روی ارتباط پیام، تنها در ارتباط بین پیام ها بکار گرفته می شود. دو یا چند مرحله ای که به نیابت از تراکنش مشابه به اجرا در می آید، می تواند آزادانه به تبادل پیام پرداخته، و نیاز نیست که این پیام ها در پایگاه داده ذخیره گردند. به طور کلی، تراکنش به صورت آزاد انجام می گیرد تا به کنترل موارد اجرایی داخلی با استفاده از مکانیسم های در دسترس بپردازد. تنها تعامل بین تراکنش مختلف توسط DBS (سرور پایگاه داده) تحت کنترل در می آید.
1.2 قابلیت بازیابی
سیستم بازیابی باعث می شود که DBS (سرور پایگاه داده) به گونه ای عمل کند که پایگاه داده شامل تمام تاثیرات تراکنش انجام شده بوده و هیچ یک از تاثیرات مربوط به تراکنش انجام نشده باشد. اگر تراکنش هرگز متوقف نشوند، بازیابی نسبتا آسان می باشد. چون تمام تراکنش در نهایت به اجرا در می آیند، DBS (سرور پایگاه داده) به سادگی به اجرای عملیات پایگاه داده به محض ورود می پردازد. بنابراین به منظور درک بازیابی، می بایست در ابتدا نگاهی به پردازش موارد متوقف شده شده بیاندازیم.
زمانی که تراکنش بی نتیجه می ماند، DBS (سرور پایگاه داده) می بایست تاثیرش را متوقف کند. تاثیر تراکنش T به دو صورت می باشد: تاثیر بر روی داده؛ یعنی مقادیری که T در پایگاه داده ایجاد می کند؛ و تاثیر بر روی تراکنش دیگر، یعنی تراکنشی که مقادیر نوشته شده توسط T را می خواند. که هر دو می بایست پاک شوند.
DBS (سرور پایگاه داده) می بایست تاثیرات T را توسط بازیابی، برای هر قلم داده X که توسط T بروز می گردند حذف کند. مقدار X زمانی مد نظر قرار می گیرد که T هرگز به وقوع نپیوسته باشد. می توانیم بگوییم که DBS (سرور پایگاه داده) عملیات نوشتن T را خنثی می کند.
DBS (سرور پایگاه داده) می بایست تاثیرات T را با متوقف تراکنش انجام شده کنار بگذارد. بی نتیجه گذاشتن این تراکنش منجر به تحریک توقف شدن موارد دیگر می گردد، این پدیده به نام توقف آبشاری می باشد.