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

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

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

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

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

ذاتی گرایی(essentialism) نظریه ای متافیزیکی است که ریشه در سنت پربار ارسطو دارد. در این نظریه برخی ویژگی ها، هویت یک شی ء را تعیین می کنند. قائلان به چنین دیدگاهی، هر شی ء را دارای ذات مختص به خود می دانند. نفی امکان شناخت ذات اشیاء، نقدی است که بر نظریه­ی ذاتی گرایی ارسطو وارد شده است. این انکار به­ویژه در آموزه های پوزیتیویسم منطقی با رد مابعدالطبیعه به اوج خود رسید. علاوه بر متن دست آوردهای ...

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

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

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