هدف این مقاله توصیفی، آشناکردن علاقه مندان با نمونه هایی از تلاش هایی است که در جهت استفاده از سیستم های منطقی برای ماشینی سازی اثبات در دست انجام است. اهداف این مقاله عبارتند از (1) ارائه الگوریتیم که با استفاده از ایده کاربر و ادامه روند اثبات توسط رایانه، اثباتی در سیستم گنسنی ارائه دهد. (2) ارائه الگوریتمی که با استفاده از ایده کاربر و ادامه اثبات با رایانه، اثباتی متنی در سیستم استنتاج طبی...

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

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

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

چکیده ندارد.

چکیده ندارد.

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