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

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

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

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

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

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

در این مقاله، پردازنده ضرب عددی خم بیضوی کارآمد در میدان باینری gf(2163) طراحی و با استفاده از کدهای قابل سنتز vhdl پیاده سازی شده است. طراحی معماری های جدید و کارآمد برای واحدهای محاسبات میدان و به ویژه واحد محاسباتی ضرب میدان منجر به کاهش طول مسیر بحرانی پردازنده شد. همچنین استفاده از اجرای موازی عملیات ضرب میدان در الگوریتم ضرب عددی lopez-dahab و جدا نمودن مسیر جمع دو نقطه از کلید باعث بهبود...

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

واژۀ «ضرب» دارای معانی حقیقی و مجازی است. در قرآن و روایات و به تبع آن در متون فقهی، مسئلۀ «ضرب زوجه» به عنوان یکی از ابزارهای تنبیه زن ناشزه که وظایف شرعی و عرفی خود را انجام نمی دهد، مطرح شده است. سؤال آنست که آیا از معنای حقیقی «ضرب» به معنای «زدن و تنبیه بدنی» که نظر مشهور فقهاست، استفاده کنیم یا از یکی از معانی مجازی آن یعنی «اعراض»؟ بر اساس روش اجتهادی، بیان ادلۀ احکام، کتب لغت، اقوال و ا...

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