Search results

Test Case Optimization Based on State Transition Reduction Xi Guo1, Jianyong Wang1,a 1Department of Computer Science, College of Science, Huazhong Agriculture University, Wuhan 430070, China awjy01@mail.hzau.edu.cn Keywords:status reduction, test case generation, predicate abstraction, equivalence class Abstract.Due to the large number of status transition of large scale software system, an efficient test case generation method based on predicate abstraction is proposed aiming to the problem of status space explosion.
System State Reduction and Equivalent Class As for the software system, the ideal test case should have a smaller size and satisfy the test requirements.
If one test case cannot satisfies every state in the equivalent class, then the above reduction rules should be used, and this process can reduce the scale of test cases.
Data flow testing as model checking.
On the completeness of a test suite reduction strategy.

The result is to take 0.75 as the reduction coefficient of shear capacity.
The data of Table 2 could proof this conclusion.
Table 4 data show that, according to the literature [9], calculated the shear capacity is less than the experimental values, while the calculated values with the literature[8] are greater than the experimental values, the reason is that not considered the reinforcement effect of dead load level and degree of damage in the original beam.
Dead load levels on the shear strength reduction factor η to determine.
The reduction coefficient value of shear capacity of reinforced beams is researched.

Other than this, noise/vibration can also be caused by nonparallel armature and the interaction between the armature shaft and bearing.[1,2] Title of Publication (to be inserted by the publisher) After analyzing the data of a durability test relating to brush noise in DC motors (Table 1), it can be seen that the element that has the biggest influence is the roundness of the commutator (Fig. 1).
According to the test data, the roundness deteriorated as the DC motor ran and this increased the brush noise.
There was a noise reduction of 1.3 dB(A) for the 3 inner points Title of Publication (to be inserted by the publisher) and a noise reduction of 3.5 dB(A) for the 4 outer points.
(1) After the durability test, it can be concluded that the interaction between the brush and the commutator has the biggest influence on the brush noise of a DC motor through a noise test data.
(3) Vibration also had a reduction effect.

We believe that for said of the images data, then the three attributes must also are had as following: (1) Sparsity: only less expressed coefficients can be used, and the recovery of the high-quality for the data of the brain MRI images can be obtained
(2) Retention of the characteristics: image features, such as edges, etc., in the representation of the MRI brain image data, which can be preserved
(3) Separability: the ability is had the useful information of the brain MRI image with the noise data to distinguish.
(a) (b), =35.8385 (c), =36.8765 Figure 2(a) is Original image of brain MRI medical of the noisy; Figure 2 (b) is the images of the noise reduction by the redundant DCT dictionary; Figure 2 (b) is the images of the noise reduction by the adaptive dictionary.
The noise images for the global dictionary learning Summarize From the above results, the algorithm of the noise reduction of the adaptive dictionary learning is extremely effective algorithms of the noise reduction.

Focus on CO2 emission reduction through the creation of a local suppliers network.
The positive benefits of systemic acting/thinking/designing are given substance thanks to a greater traceability of materials and packaging components and their suppliers, as well as a higher quality of the entire supply-chain and a significant reduction of CO2 emissions and logistics costs.
Furthermore, these benefits result in a higher quality of the entire supply-chain, in a significant decrease of logistics costs as well as in the consequent reduction of CO2 emissions [2].
In order to go through a project with the SD approach, it is essential to start from the current state of the art and to make a peculiar observation of all the aspects necessary for the system to live (energy and material input) and of what occurs inside it (qualities and quantities data).
ACT LOCALLY: (a) using local materials it is possible to obtain a greater traceability of the resources used in industrial processes so as to ensure, by implication, a high quality finished product; (b) reduction of CO2 (actually its production is caused by a supply of raw materials and semi-finished products for packaging manufacturing which happens long away from the points of final packing); (c) reduction in energy consumption due to unnecessary transport. 4.

The success of these techniques is also affected by the presence of noise in experimental data.
The methodology is completely data driven; the evolution of the data is estimated without information of physical processes [12].
The data processing phase for damage detection will be discussed in this work.
Data processing Moving Principal Component Analysis (MPCA).
Dubes: Algorithms for Clustering Data, Prentice Hall (1988)

The GO and rGO samples structure were indentified from XRD data and SQUID data for magnetic characteristics.
By evaluating SQUID measurement data, the magnetic susceptibility value of sample was determined and plotted as shown in Fig. 2.
XRD characteristic of GO sampel and rGO sample with various reduction times at 200 oC.
Magnetic susceptibility characteristic of GO sample (black circle) and rGO sample (red fill-circle) evaluated from FC and ZFC SQUID data in H = 500 Oe.
Magnetic susceptibility characteristic of GO and rGO amples versus χ/T from FC SQUID data in H = 500 Oe and temperatures below 200 K.

In that sense model reduction based simulation appears to be a very promising alternative.
Indeed, by no more considering the initial condition of a transient problem as a static input data but as an extra- coordinate similarly to space and time, we demonstrate that it is possible to parallelize efficiently the computation and even reach real-time in some cases.
More details regarding the PGD method and other model reduction methods are given in [1, 2, 5, 7].
Instead of considering it as a static input data, it can be introduced as an extra-coordinate of the model, similarly to space and time.
Boust, Alleviating mesh constraints: model reduction, parallel time integration and high resolution homogenization, Computer Methods in Applied Mechanics and Engineering, 197 (2008) 400-413

Therefore, “energy conservation and emission reduction” has got to be significant.
In 2007, 2008, and 2009, the energy consumption per unit GDP of Wuhan is 12.6, 11.9, 11.1 thousand ton coal equivalent per ten thousand Yuan respectively, which are higher than the national average data, i.e. 11.6, 11.02, 10.77 year-on-year.
Then the ten expertises give grades to the current situation of energy saving and emission reduction on transportation in this city.
According to the values, the current situation of energy saving and emission reduction in Wuhan is evaluated scientifically and factually.
The total point of energy saving and emission reduction is 79.1085.

This paper describes the technical problems for upgrading efficiency by core loss reduction on high speed motor.
These characteristic data is useful for magnetic characteristic analysis.
Design Technique – Vector Magnetic Characteristic Analysis In order to develop the high efficiency high speed motor, computer simulation technology is used for the design of core loss reduction by vector magnetic characteristic analysis as shown in Fig.11 It is very difficult to design the shape construction for core loss reduction on motor.
Fig. 12 Parameter for reduction of core loss.
Vector magnetic characteristics is useful and should be utilize for core reduction of motors.