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

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

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

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

اندرسون و بلنپ در سال 1975 در کتاب entailment تلاشهای فراوانی برای نشان دادن همه کاربردهای ماتریسهای چندارزشی در منطقهای ربط کرده اند و ما هم در این پایان نامه برخی از این کاربردها را به تفصیل از این کتاب گزارش می کنیم و هدف عمده ما معرفی مواردی است که اندرسون و بلنپ به عنوان کاربردهای ماتریسهای چندارزشی در منطقهای ربط ذکر کرده اند. در این پایان نامه یرای تشخیص فرمولهای فاقد «ضرورت» و «ربط» بین...

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

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

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

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