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

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

چکیده از نظر گابریل مارسل آدمی دو گونه ارتباط با هستی دارد: «بودن» و «داشتن» و این دو، لازمه زندگی هستند. انسان، غالباً مقوله ملک و «داشتن» را بر بعضی از عناصر شخصی و حتی بر افکار و تصورات خود اطلاق می‌کند و آن را به صورت ملموس توصیف می‌کند. در «داشتن»، کارکرد و به تبع آن علم کاربردی مطرح است و در آن، ما با مسائل و تکنیک و مهارت‌ها سر و کار داریم. ارتباط ما در «داشتن» ارتباط «من» و «او» است، یع...

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

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

کانت دقیقه­ اولِ تحلیل امر زیبا در جزء اول کتابش را به بررسی حکم ذوقی از وجهه­ نظر کیفیت اختصاص می­دهد و می­گوید انسان برای آنکه چیزی را زیبا بنامد باید حکم کند که آن شئ متعلق رضایت یا عدم رضایتِ بی­طرفانه است. این «بی‌علاقگی1»، «بی‌طرفانه» یا «بی‌غرض» بودنِ حکم ذوقی، از سویی به دلیل اهمیتش و از سوی دیگر به دلیل ابهام آن، مورد توجه بسیاری از کسانی که بر روی زیبایی­شناسی ِکانت مطالعه کرده­اند قرار گ...

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

آنالیز شیءگرا تاثیر نیرومندی را برای مدل کردن سازه در کامپیوتر گذاشته است. ooa این امکان را فراهم می آورد که سیستم های سازه به صورت آبجکت های دال ها و آبجکت های تیرها،آبجکت های ستون ها و غیره منظور شوند. مثلا برای اولین بار در سال 2000 آقای روارد و فن وس از یک مدلسازی شیء گرا برای روش طراحی استفاده نمودند. اخیرا برای طراحی، الگوریتم های ga ,ea در حال پیوند خوردن با سازه های شیء گرا هستند و ا...

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

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