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

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

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

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

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

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

منطق ربط شاخه ای از منطق جدید است که ارتباط میان مقدم و تالی (و یا میان مقدمات و نتیجه) را بیان می کند. در نظام استنتاج طبیعیِ منطق ربط، از ترکیب دو روش «برهانک» و «شماره فرض» استفاده می شود. در این پایان نامه با معرفی این روش ترکیبی، اعتبار و عدم اعتبار مثالهای متنوعی از استدلال های ربطی و غیر ربطی را نشان داده ایم. روتلی و مایر برای منطق ربط، سمانتیکی مشابه سمانتیک کریپکی طراحی کردند که در سا...

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

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

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