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

فرض کنید که l یک شبکه کامل و r یک حلقه جابجایی با یکه و m یک r _ مدول باشد. در این صورت l _ زیر مدول اول را مورد تحقیق قرار داده و بعضی از خواص آن را خواهیم دید. و همچنین تجزیه اول فازی نرمال و برخی از نتایج مربوط به آن را مطالعه می کنیم.

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

امروزه در رویارویی با کثرت منطقها، بحثهائی دربارة "چندگانه انگاری"، "یگانه انگاری"، "نسبی انگاری"، و "مطلق انگاری" در منطق از یک سو، و "ترکیب منطقها" و "ترجمة منطقها به یکدیگر" از سوی دیگر مطرح شده‌اند. در واکنشی جهانی به چندگانگی منطقها، پژوهشهای مهمی در چارچوب طرحی گسترده به نام «منطق کلی»، با دو روایت صورت گرفته است: 1) "منطق کلی چونان نظریة عمومیِ منطقها" یا "منطق کلی چونان نظریه‌ای عمومی در...

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

امروزه با توجه به رشد روز افزون دسترسی به اسناد الکترونیکی، دسته‌بندی خودکار اهمیت وی‍‍ژه‌ای یافته است. روش‌های معمول در این زمینه، روش‌های یادگیری ماشین هستند. روش‌های بر اساس کمیته کارایی بهتری نسبت به سایر روش‌ها از خود نشان داده‌اند. در این مقاله، دو ایده در زمینه کمیته‌های دسته‌بند ارائه شده است. ایده اول برمبنای کمیته‌ bagging که در آن هرکدام از اعضای کمیته روی زیرمجموعه‌ای از مجموعه سنده...

این پژوهش با هدف عارضه یابی و تحلیل سناریوی مجتمع دخانیات تهران مبتنی بر رویکرد تلفیقی مهندسی ارزش و مدل تحلیل پوششی داده ها صورت گرفته است. بدین منظور، کارگروه‌های تخصصی در هفت حوزه مالی، پشتیبانی، تدارکات و انبار، نگهداری و تعمیرات، فناوری اطلاعات، تولید و منابع انسانی تشکیل شد که منجر به تعریف 272 کارکرد شامل 12 کارکرد اصلی، 149 کارکرد فرعی، 62 کارکرد غیرضروری و 49 کارکرد پیش بینی نشده و 495...

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

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

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