Computer-Aided Inspection Planning (CAIP) has been a research topic for the past 25 years. Most of the CAIP systems were developed for Coordinate Measuring Machines (CMMs). The authors reviewed these CAIP systems and categorized them into two groups: tolerance-driven and geometry-based CAIP systems. Compared with CMMs, On-Machine Inspection (OMI) systems provide direct inspection in manufacturi...

Distribution-free (nonparametric) control charts provide a robust alternative to a data analyst when there is lack of knowledge about the underlying distribution. A two-sided nonparametric Phase II exponentially weighted moving average (EWMA) control chart, based on the exceedance statistics (EWMA-EX), is proposed for detecting a shift in the location parameter of a continuous distribution. The...

Robustified rank tests, applying a robust scale estimator, are investigated for reliable and fast shift detection in time series. The tests show good power for sufficiently large shifts, low false detection rates for Gaussian noise and high robustness against outliers. Wilcoxon scores in combination with a robust and efficient scale estimator achieve good performance in many situations.

We present a procedure for proving the validity of rst-order formulas in the presence of decision procedures for an interpreted subset of the language. The procedure is designed to be practical: formulas can have large complex boolean structure, and include structure sharing in the form of let-expressions. The decision procedures are only required to decide the unsatissability of sets of litera...

The step response of a porous medium with quenched disorder is investigated by cellular automata. The main conclusions of this dynamic study on samples of

. The objective of STEP is to provide a neutral data model capable of describing product data throughout the life cycle of a product that is independent from any particular software application or computer platform. AP203, AP214, AP224 promote the integration of CAD/CAM system. Now STEP-NC, a new extension of STEP, is being developed. A truly integrated CAD, CAPP, CAM and CNC paradigm is now in...

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