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

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

هدف ما در این پایان نامه مطالعه ی منطق اثبات ها و برخی گسترش های آن است. منطق اثبات ها (cp) ابتدا توسط آرتموف در سال 1994 مطرح گردید. یکی از انگیزه های شکل گیری منطق اثبات هاارایه ی یک معنا شناسی اثبات پذیری دقیق برای s4 و صوری کردن تعبیر bhk برای منطق شهودی بود. cp گسترشی از منطق گزاره ای کلاسیک است که زبان آن علاوه بر نمادهای منطق گزاره ای شامل عملگرهای اثبات می باشد. در این پایان نامه ضمن بی...

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

در بخش اول این رساله، یک روش آسان برای سنتز فضاگزین مشتقات جدیدی از پیرازولو]1،5-[aپیریمیدین با استفاده ازfe+3-montmorillonite به عنوان کاتالیزگری کارا و قابل بازیافت در یک واکنش سه-جزیی تک-ظرفی تحت شرایط کلاسیک و تابش امواج فراصوت ارائه شد. استفاده از این شرایط منجر به تولید محصولات مورد نظر با بازده بالا و زمان واکنش کوتاه شد. در بخش دوم، یک روش کارا و سریع برای سنتز مشتقات جدیدی از پیریدو]2...

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

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

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

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

مسأله انواع طبیعی در زمره مسائل پیچیده و عمیق فلسفی است، که از یک سو با مسأله افراد و از سوی دیگر با مسأله «ذات» گره خورده است. در این مسأله، نام­گرایان با اصیل دانستن افراد و برشمردن ویژگی­های مشترک میان آنها، هرگونه هویت هستی­شناختی برای انواع را نفی می­کنند. در مقابل، واقع­گرایان به وجود انواع طبیعی با الزامات خاصّی باور دارند و تلاش می­کنند طبقه­بندی افراد را تحت انواع طبیعی، براساس ویژگی­ها...