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

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

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

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

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

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

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

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

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