نتایج جستجو برای: بان صوری

تعداد نتایج: 5729  

یُعَدُّ مفهوم المواطنة من المفاهیم الحدیثة فی المجتمع الإسلامی، فعلى الرغم من رواجها بشکل کبیر، إلا أنّها لم تتمکن من فتح مکان لها فی الفکر السیاسی الاجتماعی کما ینبغی. إنّ المواطن هو ذلک الشخص الذی یعیش فی ظل حکومة ما، وکما ورد فی التعالیم الإسلامیة وأحادیث المعصومین وخاصة الإمام علی (ع)، إنه فرد من المجتمع الإسلامی، على هذا فإنّ حقوق المواطنة تغطی کل الأمور التی على الوالی أن یوفرها، وذلک مقابل القب...

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه فردوسی مشهد - دانشکده الهیات و معارف اسلامی شهید مطهری 1391

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

الدکتور امیر محمود انوار

للشعراء العرفاء فی بیان الحقائق العرفانیه طریقه خاصه فهؤلاء یریدون من ذکر آلات اللهو و اللعب فی اشعارهم و آثارهم المعانی الاخری الباطنیه غیر المعانی الظاهریه . واللطف والقهر من صفات الله تعالی ولوجوه الملاح الجمیلات و ذوائبهن نصیب منها ‘ لکن یجب ان نلاحظ بان وجه الشبه بین المعانی المحسوسه والمعقوله العرفانیه او بین المعانی الظاهریه والباطنیه لیس شبها کلیا لان بین المحسوس ولامعقول ‘ و کما قیل ‘ ...

سعدالله ولایتی محمد جواد سمیعی دلوئی محمد فشائی محمدبهنام رسولی مهدی زینلی

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

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه سیستان و بلوچستان - دانشکده ادبیات و علوم انسانی 1389

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

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه تبریز - دانشکده عمران 1393

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

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه صنعتی شاهرود - دانشکده مهندسی کامپیوتر 1392

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

Journal: :زبان و ادب فارسی 0

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

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه قم - دانشکده فنی مهندسی 1389

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

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه تبریز - پژوهشکده علوم کامپیوتر 1393

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

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید