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

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

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

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

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

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

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

اخیراً روش تعمیم یافته ای برای محاسبه چگالی تراز هسته ای پیشنهاد شده است. این محاسبات شامل تعمیم روش معروف تبدیل لاپلاس است. با استفاده از عبارت جدید فرمول معروف بت چگالی تراز هسته ای در بازه های عدد جرمی 41-24، 70-55، 104 و 114 محاسبه و با داده های تجربی مقایسه شده است. این نتایج همچنین با فرمول بت و با مقادیر مناسب و مختلف از پارامترهای مدل bsfg مقایسه گشته است. بررسی ها نشان می دهد که نتایج ح...