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.

A Radial Stub Test Circuit for Microwave Power Devices

With the principles of microwave circuits and semiconductor device physics, two microwave power device test circuits combined with a test fixture are designed and simulated, whose properties are evaluated by a parameter network analyzer within the frequency range from 3 to 8GHz. The simulation and experimental results verify that the test circuit with a radial stub is better than that without. As an example, a C-band AlGaN/GaN HEMT microwave power device is tested with the designed circuit and fixture. With a 5.4GHz microwave input signal, the maximum gain is 8.75dB, and the maximum output power is 33.2dBm.

Two-port calibration of test fixtures with OSL method.

The open-short-load (OSL) method is very simple and widely used, for one-port test fixture calibration. In this paper, this method. is extended to the two-port calibration of test fixtures for the first time. The problem of phase uncertainty arising in this application has been solved. The comparison between our results and those obtained with the short-open-load-thru (SOLT) method shows that the method established is accurate enough for practical applications.

Frequency limitation in calibrating microwave test fixtures

The problem of frequency limitation arising in calibration of the test fixtures is investigated in this paper. It is found that at some frequencies periodically, the accuracy of the methods becomes very low, and. the denominators of the expressions of the required S-parameters approach zero. This conclusion can be drawn whether-the test fixtures, are symmetric or not. A good agreement between theory and experiment is obtained.

Scan test in 18x8 bits Booth Coding-Wallace Tree multiplier

Scan test can be inserted around hard IP cores that have not been designed with DFT approaches. An 18x18 bits Booth Coding-Wallace Tree multiplier has been designed with full custom approach with 0.61 m CMOS technology. When we reuse the multiplier in another chip, scan chain has been inserted around it to increase the fault coverage. After scan insertion, the multiplier needs 4.7% more areas and 24.4% more delay time, while the fault coverage reaches to 95%.

Solving MIN UR problem by triangle evolution algorithm with archiving and niche techniques

In this paper, as an extension of minimum unsatisfied linear relations problem (MIN ULR), the minimum unsatisfied relations (MIN UR) problem is investigated. A triangle evolution algorithm with archiving and niche techniques is proposed for MIN UR problem. Different with algorithms in literature, it solves MIN problem directly, rather than transforming it into many sub-problems. The proposed algorithm is also applicable for the special case of MIN UR, in which it involves some mandatory relations. Numerical results show that the algorithm is effective for MIN UR problem and it outperforms Sadegh's algorithm in sense of the resulted minimum inconsistency number, even though the test problems are linear.

同源四倍体与二倍体水稻的遗传差异及产量、品质性状研究

本文以中国科学院成都生物研究所培育的同源四倍体水稻和二倍体水稻为材料，进行遗传差异及产量、品质性状的研究：1、以二倍体水稻为对照，研究了同源四倍体水稻在2004 年和2005 年的结实情况。结果同源四倍体的花粉育性、结实率均不同程度下降，尤其低代材料更是大幅度下降。F 检验表明，同源四倍体不同个体间的各产量性状均差异显著，说明其具有很大的遗传改良潜力。从1996 年到2005 年对部分同源四倍体水稻进行了连续选择改良，T 检验表明经过9 年的选择改良，其结实率显著提高。本文还对同源四倍体水稻各产量性状间的相关性进行了分析,结果结实率与花粉育性、穗着粒数、穗实粒数极显著相关；理论产量与花粉育性、有效穗数、穗着粒数、穗实粒数、结实率及千粒重极显著相关。i2、用(CT)n 微卫星标记和PCR-Acc Ι分子标记对40 份同源四倍体和14 份二倍体水稻Wx 基因进行研究。结果，(CT)n 微卫星标记检测，Wx 基因呈Wx1、Wx2 和Wx3 3 种多态性；PCR-Acc Ι 检测，Wx 基因表现为G-型和T-型。测定稻米直链淀粉含量(AC)、胶稠度(GC)和糊化温度(GT)，并探讨其与Wx 基因的关系，结果，二倍体和同源四倍体水稻均存在：Wx 基因型相同，AC 差异较小，Wx 基因型不同时，AC 差异较大，Wx1 基因型品种AC 最高， Wx2 基因型品种AC 次之，Wx3 基因型品种AC 最低；基因型相同时，同源四倍体AC 低于二倍体；同源四倍体与对应二倍体间，Wx 基因型相同时，AC 差异很小；而Wx 基因型发生变异时，AC 差异很大。同时，进行相关性分析，结果二倍体和四倍体水稻均存在AC、GC 与Wx 基因密切相关；而GT 与Wx 基因相关不显著。综合分析，(CT)n微卫星标记与PCR-Acc Ι 分子标记检测的相关系数为0.842，呈极显著正相关，可以将其结合起来进行同源四倍体新品种的选育和改良。3、利用RAPD 技术，对同源四倍体和二倍体水稻的遗传差异进行分析。17条引物在同源四倍体中扩增出178 条带（PPB＝81.5%），在二倍体中扩增出173条带（PPB＝76.3%）；同源四倍体和二倍体的Shannon 遗传多样性指数分别为0.4848 和0.4679，多态信息量分别为0.3301 和0.3216，遗传距离分别为0.3572和0.3460；同源四倍体与其对应二倍体间遗传距离为0.1914-0.4633，平均为0.2914。表明同源四倍体的遗传多样性高于二倍体，且同源四倍体与其二倍体之间存在较大的遗传差异，这些将为水稻品种改良和新品种选育提供科学依据。上述产量、品质性状及遗传差异分析的结果，不仅有利于加快同源四倍体水稻的遗传改良进程，而且为进一步研究、利用同源四倍体水稻奠定了初步基础。 AbstractStudy on genetic diversity, yield characters and quality traitsof autotetraploid and diploid riceLiu Yuhua (Botany)Directed by Associate Prof. Tu ShengbinIn this study, diploid and autotetraploid rice, which were cultivated in ChengduInstitute of Biology were analyzed in genetic diversity, yield characters and qualitytraits.In the study, 2 diploid and 29 autotetraploid rice(2n=4x=48) materials, including4 preliminary and 25 advanced generation, were investigated for yield characters.Compared with diploid check, the pollen fertility and seed set of autotetraploiddeclined dramatically, especially in preliminary generation. F-test indicated that therewere remarkable differences among different varieties, showing that autotetraploidmaterials had strong potential for improvement. From 1996 to 2005, someautotetraploid rice had been selected and improved. T-test showed that seed setincreased obviously. The relationships among yield characters of autotetraploid ricewere analyzed. Seed set was strongly correlated with pollen fertility, total grainnumber per panicle and productive grain number per panicle; theoretical yield wasstrongly correlated with pollen fertility, productive panicle number per plant, totalgrain number per panicle, productive grain number, seed set and 1000-grain weight.Wx genotypes of 40 autotetraploid rice and 14 diploid rice were tested by usingthe (CT)n microsatellite marker and a cleaved amplified polymorphic sequence(CAPS) molecular marker named PCR-Acc Ι. Three microsatellite alleles wereproduced, i.e. Wx1, Wx2 and Wx3 both in autotetraploid and in diploid rice.Comparatively, PCR- Acc Ι molecular marker produced two genotypes, G-type andT-type for both autotetraploid and diploid rice. In this study, amylose content (AC), gel of consistency (GC) and gelatinization temperature (GT) of rice grain weremeasured and their relationships with Wx alleles were analyzed. The results showedthat variation of AC between autotetraploid and diploid rice was small when they hadthe same Wx genotype. However, variation of AC turned to be large when the Wxgenotypes were different. Actually, AC met the maximum value in Wx1 varieties andWx2 varieties the middle and Wx3 varieties the minimum. And AC was lower inautotetraploid than in diploid. Correlation analysis was done in this experiment. ACand GC of rice grain were probably controlled by Wx gene or other gene whoselocation was strictly linked to Wx gene, while GT of rice was not. The correlationcoefficient between Wx genotypes which revealed by (CT)n microsatellite marker andPCR-Acc Ι molecular marker was 0.842 with significant level. That revealed aconsistent result between the two types of markers. So it was possible to utilize boththe two types of markers to select and promote germplasm of autotetraploid rice.RAPD molecular markers were used to analyze the genetic diversity betweendiploid and autotetraploid rice. 178 repeatable bands were detected through 17 RAPDprimers with percentage of polymorphic bands was 81.5% in autotetraploid rice while173 repeatable bands were detected with percentage of polymorphic bands was 76.3%in diploid rice. According to the measurement of Shannon index, polymorphicinformation content and genetic distance, genetic diversity of autotetraploid was on ahigher level, genetic variation between autotetraploid and diploid rice was relativelyhigh. All these contributed to the genetic selection and improvement in rice breeding.As mentioned above, the results are not only helpful to promote the process ofrice improvement, but also to confirm the basic for further study of autotetraploid rice.