automated test case generation for the stress testing of multimedia systems

With the advancement in network bandwidth and computing power, multimedia systems have become a popular means for information delivery. However, general principles of system testing cannot be directly applied to testing of multimedia systems on account of their stringent temporal and synchronization requirements. In particular, few studies have been made on the stress testing of multimedia systems with respect to their temporal requirements under resource saturation. Stress testing is important because erroneous behavior is most likely to occur under resource saturation. This paper presents an automatable method of test case generation for the stress testing of multimedia systems. It adapts constraint solving techniques to generate test cases that lead to potential resource saturation in a multimedia system. Coverage of the test cases is defined upon the reachability graph of a multimedia system. The proposed stress testing technique is supported by tools and has been successfully applied to a real-life commercial multimedia system. Although our technique focuses on the stress testing of multimedia systems, the underlying issues and concepts are applicable to other types of real-time systems.

Thermal analysis and test for single concentrator solar cells

A thermal model for concentrator solar cells based on energy conservation principles was designed. Under 400X concentration with no cooling aid, the cell temperature would get up to about 1200℃.Metal plates were used as heat sinks for cooling the system, which remarkably reduce the cell temperature. For a fixed concentration ratio, the cell temperature reduced as the heat sink area increased. In order to keep the cell at a constant temperature, the heat sink area needs to increase linearly as a function of the concentration ratio. GaInP/GaAs/Ge triple-junction solar cells were fabricated to verify the model. A cell temperature of 37℃ was measured when using a heat sink at 400X concentratration.

Commissioning test of LAPECR2 source on the 320kV HV platform

The high charge state all permanent Electron Cyclotron Resonance Ion Source (ECRIS) LAPECR2 (Lanzhou All Permanent magnet ECR ion source No.2) has been successfully put on the 320kV HV platform at IMP and also has been connected with the successive LEBT system. This source is the largest and heaviest all permanent magnet ECRIS in the world. The maximum mirror field is 1.28T (without iron plug) and the effective plasma chamber volume is as large as circle divide 67mm x 255mm. It was designed to be operated at 14.5GHz and aimed to produce medium charge state and high charge state gaseous and also metallic ion beams. The source has already successfully delivered some intense gaseous ion beams to successive experimental terminals. This paper will give a brief overview of the basic features of this permanent magnet ECRIS. Then commissioning results of this source on the platform, the design of the extraction system together with the successive LEBT system will be presented.

Study of mass distributions of quasifission products based on dinuclear system

In the concept of dinuclear system, the quasifission rate from Kramers formula has been incorporated in the master equation in order to study the competition between fusion and qusifission. Mass yields of quasifission products of the three reactions Ca-48 + Pu-244, Ca-48 + U-238 and Fe-58 + Th-232 have been calculated, and the experimental data are reproduced very well, which is a critical test for the existing fusion model. Also we have shown the time evolution of the mass distributions of quasifission products, which provides valuable information of the process of competition between fusion and quasifission.

Determination of SARS-coronavirus by a microfluidic chip system

We have developed a new experimental system based on a microfluidic chip to determine severe acute respiratory syndrome coronavirus (SARS-Cov). The system includes a laser-induced fluorescence microfluidic chip analyzer, a glass microchip for both polymerase chain reaction (PCR) and capillary electrophoresis, a chip thermal cycler based on dual Peltier thermoelectric elements, a reverse transcription-polymerase chain reaction (RT-PCR) SARS diagnostic kit, and a DNA electrophoretic sizing kit. The system allows efficient cDNA amplification of SARS-CoV followed by electrophoretic sizing and detection on the same chip. To enhance the reliability of RT-PCR on SARS-CoV detection, duplex PCR was developed on the microchip. The assay was carried out on a home-made microfluidic chip system. The positive and the negative control were cDNA fragments of SARS-CoV and parainfluenza virus, respectively. The test results showed that 17 positive samples were obtained among 18 samples of nasopharyngeal swabs from clinically diagnosed SARS patients. However, 12 positive results from the same 18 samples were obtained by the conventional RT-PCR with agarose gel electrophoresis detection. The SARS virus species can be analyzed with high positive rate and rapidity on the microfluidic chip system.

An integrated aurora image retrieval system: AuroraEye

With the digital all-sky imager (ASI) emergence in aurora research, millions of images are captured annually. However, only a fraction of which can be actually used. To address the problem incurred by low efficient manual processing, an integrated image analysis and retrieval system is developed. For precisely representing aurora image, macroscopic and microscopic features are combined to describe aurora texture. To reduce the feature dimensionality of the huge dataset, a modified local binary pattern (LBP) called ALBP is proposed to depict the microscopic texture, and scale-invariant Gabor and orientation-invariant Gabor are employed to extract the macroscopic texture. A physical property of aurora is inducted as region features to bridge the gap between the low-level visual features and high-level semantic description. The experiments results demonstrate that the ALBP method achieves high classification rate and low computational complexity. The retrieval simulation results show that the developed retrieval system is efficient for huge dataset. (c) 2010 Elsevier Inc. All rights reserved.

Examination of Antioxidative System's Responses in the Different Phases of Drought Stress and During Recovery in Desert Plant Reaumuria soongorica (Pall.) Maxim

The aim of this study was to test the protective roles of superoxide dismutases (SODs), guaiacol peroxidase (POD), catalase (CAT), ascorbate peroxidase (APX), and glutathione reductase (GR) against oxidative damage and their activities in different phases of the dry down process in Reaumuria soongorica (Pall.) Maxim. leaves. Drought stress was imposed during 100 consecutive days and rewatering after 16, 72, and 100 days. The concentration of hydrogen peroxide (H2O2), malondialdehyde, and SODs activities were elevated significantly with progressing drought stress. POD and CAT activities increased markedly in the early phase of drought and decreased significantly with further drought stress continuation, and POD activity was unable to recover after rewatering. Ascorbate, reduced glutathione, APX, and GR activities declined in the initial stages of drought process, elevated significantly with further increasing water deficit progression and recovered after rewatering. These results indicate that: (1) iron SODs-removing superoxide anion is very effective during the whole drought stress; (2) CAT scavenges H2O2 in the early phase of drought and enzymes of ascorbate-glutathione cycle scavenge H2O2 in further increasing drought stress; and (3) POD does not contribute to protect against oxidative damage caused by H2O2 under drought stress.

Dynamic changes of total bacteria and Vibrio in an integrated seaweed-abalone culture system

Polyculture of seaweeds alongside fed animal aquaculture is an environmentally friendly means of avoiding eutrophication problem both in land-based and sea-based monoculture systems. Many aspects of such polyculture systems have been described, but little attention has been given to the impact of live seaweeds on the microbiological properties of the water that connects the algae and animals. In this investigation, the Pacific red alga Gracilaria textorii was cultured in a recirculated dual tank system (150 L) with the juvenile abalone Haliotis discus hannai. Dynamic changes of total bacteria (TB) and total Vibrio (TV) in the water of polyculture and monoculture systems were evaluated. Results revealed that (1) level of TB in the polyculture was constantly higher than in the monoculture over a 6.5-day period. While levels of TV in the polyculture was detected to be constantly lower than in the monoculture, (2) integration of G. textorii in the abalone culture changed the Vibrio compositions in the water as judged by the changes of bacteria colony types; (3) application of artificial diet led to dramatic increase of the levels in TB and TV in both systems at 12 h after application in the 24-h test and resulted in selective propagation of Vibrio in the water in the monoculture system; (4) polyculture of G. textorii with juvenile abalone in combination with feeding with live algal diet helped to maintain low levels of TV and the balance of the Vibrio composition; (5) living biomass of G. textorii was effective in preventing propagation of two purified Vibrio strains (V alginolaticus and V logei) in the water. These results provide a general basis of the dynamic changes of levels in TB and TV in a seaweed-abalone polyculture system with or without artificial diet in tanks. (c) 2005 Elsevier B.V All rights reserved.

Evaluation of a combined wavelet and a combined principal component analysis classification system for BCG diagnostic problem

Heart disease is one of the main factor causing death in the developed countries. Over several decades, variety of electronic and computer technology have been developed to assist clinical practices for cardiac performance monitoring and heart disease diagnosis. Among these methods, Ballistocardiography (BCG) has an interesting feature that no electrodes are needed to be attached to the body during the measurement. Thus, it is provides a potential application to asses the patients heart condition in the home. In this paper, a comparison is made for two neural networks based BCG signal classification models. One system uses a principal component analysis (PCA) method, and the other a discrete wavelet transform, to reduce the input dimensionality. It is indicated that the combined wavelet transform and neural network has a more reliable performance than the combined PCA and neural network system. Moreover, the wavelet transform requires no prior knowledge of the statistical distribution of data samples and the computation complexity and training time are reduced.

A moored underwater energy conservation system for profiling measurement

There is a need to obtain the hydrologic data including ocean current, wave, temperature and so on in the South China Sea. A new profiling instrument which does not suffer from the damage due to nature forces or incidents caused by passing ships, is under development to acquire data from this area. This device is based on a taut single point mid-water mooring system. It incorporates a small, instrumented vertically profiling float attached via an electromechanical cable to a winch integral with the main subsurface flotation. On a pre-set schedule, the instrument float with sensors is winched up to the surface if there is no strip passing by, which is defined by an on-board miniature sonar. And it can be immediately winched down to a certain depth if the sonar sensor finds something is coming. Since, because Of logistics, the area can only be visited once for a long time and a minimum of 10 times per day profiles are desired, energy demands are severe. To respond to these concerns, the system has been designed to conserve a substantial portion of the potential energy lost during the ascent phase of each profile and subsequently use this energy to pull the instrument down. Compared with the previous single-point layered measuring mode, it is advanced and economical. At last the paper introduces the test in the South China Sea.

复杂裂隙岩体统计断裂本构关系与变形参数研究

Rock mass is widely recognized as a kind of geologic body which consists of rock blocks and discontinuities. The deformation and failure of rock mass is not only determined by rock block，but also by discontinuity which is virtually more important. Mutual cutting and combination of discontinuities controlled mechanical property of rock mass. The complex cutting of discontinuities determine the intense anisotropy on mechanical property of rock mass，especially under the effect of ground stress. Engineering practice has show that the brittle failure of hard rock always occurs when its working stress is far lower than the yield strength and compressive strength，the failure always directly related to the fracture propagation of discontinuities. Fracture propagation of discontinuities is the virtue of hard rock’s failure. We can research the rock mass discontinuous mechanical properties precisely by the methods of statistical analysis of discontinuities and Fracture Mechanics. According to Superposition Principle in Fracture Mechanics，A Problem or C Problem could be chosen to research. Problem A mainly calculates the crack-tip stress field and displacement field on internal discontinuities by numerical method. Problem C calculate the crack-tip stress field and displacement field under the assumption of that the mainly rock mass stress field has been known. So the Problem C avoid the complex mutual interference of stress fields of discontinuities，which is called crack system problem in Fracture Mechanics. To solve Problem C, field test on stress field in the rock mass is needed. The linear Superposition of discontinuities strain energies are Scientific and Rational. The difference of Fracture Mechanics between rock mass and other materials can mostly expression as：other materials Fracture Mechanics mostly face the problem A，and can’t avoid multi-crack puzzle, while the Rock mass Fracture Mechanics answer to the Problem C. Problem C can avoid multi-discontinuities mutual interference puzzle via the ground stress test. On the basis of Problem C, Fracture Mechanics could be used conveniently in rock mass. The rock mass statistics fracture constitutive relations, which introduced in this article, are based on the Problem C and the Discontinuity Strain Energy linear superposition. This constitutive relation has several merits: first, it is physical constitutive relation rather than empirical; second, it is very fit to describe the rock mass anisotropy properties; third, it elaborates the exogenous factors such as ground stress. The rock mass statistics fracture constitutive relation is the available approach to answer to the physical, anisotropic and ground stress impacted rock mass problems. This article stand on the foundation of predecessor’s statistics fractures constitutive relation, and improved the discontinuity distributive function. This article had derived the limitation of negative exponential distribution in the course of regression analysis, and advocated to using the two parameter negative exponential distribution for instead. In order to solve the problems of two-dimension stability on engineering key cross-sectional view in rock mass, this article derived the rock mass planar flexibility tensor, and established rock mass two-dimension penetrate statistics fracture constitutive relation on the basis of penetrate fracture mechanics. Based on the crack tip plasticity research production of penetrate fracture, for example the Irwin plasticity equifinality crack, this article established the way to deal with the discontinuity stress singularity and plastic yielding problem at discontinuity tip. The research on deformation parameters is always the high light region of rock mass mechanics field. After the dam foundation excavation of XiaoWan hydroelectric power station, dam foundation rock mass upgrowthed a great deal of unload cracks, rock mass mechanical property gotten intricacy and strong anisotropy. The dam foundation rock mass mostly upgrowthed three group discontinuities： the decantation discontinuity, the steep pitch discontinuity, and the schistosity plane. Most of the discontinuities have got partial unload looseness. In accordance with ground stress field data, the dam foundation stress field greatly non-uniform, which felled under the great impaction of tectonic stress field, self-weight stress field, excavation geometric boundary condition, and excavation, unload. The discontinuity complexity and stress field heterogeneity, created the rock mass mechanical property of dam foundation intricacy and levity. The research on the rock mass mechanics, if not take every respected influencing factor into consideration as best as we can, major errors likely to be created. This article calculated the rock mass elastic modulus that after Xiao Wan hydroelectric power station dam foundation gutter excavation finished. The calculation region covered possession monolith of Xiao Wan concrete double-curvature arch dam. Different monolith were adopted the penetrate fracture statistics constitutive relation or bury fracture statistics constitutive relation selectively. Statistics fracture constitutive relation is fit for the intensity anisotropy and heterogeneity rock mass of Xiao Wan hydroelectric power station dam foundation. This article had contrastive analysis the statistics fracture constitutive relation result with the inclined plane load test actual measurement elastic modulus and RMR method estimated elastic modulus, and find that the three methods elastic modulus have got greatly comparability. So, the statistics fracture constitutive relations are qualified for trust. Generally speaking，this article had finished following works based on predecessors job: “Argumentation the C Problems of superposition principle in Fracture Mechanics, establish two-dimension penetrate statistics fracture constitutive relation of rock mass, argue the negative exponential distribution limitation and improve it, improve of the three-dimension berry statistics fracture constitutive relation of rock mass, discontinuity-tip plastic zone isoeffect calculation, calculate the rock mass elastic modulus on two-dimension cross-sectional view”. The whole research clue of this article inherited from the “statistics rock mass mechanics” of Wu Faquan（1992）.

中强地震震源的破裂过程

With the large developments of the seismic sources theory, computing technologies and survey instruments, we can model and rebuild the rupture process of earthquakes more realistically. On which earthquake sources' properties and tectonic activities law are realized more clearly. The researches in this domain have been done in this paper as follows. Based on the generalized ray method, expressions for displacement on the surface of a half-space due to an arbitrary oriented shear and tensile dislocation are also obtained. Kinematically, fault-normal motion is equivalent to tensile faulting. There is some evidence that such motion occurs in many earthquakes. The expressions for static displacements on the surface of a layered half-space due to static point moment tensor source are given in terms of the generalized reflection and transmission coefficient matrix method. The validity and precision of the new method is illustrated by comparing the consistency of our results with the analytical solution given by Okada's code employing same point source and homogenous half-space model. The computed vertical ground displacement using the moment tensor solution of the Lanchang_Gengma earthquake displays considerable difference with that of a double couple component .The effect of a soft layer at the top of the homogenous half-space on a shallow normal-faulting earthquake is also analyzed. Our results show that more seismic information would be obtained utilizing seismic moment tensor source and layered half-space model. The rupture process of 1999 Chi-Chi, Taiwan, earthquake investigated by using co-seismic surface displacement GPS observations and far field P-wave records. In according to the tectonic analysis and distributions of aftershock, we introduce a three-segment bending fault planes into our model. Both elastic half-space models and layered-earth models to invert the distribution of co-seismic slip along the Chi-Chi earthquake rupture. The results indicate that the shear slip model can not fit horizontal and vertical co-seismic displacements together, unless we add the fault-normal motion (tensile component) in inversions. And then, the Chi Chi earthquake rupture process was obtained by inversion using the seismograms and GPS observations. Fault normal motions determined by inversion, concentrate on the shallow northern bending fault from Fengyuan to Shuangji where the surface earthquake ruptures reveal more complexity and the developed flexural slip folding structures than the other portions of the rupture zone For understanding the perturbation of surface displacements caused by near-surface complex structures, We have taken a numeric test to synthesize and inverse the surface displacements for a pop-up structure that is composed of a main thrust and a back thrust. Our result indicates that the pop-up structure, the typical shallow complex rupture that occurred in the northern bending fault zone form Fengyuan to Shuangji, can be modeled better by a thrust fault added negative tensile component than by a simple thrust fault. We interpret the negative tensile distributions, that concentrate on the shallow northern bending fault from Fengyuan to Shuangji, as a the synthetic effect including the complexities of property and geometry of rupture. The earthquake rupture process also reveal the more spatial and temporal complexities form Fenyuan to SHuangji. According to the three-components teleseismic records, the S-wave velocity structure beneath the 59 teleseismic stations of Taiwan obtained by using the transform function method and the SA techniques. The integrated results, the 3D crustal structure of Taiwan reveal that the thickest part of crustal local in the western Central Range. This conclusion is consistent with the result form the Bouguer gravity anomaly. The orogenic evolution of Taiwan is young period, and the developing foot of Central Range dose not in static balancing. The crustal of Taiwan stays in the course of dynamic equilibrium. The rupture process of 2003)2,24,Jiashi, Xinjiang earthquake was estimated by the finite fault model using far field broadband P wave records of CDSN and IRIS. The results indicate that the earthquake focal is north dip trust fault including some left-lateral strike slip. The focal mechanism of this earthquake is different form that of earthquakes occurred in 1997 and 1998, but similar to that of 1996, Artux, Xinjiang earthquake. We interpreted that the earthquake caused trust fault due to the Tarim basin pushing northward and orogeny of Tianshan mountain. In the end, give a brief of future research subject: Building the Real Time Distribute System for rupture process of Large Earthquakes Based on Internet.

Methane aromatization in the absence of an added oxidant and the bench scale reaction test

A bench scale reaction test for methane aromatization in the absence of an added oxidant was performed and its reaction result evaluated based on the carbon balance of the system. The result was compared with those obtained from the micro-reaction test to ensure the accuracy of the internal standard analyzing method employed in this paper. The catalytic performances of modified Mo/HZSM-5 catalysts were examined. It was found that pre-treatment by steam on HZSM-5 weakened the serious deposition of coke, and pre-impregnation of n-ethyl silicate on HZSM-5 could improve the conversion of CH4, but had little effect on coke formation. A low temperature activation procedure including pre-reduction of the catalyst with methane prevents the zeolite lattice from being seriously destroyed by high valence state Mo species when the Mo loading is high. It was suggested that Mo2C species detected by XRD spectra was the active phase for CH4 aromatization.

Complex System Classification

The use of terms such as “Engineering Systems”, “System of systems” and others have been coming into greater use over the past decade to denote systems of importance but with implied higher complexity than for the term systems alone. This paper searches for a useful taxonomy or classification scheme for complex Systems. There are two aspects to this problem: 1) distinguishing between Engineering Systems (the term we use) and other Systems, and 2) differentiating among Engineering Systems. Engineering Systems are found to be differentiated from other complex systems by being human-designed and having both significant human complexity as well as significant technical complexity. As far as differentiating among various engineering systems, it is suggested that functional type is the most useful attribute for classification differentiation. Information, energy, value and mass acted upon by various processes are the foundation concepts underlying the technical types.

Test Generation Guided Design for Testability

This thesis presents a new approach to building a design for testability (DFT) system. The system takes a digital circuit description, finds out the problems in testing it, and suggests circuit modifications to correct those problems. The key contributions of the thesis research are (1) setting design for testability in the context of test generation (TG), (2) using failures during FG to focus on testability problems, and (3) relating circuit modifications directly to the failures. A natural functionality set is used to represent the maximum functionalities that a component can have. The current implementation has only primitive domain knowledge and needs other work as well. However, armed with the knowledge of TG, it has already demonstrated its ability and produced some interesting results on a simple microprocessor.