گراف تسلط کلمات دودویی، گرافی است جهت‌دار با مجموعه رئوس تمام کلمات دودویی به طول n که با نماد (Γ_n ) ⃗ نشان داده می‌شود، برای هر رأس دلخواه w=w_1 w_2⋯w_n از آن قرار می‌دهیم B_1 (w)={1≤i≤n|w_i=1} و دو رأس v و w را با پیکان جهت‌دار v→w به هم وصل می‌کنیم هرگاه داشته باشیم B_1 (w)⊆B_1 (v). در این مقاله، به مطالعه و محاسبه برخی پارامترهای این گراف می‌پردازیم؛ به عنوان مثال، پس از محاسبه فاصله هر دو ...

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

منطق ربط شاخه ای از منطق جدید است که ارتباط میان مقدم و تالی (و یا میان مقدمات و نتیجه) را بیان می کند. در نظام استنتاج طبیعیِ منطق ربط، از ترکیب دو روش «برهانک» و «شماره فرض» استفاده می شود. در این پایان نامه با معرفی این روش ترکیبی، اعتبار و عدم اعتبار مثالهای متنوعی از استدلال های ربطی و غیر ربطی را نشان داده ایم. روتلی و مایر برای منطق ربط، سمانتیکی مشابه سمانتیک کریپکی طراحی کردند که در سا...

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

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

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

روش خوشه بندی نتایج جستجو از روش های موثر در سازماندهی اطلاعات در وب است. در این پژوهش میزان تاثیرگذاری این روش در بازیابی تصاویر مربوط از ابرموتور جستجوی yippy با استفاده از سنجه دقت مورد توجه می باشد. در این آزمون، تعداد 12 پرسش به صورت تصادفی از سایت wordtracker انتخاب شد. پرسش ها در خوشه تصویر ابرموتور yippy جستجو شده و20 نتیجه اول از خوشه اصلی و سه زیرخوشه برای ارزیابی ربط ذخیره گردید. داد...

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