2-2 نتیجه­گیری…. 47

3 فصل سوم روش تحقیق.. 50

3-1 شرح روش­های مشابه.. 51

3-1-1 روش مبتنی بر CBT 51

3-1-2 روش اجرای سمبلیک…… 52

3-1-3 ترکیب روش اجرای پویای سمبلیک (DSE) با اسکیما. 57

3-1-4 روشهای مبتنی بر جستجو.. 59

3-2 شرح ابزار ارائه شده. 60

3-2-1 ابزارهای ارائه شدهی مبتنی بر جاوا 60

3-2-2 تولید کنندهی جهش­ها. 63

3-2-3 تولید کنندهی ورودیهای تست….. 66

3-2-4 الگوریتم کلونی زنبور.. 67

3-2-5 کلاس تولید کننده­ی موارد تست….. 69

3-2-6 اجرا کننده­ی تست….. 77

3-2-7 دستیاران… 78

3-3 نتیجه­گیری…. 82

4 فصل چهارم. 84

محاسبات و یافته های تحقیق.. 84

4-1 تاثیر تعداد نخها در از بین رفتن جهشها. 85

4-2 بررسی اثر تعداد نخها در معیار پوشش…… 86

4-3 نتایج بدست آمده از تست سه برنامه.. 88

5 فصل پنجم نتیجه گیری و پیشنهادات… 91

6 پیوست… 94

6-1 الگوریتم کلونی مورچه.. 94

6-2 K-means.. 98

6-3 Agglomerative.. 98

6-4 منابع… 99

فهرست جداول

جدول(‏2‑1): 22 عملگر مُدرا [9] 14

جدول(‏2‑2): عملگرهای جهش ارائه شده در سطح بین کلاس [10] 18

جدول(‏2‑3): سه جهش و [15] 24

24

25

. 28

41

… 47

… 54

.. 72

. 88

89

فهرست تصاویر و نمودارها

شکل(‏2‑1): چارت فرآیند تست جهش… 13

شکل(‏2‑2): درصد استفاده­ی مقالات از تکنیکهای کاهش هزینه [2] 21

شکل(‏2‑3): چهار متغییر مقایسهی جهش ضعیف [23] 32

شکل (‏2‑4):گراف کنترل جریان برنامه­ی MID [30] 36

شکل (‏2‑5): نمایش دامنه قبل و بعد از تقسیم [30] 36

شکل (‏2‑6): فرآیند MSG [31] 38

شکل (‏2‑7): ارتباط دامنه­ی ورودی سه شرط کفایت، ضرورت و دسترسی [29] [34] 43

شکل (‏3‑1): ساختار Godzilla. 51

شکل(‏3‑2): نمونهای از اجرای سمبلیک… 54

شکل(‏3‑3): چهارچوب ارائه شده در مقاله­ی [40] 58

شکل(‏3‑4): کلونی مورچه و تست جهش… 59

شکل(‏3‑5): ماژول تولید کننده­ی جهش… 66

شکل (‏3‑6): ماژول تولید کننده­ی ورودی­های تست… 76

شکل(‏3‑7): گراف کنترل جریان برنامه تشخیص نوع مثلث… 81

شکل(‏3‑8): مدل روش ارائه شده 83

شکل(4‑1): اثر تعداد نخها در از بین بردن جهش… 86

شکل (4‑2) پوشش مسیرهای تست در گراف CFG. 87

شکل(4‑3): اثر تعداد نخها بر پوشش مسیرهای تست در گراف CFG. 87

شکل(‏6‑1): شیوه حرکت مورچهگان در هنگام برخورد با مانع. 95

شکل (‏6‑2) : گراف شهرها و مسیرها 96

 

1 فصل اول مقدمه و كلیات تحقیق

 

 

 

 

1-1 بر دغدغه­های تست نرم­افزار

1-1-1 مقدمه

…………………………………………………………………………….. 43

Abstract…………………………………………………………………………………. 56

فهرست تصاویر

عنوان صفحه

تصویر 1-2: سمان گلاس یونومر ( GC CORPORATION,Gold Label, Tokyo, Japan)……… 23

تصویر 2-2: نمونه های ثابت شده……………………………………………………………………………………………………….. 24

تصویر 3-2:نمونه های قرار گرفته در انکوباتور…………………………………………………………………………………….. 26

تصویر 4-2: نمونه های قرار گرفته در دستگاه ترموسایکلینگ………………………………………………………………… 26

تصویر 5-2::قطعه رابط ساخته شده برای انجام تست استحکام گیر………………………………………………………….. 28

تصویر 6-2: انجام تست استحکام گیر………………………………………………………………………………………………….. 29

تصویر 7-2: دستگاه Universal teting Machine (Zwick Z250,Germany) …………………………. 30

فهرست جداول

عنوان صفحه

جدول 1-3: بررسی نرمال بودن پراکندگی داده ها………………………………………………………………………………… 31

جدول 2-3: نتایج توصیفی گروه ها………………………………………………………………………………………………………….. 32

جدول3-3: نتایج آنالیز واریانس ANOVA …………………………………………………………………………………………. 33

جدول 4-3: مقایسه دو به دو گروه ها بر اساس آزمون توکی………………………………………………………………… 34

 

 

چکیده

مقدمه و هدف

از جمله مشکلات بندینگ در ارتودنسی، ایجاد نواحی دکلسیفیه در اطراف بندها می باشد.از سوی دیگر در طی درمان، بند ها مستعد شل شدن هستند و سمان بکار رفته باید از استحکام گیر کافی برخوردار باشد. اخیراً ترکیبات جدید حاوی آمورفوس کلسیم فسفات (ACP) جهت مقابله با ایجاد دمینرالیزاسیون بر روی سطوح مینایی معرفی شده است. هدف از این مطالعه بررسی استحکام گیر بند های ارتودنسی سمان شده با سمان گلاس یونومر حاوی ACP بود.

مواد و روش ها

120 دندان مولر سوم سالم فک پایین مانت شده در بلوک آکریلی ، به طور تصادفی به 4 گروه 30 تایی تقسیم شدند.گروه 1 و 3 برای بند شدن با سمان گلاس یونومر معمولی (GC Corporation, Gold Label) و گروه 2 و 4 برای بند شدن با سمان گلاس یونومر حاوی ACP آماده شدند. سپس نمونه ها در آب مقطر و درون انکوباتور با دمای 37 درجه به مدت 48 ساعت نگهداری شدند. برای گروه 1 و 2 پس از این زمان و برای گروه 3 و 4 پس از ترموسایکلینگ (5000 سیکل بین ° 5 و° 55 سانتیگراد) استحکام گیر بند با استفاده از دستگاه Universal testing machine با سرعت کراس هد1mm/min اندازه گیری شد و یافته ها با استفاده از آنالیز واریانس (ANOVA) چند عاملی و آزمون توکی مورد بررسی آماری قرار گرفنتد.

 

نتایج

بیشترین میانگین استحکام گیر (Mpa5140/1) مربوط به گروه 1 (سمان GI معمولی بدون شرایط ترموسایکلینگ) بود و کمترین میزان آن(Mpa 1695/1) مربوط به گروه 2 (سمان GI حاوی ACP بدون شرایط ترمو سایکلینگ) بود. براساس نتایج آزمون توکی تفاوت بین گروه 1 با گروه های 2 و گروه 3 (GI در شرایط ترموسایکلینگ) از لحاظ آماری معنی دار بود (P<0.05). تفاوت بین گروه 2 با گروه های 1 و 4 (GI-ACP در شرایط ترموسایکلینگ) از لحاظ آماری معنی دار بود(P<0.05).

نتیجه گیری

با وجود اینکه با اضافه شدن ACP به گلاس یونومر استحکام گیر کاهش یافت ، اما بعد از ترموسایکلینگ میزان استحکام گیر نمونه هایی که با گلاس یونومر حاوی ACP بند شده بودند بسیار بالاتر رفت بطوریکه با گروه سمان گلاس یونومر در شرایط بدون ترموسایکلینگ تفاوتش معنی دار نبود. به نظر می رسد سمان گلاس یونومر حاوی ACP در محیط دهان مقاومت کافی را در برابر نیروهای وارد شده به دندان های خلفی داشته باشد.

واژه های کلیدی:استحکام گیر- گلاس یونومر- آمورفوس کلسیم فسفات

مقدمه

برای نیل به اهداف درمانی در بیماران ارتودنسی ، تغییر موقعیت دندان ها الزامی است. در درمان جامع ارتودنسی این کار بوسیله اتصالات ثابت (Fixed attachments) صورت می گیرد. استفاده از بندهای فلزی روی دندان های مولر طی درمان ارتودنسی به عنوان یک روش معمول برای تثبیت موقعیت آرچ وایر استفاده می شود (1). قرار گرفتن بند ها در بخش خلفی دهان، آنها را در معرض نیروهای کششی و برشی مانند نیرو های ناشی از جویدن و تروماهای فیزیکی قرار می دهد و آنها را مستعد شل شدن و شکست در بندینگ می کند(2)، لذا گیر بند در طی درمان اهمیت بالایی دارد(3).

گیر بند ها تحت تأثیر مورفولوژی دندان و چگونگی آماده سازی سطح دندان و از طرف دیگر استحکام باند سمان قرار می گیرد(4).

بطور مطلوب استحکام باند سمان باید به گونه ای باشد که بند را در طی دوره درمان ارتودنسی در محل خود به خوبی نگه داشته و هنگام جدا نمودن بند ها باعث آسیب به سطح دندان نشود. علاوه بر این باید به آسانی استفاده شود، سیل مناسبی را ایجاد نماید، از پوسیدگی جلوگیری نموده و قیمت مناسبی نیز داشته باشد. خصوصیات نامطلوب بسیاری از سمان ها مانند حلالیت بالا در مایعات دهان و استحکام باند ضعیف می تواند باعث ایجاد بستری مناسب برای نفوذ پلاک و دبری ها در زیر بند و به دنبال آن شروع دمینرالیزاسیون درسطح دندان شود(2).

از جمله اولین ترکیباتی که به عنوان سمان برای بندینگ در ارتودنسی بکار برده شد زینک فسفات بود. این سمان در سال 1878 معرفی شد(5) و به عنوان استاندارد طلایی در نظر گرفته می شود و سایر سمان ها با آن مقایسه می گردند(9-6). گیر اولیه با این سمان به طور مکانیکی بین مینا و سمان و از طرف دیگر بین سمان و بند استینلس استیل برقرار می شود . این سمان باند شیمیایی با مینای دندان برقرار نمی کند(5).

در سال 1960 فلوراید به ترکیب این سمان اضافه شد تا میزاین حلالیت سمان را کاهش دهد و از طرفی باعث تقویت رمینرالیزاسیون در ساختار دندان بشود(8). از جمله خواص زینک فسفات می‏توان به استحکام فشاری بالا ، استحکام کششی پایین و شکنندگی بالا ، زمان کارکرد کوتاه و حلالیت بالا در مایعات دهان و در نتیجه میکرولیکیج و افزایش دمینرالیزاسیون مینا اشاره نمود(5 و10).

برخلاف زینک فسفات، سمان پلی کربوکسیلات توانایی برقراری باند شیمیایی با مینا دندان و بند استینلس استیل را دارا می باشد، اما خصوصیات نا مطلوب آن مانند ویسکوزیته بالا، زمان سخت شدن بسیار کوتاه و حلالیت بالا در محیط دهان منجر به استفاده کمتر از آن به عنوان سمان برای بندینگ در ارتودنسی شد(5 و 11).

یکی دیگر از سمان های رایج در درمان ارتودنسی گلاس یونومر(GICs) می باشد که در سال 1971 توسط Wilson وKent ، به عنوان ماده ترمیمی معرفی شد (5). این سمان خواص و مزایای قابل توجهی در خواص فیزیکی در مقایسه با سمان هایی که قبل از آن استفاده می شد دارد. از جمله خصوصیات مطلوب این سمان می توان به حلالیت پایین در بزاق، استحکام فشاری و کششی بالاتر در مقایسه با زینک فسفات و شرکت در یک واکنش اسید بیس با مینا و عاج و ایجاد باند یونی با استنلس استیل اشاره کرد(2) که در نهایت باعث کاهش در شکست باند می شود(10 و 12). همچنین با توجه با اینکه در بیشتر موارد نوع شکست در این سمان در مرز بین سمان و بند رخ می دهد و با توجه به حلالیت پایین آن، میکرولیکیج کاهش می یابد (10 و 13). گفته شده است که آزاد شدن فلوراید از این سمان در طولانی مدت، بدون اثر سوء بر استحکام آن می باشد(5 و 14 و15).

نسل بعدی سمان های مورد استفاده در بندینگ، رزین مدیفاید گلاس یونومر ها (RMGI) بودند و به صورت دوال کیور (کیورینگ نوری و واکنش اسید بیس) سخت می شوند. این سمان خواص مطلوب گلاس یونومر به همراه استحکام بیشتر جزء رزینی اش را دارا می باشد(13 و 16). از خواص مطلوب آن می توان به کاربرد آسان تر و زمان کارکرد طولانی تر به علت نحوه ی سخت شدن آن و مقاومت بالاتر به رطوبت اشاره نمود(17). گزارش شده است استحکام باند این سمان از گلاس یونومر بالاتر می باشد(17) ، البته در مطالعه Fricker در سال 1997 از لحاظ کلینیکی تفاوت معنی داری در شکست باندینگ بین GICs و RMGI وجود نداشت(12).

دسته چهارم سمان های بندینگ ، پلی اسید مدیفاید رزین کامپوزیت ها می باشند (PMCR). این سمان توانایی آزاد کردن فلوراید( البته کمتر از RMGI) را دارا می باشد و از جمله خواص فیزیکی آن می توان به حلالیت پایین در محیط دهان، مقاومت بالا به ترک و شکست، استحکام برشی و فشاری نسبتاً بالاتر در مقایسه با زینک فسفات اشاره نمود(2). برخلاف GICs این سمان تمایل به ایجاد شکست در مرز بین سمان و دندان دارد، لذا خطر ایجاد میکرولیکیج و به دنبال آن دمینرالیزاسیون افزایش می یابد( 12).

یکی از مشکل ترین مسائل طی درمان ارتودنسی ثابت، کنترل بهداشت دهان و به دنبال آن دمینرالیزاسیون اطراف اتچمنت های ارتودنسی می باشد. بند و براکت و سایر اجزای بکار رفته طی درمان مثل الاستیک ها ، چین ها ، فنرها و… بیماران را از جهت کنترل بهداشت دچار مشکل می کند و مسلماً تجمع پلاک در اطراف این دستگاه ها بیشتر خواهد بود(18) به نحوی که یکی از بزرگترین مشکلات بندینگ پس از انتهای درمان ، ایجاد نواحی دکلسیفیه در اطراف سطح اکلوزال و بخصوص جینجیوال بندها می باشد. این دکلسیفیکاسیون پس از 4 هفته از قرار دادن بند و براکت ها قابل مشاهده
می باشد(19). دمینرالیزاسیون زمانی رخ می دهد که باکتری های خاص برای مدت طولانی بر روی سطح مینا باقی بمانند. باکتری ها کربوهیدرات را متابولیزه کرده و اسید های ارگانیک را ایجاد نموده و این اسیدها منجر به برداشت کلسیم و فسفات مینا و عاج می شوند(18). دمینرالیزاسیون در PH زیر 5/5 شروع می شود(20 و 21).

شیوع دمینرالیزاسیون در بیماران تحت درمان ارتودنسی ثابت بین 2 تا 96 درصد گزارش شده است (18).

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

طی درمان ارتودنسی روش های مختلفی برای کنترل دمینرالیزاسیون وجود دارد از جمله کنترل مکانیکی پلاک، رژیم غذایی مناسب و استفاده از فلوراید در ترکیبات مختلف مانند دهانشویه سدیم فلوراید (100-250 یا 1000 ppm) و خمیر دندان فلورایده که نشان داده شده است دمینرالیزاسیون اطراف براکت ها را کاهش می دهد (22) ، همچنین استفاده هفتگی از دهانشویه اسیدولیت فسفات فلوراید(APF ) 2/1 % می تواند سبب رمینرالیزاسیون مینا شود (23 و 24).

بعضی از مطالعات استفاده از یک لایه سیلانت رزینی اطراف براکت های ارتودنسی و سیل کردن نواحی مشکوک را به عنوان روشی جهت کنترل دمینرالیزاسیون بررسی کردند اما به علت کیورینگ ناکافی ناشی از حضور اکسیژن به عنوان عامل محدود کننده در لایه سطحی استفاده از این روش محدود شد(25).

شواهدی مبنی بر کاهش دمینرالیزاسیون به دنبال استفاده از کامپوزیت های حاوی فلوراید و سمان گلاس یونومر به عنوان ادهزیو براکت ها وجود دارد (26).

فلوراید در اشکال مختلف مانند وارنیش، ژل، خمیر دندان ، دهانشویه و سمان های حاوی فلوراید به روش های مختلف نقش فعالی در روند رمینرالیزاسیون ایفا می کنند (19).

اثر باکتریسیدال فلوراید در غلظت های بالا با جلوگیری از فعالیت های آنزیمی باکتری ها (27) و رمینرالیزاسیون با افزایش شیفت ترمودینامیکی به سمت شکل گیری فلور هیدروکسی آپاتیت (که قابلیت حل شدن کمتری نسبت به هیدروکسی آپاتیت در اسید دارد نقش فلوراید را در روند رمینرالیزاسیون توجیه می کند (27 و 28).

شایان ذکر است که یون فلوراید بدون حضور کافی کلسیم و فسفات نمی تواند نقش خود را به درستی ایفا کند(27).

اخیراً چهار ترکیب جدید حاوی کلسیم و فسفات معرفی شده است که شامل موارد زیر است :

• آمورفوس کلسیم فسفاتACP) )

• کازئین(پروتین شیر) فسفوپپتید کلسیم آمورفوس فسفات(( CPP-ACP

• کلسیم سدیم فسفات (CSP)

• تری کلسیم فسفات (TCP)

2-5-2. تقاضا برای بیمه بهداشت و درمان…………………………… 32

2-5-3. افزایش حق بیمه…………………………… 34

2-5-4. آگاهی در بازار بیمه…………………………… 36

2-5-5. تأمین کنندگان…………………………… 41

2-5-6. منابع مالی……………………………. 41

2-5-7. رضایت مندی مشتری……………………………. 44

2-4. بیمه تکمیلی درمان گروهی در ایران…………………………..45

2-5. برخی از نشانه های عدمتوسعه بیمهتکمیلی درمان گروهی در کشور…….47

2-17. نقش تکمیلی بیمۀ اشخاص برای تامین اجتماعی……..48

2-6. سوابق پژوهش …………………………..54

الف-مطالعات داخلی……………………………. 54

ب-مطالعات خارجی……………………………. 57

فصل سوم: روش تحقیق……………………………. 60

3-1.مقدمه…………………………… 61

3-2. روش تحقیق…………………………..62

3-3. جامعه آماری………………………….. 64

3-4. حجم نمونه…………………………… 64

3-5. روش نمونه گیری…………………………..65

3-6. ابزار جمع آوری اطلاعات…………………………..65

3-7. اعتبار روایی و پایایی ………………………….. 66

3-6-1. روایی……………………………. 66

3-6-2. پایایی……………………………. 68

3-8. روش گردآوری داده ها………………………….. 69

3-9. تابع آماره …………………………..70

3-8-1. آمار توصیفی……………………………. 70

3-8-2. آمار استنباطی…………………………..70

3-8-2-1. آزمون کولموگوروف – اسمیرنوف (KS)………….. 70

نحوه داوری ………………………….. 71

3-8-2-2. آزمون میانگین یک جامعه……………………………71

آزمون فرضیه ها …………………………..72

3-8-2-3. توزیع تی – استیودنت……………………………. 72

فصل چهارم: تجزیه، تحلیل داده ها………………………….. 74

مقدمه…………………………… 74

4-1 . توصیف داده ها………………………….. 75

4-1-1. آمار توصیفی متغیرهای دموگرافیک…………………….. 76

4-2-1 توصیف کمی متغیرهای پژوهش……………………….. 80

4-1-2 توصیف کیفی متغیرها …………………………..84

4-1-2-1 توصیف بعد معرفی افراد وکارکنان توسط سازمان ها………..84

4-1-5 بررسی فرض نرمال…………………………… 92

4-2 تحلیل داده ها (بررسی فرضیه های تحقیق)…………… 93

4-3 خلاصه فصل……………………………. 100

فصل پنجم :نتیجه گیری و پیشنهادات………………………….. 102

مقدمه………………………………102

نتایج تحقیق……………………………. 103

5-2-نتایج مربوط به توصیف متغیرها و مولفه های تحقیق…………… 103

5-3- بحث و بررسی……………………………. 107

5-4- محدودیت ها و تنگناهای تحقیق……………………………. 111

5-5-پیشنهادهای تحقیق……………………………. 112

5-6- پیشنهاداتی برای محققین آتی……………………………. 114

خلاصه…………………………..114

پیوست ها …………………………..115

فهرست منابع…………………………… 118

الف-داخلی……………………………. 118

ب-خارجی……………………………. 119

چکیده:

مقدمه: بیمه تکمیلی درمانی بخش مهمی از بیمه های تکمیلی را تشکیل می دهد و بواسطه خدماتی که ارائه می دهد، جز بیمه هایی است که توسط سازمان ها و شرکت ها مورد استفاده قرار می گیرد. در این پژوهش قصد داریم تا به بررسی عوامل موثر بر توسعه بازار بیمه تکمیلی درمان بپردازیم.

روش: جامعه ی آماری پژوهش عبارت بود از 300 نفر از کارکنان اداره کل نوسازی مدارس استان لرستان که سن آن ها بین 20 تا50 و در سال 93-1392 مشغول بکار بودند. از بین آن ها 168 نفر بعنوان حجم نمونه انتخاب شدند. ابزار سنجش تحقیق پرسشنامه محقق ساخته ی بود.

فصل سوم: تکنیک های کنترل همروندی

مقدمه. 22

3-1- تکنیک های کنترل همروندی و انواع آن ها 22

3-2- تکنیک های قفل گذاری و انواع آن ها 23

3-2-1- تعریف قفل. 24

3-2-2- اندازه های واحد قفل شدنی. 24

3-2-3- ساختار قفل. 25

3-2-4- مثالی برای لزوم قفل گذاری.. 26

3-2-5- مدیر قفل و مراحل انجام شده برای قفل گذاری.. 27

3-2-6- نحوه در اختیار قرار دادن قفل توسط مدیر قفل. 28

3-2-7- قفل چند اسلوبی. 28

3-2-7-1- ماتریس همایندی یا سازگاری قفل های چند اسلوبی. 28

3-2-7-2- پروتکل قفل چند اسلوبی برای یک تراکنش.. 29

3-2-7-3- تغییر قفل. 30

3-2-7-4- قفل چند اسلوبی و توالی پذیری.. 30

3-2-7-5- خصوصیات قفل چند اسلوبی. 30

3-2-8- تکنیک قفل گذاری دو مرحله ای مبنایی. 30

3-2-8-1- مشکلات تداخل کنترل نشده 31

3-2-8-2- خصوصیات و مشکلات 2PL مبنایی. 32

3-2-8-3- تغییر قفل در پروتکل 2PL. 33

3-2-8-4- تأثیرعملیات درج در کنترل همروندی.. 33

3-2-8-5- تأثیرعملیات حذف در کنترل همروندی.. 33

3-3- بن بست.. 34

3-3-1- راه حل های مشكل بن بست.. 35

3-3-2- تکنیک های زمان مهر. 36

3-3-2-1- الگوریتم WD.. 37

3-3-2-2- الگوریتم WW… 37

3-3-2-3- خصوصیات الگوریتم WD و WW… 37

فصل چهارم: شبکه های پتری

مقدمه. 39

4-1- مختصری در مورد شبکه های پتری.. 39

4-2- تفاوت UML و پتری.. 39

4-3- تاریخچه شبکه های پتری.. 40

4-4- ویژگی های شبکه های پتری.. 40

4-5- اجزای شبکه ی پتری.. 40

4-5-1- تعریف اجزای شبکه ی پتری.. 41

4-5-2- وظایف اجزای شبکه ی پتری.. 41

4-6- تعریف چهارگانه شبکه های پتری.. 42

4-7- گراف شبکه پتری.. 42

4-8- چند مثال از گراف شبکه پتری.. 43

4-9- رفتار شبکه های پتری.. 43

4-10- گذار توانا 44

4-11- مثالی از اجرای یک شبکه پتری.. 44

4-12- قوانین مربوط به فایر شدن گذار، در شبکه پتری.. 45

4-13- شبکه های پتری به بن بست رسیده، زنده و غیر زنده 46

4-14- انواع شبکه های پتری و نحوه ی نشانه گذاری آن ها 47

4-15- فلوچارت ها و شبکه های پتری.. 47

4-16- انواع پتری.. 48

4-16-1- شبکهپتری رنگی. 48

4-16-2- شبکه پتری زمانی. 49

4-16-3- شبکه پتری سلسله مراتبی. 50

فصل پنجم: نحوه ی مدل سازی مکانیزم های 2PL، WW و WD با پتری رنگی

مقدمه. 52

5-1- مختصری در مورد مدل سازی مکانیزم های 2PL، WW و WD.. 52

5-1-1- مدل 2PL. 52

5-1-2- مدل های WW و WD.. 53

5-2- مجموعه های رنگ… 53

5-2-1- مجموعه های رنگ در مدل 2PL. 53

5-2-2- مجموعه های رنگ در مدل های WW و WD.. 54

5-2-3- توضیحات مجموعه های رنگ… 55

5-3- نشانه گذاری اولیه. 58

5-3-1- نشانه گذاری اولیه در مدل 2PL. 58

5-3-2- نشانه گذاری اولیه در مدل های WW و WD.. 59

5-3-3- توضیحات نشانه گذاری اولیه. 59

5-4- متغیرها 61

5-4-1- متغیرهای مدل 2PL. 61

5-4-2- متغیرهای مدل های WW و WD.. 62

5-5- شرح توابع مدل و عملکردهای آن ها 62

5-5-1- شرح توابع مشترک بین مدل های 2PL، WW و WD.. 63

5-5-2- شرح توابع مدل 2PL. 63

5-5-3- شرح توابع مدل های WW و WD.. 76

5-6- اولویت های معین شده برای تعیین فایر شدن گذار مورد نظر از بین گذارهای فعال. 72

5-7- نحوه ی مدل سازی ها 73

5-7-1- نحوه مدل سازی مدل 2PL. 73

5-7-2- نحوه مدل سازی مدل های WW و WD.. 75

فصل ششم: ارزیابی مدل های 2PL، WW و WD

مقدمه. 79

6-1- مختصری در مورد اهمیت ارزیابی پایگاه داده‎ها 79

6-2- پارامتر تعداد تراکنش های وارد شونده به سیستم 80

6-2-1- بررسی مدل 2PL. 80

6-2-2- بررسی مدل WW. 80

6-2-3- بررسی مدل WD.. 81

6-2-4- مقایسه ی مدل های 2PL، WW و WD براساس پارامتر تعداد تراکنش ها 82

6-3- پارامتر تعداد دستورات هر تراکنش.. 83

6-3-1- بررسی مدل 2PL. 83

6-3-2- بررسی مدل WW… 84

6-3-3- بررسی مدل WD.. 85

6-3-4- مقایسه مدل های 2PL، WW و WD براساس پارامتر تعداد دستورات تراکنش ها 86

6-4- پارامتر تعداد داده های مشترک و غیر مشترک تراکنش ها 88

6-4-1- بررسی مدل 2PL. 88

6-4-2- بررسی مدل WW… 89

6-4-3- بررسی مدل WD.. 90

6-4-4- مقایسه مدل های 2PL، WW و WD براساس پارامتر تعداد داده های مشترک و غیر مشترک تراکنش ها 91

6-5- پارامتر تعداد داده های مشترک در تراکنش هایی بدون داده غیر مشترک.. 92

6-5-1- بررسی مدل 2PL. 92

6-5-2- بررسی مدل WW… 93

6-5-3- بررسی مدل WD.. 94

6-5-4- مقایسه مدل های 2PL، WW و WD براساس پارامتر تعداد داده های مشترک در تراکنش هایی بدون داده غیر مشترک.. 96

6-6- نتیجه گیری.. 97

6-7- پیشنهادات.. 100

مراجع. 102

فهرست جدول ها

عنوان جدول صفحه

جدول1-1- پارامترهای مورد نظر برای ارزیابی مدل ها در این پایان نامه. 4

جدول2-1- آزمایش های مورد نظر برای ارزیابی مدل ها در این پایان نامه. 18

جدول 3-1- مزایا و معایب اندازه ی واحد قفل شدنی. 25

جدول 3-2- نمایش لزوم قفل گذاری.. 26

جدول 3-3- نمایش ناحیه کاری.. 27

جدول 3-4- ماتریس همایندی.. 29

جدول 3-5- سازگاری قفل های چند اسلوبی. 29

جدول 5-1- توضیحات مربوط به مجموعه های رنگی. 55

جدول 5-2- توضیحات مربوط به نشانه گذاری های اولیه. 60

جدول 5-3- پارامترهای ورودی تابع checklock برای مدل 2PL. 64

جدول 5-4- پارامترهای خروجی تابع checklock برای مدل 2PL. 65

جدول 5-5- پارامترهای ورودی تابع checklock برای مدل های WW و WD.. 68

جدول 5-6- پارامترهای خروجی تابع checklock برای مدل های WW و WD.. 69

جدول6-1- تعداد گام های اجرای دو، سه، پنج، ده و پنجاه تراکنش در مدل 2PL. 80

جدول 6-2- تعداد گام های اجرای دو، سه، پنج، ده و پنجاه تراکنش در مدل WW… 81

جدول 6-3- تعداد گام های اجرای دو، سه، پنج، ده و پنجاه تراکنش در مدل WD.. 82

جدول 6-4- تعداد گام های اجرای تراکنش های کوچک و بزرگ در مدل 2PL. 84

جدول 6-5- تعداد گام های اجرای تراکنش های کوچک و بزرگ در مدل WW… 85

جدول 6-6- تعداد گام های اجرای تراکنش های کوچک و بزرگ در مدل WD.. 86

جدول 6-7- تعداد گام های اجرای تراکنش ها با تعداد کم و زیاد داده های غیر مشترک در مدل 2PL. 88

جدول 6-8- تعداد گام های اجرای تراکنش ها با تعداد کم و زیاد داده های غیر مشترک در مدل WW… 89

جدول 6-9- تعداد گام های اجرای تراکنش ها با تعداد کم و زیاد داده های غیر مشترک در مدل WD.. 90

جدول 6-10- تعداد گام های اجرای تراکنش هایی بدون داده غیر مشترک، با تعداد کم و زیاد داده های مشترک در مدل 2PL. 92

جدول 6-11- تعداد گام های اجرای تراکنش هایی بدون داده غیر مشترک، با تعداد کم و زیاد داده های مشترک در مدل WW.. 93

جدول 6-12- تعداد گام های اجرای تراکنش هایی بدون داده غیر مشترک، با تعداد کم و زیاد داده های مشترک در مدل WD.. 95

فهرست شکل ها

عنوان شکل صفحه

شکل 3-1- عملیات مدیر قفل و مدیر تراکنش.. 27

شکل 3-2- پروتکل 2PL و لحظه قفل. 31

شکل 3-3- نمونه ای از نحوه رخ دادن بن بست.. 34

شکل 3-4- مثال برای بن بست.. 35

شکل 4-1- اجزای شبکه ی پتری.. 40

شکل 4-2- عملکرد اجزای شبکه پتری.. 41

شکل 4-3- گراف شبکه پتری.. 42

شکل 4-4- مثال سیستم عابر بانک با گراف شبکه پتری.. 43

شکل 4-5- مثال تابع y=f(x) با گراف شبکه پتری.. 43

شکل 4-6- مثالی از نشانه گذاری یک مکان. 43

شکل 4-7- مثالی برای یک گذار توانا و یک گذار غیر توانا 44

شکل 4-8- مثالی از اجرای یک شبکه پتری و نشانه گذاری اولیه آن. 44

آن. 45

آن. 45

آن. 45

شکل 4-12- مثالی از گراف شبکه پتری، قبل و بعد از فایر شدن. 46

شکل 4-13- مثالی از گراف شبکه پتری، قبل و بعد از فایر شدن. 46

شکل 4-14- یک شبکه پتری که دچار بن بست شده 46

شکل 4-15- انواع شبکه های پتری و نحوه ی نشانه گذاری آن ها 47

شکل 4-16- مدل سازی گره های تصمیم گیریِ فلوچارت با شبکه پتری.. 47

شکل 4-17- مدل سازی فلوچارت با شبکه پتری.. 48

شکل 4-18- شبکه پتری سلسله مراتبی. 50

شکل 4-19- مدل سازی مسئله ممانعت دو جانبه با شبکه پتری.. 50

شکل 5-1- ماژول سطح بالا از مدل 2PL به صورت سلسله مراتبی، برای سه تراکنش.. 73

شکل 5-2- ماژول سطح بالا از مدل 2PL به صورت سلسله مراتبی، برای دو تراکنش.. 74

شکل 5-3- ماژول مربوط به تراکنش T1 از مدل 2PL به صورت سلسله مراتبی. 74

شکل 5-4- ماژول سطح بالا از مدل های WW و WD به صورت سلسله مراتبی، برای سه تراکنش.. 75

شکل 5-5- ماژول مربوط به تراکنش T1 از مدل های WW و WD به صورت سلسله مراتبی، برای سه تراکنش 76

شکل 5-6- ماژول سطح بالا از مدل های WW و WD به صورت سلسله مراتبی، برای دو تراکنش.. 77

شکل 6-1- مقایسه تعداد گام های اجرای دو، سه، پنج، ده و پنجاه تراکنش در مدل های 2PL، WW و WD.. 82

شکل 6-2- مقایسه تعداد گام های اجرای تراکنش های کوچک در مدل های 2PL، WW و WD.. 87

شکل 6-3- مقایسه تعداد گام های اجرای تراکنش های بزرگ در مدل های 2PL، WW و WD.. 87

شکل 6-4- مقایسه تعداد گام های اجرای تراکنش ها با تعداد کم و زیاد داده های غیر مشترک در مدل های 2PL، WW و WD.. 91

شکل 6-5- مقایسه تعداد گام های تراکنش ها با تعداد کم و زیاد داده های مشترک (بدون داده غیر مشترک) در مدل های 2PL، WW و WD 96

فصل اول

مقدمه

1-1- مقدمه

اجرای همروند تراکنش ها در پایگاه داده ها با مشکلات بسیاری مواجه است. مکانیزم های کنترل همروندی، برای حفظ انزوا و عدم دخالت اجرا در میان تراکنش های متعارض و حفظ سازگاری پایگاه داده ها استفاده می شوند (a-Pashazadeh, 2012)، (b-Pashazadeh, 2012) و (Shu, and Young, 2002). به عبارت دیگر الگوریتم های کنترل همروندی، الگوریتم هایی هستند که باعث می شوند اجرای همروند چند تراکنش و اجرای متوالی آن معادل شود. مسئله ی كنترل همروندی در پایگاه داده‎ها امری ضروری و با اهمیت می‎باشد (Shu, and Young, 2002). در این زمینه مطالعات و تحقیقات فراوانی صورت گرفته است كه نتیجه ی آن، به وجود آمدن الگوریتم های متنوع كنترل همروندی می‎باشد. همچنین با توجه به گسترش روزافزون انواع پایگاه داده ها در سراسر جهان، نیاز به بررسی پروتکل های کنترل همروندی پایگاه داده ها، بیشتر نمایان می شود.

مدل سازی رسمی[1] از الگوریتم های کنترل همروندی در مطالعه ویژگی های مختلف آن ها بسیار مفید است (a-Pashazadeh, 2012) و (b-Pashazadeh, 2012). بررسی ها نشان می دهد که شبکه های پتری (PNs)[2] روش مناسبی برای مدل سازی رسمی مکانیزم های کنترل همروندی می باشند. شبکه های پتری انواع مختلفی دارند که یکی از آن ها شبکه پتری رنگی (CPN)[3] است. شبکه های پتری رنگی یکی از بهترین ابزارها برای مدل سازی الگوریتم های کنترل همروندی هستند (a-Pashazadeh, 2012) و (b-Pashazadeh, 2012). به همین دلیل در این پایان نامه نیز از این روش برای مدل سازی ها استفاده خواهد شد.

یکی از اصلی ترین مکانیزم های کنترل همروندی تکنیک قفل گذاری دو مرحله ای مبنایی (2PL)[4] است. این تکنیک کنترل همروندی از طریق قفل گذاری روی داده ها انجام می شود. قفل گذاری روی داده ها به تدریج که نیاز به دستیابی به آن ها پیش می آید صورت می گیرد و قفل گشایی از آن ها پس از دریافت تمام قفل های تراکنش رخ خواهد داد. در این تکنیک امکان رخ دادن بن بست وجود دارد، به همین دلیل دو مکانیزم پیش گیری از بن بست نیز مورد بررسی قرار خواهد گرفت.

مکانیزم منتظر گذاشتن-میراندن (WD)[5] یکی از الگوریتم های پیش گیری از بن بست است که در آن حق تقدم زمانی تراكنش ها براساس زمان مهر و لحظه ی ورودشان به سیستم رعایت نمی شود. یعنی در مکانیزم WD هیچ قانونی وجود ندارد که تراکنشی که زودتر وارد سیستم شده است اولویت بیشتری برای زودتر دریافت کردن قفل های مورد نیازش داشته باشد، به همین دلیل به آن الگوریتم نابازدارنده می گویند. در سمت مقابل، مکانیزم زخمی كردن-منتظر گذاشتن (WW)[6] وجود دارد که یکی از الگوریتم های پیش گیری از بن بست است که در آن حق تقدم زمانی تراكنش ها براساس زمان مهر و لحظه ورودشان به سیستم رعایت می شود. یعنی در مکانیزم WW تراکنشی که زودتر وارد سیستم شده است اولویت بیشتری برای زودتر دریافت کردن قفل های مورد نیازش دارد، به همین دلیل به آن الگوریتم بازدارنده می گویند.

در این پایان نامه تلاش بر این است که با مدل سازی مکانیزم های 2PL، WD و WW، امکان بررسی اجرای تراکنش ها از دیدگاه ها و جوانب مختلفی را فراهم کنیم. سپس به ارزیابی این الگوریتم ها بپردازیم و آن ها را با استفاده از پارامترهای مختلفی که در جدول 1-1، اشاره شده است بررسی کنیم. در این جدول، در ستون اول پارامترهایی که قرار است ما در این پایان نامه بر اساس آن ها مدل ها را ارزیابی کنیم مشاهده می شود. سپس در ستون های بعدی نام الگوریتم هایی که قبلاً توسط این پارامترها مورد ارزیابی قرار گرفته بوده اند، نحوه ی پیاده سازی یا مدل سازی آن ها و همچنین مراجعشان را مشاهده می کنید.

جدول1-1- پارامترهای مورد نظر برای ارزیابی مدل ها در این پایان نامه

پارامتر	الگوریتم(ها)	پیاده سازی یا مدل سازی	مرجع
تعداد تراکنش های وارد شونده به سیستم	مقایسه یک الگوریتم امن و یک الگوریتم غیر امن برای پایگاه داده های بلادرنگ	پیاده سازی در مقیاس کوچک	(Hedayati, Kamali, Shakerian and Rahmani, 2010)
اندازه هر تراکنش (تعداد دستورات هر تراکنش)	الگوریتم مرتب سازی زمان مهر پایه ای	مدل سازی توسط مدل مارکف	(Singhal, 1991) و (روحانی رانکوهی، 1386)
تعداد داده های مشترک و غیر مشترک تراکنش ها	یک مکانیزم بر اساس قفل دو مرحله ای	پیاده سازی در مقیاس کوچک	(Al-Jumah, Hossam, and El-Sharkawi, 2000)
تعداد داده های مشترک در تراکنش هایی بدون داده غیر مشترک	یک مکانیزم بر اساس قفل دو مرحله ای	پیاده سازی در مقیاس کوچک	(Al-Jumah, et al., 2000)

در هنگام مدل سازی یک مطالعه موردی ساده به عنوان مثال برای درک بهتر ارائه گردیده است. مثال ذکر شده شامل سه تراکنش و دو منبع است.

مدل سازی ها با استفاده از پتری رنگی و نرم افزار CPN Tools ارائه شده اند. در نهایت به ارزیابی هر سه الگوریتم پرداخته شده است و الگوریتم ها با معیارهای بیان شده در فوق مورد بررسی قرار داده شده اند. آزمایش ها چندین بار تکرار گردیده و از مقادیر میانگین گیری به عمل آمده است. نمودارهای لازم نیز جهت مقایسه ی آسان تر ترسیم و بررسی گردیده اند.

1-2- ساختار پایان نامه

این پایان نامه به فرم زیر سازماندهی شده است.

3-1-1 نفوذ مولكولی.. 25

3-1-2- نفوذ براونین.. 25

3-1-3- پراكندگی برشی.. 26

3-1-4- نشست گرانشی.. 26

3-1-۵- ورقه ورقه شدن رسوبات واكسی.. 27

3-2- مدل دینامیكی رسوب.. 27

3-3- رسوب پارافین در سیستم های جریان تكفازی.. 29

3-4- رسوب پارافین در سیستم های جریان چند فازی.. 30

3-4-1-اثر ترکیب سیال.. 32

3-4-2- اثر الگوی جریان.. 32

3-5- مروری بر روش های ته نشینی واكس.. 34

3-5-1- معرفی مدل ریگ، رایدال و رونینگسن.. 34

3-5-2- مدل متزین(Matzain) 37

3-5-3- مدل هیدرو(Hydro) 40

3-5-4- مدل دانشگاه میشیگان(University of Michigan Model) 42

3-6- شبیه سازی واكس توسط نرم افزار الگا(OLGA) 43

3-7- پارامترهای واكس.. 44

فصل چهار

تئوری های مختلف تعادل ترمودینامیکی رسوب واکس

4-1- تعادل فازی.. 48

4-2- بررسی ترمودینامیكی تشكیل رسوبات واكس.. 53

4-2-1 مدل لیرا-گالنا.. 54

4-2-2-مدل اریكسون.. 55

4-2-3-مدل پدرسن و مدل های تصحیح شده ی آن.. 55

4-2-4-مدل وُن.. 56

4-2-5-مدل كوتینیو.. 56

4-3-بررسی تفصیلی مدل های ارائه شده.. 57

4-4- ترمودینامیک تعادل بخار،مایع و جامد.. 64

فصل پنج

پیشینه ی تحقیق

مقدمه.. 67

5-1- پیشینه ی تحقیق.. 67

فصل شش

انجام كار

مقدمه.. 74

6-1-مدل وُون(Won’s model) 74

6-1-1-فرضیات مدل وُن.. 74

6-2- توصیف مدل وون(وون 1986).. 75

6-3-مدل پدرسن(Pedersen ) 80

6-3-1- مفروضات مدل پدرسن.. 82

6-3-2- توصیف مدل پدرسن.. 83

6-4- محاسبات جداسازی آنی سه فازی.. 86

6-5- ارائه الگوریتم.. 88

6-5-1- محاسبات جداسازی آنی دو فازی.. 88

6-5-2 مقادیر حدس اولیه ی …… 89

90

.. 91

.. 95

.. 96

.. 97

.. 98

.. 103

.. 104

.. 114

.. 116

.. 117

.. 118

119

.. 121

.. 123

.. 124

.. 129

.. 137

.. 142

.. 148

.. 155

…………………………………………………………………………………………………………………………………….. 158

.. 160

پیوست ها

……………………………………………………………………………………………………………………………………… 172

……………………………………………………………………………………………………………………………………… 175

فهرست جدول ها

عنوان صفحه

جدول 2-1: خواص فیزیكی و شیمیایی واكس های پارافینی-میكروكریستال و پترولاتوم، 10

.. 14

22

.. 82

.. 130

.. 138

.. 141

.. 143

.. 144

.. 145

.. 145

فهرست شکل ها

عنوان صفحه

شكل 2-1- شدت رسوب واكس.. 6

.. 13

.. 15

16

.. 17

.. 21

. 49

.. 54

58

.. 75

.. 83

.. 86

.. 115

.. 117

124

131

.. 132

.. 133

.. 134

135

136

.. 139

.. 140

142

146

.. 147

148

.. 149

.. 150

150

151

152

.. 153

مقدمه

یكی از مهمترین مسائل در صنایع نفت، رسوب مواد آلی سنگین موجود در نفت خام است، كه طی مراحل تولید، حمل و نقل و فرآوری نفت رخ می دهد. رسوب این مواد در مخازن، چاههای نفت، پمپ ها، تانك های ذخیره سازی، لوله های انتقال و تجهیزات پالایش، باعث اتلاف هزینه های فراوان می گردد. با پیش بینی مكان تشكیل رسوب می توان به كمك روش های مكانیكی، شیمیایی و یا تغییر شرایط محیطی، برای از بین بردن یا كاهش رسوب اقدام نمود. كریستالیزاسیون و رسوب تركیبات واكسی منجر به بروز مشكلات زیادی در مراحل تولید، انتقال، ذخیره سازی و انجام فرآیندهای مختلف مربوط به نفت خام و یا مشتقات آن می شود. شركت های نفتی در سراسر دنیا به دلیل كاهش تولید، هزینه مواد شیمیایی مورد نیاز، انسداد خطوط لوله و افزایش انرژی مصرفی ناشی از ایجاد رسوبات، سالیانه میلیاردها دلار زیان می بینند. با كاهش ذخایر موجود و افزایش بهره برداری از مخازن نفت های سنگین و مخازن نفتی دور از ساحل، استفاده از روش های جدید و كارآمد برای رفع این مشكلات به یك ضرورت تبدیل شده است.

نفت خامی كه از اعماق زمین استخراج می شود، شامل هیدروكربورهای سنگین و نیمه سنگین است كه اشكال مختلف و خصوصیات متفاوت دارد. هیدروكربورهای سنگین شامل واكس ها، مواد آسفالتنی و رزین ها هستند كه می توانند به صورت جامد، در تركیبات ظاهر شوند كه در این بین، واكس ها اهمیت خاصی دارند.تغییر عواملی مانند دما، فشار و تركیب اجزای سبك در تركیبات نفتی، سبب تشكیل رسوب های واكس پارافینی جامد در این تركیبات می شود. رسوب واكس تشكیل شده به طور عمده شامل پارافین ها، نفتن ها و به مقدار كمی از دیگر هیدروكربورها، مانند آروماتیك هاست. تشكیل این رسوبات در مرحله اول می تواند منافذ زیرزمینی را مسدود كرده، باعث كاهش شدید نفوذ پذیری آنها شده و راندمان استخراج نفت را كاهش دهد. در مراحل بعدی نیز تشكیل رسوبات، مشكلات زیادی را به دنبال خواهد داشت. به عنوان مثال تشكیل رسوبات واكس در خطوط انتقال نفت خام، می تواند باعث گرفتگی لوله ها و افزایش مقاومت در برابر جریان و در نتیجه افت فشار جریان شده و علاوه بر افزایش توان مورد نیاز جهت پمپ نمودن سیال، موجب استهلاك زودرس تاسیسات شود. تشكیل رسوبات واكس در تجهیزات پروسسی مانند مبدل های حرارتی و خطوط لوله كاهش كارآیی این تجهیزات را به دنبال دارد.با توجه به اینكه در فرآیندهای روغن سازی یكی از مراحل اصلی فرآیند، جداسازی واكس می باشد، اهمیت این پدیده مشخص می گردد. مساله تشكیل رسوب واكس و عوامل موثر بر آن، سالهای متمادی مورد بحث پژوهشگران بوده و اكثر روش ها و مدلهایی كه جهت توصیف و پیش بینی این پدیده ارائه شده اند، توافق ضعیفی با داده های آزمایشگاهی دارند و از هیچكدام نمی توان به عنوان یك راه حل عمومی، جهت پیش بینی این پدیده، استفاده كرد. این مدلها اغلب دمای پیدایش واكس و میزان رسوب تشكیل شده را بالاتر از مقدار تجربی و آزمایشگاهی آن، تخمین می زنند.با توجه به توضیحات یاد شده، پیش بینی دمای تشكیل رسوبات واكس و در نظر گرفتن این دما در طراحی تجهیزات مربوط به استخراج، تولید و بهره برداری از نفت خام یا برش های نفتی، اهمیت خاصی دارد. مدل سازی ترمودینامیكی، یكی از راههای بررسی این پدیده است.[1-6