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

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

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

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

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

تطابق بین نظریه میدانها در فضای آنتی دوستیر(1+ ‏‎d‎‏) بعدی و نظریه میدانهای همدیس در ‏‎d‎‏ بعد از جنبه های مختلف در سالهای اخیر مورد مطالعه قرار گرفته. این تطابق برای نظیه پیمانه ای فوق همدیس در حد ‏‎n‎‏های بزرگ و فوق گرانش در فضای ‏‎ads d+1‎‏ حدس زده شده است. تابع پارش را برای هر میدان روی 1 + ‏‎ads d بصورت زیر تعریف می کنیم.میدان روی مرز 1+‏‎ads d است و انتگرال گیری روی است که وقتی از حجم 1+ ...

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

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

این مطالعه به بررسی ویژگی های زیست چینه ای و مجموعه های فرامینیفری توالی های الیگوسن (سازند آسماری) در چهار برش چینه شناسی شول، کفترک، دارنگون و نورآباد در حوضه فارس پرداخته است. بر اساس پخش و پراکندگی فرامینیفرها در برش های مورد مطالعه سه زیست زون تجمعی (روپلین-چاتین) شناسایی شد که عبارتند از: . nummulites vascus-nummulites fichteli, lepidocyclina-operculina-ditrupa, archaias asmaricus/hensoni...

در این تحقیق, از نوعی الگوریتم تطابق شکل برای بازشناسی ارقام دستنویس فارسی استفاده شده است. برای هر نقطه نمونه برداری شده بر روی کانتور شکل, توصیفگری براساس توزیع مکانی نقاط دیگر کانتور به دست می آید. برای تعیین میزان شباهت دو شکل, ابتدا بر اساس این توصیفگرها تناظری یک به یک بین نقاط نمونه برداری شده روی کانتور شکل اول با نقاط روی کانتور شکل دوم به دست می آید. جمع فواصل بین نقاط متناظر در دو شک...