قضایا و قواعد منطق موجهات، در جهان های ممکن، معتبرند اما قضایای منطق ربط، در جهان های منطقی، و قواعد آن، در وضعیت ها اعتبار دارند. روبرت مایر، در سال 1974، به کمک ادات های صدق و کذب ویلهم آکرمان، نظامی در منطق ربط طراحی کرد که قضایا و قواعد آن، هر دو، در وضعیت ها معتبر بودند و به این وسیله، عدم تقارن موجود در منطق ربط میان قضایا و قواعد را از میان برد. در این مقاله، با معرفی نوع جدیدی از ادات ه...

لوسارتان پتاسیم یک آنتاگونیست رسپتور آنژیوتانسین ‏‎(ati)ii‎‏ می باشد و به فرم خوراکی (قرص) و با اسم کوزار فرموله و وارد بازار شده است که در ردیف مهارکننده ای ‏‎ace‎‏ بعنوان یک راه درمان کمکی جهت کاهش تحریک و فعالیت بالای سیستم رنین-آلدوستون- آنژیوتانسین گسترده کاربردی دارد.در مطالعه حاضر ، هم ارزی زیستی قرص 25 میلی گرم لوسارتان ساخت شرکت داروسازی دکتر عبیدی (ایران) با قرص 25 میلی گرمی کوزار ساخ...

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

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

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

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

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

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

ویتگنشتاین متقدم، با گره‌زدن زبان به ضرورت، معنا را از ایده‌های ذهنی صرف جدا می‌کند. به‌نظر او، زبان ساختاری منطقی دارد که روگرفتی از ضرورت‌های موجود در عالم است. او برای تبیین ضرورت‌های موجود در عالم تعریف خاصی از مفهوم شیء ارائه می‌دهد، به‌ازای هر شیء نشانه‌ای را در زبانِ ممکن واجدِ معنا می‌داند، و روابط بین اشیا را حاصل بالفعل‌شدن امکان‌های ترکیبیِ خاص هر شیء می انگارد. در نظر او، ساختار منطقی ...