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

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

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

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

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

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

با توجه به داده های آزمون های انجام شده، خصوصیات فیزیکی هر یک از ارقام نمونه های سالم و معیوب استخراج شد. دقت حاصل از تحلیل تشخیص (da) ارقام 98% و دقت تشخیص نمونه های سالم و معیوب ارقام ابوت و هایوارد از روش مذکور به ترتیب برابر 15/92 و 85/60 درصد بدست آمد. همچنین برای تعیین خصوصیات ظاهری (ابعادی و هندسی) ارقام نمونه های سالم و معیوب کیوی به روش پردازش تصویر از تحلیل تشخیص استفاده شد که میزان د...