نتایج جستجو برای: بان صوری
تعداد نتایج: 5729 فیلتر نتایج به سال:
یُعَدُّ مفهوم المواطنة من المفاهیم الحدیثة فی المجتمع الإسلامی، فعلى الرغم من رواجها بشکل کبیر، إلا أنّها لم تتمکن من فتح مکان لها فی الفکر السیاسی الاجتماعی کما ینبغی. إنّ المواطن هو ذلک الشخص الذی یعیش فی ظل حکومة ما، وکما ورد فی التعالیم الإسلامیة وأحادیث المعصومین وخاصة الإمام علی (ع)، إنه فرد من المجتمع الإسلامی، على هذا فإنّ حقوق المواطنة تغطی کل الأمور التی على الوالی أن یوفرها، وذلک مقابل القب...
یکی از روش های رایج در معاملات صورت دادن عقدی است که مقصود یا هدف اصلی طرفین چیزی جدا از ظاهر عقد باشد. اینک پرسش آن است که آیا چنین عقودی صحیح هستند یا باطل شمرده می شوند و در هر صورت چه ادله ای برای هر یک از این دو نظر وجود دارد. پایان نامه حاضر با رویکرد توصیفی به بیان این امر از دیدگاه فقیهان و حقوقدانان پرداخته و حاصل پژوهش در سه فصل با بررسی ماهیت عقد صوری، مصادیق، و احکام آن در فقه اما...
للشعراء العرفاء فی بیان الحقائق العرفانیه طریقه خاصه فهؤلاء یریدون من ذکر آلات اللهو و اللعب فی اشعارهم و آثارهم المعانی الاخری الباطنیه غیر المعانی الظاهریه . واللطف والقهر من صفات الله تعالی ولوجوه الملاح الجمیلات و ذوائبهن نصیب منها ‘ لکن یجب ان نلاحظ بان وجه الشبه بین المعانی المحسوسه والمعقوله العرفانیه او بین المعانی الظاهریه والباطنیه لیس شبها کلیا لان بین المحسوس ولامعقول ‘ و کما قیل ‘ ...
در این مقاله با توجه به وضعیت بحرانی آب در شهر مقدس مشهد و همچنین سایر شهرها و استانهای کشور و با در نظر داشتن لزوم صرفهجویی در آب شرب که حجم بالایی از آن در ماههای گرم سال توسط کولرهای آبی مصرف شده یا بعضاً به هدر میرود؛ به بررسی میزان صرفه جویی حاصل از قراردادن سایهبان بر روی کولرهای آبی پرداخته شده است. در این تحقیق با در نظر گرفتن شرایط فیزیکی و محیطی، دو کولر کاملاً مشابه در شرایط محیط...
سبک شناسی علمی است که به تشخیص و تمیز میان گونه های موجود در ادبیات یک ملت می پردازد و در ایران یکی از پدیده های نو می باشد. سبک شناس با نگاه ویژه ی خود می تواند چیزی را در یابد که دیگران از آن غافلند. شعرکودک یکی از مهم ترین و برجسته ترین گونه های ادبیات کودک و نوجوان به شمار می رود و هرچند در گستره-ی ادبیات غنی این مرز و بوم، به طور رسمی از تاریخچه ای غنی برخوردار نیست؛ اما در عصر حاضر به دل...
پل یکپارچه با سیستم کوله یکپارچه نوعی از پل است که در آن عرشه به صورت یکپارچه و صلب به کوله¬های انتهائی متصل می¬شود و هیچ درز انبساطی در داخل عرشه تعبیه نمی¬شود. در این نوع پل، کوله و عرشه در جهت طولی مانند یک قاب صلب عمل می¬کند. نبود این درزها کلیه مسائل مرتبط با آن را شامل ریزش آب به زیر پل، هزینه تعمیر لاستیک¬های درزگیر، نگهداری دستگاه¬های تکیه¬گاهی و غیره را از بین می¬برد. این نوع سازه¬ها ا...
شناسایی زبان اشاره توسط رایانه گام اولیه و مهمی در راستای ارتقای تعامل کاربران ناشنوا با رایانه است. با وجود گستردگی کارهای انجام شده در شناسایی زبان اشاره سایر کشور ها به خصوص زبان اشاره امریکایی، تنها هنوز گام های اولیه و آزمایشگاهی در مورد زبان اشاره فارسی انجام پذیرفته است. در این پایان نامه روشی جهت شناسایی حروف الفبای زبان اشاره فارسی باغچه بان (اولین و پرکاربردترین زبان اشاره فارسی) ار...
معانی مفاهیم«اولی،ضروری،بدیهی،یقینی»به ظاهر،روشن است، اما کاربرد آنها در مواضع و مباحث مختلف منطق متفاوت می باشد؛به تبع این مواضع و مباحث مختلف،معانی آنها نیز تا حدی تغییر کرده و مختلف خواهد بود.در این مقاله سعی داریم این مواضع و اختلاف معانی را روشن کنیم.
هزینه ی زیاد و تبعات منفی اجرای پروتکل های امنیتی ناقص و آسیب پذیر، باعث شده است که قبل از اجرای هر سیستم حساس و مهمی، همچون سیستمهای رأی گیری الکترونیکی، درستی یابی عملکرد آن به امری ضروری و پیش نیاز تبدیل شود. اثبات های شهودی، از درجه ی دقت و اطمینان بالای مورد نیاز برخوردار نیستند، بنابراین همواره استفاده از روش های صوری برای این گونه اثبات ها پیشنهاد می شود. در این پایان نامه، با استفاده از...
توصیف سیستم های حیاتی به روش های صوری و ریاضی انجام می گیرد. توصیف صوری و ریاضی مشکلات تخصصی دارند و سنگین و هزینه بر هستند.استفاده از دیاگرام ها کار را آسان می کنند ولی بیشتر دیاگرام ها دارای پایه ریاضی نیستند و در نتیجه برای توصیف سیستم های حیاتی نا مناسب اند. در میان نمودار های موجود یکی از نمودار های مطرح نمودار حالت است که این نمودار علاوه بر بصری-بودن دارای پایهریاضی مبتنی بر خودکار های ب...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید