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


جستجو



 

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

 

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

 



 

 

 

فهرست مطالب

عنوان                                                                                                                  صفحه

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

بر دغدغه­های تست نرم­افزار.. 2

1-1-1     مقدمه.. 2

1-1-2     بهره گیری از طبیعت….. 4

1-1-3     هدف از انجام.. 6

2                 فصل دوم     ادبیات و پیشینه تحقیق.. 8

2-1           تست جهش…… 9

2-1-1     تئوری و نظریات….. 9

2-1-2     متدلوژی…. 12

2-1-3     عملگرها. 14

2-1-4     تکینکهای کاهش هزینه.. 20

2-1-5      تولید جهش کمتر  21

2-1-6     تکنیک­های کاهش هزینه در زمان اجرای برنامه.. 29

2-1-7     جهشهای برابر.. 38

2-1-8     خودکار سازی تست….. 43

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 مقدمه

یکی از چالش­های امروز پروژه­ های نرم­افزار، تست است زیرا برخلاف محصولات تولید شده توسط سایر علوم مهندسی، نرم­افزار محصولی غیرقابل لمس است از این جهت برای اطمینان از کیفیت، نیاز به صرف هزینه و وقت بیشتر برای تست آن است. تست در حقیقت یکی از اساسی­ترین روش­ها برای ارزیابی نرم­افزار تحت توسعه است. روش­های سنتی تست نرم­افزار، تنها به یافتن بعضی از خطاها [1]بعد از فاز پیاده­سازی محدود می­شد و از این جهت ریسک وجود خطا در نرم­افزار، بعد از تحویل، افزایش می یافت و حتی وجود خطاها در نرم­افزار گاهی موجب شکست [2]نرم­افزار می­ شود اما منشاء بخشی از این خطاها در کجاست؟ منشاء بخشی از این خطاها در نقص­هایی[3] است که برنامه نویسان به طور غیر عمدی و بر اثر بی دقتی وارد کد برنامه می­ کنند مانند: کوچکتر از حد نیاز در نظر گرفتن طول یک آرایه، اشتباه در پرانتز گذاری عبارت­ها، استفاده­ی نادرست از عملگرهای دودویی و یکانی و …  که در صورت شناسایی محل آن در بسیاری از موارد با ایجاد یک تغییر کوچک در کد برنامه قابل اصلاح است اما در صورت عدم اصلاح وجود یک یا چند نقص در برنامه سبب ایجاد یک وضعیت درونی اشتباه در برنامه ­شود که در برخی از موارد با وارد کردن یک ورودی خاص تحریک شده و ممکن است این وضعیت درونی به یک رفتار بیرونی اشتباه تبدیل شود و حتی در برخی از موارد موجب شکست برنامه شود به عنوان مثال اگر بدن انسان را به یک برنامه­ی کامپیوتری تشبیه کنیم نقص­ها در حقیقت عوامل بیماری زا هستند که در یک بدن سالم وارد می­شوند و آن­ را تحت تصرف خود درمی­آورند، خطاها مانند یک وضعیت درونی غیر عادی در بدن مانند فشار خون بالا، وجود یک نوع باکتری در خون، بی نظمی در نبض بیمار که پزشکان با کنارهم قرار دادن این علائم تلاش می­ کنند به علت بیماری پی ببرند، از کار افتادگی­ها در حقیقت علائم درونی هستند که از حالت نهان و درونی خود خارج شده به طوری که توسط بیمار نیز قابل تشخیص و بیان هستند.

حال که توانستیم مفهوم نقص، خطا و شکست را شرح دهیم، می­توانیم میان سه مفهوم تست، تست شکست و اشکال زدایی، تمایز قائل شویم وآن عبارت است از:

  • تست: ارزیابی نرم­افزار با بهره گرفتن از مشاهده و بررسی آن در هنگام اجرا.
  • تست شکست: اجرای برنامه که منجر به شکست آن می­ شود.
  • اشکال زدایی: فرایندی که با توجه به شکست­ها محل نقص­های مربوطه را پیدا می­ کند.
موضوعات: بدون موضوع  لینک ثابت
[دوشنبه 1399-10-01] [ 02:43:00 ب.ظ ]




فهرست  مطالب

عنوان                                                                                                                          صفحه

چكیده…………………………………………………………………………………………………………….. 1

فصل اول: مقدمه و مروری بر متون

مقدمه ……………………………………………………………………………………………………………. 3

مروری بر مقالات…………………………………………………………………………………………….. 10

بیان مسأله………………………………………………………………………………………………………. 18

اهداف و فرضیات تحقیق…………………………………………………………………………………… 19

اهداف اختصاصی……………………………………………………………………………………………. 19

فرضیات یا سوالات تحقیق………………………………………………………………………………… 20

فصل دوم:مواد و روش تحقیق

مواد و روش کار…………………………………………………………………………………………….. 21

فصل سوم: یافته ها

یافته ها…………………………………………………………………………………………………………… 31

فصل چهارم: بحث

بحث……………………………………………………………………………………………………………….. 36

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

نتیجه گیری……………………………………………………………………………………………………… 41

پیشنهادات……………………………………………………………………………………………………….. 42

.References …………………………………………………………………………….. 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)

این مواد می توانند از طریق آزادسازی کلسیم و فسفات باعث ترمیم ساختمان دندان شوند. این مواد اغلب به عنوان “Smart Composite” نامیده می شوند که حاوی کلسیم آمورفوس فسفات به عنوان فیلرهای بیواکتیو (زیست فعال) بدون کپسول در یک پوشش پلیمری هستند(29).

با ورود موادی مانند Cpp-ACP در دندانپزشکی راهی متفاوت جهت مقابله با اثرات دمینرالیزاسیون بر روی سطوح مینایی ایجاد شد(18).

ACP برای اولین بار در سال 1960 توسط Aaron.S Posner معرفی شد(30). فن آوری ACP در سال 1991 توسط مرکز تحقیقات Puffenbarger انجمن دندانپزشکان آمریکا (ADA) به حیطه علم دندانپزشکی وارد شد(32 و 31).

هنگام قرارگیریACP  برروی سطح دندان، یک منبع یونی از كلسیم و فسفات شكل می گیرد. انتقال سریع ماده معدنی جدید به دندان می تواند نواقص سطحی دندان را پر كند . ACP  می تواند به سهولت به فاز کریستالی با ثباتی شامل اکتا کلسیم فسفات (OCP)  و ترکیبات آپاتیت تبدیل  شود. این روند بستگی به شرایط محیط مثل PH و درجه حرارت دارد و مقدار PH  در رسوب یون های کلسیم و فسفات تأثیر می‏گذارد. (31 و 33)

در مطالعه Mazzaoui  با اضافه شدن CPP-ACP  میزان آزاد شدن کلسیم فسفات در هر PH 9/6 و 5  به طور قابل توجهی افزایش می یابد.(34)

مطالعات نشان داده اند که آمورفوس کلسیم فسفات ترکیب شده با پلاک دندانی به طور قابل توجهی سطح یون کلسیم و فسفات پلاک را افزایش می دهد(35). در مطالعه Skrtic  و همکارانش با تأکید بر توانایی آزادسازی کلسیم و فسفات از آمورفوس کلسیم فسفات بخصوص در پاسخ به شرایط ایجاد شده توسط باکتری های پلاک و اسید غذاها در محیط دهان، ماده معدنی آپاتیت که ترکیبی مشابه هیدروکسی آپاتیت  می باشد در ساختار دندان شکل می گیرد (36).

با معرفی خمیر Tooth mousse (حاوی CPP-ACP ) در سال 2002 استفاده از آن به عنوان پوششی موضعی برای سطح دندان بخصوص در زمینه دندانپزشکی کودکان، نه تنها برای رمینرالیزاسیون White Spot  ، بلکه به عنوان عامل ضد پوسیدگی در طولانی مدت کاربرد گسترده ای یافت(37).

با توجه  به  توانایی acp در رمینرالیزاسیون و جلوگیری از دمینرالیزاسیون،  این ترکیب در انواع مختلف محصولات ، از جمله خمیر دندان ها، خمیر های پروفیلاکسی ، وارنیش های فلوراید ، ژل های فلوراید،  فیشورسیلانت  ها، عوامل حساسیت زدا و عوامل سفت کننده ی دندان در دسترس می باشد .

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




 فصل اول: کلیات طرح……………………………. 4

1-1. مقدمه…………………………… 5

1-2. بیان مسئله…………………………..5

1-3. اهمیت موضوع تحقیق و انجام تحقیق…………………………..8

1-4. اهدف پژوهش…………………………..8

1-5. مدل تحلیلی تحقیق………………………….. 10

1-6. فرضیه های تحقیق………………………….. 10

1-7. قلمرو تحقیق…………………………..11

1-8. برآورد حجم نمونه و روش نمونه گیری ………………………….. 11

1-9. ابزار گرد آوری اطلاعات………………………….. 12

1-10. روش تجزیه و تحلیل داده ها …………………………..13

فصل دوم: مطالعات نظری و پیشینه ی تحقیق……………………. 14

2-1. مقدمه………………………….. 15

2-2. بیمه سلامت………………………….. 17

2-4-1. سیستم سلامت……………………………. 23

2-4-2. اهداف……………………………. 23

2-4-3. مقایسه ی وضعیت سیستم سلامت ایران با دنیا……………25

2-4-4. تعریف سازمان بهداشت جهانی……………………………. 27

2-3. بازار بیمه بهداشت و درمان ………………………….. 28

2-5-1. واسطه ها در بهداشت و درمان…………………………… 30

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 نفر بعنوان حجم نمونه انتخاب شدند. ابزار سنجش تحقیق پرسشنامه محقق ساخته ی بود.

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

مقدمه:

اطمینان و آسودگی خاطر انسا نها در مواجهه با خطرات و بیماریها، هم در زندگی شخصی و هم در توسعة رشد اجتماعی و اقتصادی جامعه تأثیر بسزایی دارد. بیمة درمان از بیمه های رایج در ایران است كه به دو شكل بیمة اولیه (پایه) و بیمة تكمیلی (اختیاری) موجود است. با توجه به رشد تكنولوژی و هزینه های هنگفت درمان، برای ارتقای نظام سلامت ایران، وجود بیمه های درمان با پوشش های مناسب، بیش از پیش در كشور احساس می شود. ﺑﺴﯿﺎری از دوﻟﺖﻫﺎ ﺑﺎ ﭘﯽرﯾﺰی ﺳﯿﺎﺳﺖﻫﺎﯾﯽ ﮐﻮﺷﯿﺪه اﻧﺪ ﮐﻪ ﺟﻤﻌﯿﺖ ﮐﺸﻮرﺷﺎن را ﺗﺤﺖ ﭘﻮﺷﺶ ﻧﻈﺎم ﺑﯿﻤﻪای و ﺗﺄﻣﯿﻦ اﺟﺘﻤﺎﻋﯽ ﻗﺮار دﻫﻨﺪ. ﻣﺴﺎﻟﻪ ﺟﻤﻌﯿﺖ ﺗﺤﺖ ﭘﻮﺷﺶ ﺑﯿﻤﻪ درﻣﺎن از ﺟﻬﺎت ﮔﻮﻧﺎﮔﻮن ﭼﻮن ﻣﺒﺎﺣﺚ ﺑﻬﺪاﺷﺘﯽ، دﯾﺪﮔﺎهﻫﺎی ﺳﯿﺎﺳﯽ، ﺷﺮاﯾﻂ اﻗﺘﺼﺎدی  و اﺻﻮل ﺑﯿﻤﻪﮔﺮی و درآﻣﺪ ﻣﻮﺳﺴﺎت ﺑﯿﻤﻪﮔﺮ ﻣﻮرد  ﺗﻮﺟﻪ اﺳﺖ و اﯾﻦ اﻣﺮ ﮐﻪ ﭼﻨﺪ درﺻﺪ از ﻣﺮدم ﻫﺮ ﮐﺸﻮر ﺗﺤﺖ ﭘﻮﺷﺶ ﺑﯿﻤﻪ درﻣﺎن ﺑﺎﺷﻨﺪ، ﺗﺄﺛﯿﺮات ﻓﺮاواﻧﯽ در ﺳﯿـﺎﺳﺖﮔـﺬاری ﻫـﺎ و ﺑﺮﻧـﺎﻣـﻪ رﯾـﺰیﻫـﺎی ﺧـﺮد و ﮐـﻼن  دارد.  بنابراین،موضوع درمان در کشورهای توسعه یافته و در کشورهای در حال توسعه یکی از مسائل مهم است و دولت­ها
 می­کوشند تا شیوه ­های خدمات رسانی و ایجاد امکانات لازم در زمینه ­های درمانی را بهبود بخشند. در کشور ما، بیشترین خدمات بیمه­های درمانی را سازمان تامین اجتماعی و سازمان خدمات درمانی ارائه می­ کنند. اما به دلیل وجود کاستی­هایی در این زمینه، این خدمات کافی نبوده و باید قراردادهای تکمیلی دیگری در کنار آنها وجود داشته باشد تا موجب رفاه نسبی خانواده­ها شود. به عبارت دیگر، چون غالباً بسیاری از اقشار جامعه از پوشش ­های  ارائه شده توسط بیمه های اجتماعی برخوردار نیستند و یا این نوع بیمه­ها، پوشش متناسب با نیازها را ندارند، شرکت های بیمه می‌کوشند که نیاز این اقشار جامعه را برآورده کرده و
 بیمه درمانی به صورت تکمیلی در اختیار داوطلبان قرار دهند.

داﻣﻨﻪ اراﺋﻪ ﺧﺪﻣﺎت درﻣﺎﻧﯽ ﺑﻪ ﺑﯿﻤﺎر آﻧﻘﺪر وﺳﻌﺖ ﯾﺎﻓﺘﻪ اﺳﺖ ﮐﻪ ﻓﺮاﻫﻢ ﮐﺮدن اﯾﻦ ﺧﺪﻣﺎت در ﻗﺎﻟﺐ ﺑﯿﻤﻪ ﺧﺪﻣﺎت درﻣﺎﻧﯽ از ﻧﻈﺮ اﻗﺘﺼﺎد ﺑﻬﺪاﺷﺖ و درﻣﺎن ﻣﻘﺪور و ﻣﯿﺴﺮ ﻧﻤﯽﺑﺎﺷﺪ و ﻫﯿﭻ ﻣﻮﺳﺴﻪای ﺑﺎ درﯾﺎﻓﺖ ﺣﻖ ﺳﺮاﻧﻪ  ﺑﯿﻤﻪ درﻣﺎﻧﯽ ﺛﺎﺑﺖ، ﻗﺎدر ﺑﻪ اراﺋﻪ ﮐﻠﯿﻪ ﺧﺪﻣﺎت ﻧﻤﯽﺑﺎﺷﺪ. ﻣﻬﻢﺗﺮﯾﻦ ﻣﺸﺨﺼﻪ اﯾﻦ ﻣﻮﺿﻮع ﮐﺎرﺑﺮد ﻣﻮﻓﻖ و ﻣﻨﻄﻘﯽ  آن در ﺳﻄﺢ ﺟﻬﺎن ﺑﻪ ﻣﻨﻈﻮر ﻣﻬﺎر ﻫﺰﯾﻨﻪ ﻫﺎی درﻣﺎﻧﯽ و  اﯾﺠﺎد اﻣﮑﺎن اﺳﺘﻔﺎده ﺑﯿﻤﻪﺷﺪﮔﺎن از ﮐﻠﯿﻪ ﺧﺪﻣﺎت درﻣﺎﻧﯽ ﺗﻮﺳﻂ ﺗﻤﺎﻣﯽ اراﺋﻪ دﻫﻨﺪﮔﺎن ﺧﺪﻣﺎت در ﺑﺨﺶ دوﻟﺘﯽ و  ﺧﺼﻮﺻﯽ ﺑﻪ ﻋﻨﻮان روﺷﯽ ﻣﻌﻘﻮل و ﻗﺎﺑﻞ اﻧﺠﺎم ﻣﯽﺑﺎﺷﺪ  ﮐﻪ از ﻃﺮﯾﻖ آن ﻣﯽﺗﻮان ﺑﺎ ﺣﻔﻆ اﺻﻞ ﻋﺪاﻟﺖ اﺟﺘﻤﺎﻋﯽ، ﺧﺪﻣﺎت درﻣﺎﻧﯽ را ﺑﻪ ﻃﻮر ﺟﺎﻣﻊ و ﻣﺘﻨﺎﺳﺐ در ﺑﯿﻦ ﮐﻠﯿﻪ  اﻗﺸﺎر اﻗﺘﺼﺎدی ﺟﺎﻣﻌﻪ اراﺋﻪ ﻧﻤﻮد. در ﺑﺴﯿﺎری از ﮐﺸﻮرﻫﺎ ﺑﺮای ﺗﺤﺖ ﭘﻮﺷﺶ ﻗﺮار دادن اﯾﻦ ﺧﺪﻣﺎت ازﺑﯿﻤﻪ درﻣﺎﻧﯽ ﻣﮑﻤﻞ اﺳﺘﻔﺎده ﻣﯽﺷﻮد ﮐﻪ ﻋﻤﺪه اﯾﻦ ﻣﻮﺳﺴﺎت ﻧﯿﺰ در اﺧﺘﯿﺎر ﺑﺨﺶ ﺧﺼﻮﺻﯽ ﻣﯽﺑﺎﺷﺪ.         

ﯾﻘﯿﻨﺎً اراﺋﻪ ﺧﺪﻣﺎت ﻣﻄﻠﻮب و ﻣﻨﺎﺳﺐ ﺑﺎﻋﺚ اﻋﺘﻼی  ﺑﻬﺪاﺷﺖ ﺟﺎﻣﻌﻪ ﻣﯽ ﺷﻮد و زﻣﯿﻨﻪ رﺿﺎﯾﺖ ﻣﻨﺪی ﻣﺸﺘﺮﯾﺎن  ﺧﻮد و ﻣﺪدﺟﻮﯾﺎن را ﻓﺮاﻫﻢ ﻣﯽ آورد. در این پژوهش قصد داریم تا به بررسی عوامل موثر بر توسعه بیمه درمان تکمیلی در استان لرستان(شرکت بیمه معلم) بپردازیم.

فصل اول: کلیات طرح

1-1- مقدمه

در این فصل به بررسی کلیاتی راجع به موضوع تحقیق می‌پردازیم. در واقع با کمک فرضیه­ ها، اهداف تحقیق، ضرورت های خاص انجام تحقیق، تعریف عملیاتی متغیرها و بیان مسئله به تشریح ابعاد، حدود مساله، معرفی دقیق مساله، بیان جنبه های مجهول و مبهم و متغیرهای مربوط به پرسش های تحقیق، منظور تحقیق پرداخته می‌شود.

2-1- بیان مسئله

بشر از بدو خلقت با بیماری و مرگ و میر دست و پنجه نرم كرده و با این كه با بكارگیری دانش خود توانسته است زیان‌های ناشی از بیماری‌ها را تا حد امكان كاهش دهد اما همچنان یكی از مشكلات جدی پیش روی بشر همین بیماری است و از آن‌جا كه هزینه‌های پیش‌بینی نشده مرتبط با درمان بسیار بالاست در نتیجه نیاز همیشگی انسان به درمان و نیاز به پوششی كه هزینه‌های درمانی را جبران كند همواره وجود دارد. با وجود سازمان تأمین اجتماعی و خدمات درمانی كه بخشی از هزینه‌های درمانی را پرداخت می‌كنند اما همچنان جبران هزینه‌ها به طور كامل صورت نمی‌پذیرد و نیاز به بیمه‌های درمان تكمیلی احساس می‌شود. از طرفی به عقیده بسیاری از كارشناسان بیمه درمان تكمیلی ویترین سایر پوشش‌های بیمه است و تقریباً از طرف اكثر شركت‌ها و بیمه شدگان در كنار سایر پوشش‌ها به بیمه درمانی نیز درخواست می‌شود پس پرداختن به مشكلات این پوشش و عوامل موثر بر توسعه بازار آن بسیار حائز اهمیت است. و از سوی دیگر بیمه درمان تكمیلی ارتباط مستقیمی با مشتریان دارد و رضایتمندی بیمه شدگان یكی از اركان اصلی در این زمینه است. اما بیمه سلامت بیمه ای در برابر ریسک ها و مخاطرات مربوط به مخارج پزشکی متحمل شده بر افراد می‌باشد. با برآورد کل مخاطرات مربوط به هزینه ها و مخارج سیستم بهداشت و مراقبت سلامتی یک گروه هدف، بیمه گر قادر به ایجاد یک ساختار مالی عادی مانند مالیات بر مزد و حقوق یا حق بیمه ماهیانه بوده تا اطمینان حاصل کند که پولی برای پرداخت به مزایای مراقبت سلامتی مشخص شده در قرارداد بیمه موجود می‌باشد. این انتفاع و منفعت توسط یک سازمان مرکزی مانند یک آژانس دولتی، شغلی خصوصی یا مؤسسه خیریه کنترل و اداره می‌شود. براساس انجمن بیمه سلامت آمریکا، بیمه سلامت به صورت پوششی تعریف می‌شود که برای پرداخت منافع حاصل از مریضی یا جراحت فراهم می‌شود و شامل بیمه خسارت ناشی از تصادف، مخارج پزشکی، معلولیت یا مرگ تصادفی و قطع عضو می‌باشد (کاکستون ، 2009). افراد و خانواده ها به طور معمول برای جلوگیری از خطرات با پرداخت یک حق بیمه شناخته شده به منظور دریافت مزایا درصورت رخداد یک رویداد نامطلوب طی مدت بیمه نامه، اقدام به خرید بیمه می‌کنند. بسیاری از افراد در حال حاضر برای بخش عمده ای از خطرات مالی مرتبط با سلامت و دارای نتایج نامشخص شدید که غیر قابل پیش بینی اند، اقدام به پرداخت حق بیمه به بیمه گر می‌کنند. بیمه بهداشت و درمان یک روش جلوگیری از خطرات است به طوری که بار مالی مراقبت های پزشکی در میان بسیاری از مردم توزیع شده است. برخی از افراد بیمه شده مریض یا مجروح شده و متحمل هزینه های پزشکی قابل توجهی می‌شوند، با این حال، بسیاری از مردم، نسبتا سالم باقی می‌مانند، در نتیجه متحمل
 هزینه های درمانی کم می‌شوند و یا هیچ هزینه ای را نخواهند داشت
(استن تان ، 2006). در حالی که پیش بینی اینکه چه کسی هزینه های بالا را متحمل می‌شود دشوار است، هزینه های پزشکی متوسط  میان گروه بزرگی از مردم قابل پیش بینی تر است. بیمه، هزینه های درمانی بیمه شده ای که هزینه هایش را از طریق حق بیمه پرداخت کرده است، تقبل می‌کند. در اصل، پول  از سالمندان به افراد بیمار یا مجروح منتقل می‌شود. بازار بیمه درمانی شدیدا با دیگر بخش های سیستم مراقبت های بهداشتی مرتبط است. در نتیجه، در بازار بیمه بهداشت و درمان، طرفین حساب بسیاری ایفای نقش می‌کنند. بیمه بهداشت در معامله ارائه مراقبت های بهداشتی واسطه بین بیماران و شرکت های ارائه دهنده بیمه سلامت شخص ثالث است که از طرف بیماران هزینه ها را بازپرداخت می‌کند(استن تان، 2006). بیمه گر نه تنها بازپرداخت هزینه ها را انجام می‌دهد، بلکه به طور معمول تعداد و نوع خدمات تحت پوشش و قرارداد مذاکره با ارائه دهندگان در پرداخت خدمات بهداشتی را کنترل می‌کند. اغلب طرح های بیمه سلامت شامل مراقبت های مدیریت هستند برخلاف طرح های غرامت یا برنامه های بیمه درمانی سنتی که بازپرداخت نامحدود برای یک حق بیمه ثابت را ارائه می‌کنند(کلاگسون، گیبل، دی جولیتو ، 2007). طرف های

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




فهرست مطالب

عنوان                                                                                                                                            صفحه

فصل اول: مقدمه

1-1- مقدمه. 2

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

فصل دوم: پیشینه‌تحقیق

مقدمه. 7

2-1- اهمیت الگوریتم‌های کنترل همروندی پایگاه داده‌ها 7

2-2- برخی از انواع پایگاه داده‌ها 8

2-3- انواع روش‌های پیاده‌سازی و مدل‌سازی الگوریتم‌های کنترل همروندی.. 9

2-3-1- پیاده‌سازی در مقیاس کوچک… 9

2-3-2- مدل‌سازی و شبیه‌سازی توسط مدل مارکف.. 11

2-3-3- مدل‌سازی و شبیه‌سازی توسط شبکه‌های پتری.. 12

2-4- پارامترهای ارزیابی. 14

2-4-1- پارامترهای منابع سیستم 14

2-4-2- پارامترهای حجم کاری.. 15

2-5- پارامترها و آزمایش‌های انجام شده 16

2-6- برخی از مزایا و معایب روش‌های مدل‌سازی و شبیه‌سازی.. 18

2-7- لزوم انجام تحقیق. 20

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

مقدمه. 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-           ساختار پایان‌نامه

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

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

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

در فصل چهارم نیز به بررسی شبکه‌های پتری، مخصوصاً شبکه‌های پتری رنگی که یکی از ابزارهای بسیار مفید برای شبیه‌سازی الگوریتم‌های کنترل همروندی هستند، پرداخته می‌شود.

در فصل پنجم نحوه‌ی مدل‌سازی الگوریتم‌های مورد نظر با بهره گرفتن از شبکه‎های پتری بیان شده است؛ که شامل تعریف مجموعه‌های رنگ، نشانه‌گذاری‌های اولیه، متغیرهای موجود در مدل، شرح عملکرد توابع مدل و تعیین اولویت برای فایر[7] شدن گذار مورد نظر از بین گذارهای فعال می‌باشد.

در فصل ششم که همان بخش پایانی است مدل‌ها بر اساس پارامترهای متفاوت بررسی و با هم مقایسه شده‌اند. آزمایش‌های مورد نیاز صورت گرفته و هرکدام چندین بار تکرار گردیده‌اند. نتایج میانگین‌گیری شده و نمودارهای لازم جهت مقایسه ترسیم شده‌اند. در نهایت نیز نتیجه‌گیری کلی از مباحث بیان شده مشاهده می‌شود و پیشنهاداتی برای کارهای آینده ارائه خواهد شد.

 

[1]- Formal

[2]- Petri Nets

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




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

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

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

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

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

مقدمه:

بیش از یک قرن از ظهور ساختمان های مسکونی و تجاری طبقاتی (شامل برج ها، بلند مرتبه هاو آسمان خراش ها) می گذرد. در آغاز راه، این قبیل سازه ها به عنوان نشانه ای ازپیشرفت های تکنولوژیک و فنی جوامع شناخته می شدند. معرفی شیوه های نوین و پیشرفته طراحی و معماری، استفاده از مصالح ساختمانی جدید و پیشرفته، پدیدار شدن تکنولوژی های تاسیساتی جدید از قبیل سیستم های تهویه مرکزی، اطفای حریق، دفع زباله، پمپاژ آب به طبقات فوقانی، آسانسور، و حتی معرفی و ارائه الگوهای جدید زندگی شهری متناسب بااین معماری نوین، از جمله مواردی بودند که بدون مهیا شدن هریک، بلند مرتبه سازی نمیتوانست به عنوان بخشی مهم از صنعت ساختمان مطرح شود. بهمین دلیل بود که اولین بلندمرتبه ها و آسمان خراش ها، در جوامع پیشرفته صنعتی – بخصوص ایالات متحده امریکا- قدکشیده و با غرور، سر به آسمان ساییدند.

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

مقالات و پایان نامه ارشد

 مرتبه سازی را به عنوان یکی از نمادهای پیشرفت صنعتی و فنی خود، در دستور کار قرار دادند؛ ضمن آنکه رشد جمعیت نیز، دیگر به عنوان معضل تنها تعدادی کشور کوچک و پر جمعیت مطرح نبود، بلکه تبدیل به موضوعی جهانی شده بود ww.melk118.net)).

در این میان، ایران هم از این قاعده مستثنی نبود و از چند دهه پیش، آرام آرام، پای بدین وادی گذاشت.این رویکرد، اگرچه درسالهای پیش از انقلاب، عمدتاً با هدف حرکت به سمت مدرنیزاسیون شروع شد، اما رفته رفته و خصوصا طی سال های اخیر، به راهکاری جهت پاسخگویی به نیاز روزافزون جمعیت جوان کشور به مسکن تبدیل شد. کمبود زمین و بخصوص رشد غیر منطقی قیمت آن در سراسرکشور از یک سو، و افزایش تقاضا جهت اسکان در برخی مناطق خاص کشور (خصوصا تهران وسایر کلان شهرها)، حرکت شتابان به سمت بلند مرتبه سازی و ایجاد مجتمع های بزرگ آپارتمانی با طبقات و واحدهای زیاد را توجیه پذیر کرد. ارائه برخی امتیازات از سوی ارگان های دولتی و بانک ها نیز، سیل سرمایه ها را به سمت سرمایه گذاری در زمینه انبوه سازی هدایت کرد.در همین راستا تحقیق‌ حاضر جستاری‌ است‌ در زمینه تحلیل ادراکی- محیطی تأثیر بلندمرتبه سازی بر روی کاربری شهری قائمشهركه‌ از پنج‌ فصل‌به شرح زیر تشكیل‌ شده‌ است:

در فصل‌ اول‌ به‌ طرح‌ تحقیق‌، بیان‌ مسئله‌، اهداف‌، فرضیات‌، متدولوژی‌ و غیره‌ اشاره‌ شده است. در فصل‌ دوم‌به‌ مفاهیم و نظریات‌ و تکنیک های مورد استفاده در تحقیق پرداخته شده است. در فصل‌ سوم‌ به ویژگیهای طبیعی،اجتماعی،اقتصادی و کالبدی شهر قائمشهر و معرفی محدوده مورد مطالعه اشاره شده است.درفصل چهارم نیز به تجزیه و تحلیل مسأله بلند مرتبه سازی پرداخته شده است.

در فصل پنجم نیز به نتیجه گیری،ازمون فرضیات و ارائه پیشنهادات پرداخته شده است.

فصل اول: طرح تحقیق

1-1- بیان مسئله

راهبرد بلند مرتبه سازی و توسعه فضایی در ارتفاع به عنوان محصول رشد جمعیت و همچنینین کمبود زمین مناسب جهت ساخت و ساز دهه های اخیر در شهرهای جهان به ویژه شهرهای بزرگ رواج یافته است. آپارتمان نشینی را می توان از مهم ترین تحولات در فرایند اسکان بشر در شهرها دانست که به فرم مسکن شهری در دوران معاصر تبدیل شده است.

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

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

پدیده بلندمرتبه سازی گرچه در طول حیات خود همواره از سوی اندیشمندان گوناگون مسائل اجتماعی، اقتصادی وشهرسازی مورد انتقاد واقع شده وبه كاربران با شك وتردید نگریسته شده اما همواره بنا به ضرورت نتوانسته است حضور دائمی خویش را به اثبا ت برساندوبر عرصه فعالیت خود بیافزاید.بلندمرتبه سازی در جهان پدیده ایست كه از اواخر قرن 19واوایل قرن 20چهره خود را به ثبت رساندو نخستین گامها‌ در تولید آسمان خراش‌ها از حدود سال 1880تا1900در شیكاگو برداشته شد.اما در کشور ما آغاز حرکت بسوی بلند مرتبه سازی را می توان به سال 1328 ه.ش دانست.

تا پیش از 1328 بلند ترین ساختمانهای ایران و تهران را می توان ساختمان باشگاه افسران دانست که مشتمل بر 4 طبقه بود(فرهودی و صالحی،72:1380).

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

با توجه به مشکلاتی که در اراستای اجرای این برنامه ها به وجود امد ، طرح مسکن مهر از سال 87 از سوی دولت بر مبنای سه اصل تخصیص زمین به هزینه صفر، اعطای تسهیلات ساخت، تبدیل واسطه مالکیتی به مدیریتی در راستای سیاست افزایش تولید و عرضه مسکن طراحی شدو عملیات اجرایی ان از سال 89 به صورت جدی وارد فاز اجرا و ساخت شد.

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

لذا در این تحقیق تلاش خواهیم کرد تا ضمن ارزیابی روند بلند مرتبه سازی در قائمشهر، به بررسی تاثیراحداث ساختمان های بلند در قائم شهراز نظر کاربری های شهری بپردازیم و سعی شود به سوالات زیر پاسخ داده شود:

-آیابلندمرتبه سازی بر کاربری زمین مسکونی در قائم شهرتاثیر می گذارد؟

-آیا بلند مرتبه سازی بر کاربری خدمات شهری تاثیرمی گذارد؟

-آیا بلند مرتبه سازی بر کاربریمعابر و شبکه ترافیک شهری تاثیر می گذارد؟

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