ترکیب تابع ارزشی p  با ماتریس [1011] که از آن در منطق جدید به استلزام مادّی تعبیر می شود و کذب مقدّم یا صدق تالی شرط لازم و کافی صدق آن به شمار می آید، معادل ترکیب های تابع ارزشی  و  در منطق جدید است که دارای همان ماتریس می باشد. این ترکیب اساسی ترین مفهوم منطق جدید محسوب می شود و در استدلال های پیچیدۀ ریاضی نتایج رضایت بخشی داده است. آگاهی یا عدم آگاهی منطق دانان قدیم از شروط صدق این ترکیب سئوا...

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

ازآنجا که روش چنددرختی عموماً نتایجی اریب به همراه دارد، در کاربرد برآوردکننده های مختلف روش چنددرختی باید ارزیابی اریبی انجام گیرد. هدف این پژوهش، ارزیابی اریبی روش چنددرختی با تغییر برآوردکننده kleinn-vilcko در محاسبه تعداد در هکتار و درصد تاج پوشش در جنگل های زاگرس است. بدین منظور 6 تا 10 درخت با استفاده از نقشه واقعی درختان در محیط gis با آماربرداری صددرصد بررسی شد. برای مقایسه نتایج مشخصه ه...

چکیده- برای بررسی اثر ریشه های درخت بر افزایش نفوذ آب در خاک و هم چنین برای تعیین و ارزیابی ضرایب معادله های مختلف نفوذ، اندازه گیری هایی در سه ناحیه درختکاری  شده در باجگاه، استان فارس با بافت های مختلف خاک (لوم رسی در باغ گلابی، لوم شنی در باغ انگور و شن لومی در جنگل کاج) انجام شد. در هر کدام از سه ناحیه،  چهار استوانه دوگانه اندازه گیری  نفوذ آب کارگذاری شد به نحوی که دو استوانه زیر تاج درخت...

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

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

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

این مقاله به بررسی هویت اجتماعی دانش آموزان مقطع متوسطه با تأکید بر بُعد هویت ملی آنان می پردازد. در این مقاله سعی شده به این پرسش پاسخ داده شود که چگونه می توانیم میزان تعلق به هویت ملی دانش آموزان را افزایش دهیم؟ جامعه هدف دانش آموزان، دو دبیرستان از نواحی یک و دو شهر زنجان و به تعداد 700 نفر بوده که از آن تعداد، 30 نفر به منظور حضور در کارگاه انتخاب شدند. نوع پژوهش بر اساس هدف، کاربردی و حل م...

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