共查询到17条相似文献，搜索用时 203 毫秒
1.
隐马尔科夫模型在很多方面已有广泛应用.讨论了一类更为一般的模型,这类模型由WojciechPieczynski首次提出,并且给出了在图像识别中的应用.这里首次给出在离散观测和离散状态下该模型的精确数学描述,其中包括建模、状态估计和参数估计,这些算法都是首次被提出的 相似文献
2.
和积网络（sum-product networks，SPN）是一种在多层网络中进行快速推理的深度概率图模型，在人工智能领域有广泛应用前景。SPN的有效性即它可用来正确表示概率分布，使得SPN可以表示一些图模型的配分函数和所有的边缘分布。由于只有部分SPN是有效的，快速判断SPN的有效性很有必要。针对SPN理论体系中的有效性验证问题，讨论并揭示SPN内部结构性质，提出验证SPN有效性的两个算法，并给出算法的正确性证明及其复杂度。还通过给出一种新的SPN中生成树个数的计算方法来验证SPN有效性算法的可靠性。 相似文献
3.
针对多通道MUXDAC系统的同步问题,采用数字相关法进行反馈时钟鉴相,提出一种适于FPGA的低采样率反馈算法. 对算法原理、实现方法及影响算法精度的各参数进行了分析. 该算法在雷达双通道信号发生器系统中得以应用,证明了其正确性. 算法简单易行,提高了系统可靠性. 相似文献
4.
由于UML Statechart图缺乏精确的数据流语义,因而难以对UML Statechart图建模的工作流的数据流进行正确性验证．首先,UML Statechart图是基于状态转换的,为此选择标记转换系统（LTS）作为语义域,并用结构化操作语义（sos）分两步定义了UML Statechart图的数据流语义．然后,采用时序逻辑公式表示数据流所需满足的性质,同时给出了将UML Statechart图模型转化为可达状态迁移图的算法,最后通过模型检测算法验证数据流的正确性． 相似文献
5.
6.
容错系统的可靠性分析是容错系统设计过程中最重要的步骤之一.在容错控制系统的可靠性分析中,利用马尔可夫过程和半马尔可夫过程理论对容错系统进行可靠性建模能够较为真实地描述系统的实际工作情况.但是,由于容错系统为了达到高可靠性而采用了大量的冗余配置及重构技术,使得该可靠性模型往往变得相当复杂.因此,对系统可靠性模型进行必要的化简,可以减少许多计算量并使该模型更加符合实际使用要求. 相似文献
7.
张雅 《中国科学院大学学报》2002,19(4):348-356
提出了一种基于移位寄存器状态变化的分组加密算法(称之为 荡秋千"密码算法),并详细给出了算法的加解密流程和必要的参数设置方法.通过对密钥雪崩效应和明文雪崩效应的基本分析,说明了该算法具有良好的抵抗密钥相关攻击、线性攻击和差分攻击的性能.除了具有安全、快速、易于实现等特点外,该算法最突出的特点是算法逻辑结构简洁、严谨,有效地实施了混合与扩散 相似文献
8.
为提高海上交通事故应急处置能力,提出一种基于Petri网的海上事故应急流程绩效评价方法.根据模糊随机Petri网(Stochastic Petri Net,SPN)理论,结合主要存在的船体受损、人员伤亡、火灾爆炸和海洋污染等4种事故类型,确立各事故类型的应急流程,并分析各流程因素的逻辑关系,构建海上事故应急流程的模糊SPN模型.通过基于该模型的马尔科夫链得到各种状态下的稳态概率表达式.利用模糊集理论对各个因素进行静态分析和动态分析,最终得到各种状态下稳态概率的变化情况.案例结果表明,当发生海上交通事故时,此模型能够体现各因素对整个应急流程绩效的影响,并能通过数值变化趋势反映不同状况下海上事故应急流程的关键环节,提高风险处置的效率和针对性. 相似文献
9.
双星滑动聚束模式合成孔径雷达（SAR）既保持了双星SAR的灵活性、可靠性和稳定性,同时还可产生高分辨率的图像对,对于观测和测绘具有巨大的潜力。这种模式下需要兼顾双星成像与多普勒带宽显著增加的问题。分析双星滑动聚束SAR系统下目标的多普勒特性,结合双星成像算法与频谱分析法,提出一种基于双曲等效的双星滑动聚束SAR 2步成像算法。同时,针对双曲等效模型误差导致算法聚焦质量下降的问题,提出模型误差补偿方法,给出完整算法处理流程,最后用仿真实验验证所提出的算法。 相似文献
10.
蒋迪娜 《上海海事大学学报》2012,33(1):56-60
为探索国际原油运价在周期性波动过程中的区制转换和持续期依赖特征,采用具有持续期依赖特征的马尔科夫区制转换(Duration Dependent Markov Switch,DDMS)模型分析波罗的海原油运价指数(Baltic Dirty Tanker Index,BDTI)的波动规律.结果表明:BDTI具有明显的两阶段区制特征;国际原油运价指数由收缩期(扩张期)状态向扩张期(收缩期)状态的转换概率随着目前状态持续时间的增长而不断增大;在相同的持续期水平下,收缩期状态向扩张期状态的转换概率超过扩张期状态向收缩期状态的转换概率;BDTI的非对称持续期依赖特征与国际原油运输市场的寡头垄断市场结构密切相关。 相似文献
11.
项〓蔓 《广州体育学院学报》2017,37(3):39-41
研究基于运动员退役的过程理论,通过案例分析的方式对我国运动员退役过程中出现的心理问题及应对策略进行分析讨论.结果发现,"运动员阶段"在自我身份认同方面存在角色定位不准,表现出负面的心理状态;"打算退役阶段"存在角色认知和自我评价下降问题,容易产生"职业倦怠";"退役过渡阶段"易受到社会舆论影响,产生"社会焦虑综合征";"退役后阶段"因心理压力大,就业难,缺少社会和相关方面的支持,容易出现迷茫和焦虑的状态.基于以上问题,从过程理论的四个阶段对我国运动员退役过程中的应对策略进行了讨论. 相似文献
12.
体育测量信度估价研究的现状与问题分析 总被引：3，自引：0，他引：3
以文献资料法和分析归纳法为主要研究方法，对体育测量信度估价研究的领域、估价方法、评价标准进行了探讨。我国体育领域的专家、学者对体育测量信度已进行了比较全面的分析和研究，但调查量表的信度估价尚未引起广大体育科研工作者的普遍关注与重视。教科书在体育测量信度估价方面应注重更新知识，结合体育测量的需要汲取教育、心理、医药卫生等领域一些新理论、新的实用信度估价方法。不同的信度估价方法以不同的假定和前提务件为基础，体育测量信度估价应针对具体务件科学地选择估价方法，建立不同的信度评价标准。 相似文献
13.
张永军 《潍坊高等职业教育》2006,(4)
对于失效概率非常小或难以获得必要统计数据的系统,难以用经典故障树和模糊故障树加以分析,需要与之相应的故障树分析方法来预测和诊断故障,评价其可靠性和安全性。基于Posbist可靠性理论,用可能性测度刻划事件的失效行为,定义了单调关联系统的Posbist故障树结构函数,推导了Posbist故障树的与门、或门算子以及基于最小割集和最小路集的算子,建立了单调关联系统的Posbist故障树模型。最后,针对冲床冲手故障进行了Posbist故障树分析。 相似文献
14.
廖飒 《贵阳金筑大学学报》2008,(3):5-9
数据增量更新是数据仓库应用领域的重要问题。设计增量数据的获取方式。对增量数据的冗余问题进行了重点研究,提出了预处理方法并设计了相应算法,该方法实现了增量数据的压缩,提高了增量数据的质量及ETL过程的处理效率。给出了增量ETL过程的具体实现。 相似文献
15.
Strand Spaces是一种用于分析安全协议的机器证明方法.简要介绍了 Strand Spaces的基本特点,分析了其优劣,提出了构造协议的理想子环的算法,并以此来约束协议入侵者的能力和协议并行运行的次数.将模型检查与 Strand Spaces结合在一起,提出了一种综合分析方法来验证协议的安全特性,该方法可充分发挥模型检查与 Strand Spaces二者的优势. 相似文献
16.
在对多智能体的编队控制上，当输入和系统状态受到约束时，模型预测控制算法比传统的输入输出反馈线性化控制算法具有显著的优势，但传统的模型预测控制算法需要在线优化控制，从而导致巨大的在线负担.为减小这种在线负担，提出一种双模式模型预测控制算法.该算法使用模型预测控制器对控制变量进行在线优化，使得未来某时刻的系统状态进入终端约束集内；此时将系统状态作为输入输出反馈线性化控制器的输入，将系统状态驱动到稳定值；在目标函数中加入避碰函数来有效避免邻近多智能体间的碰撞.仿真结果表明，当输入和状态受到约束时，双模式模型预测控制算法在对多智能体编队控制上比仅使用输入输出反馈线性化控制算法具有明显的优势. 相似文献
17.
提出了基于小波变换和隐马尔可夫模型的人像鉴别算法. 该算法首先对图像进行3级小波分解,然后把3个不同分辨率的低频子图像由小到大排列成树状结构,形成低频小波树. 接着利用独立元分析对每个小波树枝进行去相关、降维,形成特征小波树枝,并把它作为观测向量对隐马尔可夫模型进行训练,把优化的模型参数用于人脸识别. 分析了观测向量维数与识别率的关系,以及状态个数和高斯概率混合成分的个数对识别率的影响,定性描述了隐马尔可夫模型的本质. 在ORL人脸数据库上,同其他四种相关方法进行了比较,实验结果表明,该方法识别率较高,工程上易于应用. 相似文献