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

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

چکیده. نمونه گیری از مجموعه ی رتبه دار (ranked set sampling) در شرایطی که اندازه گیری متغیر مورد نظر مشکل و یا پرهزینه است، ولی رتبه بندی آن در مجموعه های کوچک به سهولت انجام می گیرد استفاده می شود. در این شیوه نمونه را به طور تصادفی به زیر نمونه هایی با اندازه ی برابر تقسیم کرده و اعضای هر زیر نمونه به طور جداگانه رتبه بندی می شود. در زیر نمونه ی rام، آماره ی مرتب rامِ زیر نمونه اندازه گیری و ث...

توریم یک آکتینید با عدد اتمی 90 است. توریم طبیعی پرتوزا بوده و اگرچه شکافت ­پذیر نیست اما تحت واکنش هسته ­ای (n, γ) و پرتوزایی به عنصر شکافت ­پذیر اورانیم تبدیل می ­شود. در این مقاله، برخی خواص ترمودینامیکی توریم بررسی شده است. از طرف دیگر، معادله ­ی حالت، ابزار مهم و مناسبی برای بررسی رفتار گرمافیزیکی مواد و پیش ­بینی آن­ ها در شرایط مختلف به لحاظ فشار، دما و مقدار است. در حال حاضر معادله­ های...

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

در این مقاله مساله زمانبندی تولید کارگاهی انعطاف پذیر مورد بررسی قرار گرفته است، که بسط یافته مساله زمانبندی تولید کارگاهی می‌باشد. اهداف مساله کمینه کردن حداکثر زمان تکمیل آخرین سفارش(Cmax ) و ماکزیمم بارکاری ماشین (Wm) یعنی ماکزیمم بار کاری در هر ماشین و بارکاری کل (WT) بار کاری کل برای تمام ماشینها است. این مساله جز مسائل NP-hard می‌باشد، بنابراین بدست آوردن جواب بهینه در زمان معقول امکان پذ...

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

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

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