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

موضوعی که در این پژوهش به آن پرداخته می شود ارزیابی تاثیر محافظه کاری حسابداری بر درآمد باقی مانده و رشد غیر عادی سود شرکت های پذیرفته شده در بورس اوراق بهادار تهران است، در این تحقیق برای محاسبه محافظه کاری حسابداری از مدل گیولی استفاده شده است نمونه، شامل 78 شرکت پذیرفته شده در بورس اوراق بهادار تهران بین سالهای 1386-1392 را در بر می گیرد. فرضیه ها بر اساس آزمون لوین، لیو و چو ، جاکوا -برا، آ...

در پایان سال 1385 تعداد آزمایشگاههای روستایی کشور با رشدی معادل 87/93 درصد نسبت به سال 1382 از 90 واحد به 166 واحد رسید و میانگین کشوری شاخصهای کیفیت میکربی آب شرب روستایی در فاصله سالهای 1383 و 1385در بخش کلر باقی مانده از 90/13 به 91/43 درصد و فقدان باکتری شاخص اشریشیاکلی از 84/37 به 93/07 درصد افزایش یافت. با درج آزمون کدورت در سرفصل شاخصهای میکربی و الزام به انجام آن، شاخص مطلوبیت کدورت از ...

مقدار معین آستنیت باقی مانده، انعطاف پذیری فولادها را به دلیل پدیده trip در طول تغییرشکل پلاستیک، افزایش می دهد. یک روش برای دست یابی به مقدار قابل توجه آستنیت باقی مانده در فولاد، پارتیشن بندی کربن به آستنیت است که باعث پایدارسازی آستنیت در دمای اتاق می شود. عملیات حرارتی کوئنچ و پارتیشن بندی (q&p;) با استفاده از این روش، منجر به ریزساختاری شامل مارتنزیت و آستنیت باقی مانده پایدار شده بین صفحا...

ویژگی­های خلأ نحوی در زبان فارسی     منصور شعبانی [1]     تاریخ دریافت: 30/8/90   تاریخ تصویب: 20/5/92     چکیده   این مقاله درصدد توصیف ویژگی­های خلأ نحوی در زبان فارسی بر اساس مطالعات انجام شده در این زمینه در سایر زبان­هاست. با بررسی خلأ نحوی در زبان فارسی درمی یابیم که خلأ نحوی در زبان فارسی دارای شباهت­ها و تفاوت هایی با خلأ نحوی در سایر زبان هاست. ویژگی­های بارز خلأ نحوی در زبان فارسی عبا...

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

تفسیر کمی در سالهای اخیر کاملا مورد توجه قرار گرفته است. دو روش به نام های سیگنال تحلیلی و واهمامیخت ایلر(euldph ) در این مقاله مورد بحث قرار گرفته اند. بعد از مروری کوتاه روی پایه های ریاضی این دو روش‘ دو مثال صحرایی به منظور امتحان کارایی و محدودیت های این روش ها در مورد ساختمان های زمین شناسی پیچیده استفاده شده است. این روش تا کنون در مورد داده های مصنوعی و یا داده های با دقت بالا مانند داده...

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

فرض کنید x_n,…,x_1 متغیرهای مستقل نمایی به ترتیب با نرخ خطرهای ?_n,…,?_1 و y_n,…,y_1 یک نمونه ی تصادغی از جامعه ی نمایی با نرخ خطر ? باشند. با استفاده از روابط خاصی میان?_i ها و ? شرایط لازم و کافی برای برقراری ترتیب متوسط باقی مانده ی عمر، ترتیب نرخ خطر، ترتیب پراکندگی و ترتیب نسبت درست نمایی میان x_(2:n) و y_(2:n) را به دست می آوریم. با استفاده از نتایج موجود می توان کران هایی برای تابع متوسط...