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

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

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

در این چک لیست 62 گونه از جلبکهای دریایی سبز متعلق به آبهای خلیج فارس و خلیج عمان در نوار ساحلی ایران ارائه می گردد که خلاصه ای است از مجموع 9 گزارش علمی منتشر شده در مورد جلبکهای خلیج فارس و نواحی ایرانی خلیج عمان که در طی 159 سال گذشته منتشر شده اند. نام صحیح گونه ها در سایت www.algaebase.org  که بوسیله جلبک شناس معروف مک گیوری طراحی گردیده است کنترل شده است. در این چک لیست تعداد گونه های جلب...

اطلاعات مختصری در مورد پوشش گیاهی کویر و لیست ایستگاههای که از آن مناطق نمونه برداری شده ارائه می گردد. سپس لیست اسامی گونه هایی که شناسایی شده شامل 104 گونه اضافه می شود. در این لیست دو گونه گیاهی به نامهای stipagrostis karelinii و zygophyllum eichwaldii برای اولین بار از ایران گزارش داده می شوند و دو گونه دیگر به نامهای salsola abarghuensis, s. yazdiana  بعنوان گونه جدید برای دانش گیاه شناسی ...

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

چکیده گراف یالی ابرگراف h گرافی است که مجموعه رأس هایش، خانواده ابریال های h است و دو رأس آن مجاور هستند اگروفقط اگر ابریال های متناظرشان در h دارای اشتراک ناتهی باشند. گراف یالی با l(h) نمایش داده می شود. همچنین کلاس گراف های یالی ابرگراف های k-یکنواخت را با lk و کلاس گراف های یالی ابرگراف های k-یکنواخت خطی را با lkl نشان می دهیم. بینکه کلاس l2l را با استفاده از یک لیست متناهی متشکل از زیرگ...

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

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

Background and Aim: The large volume of reports and statistics in the literature on the prevalence of musculoskeletal disorders (MSDs) in Iran and other countries indicates that it is essential to assess the ergonomic situation in different occupations. These disorders can be caused by long-term exposure to different agents or by trauma to the musculoskeletal system. A large part of the work fo...