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

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

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

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

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

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

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

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

مدیریت استراتژیک منابع انسانی حوزه نسبتاً جدیدی از پژوهش مدیریت است که در جستجوی ارزیابی عملکرد منابع انسانی با دیدگاه کلان و آزمون اثرات عملکرد منابع انسانی بر متغیرهای سطوح عملکرد سازمانی به جای نتایج فردی می­باشد [6]. این مقاله بر روی نتایج قابلیت ایجاد دانش سازمانی تمرکز می­کند. به طور ویژه این مقاله بررسی می­کند که چگونه مدیریت استراتژیک منابع انسانی در سازمان­های دولتی ایران می­تواند برای ...