شمس‌الدین سمرقندی از منطق‌دانان قرن هفتم، در بحث قیاس شرطی دیدگاهی نو در برابر ابن‌سینا پیش ‌نهاده است. از نظر ابن‌سینا، قیاس شرطی دقیقاً مانند قیاس حملی است و در‌نتیجه، 19 ضرب منتج دارد؛ اما سمرقندی این همانندی را نمی‌پذیرد و فقط 7 ضرب از قیاس شرطی را معتبر می‌داند. او در بیان شرایط انتاج فقط شرایط کیفیت را بیان می‌کند و به شرایط کمیت نمی‌پردازد و هنگام ارائة مثال نقض برای ضرب‌های عقیم، تفاوت ک...

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

résumé : un rapide survol des manuels de langue révèle leur insuffisance en tant qu’un support destiné à systématiser le processus denseignement/ apprentissage et à mener les apprenants vers la pratique naturelle dune langue étrangère. nous nous sommes servis du substantif "insuffisance " car dans les manuels, les connaissances à transmettre demeurent au stade de la présentation et on s’y occ...

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

چکیده ندارد.

در جبرهای باناخ، جبر گروهیl(g) ارنز منظم است اگر و فقط اگر g متناهی باشد. در این مقاله ساختار ابرگروهی را (به معنی دانکل) می سازیم که «جبر اندازه» آن دارای ضرب منظم است. جالب ترین نتیجه آن ساختار این است که اگر l(x) ، ارنز منظم باشد آنگاه، به عنوان یک نگاشت دو خطی، پیچش آن ارنز منظم می شود، و شرایط به دست آمده ضرب منظمی در یک ابر گروه ارائه می دهد که x نامتناهی است.

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

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

     به‌طور کلی، مدل‌سازی سیستم‌های ناپیوستگی توده سنگ مبتنی بر سه روش اصلی: هندسی، مکانیکی و احتمالاتی است. در این مقاله به مدل‌سازی هندسی سیستم‌های ناپیوستگی توده سنگ پرداخته شده است. در روش‌های مدل‌سازی هندسی، ناپیوستگی‌ها می‌توانند به‌صورت تداوم محدود و یا تداوم نامحدود مدل شوند. با توجه به محدودیت‌های کاربری مدل‌سازی هندسی شبکه ناپیوستگی‌ها به‌صورت تداوم نامحدود، در این تحقیق، مدل‌سازی هند...

چکیده- عدم تأمین آب کافی مشکل عمده کشاورزی در مناطق خشک و نیمه خشک است. لذا مدیریت مؤثری باید برای برنامه­ریزی منابع آب در نظر گرفته شود. در این تحقیق، مدلی ارائه شد که قادر به برآورد تخصیص بهینه زمین و آب در شبکه آبیاری درودزن است. مدل بهینه مدیریت آب در مقیاس مزرعه به منظور بررسی راهکار­های مختلف کم آبیاری (di) در مراحل مختلف رشد گیاه مورد استفاده قرار گرفت. جعبه ابزار الگوریتم ژنتیک matlab (...