适于风险监测系统的零压缩二元决策图基本事件排序方法

风险监测系统需要对核电站风险水平进行实时分析计算,因而快速计算引擎发展是风险监测系统研发成功关键。零压缩二元决策图算法是近年出现的一种概率安全评价中快速求解最小割集方法,而基本事件排序将直接影响到零压缩二元决策图的规模,并最终影响分析计算速度。本文提出一种适用于风险监测系统的基本事件排序方法,该方法充分利用基准风险模型分析结果,并程序实现上述方法,最后通过实际例题说明了其正确性和有效性。

GEM探测器基线值获取和数据零压缩阈值的设定

针对X射线成像GEM探测器,分析了3种基线值获取方法,给出零压缩阈值的最佳设定方法。测试结果表明,采用文中方法给出的零压缩阈值对数据进行零压缩可有效提高数据的有效利用率,从而提高探测器的计数率。在相同时间内,统计量大大提高,也有效改善了探测器的二维成像质量。

基于符号零压缩二叉决策图的装配可行性判定方法

为了扩大装配序列规划的求解规模并提高求解效率,提升装配自动化水平,给出了装配体联接矩阵和干涉矩阵的零压缩二叉决策图描述,建立了基于符号零压缩二叉决策图的装配操作可行性判定方法。基于该方法,可以高效地求解出一个装配体的可行装配操作。结合实例验证了基于符号零压缩二叉决策图的装配体模型和可行装配操作判定方法的正确性和可行性。

基于符号零压缩二叉决策图的组合测试用例生成方法

组合测试是系统测试中一种非常有效的方法,能够在保证错误检出率的前提下采用较少的测试用例来测试系统。但是,组合测试用例集构造问题的复杂度是NP完全的。给出了一种基于符号零压缩二叉决策图(Zero-suppressed Binary Decision Diagram,ZBDD)的组合测试用例生成方法。该方法首先利用ZBDD的结构特性,对测试系统进行紧凑的符号表示。然后利用ZBDD的隐式操作,结合贪心算法的思想,不断地覆盖更多的组合并缩小未覆盖组合集合,生成2~4维覆盖强度的较小测试用例集。实验证明,所提方法不仅可行而且节点开销小。

离心式空压机零气耗压缩热吸附式干燥机的节能改造及供气压力分级分析

本文针对离心式空压机和压缩热吸附式干燥机的节能改造及供气压力分级分析。首先介绍了离心式空压机和压缩热吸附式干燥机的基本原理和结构,然后针对其存在的能耗问题,提出了采用零气耗压缩热吸附式干燥机的方案,并详细分析了该方案的节能效果;同时结合厂区不同生产作业区域对压缩空气压力需求进行调压供气,合理分配厂区供气管道系统。希望能够为今后的离心式空压机零气耗压缩热吸附式干燥机改造及供气压力分级提供参考。

柔性制造系统中生产调度问题的零压缩二叉决策图算法

针对赋时有界Petri网模型下柔性制造系统的生产调度问题,给出了有界Petri网的零压缩二叉决策图表示方法,进而建立了此类生产调度问题求解的符号零压缩二叉决策图算法.该算法在求解过程中对状态空间及其搜索过程中的相关数据,采用零压缩二叉决策图表示,避免了状态和搜索的显式枚举,实现了隐式高效操作,有效地改善了算法的计算性能.实验结果表明了算法的有效性.

带噪图像的小波零树压缩研究

小波零树编码是一种高效的图像压缩编码方法 ,是目前图像压缩领域中的研究热点。主要讨论在小波域的图像去噪问题 ,而且结合SPIHT算法讨论了如何将图像小波域的去噪与图像压缩编码结合起来 ,并进一步提出了各种小波零树算法在处理带噪图像时的顽健性问题。

嵌入式小波零树压缩算法的基本原理

数据(图像)压缩是数据存储和传输的重要手段之一。在简述数据压缩方法分类和几种常用压缩方法的基础上,重点讨论嵌入式小波零树图像压缩算法的特点、方法步骤和基本原理,并用实例介绍该方法的数据压缩效果。总结了小波分析在地球物理勘探中的应用状况,展望了小波分析的应用前景和未来的潜在应用领域。

基于图像边缘度的零树压缩最优分解层的选择

在研究零树图像编码方案的基础上,分析了被压缩图像的空间冗余度(称为图像边缘度)与零树压缩结果的关系,提出了零树压缩存在小波最优分解层的概念,给出了不同压缩比、不同小波分解层与不同类型图像的零树压缩结果的关系,并对相应的压缩时间进行了分析。综合实验结果表明:在进行高比特率压缩时,提倡采用三层小波分解;而进行低比特率压缩时,应采用四层小波分解。这一结论可作为进一步研究具有自适应能力的改进零树算法的基础。

基于小波分析的嵌入零树静态图像压缩方法

图像编码技术是多媒体系统的关键技术之一。本文分析了基于小波变换的嵌入零树编码方法的基本原理及该方法的不足 ,并针对这些不足提出相应的改进措施。实验表明 ,通过改进 ,缩短了编码时间 ,提高了压缩比。

关于空间数据系统无损压缩算法的零值块研究

通过对CCSDS(国际空间数据系统咨询委员会)建议的无损数据压缩标准的研究,以及对目前常用压缩算法的调查,它阐述了一种具有延迟小速度快抗差错能力强等特点的无损数据压缩算法,即Rice压缩算法,压缩率超过50%以上,而且对多种类型的数据都会达到满意的效果。它对算法中的零值块部分作了较为详细地阐述,因为经过预处理过的数据通常都很小,对于图像来说有相当多的零值。因此,对零值较多的情况下采取零值块压缩处理,效果很好,经过软件测试,结果符合CCSDS的要求标准。

罗茨真空泵性能考核指标——抽速和零流量压缩比的探讨

罗茨泵以抽速作为主性能考核指标不够确切，它不能真实反映罗茨泵的质量水平，建议以零流量压缩比作为考核罗茨泵抽气能力的性能指标。

提高罗茨泵最大零流量压缩比的探讨

探讨了影响罗茨泵的最大零流量压缩比的一些因素 。

零气耗压缩热干燥器的设计与实现

压缩空气作为动力源,被广泛地应用于电力、纺织、冶金、化工、建材、机械制造等许多领域。压缩空气具有易储存、易控制、流动性好及安全、环保等特点。因此,压缩空气也被认为是仅次于电力的第二动力源,在工业生产中占据工厂总耗电量10%~20%,有些工厂甚至高达35%。为此,压缩空气系统在中国将不可避免地会成为节能工作的对象,零气耗压缩热干燥器在压缩空气净化过程中具有能耗低、性能优越、自动化程度高、寿命长等诸多优点,研制零气耗压缩热干燥器对于推动节能工作具有重要作用。

基于小波变换的图像压缩

给出了使用二维小波变换进行图像压缩的原理和实例。提出了结合小波变换零树压缩和量化编码的新方法。小波分解后,仅保留图像最有用的部分,即低频成分,对三个高频部分强制为0,然后再对低频部分量化编码。该方法简便易行,压缩比高,效果极显著。

嵌入零树小波编码算法的DSP实现

这里以德州仪器公司的DSP芯片(TMS320VC5410)中的“比较选择和存储单元(CSSU)”和片内RAM、改进嵌入零树小波压缩编码算法,并通过硬件来实现该算法。提高了图像的编码速度。

一种基于小波变换各尺度相似性的静止图象压缩方法

小波变换具有良好的空间 -频率局部化性能 ,主要表现在频率压缩特性、空间压缩特性、系数分布的相似性 3个方面 ,这些特性都有利于进行图象压缩 .但是早期的小波压缩算法大多没有利用系数分布的相似性 .该文借鉴了零树算法和 Rinaldo块预测的思想 ,提出了一种新的旨在压缩重要小波系数结构性冗余的静止图象压缩方法 ,实验结果证明了这种方法的有效性 .

一种基于ZBDD求解大型故障树的基本事件排序方法

如何提高大型故障树分析效率一直是研究人员致力于的一个热点问题。近年提出的基于ZBDD的分析方法是一种比较有效的大型故障树求解方法。本文从ZBDD结构和将故障树转换成ZBDD的特点入手,分析了基本事件的排序对ZBDD结构的影响,并结合BDD基本事件排序的当前研究成果,设计了一种基于ZBDD求解大型故障树基本事件的排序方法,并经过反复测试和比较分析,证明了这个方法的有效性。

Petri网的符号ZBDD可达树分析技术

Petri网是一种适合于并发系统建模、分析和控制的图形工具.可达树是Petri网分析的典型技术之一,它通过标识向量集合表征系统的状态空间,组合复杂性严重制约了该分析技术可处理系统问题的规模.零压缩决策图(Zero-Suppressed Binary Decision Diagrams,ZBDD)是一种新型的数据结构,是表示和处理稀疏向量集合的一种有效技术.文章基于Petri网可达标识向量的稀疏特征,给出了Petri网分析的符号ZBDD技术,该技术通过对标识向量(状态)的布尔向量表示、可达标识向量(状态)的符号ZBDD生成,实现Petri网可达状态空间的高效符号操作和紧凑符号表示.实验表明,基于ZBDD的符号可达性分析算法能够有效处理较大规模Petri网问题.

序列模式挖掘研究

为了更好地分析购物篮数据,挖掘出潜在客户,序列模式挖掘应运而生。序列模式挖掘是数据挖掘一个重要研究内容,近年来在很多领域得到广泛运用。概述序列模式挖掘的发展现状,研究基本挖掘框架的经典挖掘算法与扩展模型挖掘算法,特别针对近年来出现的新数据形式序列模式挖掘,以及基于零压缩二叉决策图(ZBDD)结构的挖掘算法做了阐述,最后对序列模式挖掘发展趋势进行了展望。