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

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

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

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

چکیده ندارد.

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

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

در مطالعات علوم پزشکی، برای بررسی رابطه بین متغیرهای کیفی، احتمال معنی داری (p-value) به تنهایی نمی تواند معیاری کاملی از رابطه را ارائه نماید. در این مورد نیاز است شاخص هایی به عنوان اندازه اثر (effect size)، میزان اهمیت بالینی یا عملی رابطه را به همراه معنی داری آماری آنها نشان دهد. هدف از این مقاله ارائه شاخص های بررسی رابطه بین متغیرهای کیفی در این مطالعات و انجام استنباط در مورد آنها می با...

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

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