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

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

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

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

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

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

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

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