چکیده: امروزه استفاده از الگوریتم­های مبتنی بر هوش جمعی به­ همراه استراتژی آزمون T-ستونی[i] در حوزه تولید خودکار دنباله آزمون کمینه، افزایش یافته است. در این میان الگوریتم­های جستجوی ژنتیک، الگوریتم مورچگان، شبیه­سازی تبرید، ازدحام توده ذرات و الگوریتم جستجوی ممنوعه سهم به ­سزایی را دارند. اکثر این الگوریتم­ها به ­دلیل داشتن ساختار پیچیده و استفاده از محاسبات دشوار قادر به تولید دنباله آزمون بر...

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

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

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

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

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

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