چکیده ندارد.

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

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

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

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

مجموعه ای که در پیش رو دارید بر گرفته از قسمتی از یک رساله دکتری ریاضی است که در سال 1997 در دانشگاه کیس و سترن ریزرو آمریکا به اتمام رسید و با کمک و راهنماییهای استاد گرامی جناب آقای دکتر صباغان به صورت حاضر درآمده است . امیدوارم این رساله برای دانشجویان دوره کارشناسی و کارشناسی ارشد مورد استفاده واقع می شود. مطالب این پایان نامه بطور اجمال به شرح زیر مطرح می شود: در کتاب الیس [e] رفتار گروه ت...

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

چکیده ندارد.

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