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

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

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

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

چکیده ندارد.

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

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

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

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

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