误判概率及其在可靠性分析中的应用

通过对产品测量误差与测量值之间关系的分析,提出了一种降低产品误判概率的理论和方法.该方法通过求出在稳定的工艺过程与测量状态下超差品测量值与合格品测量值的分布规律,建立了误收率、误废率的计算数学模型,并由此获得了误判概率函数表.利用误判概率函数表,即可实现降低产品的误判概率.最后通过实例,应用误判概率函数表对产品生产的可靠可行性进行了详细的分析.     

浅谈洁净厂房照明设计

从七个方面简单介绍如何进行洁净厂房照明设计。以及洁净厂房照明的特殊要求。     

程序断言动态检测工具的设计与实现*

重点研究了断言的动态检测方法与检测过程,并在关系数据库理论的基础上实现了交互式的断言动态检测工具,即TDDPA。该工具具有动态检测程序断言等功能,并通过将运行轨迹收集到数据库中来实现检测到的各种断言形式分析,说明了TDDPA总体设计结构及实现过程。结果证明TDDPA能更方便有效地发现程序中所蕴涵的断言。     

克露72WP防治葡萄霜霉病药效试验

克露７２ＷＰ防治葡萄霜霉病药效试验陈继锋（中国农科院郑州果树研究所）葡萄霜霉病是葡萄叶片的主要病害，严重年份造成提早落叶，影响葡萄来年产量。目前，市场上用于防治葡萄霜霉病的农药主要是瑞毒霉、霜疫灵、甲霜灵等，但效果都不甚理想。为了寻找更有效的农药，我...     

微通道电泳芯片系统中信号识别算法的设计与实现

介绍适用于微通道电泳芯片系统的DNA测序软件的总体流程，以及其中的信号处理与识别算法。以激光诱导荧光检测系统所采集到的原始数据为源信号，以小波平滑和小波去噪为理论基础，将滤波算法和峰值识别算法综合在一起进行设计，从而使其适用于检测速度更快、样品量更少的微通道电泳芯片系统。将本算法应用于DNA片段的分离实验中，可以有效地达到滤波以及信号识别的目的。     

一种基于分支覆盖的测试数据自动生成算法

通过构造新的程序流图，利用Fibonacci法优化选取路径．为指定的分支生成测试数据。提出了路径测试数据生成代价的概念，并给出了代价的计算方法。当所选路径的分支谓词均为线性表达式时，直接求解线性约束集即可生成测试数据，或判定路径不可行；当分支谓词含有非线性表达式时，利用均差近似导数将非线性函数线性化，通过简单的迭代，亦能容易生成测试数据或判定路径在很大程度上不可行。若所选路径不可行或在很大程度上不可行，则选取新的路径，重复以上过程，直至求出所期望的数据，或无新的路径被选取，给定分支不可达。实例和实验表明，算法可行、有效。     

电泳芯片系统的研制和应用

叙述了电泳芯片的设计和制作，并详细阐述了电泳芯片的进样方法，电泳操作方法等。实验结果表明，本系统能对DNA片段进行很好的分离和检测，检测极限已达到10^-19mol。     

微通道电泳芯片系统中信号识别算法的设计与实现

信号处理与分析软件是微全分析系统的重要组成部分，也是生物信息学研究的一个重要领域。本文介绍了适用于微通道电泳芯片系统的DNA测序软件的总体流程，重点描述了其中的信号处理与识别算法。算法以激光诱导荧光检测系统所采集到的原始数据为源信号，以小波平滑和小波去噪为理论基础，将滤波算法和峰值识别算法综合在一起进行设计，从而使其适用于检测速度更快、样品量更少的微通道电泳芯片系统。将本算法应用于DNA片段的分离实验中，可以有效地达到滤波以及信号识别的目的。     

一种基于数据流准则的测试数据自动生成算法

提出了一种基于数据流准则的测试数据自动生成的算法。该算法采用ALL-DU—PATHS覆盖准则．应用Warshall算法来计算判定DU对的可行可测性，通过优化选取覆盖DU对的测试序列，给出了基于测试序列的测试数据自动生成的方法，最后通过实例和实验进行了验证。     

面向导航型网页关键词自动抽取的视觉模型与算法

导航型网页中往往包含了大量的噪声信息,为自动提取网页中的关键词带来了较大的困难。 为此,提出一个新的网页表示模型PIX-PAGE和导航型网页关键词自动抽取算法P-KEA。PIX-PAGE模型利用提出的区域合并算法,将一张网页分割为适当粒度的区域;然后,依据人类视觉特点,对各区域进行视觉“奇异性”量化,同时利用奇异性传递规则进一步强化关键词相关区域的视觉“奇异性”。P-KEA根据PIX-PAGE模型模型的视觉量化结果,能够较准确地找到视觉突出区域中的关键词。实验结果表明,与基于DocView模型的算法DVM相比,P-KEA的准确率平均提高了20.9%。