Evaluating New Matrix Pooled Testing Methods for Detecting HIV Treatment Failure with and without Covariate Information

Thesis (Master's)--University of Washington, 2016-08

Intranet Alman käytettävyydestä

Usability testing is a productive and reliable method for evaluating the usability of software. Planning and implementing the test and analyzing its results is typically considered time-consuming, whereas applying usability methods in general is considered difficult. Because of this, usability testing is often priorized lower than more concrete issues in software engineering projects. Intranet Alma is a web service, users of which consist of students and personnel of the University of Helsinki. Alma was published in 2004 at the opening ceremony of the university. It has 45 000 users, and it replaces several former university network services. In this thesis, the usability of intranet Alma is evaluated with usability testing. The testing method applied has been lightened to make its taking into use as easy as possible. In the test, six students each tried to solve nine test tasks with Alma. As a result concrete usability problems were described in the final test report. Goal-orientation was given less importance in the applied usability testing. In addition, the system was tested only with test users from the largest user group. Usability test found general usability problems that occurred no matter the task or the user. However, further evaluation needs to be done: in addition to the general usability problems, there are task-dependent problems, solving of which requires thorough gathering of users goals. In the basic structure and central functionality of Alma, for example in navigation, there are serious and often repeating usability problems. It would be of interest to verify the designed user interface solutions to these problems before taking them into use. In the long run, the goals of the users, that the software is planned to support, are worth gathering, and the software development should be based on these goals.

Effect of Strain Rate on Ductile-to-Brittle Transition Temperature of a Free-Standing Pt-Aluminide Bond Coat

The ductile-to-brittle transition temperature (DBTT) of a free-standing Pt-aluminide (PtAl) bondcoat was determined using the microtensile testing method and the effect of strain rate variation, in the range 10(-5) to 10(-1) s(-1), on the DBTT studied. The DBTT increased appreciably with the increase in strain rate. The activation energy determined for brittle-to-ductile transition, suggested that such transition is most likely associated with vacancy diffusion. Climb of aOE (c) 100 > dislocations observed in analysis of dislocation structure using a transmission electron microscope (TEM) supported the preceding mechanism.

CCD扫描检测光束准直度

提出一种检测光束准直度的新方法。在对波面矢高进行定义的基础上，提出CCD轴向扫描检测激光束准直度的方法。利用采样光波在会聚透镜后形成的衍射图样，测量两个相同基准衍射图样之间的距离，即可确定入射光波的波面矢高，进而确定入射光波的准直度。在给出测量原理及模拟基准衍射图样的基础上．进行了实验验证。CCD轴向扫描方法具有结构简单、加工便利、操作方便的特点，是检测光束准直度的有效方法。

Estudo da inspeção e caracterização de materiais compósitos por ultrassom

O presente trabalho foi desenvolvido com o intuito de estudar a utilização do método de ensaio não destrutivo de ultrassom para inspecionar e caracterizar materiais compósitos. Os objetivos principais da pesquisa foram medir a espessura, encontrar e dimensionar delaminações em reparo de material compósito laminado para tubulações e medir a velocidade do som no concreto para o cálculo do módulo de elasticidade. Inicialmente foram estudados os parâmetros físicos relevantes inerentes a cada material para o método de ultrassom, para então estabelecer uma metodologia de inspeção. A técnica de pulso-eco foi capaz de encontrar as descontinuidades no compósito laminado. Para a determinação do módulo de elasticidade do concreto, a técnica de transmissão foi utilizada obtendo-se resultados satisfatórios.

Testes de sistemas de informações geográficas com lógica nebulosa.

Os testes são uma atividade crucial no desenvolvimento de sistemas, pois uma boa execução dos testes podem expor anomalias do software e estas podem ser corrigidas ainda no processo de desenvolvimento, reduzindo custos. Esta dissertação apresenta uma ferramenta de testes chamada SIT (Sistema de Testes) que auxiliará no teste de Sistemas de Informações Geográficas (SIG). Os SIG são caracterizados pelo uso de informações espaciais georreferenciadas, que podem gerar um grande número de casos de teste complexos. As técnicas tradicionais de teste são divididas em funcionais e estruturais. Neste trabalho, o SIT abordará os testes funcionais, focado em algumas técnicas clássicas como o particionamento de equivalência e análise do Valor Limite. O SIT também propõe o uso de Lógica Nebulosa como uma ferramenta que irá sugerir um conjunto mínimo de testes a executar nos SIG, ilustrando os benefícios da ferramenta.

a backtracking search tool for constructing combinatorial test suites

Combinatorial testing is an important testing method. It requires the test cases to cover various combinations of parameters of the system under test. The test generation problem for combinatorial testing can be modeled as constructing a matrix which has certain properties. This paper first discusses two combinatorial testing criteria: covering array and orthogonal array, and then proposes a backtracking search algorithm to construct matrices satisfying them. Several search heuristics and symmetry breaking techniques are used to reduce the search time. This paper also introduces some techniques to generate large covering array instances from smaller ones. All the techniques have been implemented in a tool called EXACT (EXhaustive seArch of Combinatorial Test suites). A new optimal covering array is found by this tool.

一种模拟驱动的Web应用程序性能测试方法

性能是Web应用程序成功的要素之一 ,性能测试则是保证这一要素的重要手段 但由于Internet及Web用户的不确定性 ,Web应用程序的性能测试难于传统Client/Server的测试 比较了 3种主要的Web性能测试方法 ;提出了一种简单可行的、通用的方法———模拟驱动的自动负载测试方法 关键的步骤有 :根据系统使用方式和客户端各种特征的分布信息来确定测试负载、设计测试用例 ;利用测试工具开发相应的测试脚本 ;运行测试用例模拟不同类型用户的典型行为 ;收集被测程序的性能数据 结合实例详述了该方法 ,并给出了测试计划的模板

可信密码模块符合性测试方法研究

提出了一种可信密码模块(TCM)符合性测试的形式化方法,采用基于扩展有限状态机(EFSM)模型与测试向量相结合的方式对TCM的标准进行形式化建模.由于该建模方法结合TCM自身特点给出了命令依赖关系图的获取算法以及EFSM模型与测试向量获取算法,所以能够更好地对标准进行形式化建模,并用于测试用例的产生.通过测试结果分析以及与其他相关工作的对比,表明该方法能够有效地产生测试用例,并提高TCM符合性测试的错误检测率.

考虑煤层气稳定解吸的数值试井方法

建立了考虑煤层气解吸作用的煤层气稳定解吸均质试井模型,在控制方程中引入稳定源来描述煤层气解吸作用,利用有限元方法求得其数值解。通过分析解吸系数的影响,明确了煤层气解吸作用能缓解地层中压力下降、减缓压力波的传播。当解吸作用达到一定强度时,煤层气解吸量已经达到生产量,压力停止传播,这种情形类似于遇到了定压边界。另外,还考虑了临界解吸压力对试井理论曲线的影响,临界解吸压力和初始地层压力相差的越小,煤层气解吸出现的时间越早,对测试曲线影响也越大。

中国青藏高原青稞抗穗发芽资源评价与α-淀粉酶基因的克隆及表达

穗发芽（PHS，preharvest sprouting）是影响禾本科作物生产的重要的灾害之一。收获时期如遇潮湿天气容易导致穗发芽发生。发生穗发芽的种子内部水解酶（主要是α-淀粉酶）活性急剧升高，胚乳贮藏物质开始降解，造成作物产量和品质严重降低。因此，选育低穗发芽风险的品种是当前作物育种工作中面临的重要任务。 青稞(Hordeum vulgare ssp. vulgare)主要分布于青藏高原，自古以来就是青藏高原人民的主要粮食。近年来，由于青稞丰富的营养成分和特有的保健品质、在燃料工业中的潜力以及在啤酒酿造工业中的利用前景，在发达国家日趋受到重视，掀起综合研究利用的热潮。我国拥有占全世界2/3 以上的青稞资源，具有发展青稞产业的得天独厚的条件。然而，由于青稞收获期间恰逢青藏高原雨季来临，常有穗发芽灾害发生，使青稞生产损失巨大。目前对青稞穗发芽研究很少，适用于育种的穗发芽抗性材料相对缺乏，不能很好的满足青稞穗发芽抗性育种的需要。本研究以青藏高原青稞为材料，对其穗发芽抗性的评价指标和体系进行构建，同时筛选青稞抗穗发芽品种并对其抗性进行评价，还利用分子生物学手段对青稞穗发芽抗性的分子机理进行了初步探讨。主要研究结果如下： 1. 本试验以来自于我国青藏高原地区的青稞为材料，对休眠性测定的温度范围进行探讨，并对各种穗发芽抗性测定方法的对青稞的适用性进行评测。通过探讨温度对13 个不同基因型的青稞籽粒发芽和休眠性表达的影响，对筛选青稞抗穗发芽资源的温度条件进行探索，并初步分析了其休眠性表达的机理。在10，15，20，25，30℃的黑暗条件下，选用新收获的13 个青稞品种为材料进行籽粒发芽实验，以发芽指数（GI）评价其休眠性。结果发现，不同品种对温度敏感性不同，其中温度不敏感品种，在各温度条件下均表现很低的休眠性；而温度敏感品种，其休眠性表达受低温抑制，受高温诱导。15℃至25℃是进行青稞休眠性鉴定的较适宜的温度范围。通过对供试材料发芽后的α-淀粉酶活性，发现温度对青稞种子的休眠性表达的影响至少在一定程度上表现在对α-淀粉酶活性的调控上。随后，对分别在马尔康和成都进行种植的34 份青稞穗发芽指数（SI），穗发芽率（SR），籽粒发芽指数（GI）和α-淀粉酶活性（AA）进行了测定和分析，发现它们均受基因型×栽培地点的极显著影响，且四个参数之间具有一定相关性。GI 参数由于其变异系数较低，在不同栽培地点稳定性好，且操作简便，是较可靠和理想的穗发芽评价参数。SI 参数可作为辅助，区别籽粒休眠性相似的材料（基因型）或全面评价材料（基因型）的穗发芽抗性特征。AA 参数稳定性较差，并且检测方法复杂，因此不建议在育种及大量材料筛选和评价时使用。此外，青稞穗发芽抗性受环境影响较大，评价时应考虑到尽可能多的抗性影响因素及其在不同栽培条件下的变异。 2. 对来自青藏高原的青稞穗发芽抗性特征及其与其它农艺性状间的关系进行研究。通过测定穗发芽指数（SI）、籽粒发芽指数（GI）和α-淀粉酶活性（AA），表明113 份青稞材料的穗发芽抗性具有显著差异。SI、GI 和AA 参数的变幅分别为1.00~8.86、0.01~0.97 和0.00~2.76，其均值分别为4.72、0.63 和1.22。根据SI 参数，六个基因型，包括‘XQ9-5’，‘XQ33-9’，‘XQ37-5’，‘XQ42-9’，‘XQ45-7’和‘JCL’被鉴定为抗性品种。综合SI、GI 和AA 参数，可以发现青稞的穗发芽抗性机制包含颖壳等穗部结构的抗性和种子自身的抗性（即种子休眠性），且供试材料中未发现较强的胚休眠品种，除‘XQ45-7’外，所有品种在发芽第四天均能检测出α-淀粉酶活性。穗部结构和种子休眠的抗性机制因基因型不同而不同，在穗发芽抗性中可单独作用或共同作用。农家品种和西藏群体分别比栽培品种和四川群体的穗发芽抗性强，而在不同籽粒颜色的青稞中未发现明显差异。相关性检验发现，青稞的穗发芽抗性，主要是种子休眠性，与百粒重、开花期、成熟期、穗长、芒长和剑叶长呈显著负相关关系，与株高相关性不显著。农艺性状可以作为穗发芽抗性材料选育中的辅助指标。本试验为青稞穗发芽抗性育种研究提供了必要的理论基础和可供使用的亲本材料。 3. α-淀粉酶是由多基因家族编码的蛋白质，在植物种子萌发时高度表达，与植物种子的萌发能力密切相关。在大麦种子发芽时，高等电点α-淀粉酶的活性远大于低等电点的α-淀粉酶。为了研究不同穗发芽抗性青稞品种中编码高等电点α-淀粉酶Amy1 基因结构与抗性间的关系，我们以筛选得到的抗性品种‘XQ32-5’（TR1）、‘XQ37-5’（TR2）、‘XQ45-7’（TR3），易感品种‘97-15’（TS1）、‘9657’（TS2）以及强休眠大麦品种‘SAMSON’（SAM）为材料，对其Amy1 基因的编码区序列进行克隆和结构分析，并对它们推导的氨基酸序列进行比较。结果显示，青稞Amy1 基因具有三个外显子、两个内含子，编码区中有13 个核苷酸变异位点，均位于2、3 号外显子，2 个变异位点位于2 号外显子。SAM 和TS1 分别在2 号外显子相应位置有5 个相同的碱基(GAACT)的插入片段。相应α-淀粉酶氨基酸序列推导发现，所有核苷酸变异中有8 个导致相应氨基酸残基的改变，其余位点为同义突变。青稞Amy1 基因编码区序列品种间相似度高达99%以上，部分序列变异可能与其穗发芽抗性有关。随后，我们又通过SYBR Green 荧光定量技术对该基因在不同发芽时间（1d~7d）的相对表达水平进行了差异性检测。结果发现，7 天内不能检测到SAM 的Amy1 基因表达，5 个青稞品种间的Amy1 基因的相对表达量均随着发芽时间延长而上升，但上升方式有所不同。弱抗品种该基因表达更早，转录本增加速率更大，且在4~5 天可达到平台期。发芽7 天中，抗性品种总转录水平明显低于易感品种。本研究结果表明，青稞Amy1 基因的转录水平是与其穗发芽抗性高度相关。 我国青藏高原青稞，尤其是农家品种的穗发芽抗性具有丰富的变异，蕴藏着穗发芽抗性育种的宝贵资源。本研究为青稞穗发芽抗性育种建立了合理抗性评价体系，筛选出可供育种使用的特殊材料，阐明了农艺性状可辅助穗发芽抗性育种，同时还对穗发芽抗性与α-淀粉酶基因的结构和表达关系进行分析，为青稞穗发芽抗性资源筛选奠定了基础。 Preharvest sprouting (PHS) is a serious problem in crop production. It often takes place when encountering damp, cold conditions at harvest time and results in the decrease of grain quality and great loss of yield by triggering the synthesis of endosperm degrading enzymes (mostly the α-amylase). Therefore, PHS is regarded as an important criterion for crop breeding. In order to minimize the risk of PHS, resistant genotypes are highly required. Hulless barley (Hordeum vulgare ssp. vulgare) is the staple food crop in Qinghai-Tibetan Plateau from of old, where is one of the origin and genetic diversity centers of hulless barley. Recently, interest in hulless barley has been sparked throughout the world due to the demonstrations of its great potential in health food industry and fuel alcohol production. Indeed, hulless barley can also be utilized to produce good quality malt if the appropriate malting conditions are used. In China, overcast and rainy conditions often occur at maturity of hulless barley and cause an adverse on its production and application. PHS resistant genotypes, therefore, are highly required for the hulless barley breeding programs. However, few investigations have been made so far on this issue. The objectives of this study were: 1) to assessment of methods used in testing preharvest sprouting resistance in hulless barley; 2) to evaluate the variability and characteristics of PHS resistance of hulless barley from Qinghai-Tibet Plateau in China; 3) to select potential parents for PHS resistance breeding; 4) to primarily study on the molecular mechanism of PHS resistance of hulless barley. Our results are as followed: 1. We investigated the temperature effects on seed germination and seed dormancy expression of hulless barley, discussed appropriate temperature range for screening of PHS resistant varieties, and analyzed the mechanism of seed dormancy expression of hulless barley. The dormancy level of 13 hulless barley were evaluated by GI (germination index) values calculating by seed germination tests at temperature of 10，15，20，25，30℃ in darkness. There were great differences in temperature sensitivity among these accessions. The insensitive accessions showed low dormancy at any temperature while the dormancy expression of sensitive accessions could be restrained by low temperature and induced by high temperature. The temperature range of 15℃ to 25℃ was workable for estimating of dormancy level of hulless barley according to our data. Analysis of α-amylase activity showed that the temperature effects on seed germination and the expression of seed dormancy be achieved probable via regulating of α-amylase activity. Furthermore, we evaluated the differences in sprouting index (SI), sprouting rate (SR), germination index (GI) and α-amylase activity (AA) between Maerkang and Chengdu among 34 accessions of hulless barley from Qinghai-Tibetan Plateau in China. These PHS sprouting parameters were significantly affected by accession×location, and they had correlation between each other. GI was the most reliable parameter because of its low CV value, good repeatability and simple operation. SI could assist in differentiating between accessions of similar dormancy or overall evaluation of the resistance. AA was bad in repeatability and had relatively complex testing method, therefore, not appropriate for breeding and evaluation and screening of PHS resistant materials. Besides, since PHS resistance of hulless barley was greatly influenced by its growth environment, possibly much influencing factors and variations between cultivated conditions should be considered. 2. In this study, large variation was found among 113 genotypes of hulless barley (Hordeum vulgare ssp.vulgare) from Qinghai-Tibetan Plateau in China, based on the sprouting index (SI), germination index (GI) and α-amylase activity (AA) which derived from sprouting test of intact spikes, germination test of threshed seeds and determination of α-amylase activity, respectively. The range of SI, GI and AA was 1.00~8.86, 0.01~0.97 and 0.00~2.76，the mean was 4.72, 0.63 and 1.22 espectively. Six resistant genotypes, including ‘XQ9-5’, ‘XQ33-9’, ‘XQ37-5’, ‘XQ42-9’, ‘XQ45-7’ and ‘JCL’, were identified based on SI. Integrating the three parameters, it was clear that both hulls and seeds involved in PHS resistance in intact spikes of hulless barley and there was no long-existent embryo dormancy found among the test genotypes. All the genotypes, except ‘XQ45-7’, had detectable α-amylase activity on the 4th day after germination. There was PHS resistance imposed by the hull and seed per se and the two factors can act together or independent of each other. Besides, landraces or Tibet hulless barley had a wider variation and relatively more PHS resistance when compared with cultivars or Sichuan hulless barley. No significant difference was found among hulless barley of different seed colors. The correlation analysis showed PHS resistance was negatively related to hundred grain weight, days to flowering, days to maturity, spike length, awn length and flag length but not related to plant height. This study provides essential information and several donor parents for breeding of resistance to PHS. 3. Alpha-amylase isozymes are encoded by a family of multigenes. They highly express in germinating seeds and is closely related to seed germination ability. In barley germinating seeds, the activity of high pI α-amylase is much higher than low pI α-amylase. The aim of this study was to determine the relationship between preharvest sprouting resistance of hulless barley and the gene structure of Amy1 gene which encodes high pI α-amylase. The coding region and cDNA of Amy1 gene of three resistant accessions, including ‘XQ32-5’ (TR1), ‘XQ37-5’ (TR2), ‘XQ45-7’ (TR3), two susceptible accessions ‘97-15’ (TS1), ‘9657’ (TS2) and one highly dormant barley accession ‘SAMSON’ (SAM) was cloned. Analysis of their DNA sequences revealed there were three exons and two introns in Amy1 gene. Thirteen variable sites were in exon2 and exon3, 2 variable sites were in intron2. SAM and TS1 had a GAACT insert segment in the same site in intron2. Only 8 variable sites caused the change of amino acid residues. There were 99% of similarity between the tested hulless barley and some of the variable sites might be related with preharvest sprouting resistance. Then, we investigated the expression level of Amy1 gene in the 7-day germination test. Results of quantitative real-time PCR indicated that the relative expression trends of Amy1 gene were the same but had significant differences in the increase fashion between hulless barleys and no detectable expression was found in SAM. Susceptible accessions had earlier expression and faster increase and reached the maximum on day 4 ~ day 5. Besides, total transcripts level was found lower in resistant accessions than susceptible accessions. This study indicated that α-amylase activity was highly related to the transcription level of Amy1 gene which not correlated to missense mutation sites. In conclusion, hulless barley, especially the landraces from Qinghai-Tibetan Plateau in China possesses high degree of variation in PHS performance, which indicates the potential of Tibetan hulless barley as a good source for breeding of resistance to PHS. This study provides several donor parents for breeding of resistance to PHS. Our results also demonstrate that agronomic traits may be used as assistants for PHS resistance selection in hulless barley. Besides, analysis of high pI α-amylase coding gene Amy1 revealed the relative high expression of was Amy1 one of the mainly reason of different PHS resistance level in hulless barley.

海洋机器人用水下电机的深水密封研究

本文研究了海洋机器人用水下电机各个部分的密封方法，同时介绍了一个先进的动密封装置以及检验密封性能的水压试验方法．经测试及实际使用表明该密封方法和动密封装置完全满足水下机器人在深水中运行的密封要求

三峡库区堆积层斜坡稳定性分级与应用研究

Considering the lacking of standard for the classification of Accumulative slopes so far, research working was conducted based on the results of geological investigation, data analysis and experiment carried out in Wanzhou. By mean of statistical method and grey system, the author studied in detail inflationary factors to Accumulative slopes. In order to study the mechanism of Rock-Soil Aggregate (RSA), numerical testing method was used. Coordinates in the two and three dimensional space and its corresponding rock fragments in the sample were generated randomly by VB and Particle flow code. After being built the models of RSA with different rock content, uniaxial and triaxial numerical simulation tests were carried out respectively. In order to study the effect of rainfall in Accumulative slopes, in situ infiltration testing had been conducted on site in Wanzhou, Three Gorges Area. Relationship between the infiltration rate and amount of precipitation has been obtained. Eleven factors are considered in the classification of Accumulative slopes in this paper.(1)On the basis of four basic factors and four inducing factors, sum-and-difference method for the classification system has been built. (2)After weight of factors being determined by analytic hierarchy process and membership function of Accumulative slopes stability being built in virtue of fuzzy mathematics, AHP-FM model of Accumulative slopes stability has been completed. In the end of this paper, having been applied on stability of Accumulative slopes in Three Gorge area and compared with result by limit equilibrium, classification system has good effect.

Maximum-likelihood estimator for coarse carrier frequency offset estimation in OFDM systems

Orthogonal frequency division multiplexing (OFDM) systems are more sensitive to carrier frequency offset (CFO) compared to the conventional single carrier systems. CFO destroys the orthogonality among subcarriers, resulting in inter-carrier interference (ICI) and degrading system performance. To mitigate the effect of the CFO, it has to be estimated and compensated before the demodulation. The CFO can be divided into an integer part and a fractional part. In this paper, we investigate a maximum-likelihood estimator (MLE) for estimating the integer part of the CFO in OFDM systems, which requires only one OFDM block as the pilot symbols. To reduce the computational complexity of the MLE and improve the bandwidth efficiency, a suboptimum estimator (Sub MLE) is studied. Based on the hypothesis testing method, a threshold Sub MLE (T-Sub MLE) is proposed to further reduce the computational complexity. The performance analysis of the proposed T-Sub MLE is obtained and the analytical results match the simulation results well. Numerical results show that the proposed estimators are effective and reliable in both additive white Gaussian noise (AWGN) and frequency-selective fading channels in OFDM systems.

Antibacterial activities of naturally occurring compounds against Mycobacterium avium subsp. paratuberculosis.

The antibacterial activities of 18 naturally occurring compounds (including essential oils and some of their isolated constituents, apple and green tea polyphenols, and other plant extracts) against three strains of Mycobacterium avium subsp. paratuberculosis (a bovine isolate [NCTC 8578], a raw-milk isolate [806R], and a human isolate [ATCC 43015]) were evaluated using a macrobroth susceptibility testing method. M. avium subsp. paratuberculosis was grown in 4 ml Middlebrook 7H9 broth containing 10% oleic acid-albumin-dextrose-catalase, 0.05% Tween 80 (or 0.2% glycerol), and 2 µg/ml mycobactin J supplemented with five concentrations of each test compound. The changes in the optical densities of the cultures at 600 nm as a measure of CFU were recorded at intervals over an incubation period of 42 days at 37°C. Six of the compounds were found to inhibit the growth of M. avium subsp. paratuberculosis. The most effective compound was trans-cinnamaldehyde, with a MIC of 25.9 µg/ml, followed by cinnamon oil (26.2 µg/ml), oregano oil (68.2 µg/ml), carvacrol (72.2 µg/ml), 2,5-dihydroxybenzaldehyde (74 µg/ml), and 2-hydroxy-5-methoxybenzaldehyde (90.4 µg/ml). With the exception of carvacrol, a phenolic compound, three of the four most active compounds are aldehydes, suggesting that the structure of the phenolic group or the aldehyde group may be important to the antibacterial activity. No difference in compound activity was observed between the three M. avium subsp. paratuberculosis strains studied. Possible mechanisms of the antimicrobial effects are discussed.