二值图像序列的符号OBDD表征模型的研究

利用有序二叉决策图OBDD对二值图像序列数据进行建模,根据图像序列的帧间相关性,图像序列的OBDD共享了大量结点,节省一定的存储空间,为图像序列的有关处理提供了一个新的数据表示方法。

基于BDD的航天测控系统任务可靠性分析

针对航天测控系统任务可靠性分析问题,提出了基于二值决策图（BDD）的航天测控系统任务可靠性分析模型和算法。将航天测控系统视为一个多阶段任务系统,采用任务剖面描述任务时序逻辑关系。根据各阶段的可靠性逻辑结构建立了单阶段的BDD,依次对各阶段的BDD进行运算得到系统的BDD,据此计算系统的可靠度。最后给出了一个算例,验证了算法的有效性。

提高边缘细节清晰度的图像融合改进算法

为解决图像融合过程中边缘信息以及细节内容易于丢失的问题,提出图像融合的改进算法。对源图像进行小波变换分解,将分解后的高低频系数用矩阵存储。对于低频子带的系数,采用形态学边缘检测的方法,提取出边缘轮廓系数,后运用加权平均法对其进行融合得到用于重构的低频系数。对于各高频子带的系数,先采用区域能量法构造出判断矩阵,经多数筛选法和形态学处理后得到二值融合决策图,并根据此决策图选取出用于重构的高频系数。最后,进行图像重构得到融合图像。实验结果表明,该算法增强了图像边缘细节的清晰度,其图像融合效果在相同融合条件下比其它算法更好,熵、标准差和平均梯度等图像融合的评价指标提高了0.5%～5%,可以更有效地应用于医学或多聚焦图像的融合。

安全Petri网事件分离状态的BDD算法

基于区域法可以获得最佳的活性控制器,但由于要计算网的可达状态集而导致状态爆炸问题.提出一种应用二值决策图(BDD)计算安全Petri网事件分离状态的算法.用布尔代数对Petri网的结构和行为进行描述,用BDD实现布尔代数运算.BDD共享的数据结构能以较小的空间表示较大可达集并能对其进行高效的运算,从而节省了存储空间,减少了运算时间.最后用著名的哲学家就餐问题的Petri网模型对该算法进行仿真.仿真结果说明,使用BDD计算复杂Petri网的合法状态集、危险节点、坏点和计算事件分离状态具有很高效率.

可能性测度下的CTL符号化模型检测

随着系统复杂性的增加,系统中的不确定信息亟待处理,状态爆炸问题也越来越严峻,现有的模型检测技术已不能完全适用于复杂系统的验证。对可能性测度下CTL符号化模型检测进行了研究。首先用多终端二值决策图和布尔公式分别描述系统模型和待验证性质,然后再对系统模型进行归一化和简化,最后利用不动点计算完成系统验证。该研究是对可能性测度下的模型检测技术和符号化模型检测技术的整合,不但能处理系统的不确定信息,而且保持了符号化模型检测对计算时空要求低的优点,对于复杂系统模型检测具有重要意义。

电力系统充裕度分析中的快速组合事件概率算法

提出了一种可应用于电力系统充裕度分析的快速组合事件概率求取方法.该方法根据二值决策图的基本原理,采用二叉树作为基本数据结构,在电力系统充裕度计算所有可行状态已知的情况下,只需一次回代即可求出相应的系统充裕度指标,具有原理清晰、算法简单、易于实现的特点.理论分析和实际算例表明,其时间和空间复杂度都是问题规模的线性函数,有着比经典inclusion-exclusion法则更好的计算效率,IEEE RTS-24节点系统算例的计算表明了该算法在实际应用中的正确性和有效性.

集成电路RT-Level功耗估计方法概论

随着便携式系统的出现,集成电路的功耗日渐成为人们普遍关心的一个问题。为了避免二次设计带来的损失,无论集成电路设计师还是芯片生产厂家都希望能够在较早的设计阶段对芯片的功耗进行准确地估计。集成电路的功耗估计方法主要分为两大类:静态估计和动态估计两种方法。本文对这两类方法进行了探讨,对每一类方法中现存典型的算法进行了介绍;并对如何计算Glitching Power进行了描述;对时序电路的功耗分析进行了探讨;最后对现存的问题进行了总结。

CMOS集成电路中Glitch Power的分析方法研究

在集成电路中器件延迟数学模型的基础上,介绍了如何利用定时布尔函数和定时有序二值决策图对集成电路GlitchPower进行分析;借助CUDD软件包,构建了电路的Timed-OBDD表达形式,对一些典型的BenchMark进行了仿真。

基于广义可能性的模态μ演算符号模型检测

随着计算机功能的不断增强,软硬件系统也变得越来越复杂,使得人们对系统的需求更高。系统建模中可能存在的诸多不确定性信息也亟待被解决,为了充分解决系统信息来源的种种不确定性特征和各种不完备性,本文引入了广义可能性决策过程理论作为系统模型。在此基础上,给出了广义可能性模态μ演算的语法和语义;然后通过约简有序二叉决策图进行布尔存储来描述广义可能性不确定信息系统的特征属性;最后给出了广义可能性的模态μ演算符号化模型检测算法和时间复杂度。同时,通过广义可能性的模态μ演算符号化模型检测算法也有效缓解了状态爆炸问题,这对不确定性信息系统的模型检测提供了一种新的思路。

考虑Poisson冲击的多阶段任务系统可靠性分析

本文探讨了受Poisson冲击作用下的多阶段任务系统可靠性问题。假定系统元件服从非指数分布,冲击服从齐次Poisson过程,应用半马尔科夫过程理论对子系统进行状态概率分析,结合随机过程理论和近似积分计算方法得到了冲击影响下动态子系统中电子元件失效分布函数。然后,基于模块化的方法利用阶段任务二值决策图技术实现了对多阶段任务动态复杂系统的可靠性评估。最后,分析了一个工程实际案例,对提出的模型和方法进行了验证。