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

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

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

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

یکی از نظریات مهم ویتگنشتاین متأخر، نفی زبان خصوصی است؛ زبانی که معنای واژگان اش را تنها کاربر آن زبان می داند. ویتگنشتاین در استدلال خاطره نویس برای اثبات امتناع زبان خصوصی می گوید که محال است شخص بتواند احساس خودش را با نشانه ای مثل «s» نامگذاری کند و آن را در دفتر خاطراتش یادداشت کند و بعد از آن بخواهد تکرار آن احساس را نیز در آن دفتر یادداشت کند. از این استدلال تفسیرهای متفاوتی شده است. برخ...

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

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

زمینه و هدف: عفونتهای بیمارستانی با عوارض شناخته شده و ابتلا و مرگ و میر زیاد از شیوع بالایی برخوردارند. چند محلول الکلی ضد عفونی کننده مؤثر و سریع مثل استریلیوم وجود دارند که نیازی به شستشو ندارند. هدف این مطالعه، مقایسه اثربخشی بتادین با استریلیوم برای ضدعفونی کردن دستها در یک کارآزمایی بالینی قبل و بعد و طبق پروتوکل pren12054 pren 1500 بود. روش بررسی: ما بتادین و استریلیوم را برای ضد عفونی ک...

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

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