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

      دیرپاترین صورت‌بندی نظری در قلمرو برنامه درسی "منطق تایلر" است که در کتاب معروف "اصول اساسی برنامه درسی و آموزش" منعکس شده است. این مقاله که با روش تحلیلی انجام شده، در صدد پاسخگویی به دو سؤال محوری است: 1) چه مضامینی از منطق تایلر هنوز هم موجه و قابل اعتناست؟ 2) مضامین مغفول این منطق کدامند؟ در این راستا ویژگی‌ها و عناصر اساسی منطق تایلر از قبیل اهداف آموزشی؛ منابع تعیین اهداف (فراگیران،...

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

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

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

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

با توجه به ماهیت است، که برای تدوین چارچوب نظری تحقیق و مروری بر - » توصیفی تحلیلی « موضوع، رویکرد حاکم بر فضای پژوهش تحقیقات پیشین، از روش کتابخانهای)اسنادی( بهره گرفته شد. به منظور تجزیه و تحلیل اطلاعات و مکان یابی عرصه های مناسب جهت استقرار شهرک صنعتی از روش gis-fuzzy استفاده شد. جهت ارائه راهبرد توسعه شهرک صنعتی از مدل راهبردی soar استفاده شده است. جامعه آماری در این قسمت از پژوهش بر اس...

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