Sequence covering array (SCA) generation is an active research area in recent years. Unlike the sequence-less covering arrays (CA), the order of sequence varies in the test case generation process. This paper reviews the state-of-the-art of the SCA strategies, earlier works reported that finding a minimal size of a test suite is considered as an NP-Hard problem. In addition, most of the existing strategies for SCA generation have a high order of complexity due to the generation of all combinatorial interactions by adopting one-test-at-a-time fashion. Reducing the complexity by adopting one-parameter- at-a-time for SCA generation is a challenging process. In addition, this reduction facilitates the supporting for a higher strength of coverage. Motivated by such challenge, this paper proposes a novel SCA strategy called Dynamic Event Order (DEO), in which the test case generation is done using one-parameter-at-a-time fashion. The details of the DEO are presented with a step-by-step example to demonstrate the behavior and show the correctness of the proposed strategy. In addition, this paper makes a comparison with existing computational strategies. The practical results demonstrate that the proposed DEO strategy outperforms the existing strategies in term of minimal test size in most cases. Moreover, the significance of the DEO increases as the number of sequences increases and/ or the strength of coverage increases. Furthermore, the proposed DEO strategy succeeds to generate SCAs up to t=7. Finally, the DEO strategy succeeds to find new upper bounds for SCA. In fact, the proposed strategy can act as a research vehicle for variants future implementation.
In this paper, a mathematical model consisting of a prey-predator system incorporating infectious disease in the prey has been proposed and analyzed. It is assumed that the predator preys upon the nonrefugees prey only according to the modified Holling type-II functional response. There is a harvesting process from the predator. The existence and uniqueness of the solution in addition to their bounded are discussed. The stability analysis of the model around all possible equilibrium points is investigated. The persistence conditions of the system are established. Local bifurcation analysis in view of the Sotomayor theorem is carried out. Numerical simulation has been applied to investigate the global dynamics and specify the effect
... Show MoreEvaluation of Dot. ELISA test for Diagnosis Visceral Leishmaniasis in Infected Children
Summary of the researchThe style of playing in basketball, represented by the performance of complex movements as a result of the rapid movement and changing positions is one of the advantages of this game, which adds beauty and excitement to this game, so it was necessary for players to use forms of mobility and complex skills mixed with precision and speed, In the attack to overcome the difficult positions defenders are trying to impose on the attacking team.Complex offensive skills in basketball are difficult skills that a player can not easily perform so they need to be specially trained to handle those situations so that the player can use them in difficult situations.The research community represented a sample of Baghdad players for t
... Show MoreThis investigation was conducted to recognize the structure for (RHETI version 2.5 1999) by using exploratory and confirmatory factor analysis. Sample of (620) student of Al-Mustansrya University were administered the (RHETI).
The data of their responses was analyzed by using (PAF) and oblique rotating .
The findings explored (9) factors as one factor for each type and (184) items were loaded by the factors: (60) item for feeling center, (61) items for instinctive center and (63) items for thinking center.
Results of confirmatory factorial analysis supported a model designed by the researcher depended upon a theoretical views of Riso and Hudson
... Show MoreThis research work as an attempt has been made to find robust estimations for Hotelling-T2 test when the data is from amultivariate normal distribution and the sample of the multivariate contain outliers also this research gives an easily high breakdown point robust consistent estimators of multivariate location and dispersion for multivariate analysis by using two types of robust estimators, of these methods are minimum covariance determinant estimator and reweighted minimum covariance determinant estimator.
إن المقصود باختبارات حسن المطابقة هو التحقق من فرضية العدم القائمة على تطابق مشاهدات أية عينة تحت الدراسة لتوزيع احتمالي معين وترد مثل هكذا حالات في التطبيق العملي بكثرة وفي كافة المجالات وعلى الأخص بحوث علم الوراثة والبحوث الطبية والبحوث الحياتية ,عندما اقترح كلا من Shapiro والعالم Wilk عام 1965 اختبار حسن المطابقة الحدسي مع معالم القياس
(