فهرست جدول ها
جدول صفحه
جدول 2-1 : فرمولهای تجربی برای تعیین . 8
جدول 3-1 طبقه بندی خاکها بر اساس تراکم پذیری ثانویه 33
جدول 4-1 جدول قاعدگی برای رانندگی 59
جدول 6-2 : مشخصات کلی دادههای اولیه 98
جدول 6-3 : نتایج برازش خطی گام به گام 100
جدول 7-1 : نتایج آزمایشگاهی موجود برای ضریب فشردگی 107
فهرست شکل ها
شکل صفحه
شکل 1 – نمایش یک سیستم فازی 4
شکل 2-1 تعیین ضریت فشردگی 7
شکل 3-1 تغییر فشار آب حفرهای و تنش موثر ناشی از اعمال سربار 16
شکل 3-2 محاسبه تحکیم یک بعدی 17
شکل3-3 محاسبه . 18
شکل 3-4 دستگاه تحکیم(ادومتر) 20
شکل 5-3 نمودار شماتیک دستگاه آزمایش تحکیم با سرعت تغییر شکل نسبی کنترل شده 21
شکل 3-6 نمودار شماتیک آزمایش تحکیم با شیب ثابت 22
شکل3-7 مراحل مختلف در آزمایش با شیب کنترل شده 22
شکل 3-8 نشست تحکیم 26
شکل 3-9 روش لگاریتم زمان برای محاسبه . 28
شکل 3-10 روش ریشه دوم زمان برای محاسبه . 29
شکل 3-11 روش شیب بیشینه سو برای محاسبه . 30
شکل 3-12 تاثیر دست خوردگی نمونه بر منحنی ….. 31
شکل 3-13 ضریب تحکیم ثانویه برای خاکهای طبیعی رسوبی 1973 G.Mesri 32
شکل 3-14 تاثیر نسبت افزایش بار یکسان، بر روی ضخامت نمونه 33
شکل 3-15 تاریخچه زمین شناسی 34
شکل 3-17 شالوده انعطاف پذیر(الف) و صلب (ب) واقع بر خاک رس 35
شکل 4-1 مکمل فازی 42
شکل 4-2 اجتماع فازی 43
شکل 4-3 اشتراک فازی 44
شکل 4-4 اعداد مثلثی 49
شکل 4-5 اعداد نرمال 49
شکل 4-6 اعداد سهموی 50
شکل 4-8 توابع عضویت برای رانندگی 58
شکل 4-9 مجموعههای فازی برای بخش نتیجه 61
شکل 4-10 ساختار اصلی سیستمهای فازی با فازی ساز و غیر فازی ساز 63
شکل 5-1: شبکه یا یک نود 70
شکل 5-2 : تابع سیگموید 71
شکل 5-3 : تشخیص تصویر 81
شکل 5-4 : سلول عصبی بایاس در شبکه 84
شبکه5-5 : MLP با یک نود 93
شکل 5-6 : شبکه پرسپترون چند لایه MLP با یک لایه مخفی. 94
شکل 6-1: میزان پراکندگی در دادههای اولیه برای رابطه (9) 100
شکل 6-2 : مناسبترین توابع درجه دو و درجه 3 برای تعیین Cc از روی 101
شکل 6-3 : آزمایش رابطه 6-13 و مقایسه با روابط دیگر محققین 103
شکل 7-1 توابع عضویت ورودی PL 111
شکل 7-2 توابع عضویت ورودی LL 111
شکل 7-3 توابع عضویت ورودی 112
شکل 7-4 : مقایسه نتایج آزمایشگاهی و مدل ANFIS (دادههای آموزش) 112
شکل 7-5 : مقایسه نتایج آزمایشگاهی و مدل ANFIS (دادههای تست) 113
شکل 7-6 : مقایسه نتایج آزمایشگاهی و مدل شبکه عصبی (دادههای آموزش) 118
شکل 7-7 : مقایسه نتایج آزمایشگاهی و مدل شبکه عصبی (دادههای تست) 118
فصل اول:
كلیات
1- مقدمه
1-1- تعریف مساله و هدف از پژوهش
راه حل مستقیم برای تعیین پارامترهای نشست تحکیمی خاک، استفاده از آزمایش تحکیم است. مطابق استاندارد انجام آزمایش تحکیم نیاز به صرف حدود یک هفته وقت دارد. دشواری انجام آزمایش تحکیم و بالاخص زمان طولانی و هزینه بالای آن سبب بروز محدودیتهای فراوان در کیفیت و کمیت آزمایش به ویژه در پروژههای حجیم و وقت گیر شده است. در اکثر این پروژه ها به منظور جلو گیری از نیاز به زمان طولانی و همچنین کاهش هزینههای انجام مطالعات ژئوتکنیک اغلب تعداد آزمایش ها کاهش داده میشود و در نتیجه اطلاعات پیوسته و جامع از خاکها بخصوص در مواردی که تنوع لایه بندی زیاد است، بدست نمیآید. این امر سبب میشود طراحان بدون داشتن اطلاعات کافی، اقدام به ساده سازی پارامترهای طراحی مینمایند که معمولا به صورت دست بالا است و از جهت دیگر سبب افزایش هزینههای اجرا میشود. بنابراین لازم است معیارهایی مشخص گردند تا بتوان از طریق آنها به دانشی جامع و با خطای قابل قبول پارامترهای تحکیم را تخمین زد. این کار علاوه بر اینکه سبب کاهش حجم آزمایشات و صرفه جویی در زمان و هزینه میشود از طرف دیگر میتواند اطلاعات پیوستهای از ساختگاه مورد نظر را فراهم سازد و دانش طراحان را به میزان قابل توجهی بهبود بخشد. با توجه به این موارد محققین مختلفی سعی کردند تا با بهره گرفتن از دادههای آزمایشگاهی فرمولهای تجربی جهت تعیین پارامترهای تحکیم خاک ارائه دهند. بدین طریق میتوان بدون انجام آزمایش تحکیم اقدام به تخمین نتایج حاصل از آن نمود. در این پژوهش پس از بررسی روابط ارائه شده توسط سایر محققین جهت تخمین نشست تحکیمی، با بهره گرفتن از اطلاعات تفصیلی بدست آمده از چهارده پروژه بزرگ ایران و با بهره گرفتن از شبکههای عصبی- فازی (ANFIS) مدلی با دقت بالا جهت تعیین نشست تحکیمی خاک ارائه میشود.
1-2- پدیده تحکیم
فشردگی یا تراکم خاک در اثر تاثیر سربار (وزن سازه) باعث نشست سازه واقع بر روی آن میشود که به این پدیده نشست خاک میگویند. که در حالت کلی نشست خاک به دو گروه زیر تقسیم میشوند:
الف) نشست آنی (Immediate Settlement) که ناشی از تغییر شکل الاستیک خاک خشک و یا خاکهای مرطوب و اشباع بدون تغییری در میزان آب میباشد و در تمام خاکها مورد توجه است.
ب) نشست تحکیمی (Consolidation Settlement) که ناشی از تغییر حجم خاک اشباع به علت رانده شدن آبهای موجود در حفرات است و در خاکهای ریز دانه مانند رس مورد توجه قرار میگیرد.
وقتی خاک اشباع تحت بارگذاری قرار میگیرد، در آغاز تمام بار گذاری توسط آب حفرهای تحمل میشود و به آن افزایش فشار آب حفرهای میگویند. در صورتی که زهکشی انجام شود، به مزور زمان حجم خاک کاهش مییابد که به آن تحکیم گفته میشود و باعث نشست میگردد. از طرفی ممکن است خاک در اثر جذب آب حفرهای یا فشار آب حفرهای منفی افزایش حجم دهد که به آن تورم میگویند.
نرخ تغییر حجم تحت بار گذاری به نفوذ پذیری نمونه بستگی دارد، از این رو آزمایش تحکیم معمولا در خاکهای با نفوذ پذیری کم (مانند رس) انجام میگیرد. هدف از انجام آزمایش تحکیم، تعیین پارامترهای موثر در پیش بینی شدت نشست و میزان آن در سازههای متکی بر خاکهای رسی است. آزمایش تحکیم در واقع آزمایش جهت بر آورد پارامترهای تحکیم یک بعدی ترزاقی است که از حل همزمان دو معادله تعادل و پیوستگی به صورت تک بعدی حاصل شده است.
نمونه گیری از خاک با حفظ شرایط واقعی کار بسیار مشکلی است. تفاوت قابل توجه در میزان رطوبت، حد روانی و شاخص پلاستیسیته و فشار همه جانبه نمونههای تهیه شده از اعماق مختلف و حتی از یک عمق خاص، بیانگر تفاوت و رفتار در نمونههای تهیه شده از یک نوع خاک میشود و این مسئله علاوه بر افزایش هزینه انجام آزمایشات سبب پیچیدگی و وارد نمودن قضاوت مهندسی در پروژههای مهندسی ژئوتکنیک میگردد. دادههای آزمایشگاهی زیادی موجود هستند که در پروژههای معینی به کار رفته و عملا بعد از مدتی فراموش شده اند. این اطلاعات قدیمی میتوانند بعنوان یک بانک اطلاعاتی مفید در ارزیابی پارامترهای ژئوتکنیکی بکار گرفته شوند[1].
1-3- منطق فازی
در دهه 1960، پروفسور لطفی زاده در دانشگاه برکلی کالیفرنیا، مقالهای را با این مضمون که ابهامات یک وضعیت نامعلوم ولی متفاوت از پدیدههای تصادفی هستند، ارائه داد. برای مثال نمیتوان مردم را به دو گروه خوب و بد تقسیم کرد. یا دسته بندی پارامترهایی چون دما، فشار، اندازه و… در دو گروه صفر و یک ممکن نیست. برای توصیف چنین پارامتنرهایی درجهای به آنها تعلق میگیرد که این درجه ها بر اساس چندین فاکتور مانند موقعیت، آزمایش و .. است. این ایده اساس مجموعههای فازی نسبت به منطق کلاسیک است. در مجموعه کلاسیک یک شئ به مجموعه تعلق دارد یا ندارد ولی در مجموعه فازی درجههایی از تعلق به یک مجموعه معرفی میشوند. یک مجموعه فازی تابع تعلقی دارد که در درجههای مختلفی از تعلق برای عناصر مشخص در آن تعریف میشود. تابع تعلق به صورت مقادیر گسسته یا به وسیله منحنیهایی تعریف میگردد. روش های متعددی برای توصیف یک مجموعه فازی موجود دارد [2].
پروسه فازی سازی (fuzzification) مجموعهای کلاسیک را به یک مجموعه تقریب زننده که فازی است تبدیل میکند [3]. از آنجاییکه هر عضو و درجه تعلق آن مستقل از عضو دیگر و درجه تعلق مربوط به آن است، پروسه خطی است و اصل جمع آثار در آن صدق میکند، یعنی هر عضو به تنهایی فازی میگردد [4].
منطق فازی بر اساس مفهوم مجموعههای فازی است و هر مقدار درستی در بازه را میپذیرد. از مفاهیم مجموعههای فازی در جبر فازی استفاده میشود.
به منظور طراحی یک سیستم کنترل منطق فازی باید قادر به توصیف عملیات زبانی باشد. به بیان دیگر مراحل زیر باید انجام شود[4]:
- مشخص نمودن ورودی ها و خروجی ها با بهره گرفتن از متغیرهای زبانی
- نسبت دادن توابع تعلق به متغیرها
- ایجاد قواعد پایه (اساسی)
- غیر فازی سازی (Defuzzification)
متغیرهای زبانی، توابع تعلق و قواعد پایه از تجربیات یک اپراتور ماهر بدست میآیند. قواعد پایه زیاد، معمولا منجر به عملکرد بهتری میشوند. سیستمهای فازی
این مطلب را هم بخوانید :
“سیستمهای مبتنی بر دانش یا قواعد” هستند. قلب یک سیستم فازی یک پایگاه دانش بوده که از قواعد اگر – آنگاه فازی تشکیل شده است. منظور از سیستم فازی در مهندسی سیستم فازی با فازی ساز (Fuzzifier) و غیر فازی ساز (Defuzzifier) است، شکل (1) [5].
شکل 1 – نمایش یک سیستم فازی
در یک سیستم غیر فازی، تنها یک قاعده در یک زمان خاص وجود دارد ولی در سیستم فازی ممکن است در همان زمان خاص بیش از یک قاعده ولی با قوتهای متفاوت وجود داشته باشد. این قواعد با قوتهای متفاوت منجر به عملیات کلاسیک در خلال پروسه غیر فازی سازی میشوند [2]. پروسههای غیر فازی سازی در سیستمهای کنترل فازی استاندارد نیستند. از چندین روش برای این کار میتوان استفاده کرد. مانند:
- عملیات max-min(and-ro)
- روش مرکز ثقل (center of gravity) یا COG
و روش های متنوع دیگر.
اساسا اگر چه سیستمهای فازی پدیدههای غیر قطعی و نامشخص را توصیف میکنند، با این حال خود تئوری فازی یک تئوری دقیق میباشد. دو توجیه برای تئوری سیستمهای فازی وجود دارد:
- پیچیدگی بیش از حد دنیای واقعی که منجر به توصیفی تقریبی یا فازی برای مدل کردن یک سیستم میشود.
- نیاز به فرضیهای برای فرموله کردن دانش بشری به شکلی سیستماتیک و قرار دادن آن در سیستمهای مهندسی توجیه دوم وجود تئوری سیستمهای فازی را به عنوان یک شاخه مستقل در علوم مهندسی توجیه میکند[5].
این پایان نامه شامل فصول زیر میباشد:
فصل اول مقدمه
فصل دوم مروری بر تحقیقات گذشته
فصل سوم تحکیم
فصل چهارم منطق فازی و کاربرد آن در مهندسی عمران
فصل پنجم برآورد ضریب فشردگی تحکیم به وسیله پارامترهای فیزیکی خاک
فصل ششم آشنایی با شبکه مفاهیم شبکه عصبی
فصل هفتم مدل سازی ضریب فشردگی با بهره گرفتن از شبکههای عصبی-فازی (ANFIS)
فصل هشتم نتیجه گیری و جمع بندی و پیشنهادات
فصل دوم: