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

در بخش اول این پروژه، مدل qsprبر پایه روش ماشین بردار پشتیبان، جهت پیشگویی دمای خود اشتعالی 35 ترکیب آلی مایع قابل اشتعال با هوا در فشار بالا، بین 10-2 بار ساخته شد. آنها گروه های مختلف از ترکیبات آلی، شامل هیدروکربن های آلیفاتیک، آروماتیک ها، الکل ها، اسیدها، آلدهیدها، کتون ها، استرها و آمین ها می باشند. ابتدا ساختار مولکولی این ترکیبات در نرم افزار hyper chem رسم شدند و پس از بهینه سازی ساختا...

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

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

چکیده ندارد.

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

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

هم ترازی بهینه یک ابزار ضروری جهت شناسایی عملکرد یک توالی زیستی برای زیست شناسان است. از جمله ابزار هایی که این هم ترازی بهینه و معنی داری آماری آن را محاسبه می کنند می توان به روش های ‎‎‎‎blast‎‎ و ‎‎‎‎ h-‎tuple‎‎اشاره کرد. تصحیح اثر لبه‏، روشی در بهبود معنی داری آماری هم ترازی بهینه می باشد. تصحیح اثر لبه در روش ‎‎‎‎blast‎‎ بررسی شده است. ما در این پایان نامه‏، تصحیح اثر لبه و تاثیر آن بر روش...

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

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