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

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

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

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

چکیده ندارد.

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

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

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

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

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