نشست تحکیمی یکی از ملاحظات مهم طراحی در پروژه‌های عمرانی همچون سازه ها، راه ها و راه آهن می‌باشد. این پارامتر بوسیله آزمایش تحکیم تعیین می‌شود. آزمایش تحکیم یک آزمایش نسبتا وقت گیر و پر هزینه است که باید با دقت کافی انجام می‌شود.
در بسیاری از پروژه ها به خصوص در پروژ ه‌های خطی مانند راه آهن خوددارای از انجام آزمایش تحکیم به تعداد و دقت کافی سبب وارد آمدن خسارات قابل توجه به حجم راه می‌شود. با توجه به زمان و هزینه نسبتا زیاد آزمایش تحکیم، تخمین نشت تحکیمی با بهره گرفتن از پارامترهای موثری که بتوان زیاد آزمایش تحکیم، تخمین نشست تحکیمی با بهره گرفتن از پارامترهای موثری که بتوان آنها را با انجام آزمایشات ساده کم هزینه و با دقت قبول نمود همواره مورد توجه بسیاری از محققین ژئوتکنیک و راه سازی بوده است.
 
2-2- شناسایی پارامترهای موثر در نشست تحکیمی خاک
با انجام آزمایش تحکیم، ضریب فشردگی یا شاخص تراکم (Compression index) از شیب نمودار تخلخل (e) بر حسب لگاریتم تنش موثر ( ) برای خاکهای تحکیم عادی یافته تعیین می‌شود. شکل 1 نحوه تعیین ضریب فشردگی ( ) را نشان می‌دهد.
همانطور که در این شکل مشاهده می‌شود، به طور مستقیم از رابطه زیر قابل تعیین است:
(2-1)
 
شکل 2-1 تعیین ضریت فشردگی
به طور غیر مستقیم و از روی پارامترهای موثر، اولین بار ترزاقی و پک در سال 1997، رابطه تجربی زیر را به منظور تخمین ضریب فشردگی برای رسهای تحکیم عادی یافته در حالت دست نخورده پیشنهاد نمود[6]
(2-2)
که در آن LL، حد روانی (Liquid Limit) خاک رس است. همچنین ترزاقی و پک در رابطه‌ای مشابه، فرمول زیر را برای رس‌های دست نخورده (Remolded clays) ارائه دادند:
(2-3)
همچنین آزور و همکارانش با بهره گرفتن از رگرسیون تک متغیره خطی، برای مناطق مختلف روابط زیر را ارائه نمودند [7]:
(2-4)                        : برای رس برزیلی
(2-5)                              : برای رس شیکاگو
(2-6)                            : برای خاکهای آلی و نباتی
نانسی و همکارانش با انجام مطالعه در خاکهای آتلانتیک شمالی، رابطه (2-7) را پیشنهاد دادند[8]
(2-7)
در این رابطه PI (نشانه خمیری) خاک، پارامتر تاثیر گذار بیان شده است. از آنجایی که :
(2-8)

به طور مشابه چندین رابطه دیگر و نیز محققین مختلف برای تخمین بر اساس پارامترهای معرفی شده پیشنهاد شده است. این روابط در جدول 2-1 درج شده است [9]، [10].
جدول 2-1 : فرمولهای تجربی برای تعیین

 
همانطور که در جدول شماره 2-1 مشاهده می‌شود در تمامی روابط معرفی شده اثر پارامترها به طور مجزا دیده شده و ترکیب آنها در تعیین رابطه‌ای واحد منظور نشده است.
 
 
2-3- مروری بر تاریخچه تحقیقاتی نظریه مجموعه‌های فازی و زمینه‌های آن در مهندسی عمران
2-3-1- اولین زمینه‌های فکری
در حالی که کانت (Kant) فیلسوف شهیر آلمانی در سال 1880 بر این امر اصرار می‌ورزید که منطق اساسا به واسطه کارهای ارسطو یک علم کامل و تمام شده است. دو قرن پس از وی، بول، پیرس، فرگه و راسل تحولاتی اساسی در منطق ایجاد کردند و تکنیکهای قوی تری را ارائه نمودند [11]. پس از آن، در نیمه دوم قرن بیستم، جهان علم شاهد تولد نظریه‌ای منطقی با شالودهای کاملا متفاوت از منطق ارسطویی بود. منطق فازی با یک تفاوت زیر بنایی متولد شد. البته با بررسی دقیق تاریخ علم می‌توان ریشه‌های این نوع نگرش را در سالها قبل از ارائه رسمی نظریه فازی در سال 1965، یافت. تردید در محدود بودن ارزشهای صدق یک گزاره به دو ارزش صدق و کذب از اوایل قرن نوزدهم در آثار لوکاسیویچ (Lukasiemicz) و به دنبال او منتقدانان و ریاضیدانانی مثل پست (Post)، بوخوار (Bochovar) و کلین (Kleene) بازتابهای خود را نشان داد. نقطه آغازین این رویکرد، تعمیم دو ارزش صدق به سه ارزش بود و پس از آن سیستمهای n- ارزشی و بینهایت ارزشی معرفی گردیدند و بر مبنای آنها جبرهای متعددی پایه ریزی شد. در سال 1937 ماکس بلک (Max Black) فیلسوف کوانتوم مقاله‌ای منتشر کرد که آن را ابهام نامید. مقاله‌ای راجع به آنالیز منطقی که در مجله فلسفه علم منتشر شد. بلکه در این مقاله منطق چند ارزشی را به مجموعه ها گسترش داد و خاطر نشان ساخت که این مجموعه‌های فازی هستند که تصورات و اندیشه‌های ما را با یکدیگر سازگار کرده اند. البته واژه مورد استفاده او واژه مبهم بوده است و نه فازی. نهایتا اینکه نظریه بلک مورد استقبال قرار نگرفت و در مجله‌ای اختصاصی که گروه اندکی آنرا مطالعه می‌کردند در سکوت به دست فراموشی سپرده شد و بلکه نیز دیگر به آن نپرداخت. آن سالها، سالهای اوج تفکرات پوزیویست‌های منطقی بود (کاسکو، 1377).