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

بیان مساله (1 ـ بیان منطقی موضوع 2 ـ شرح واضح مساله مورد مطالعه 3 ـ اهداف تحقیق) بررسی اهداف قوانین تصویب شده در اختیارات کمیسیون تخصصی بودن عملکرد آنها برای بهبودی وضعیت موجود و در عمل کارایی به چه شکل بوده بررسی معایب و محاسن کمیسیون و ارائه آراء عملی مطرح شده و اصدار یافته و رویه در کمیسیون م 12 شهرستان کازرون. در خصوص کمیسیون مذکور تا کنون تحقیق و پایان نامه یا مقاله و کتب علمی چاپ و منت...

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

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

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

گالرکین بدون المان (RPIM) و درون یاب نقطه ای شعاعی (EFG) از روش های بدون المان در زمینه مکانیک محاسباتی می باشند. در این مقاله یک روش محاسباتی با در نظر گرفتن یک ناحیه ثابت و یک ناحیه متغیر بر اساس روش ترکیبی گالرکین بدون المان- درون یاب نقطه ای شعاعی جهت بررسی مسائل سطح آزاد دو بعدی دارای دو سطح آزاد زیر دریچه شعاعی جهت محاسبه پروفیل سطوح آزاد، توزیع سرعت، فشار درون کانال و دبی آب خروجی از مجر...

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

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

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