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.
(3)
(4)
The current research discusses the topic of the formal data within the methodological framework through defining the research problem, limits and objectives and defining the most important terms mentioned in this research. The theoretical framework in the first section addressed (the concept of the Bauhaus school, the philosophy of the Bauhaus school and the logical bases of this school). The second section dealt with (the most important elements and structural bases of the Bauhaus school) which are considered the most important formal data of this school and their implications on the fabrics and costumes design. The research came up with the most important indicators resulting from the theoretical framework.
Chapter three defined the
Carbonate reservoirs are an essential source of hydrocarbons worldwide, and their petrophysical properties play a crucial role in hydrocarbon production. Carbonate reservoirs' most critical petrophysical properties are porosity, permeability, and water saturation. A tight reservoir refers to a reservoir with low porosity and permeability, which means it is difficult for fluids to move from one side to another. This study's primary goal is to evaluate reservoir properties and lithological identification of the SADI Formation in the Halfaya oil field. It is considered one of Iraq's most significant oilfields, 35 km south of Amarah. The Sadi formation consists of four units: A, B1, B2, and B3. Sadi A was excluded as it was not filled with h
... Show More
(3)
Shear and compressional wave velocities, coupled with other petrophysical data, are vital in determining the dynamic modules magnitude in geomechanical studies and hydrocarbon reservoir characterization. But, due to field practices and high running cost, shear wave velocity may not available in all wells. In this paper, a statistical multivariate regression method is presented to predict the shear wave velocity for Khasib formation - Amara oil fields located in South- East of Iraq using well log compressional wave velocity, neutron porosity and density. The accuracy of the proposed correlation have been compared to other correlations. The results show that, the presented model provides accurate
... Show More
(10)
(3)
This paper reports on the experimental study, which conducted a series of triaxial tests for the asphalt concrete using hydrated lime as a mineral additive. Three HMA mixes, prepared by the specification for wearing, levelling and base layers, were studied under three different temperatures. The test results have demonstrated that, compared with the control mixes excluding HL, the permanent deformation resistance of the HL modified mixes has significant improvement. The deformation has been reduced at the same load repetition number, meanwhile the flow number has been considerably increased. The degree of improvement in permanent deformation resistance using HL is more pronounced at high stress deviation states and high temperature.
... Show More
يحتل موضوع الاستهلاك اهمية كبيرة في الدراسات الاقتصادية في حالتي السلم والحرب وذلك لارتباط هذا الموضوع بالانسان والمجتمع ولكونه احد مؤشرات مستوى الرفاهية الاقتصادية والاجتماعية وتزداد اهمية ضبط حركة هذا المتغير السلوكي والكمي في زمن الحرب اكثر مما هو عليه في حالة السلم، في هذا البحث تم استخدام بيانات احصائية عن الانفاق الاستهلاكي الخاص ونصيب الفرد من الدخل القومي اضافة الى الرقم القياسي لاسعار المس
... Show More
Background: The purpose of this study was to evaluate the effect of in vitro long-term simulation of oral conditions on the bond strength of PEEK CAD/CAM lingual retainers.
Material and methods: The sample consisted of 12 PEEK CAD/CAM retainers each composed of 2 centrally perforated 3x4mm pads joined by a connector. They were treated by 98% sulfuric acid for 1 minute and then conditioned with Single Bond Universal and bonded to the lingual surface of premolar teeth by 3M Transbond TM System. Half of the retainers were artificially aged using a 30-day water storage and 5000 thermocycling protocol before bond strength testing to compare with the non-aged specimens.
Results: The artificially aged retainers showed a marginally
... Show More
(8)
(9)
In this study, a cholera model with asymptomatic carriers was examined. A Holling type-II functional response function was used to describe disease transmission. For analyzing the dynamical behavior of cholera disease, a fractional-order model was developed. First, the positivity and boundedness of the system's solutions were established. The local stability of the equilibrium points was also analyzed. Second, a Lyapunov function was used to construct the global asymptotic stability of the system for both endemic and disease-free equilibrium points. Finally, numerical simulations and sensitivity analysis were carried out using matlab software to demonstrate the accuracy and validate the obtained results.
(11)
(6)