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

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

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

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

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

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

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

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

هدف از پژوهش حاضر مقایسه درک اجتماعی و ابعاد آن در دانش آموزان با و بدون اختلال شنوایی شهر شیراز بود. در این پژوه پژوهش تعداد160 نفر (80 نفر با اختلالات شنوایی) و (80 نفربدون اختلال شنوایی) مورد بررسی قرار گرفتند. آزمودنی های موردبررسی شامل دو گروه از دانش آموزان با اختلال شنوایی(40 پسر و40 دختر) و دو گروه از دانش آموزان بدون اختلال شنوایی (40 پسر و40 دختر) بودند که از بین دانش آموزان دو مرکز ن...

for many years, meaning of work was to meet needs, physical and financial resources for human. in this times, work was consists of samples activities and easy to learn. so people do routine work duties for lifetime. survived goals were major ressoon for work. with population grow and increasing diversity and complexity of work, progress and successfully paradigm was more comprehensive. in this ...