نتایج جستجو برای: نمایش حل پذیر تظریف شده

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

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

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

ژورنال: :فلسفه علم 0
جلال پیکانی استادیار گروه الهیات، پیام نور

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

ژورنال: :فصلنامه علمی- پژوهشی آب و فاضلاب 2012
علی حقیقی

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

ژورنال: :مهندسی صنایع و مدیریت 0
سیدحسام الدین ذگردی دانشکده مهندسی صنایع- دانشگاه تربیت مدرس

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

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

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

ژورنال: :هنرهای زیبا 2003
دکتر فرهاد ناظرزاده کرمانی

پویشها - کارکنشها (فعالیتها) و پدیده های تماشاگانی (فنونهای تئاتری) در ایران را به پژوهش و نظر این پژوهشگر می توان در نه ریختار (فرم گونه) گنجاند : 1) نمایشگری آیینی (ritualstic performance) 2) نمایشگری کاروانی (processional performance) 3) داستانگویی نمایشگرانه (dramatic storytelling) 4) نمایشگری گذرگاهی (street and outdoor performance) 5) نمایش عروسکی )puppet theatre) 6) نمایش خندستانی (farci...

ژورنال: :اندیشه آماری 0
مهدی شمس گروه آمار

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

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

ژورنال: :مهندسی مخابرات 0
شیدا مزارعی دانشگاه آزاد اسلامی، واحد بوشهر، گروه مهندسی کامپیوتر علی هارون آبادی عضو هیئت علمی دانشگاه آزاد اسلامی، واحد تهران مرکز، گروه مهندسی کامپیوتر سید جواد میرعابدینی عضو هیئت علمی دانشگاه آزاد اسلامی، واحد تهران مرکز، گروه مهندسی کامپیوتر

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

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

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