期刊文献+
共找到21篇文章
< 1 2 >
每页显示 20 50 100
卷积码盲识别树图遍历算法研究与仿真实验
1
作者 付卫红 刘乃安 郑靖轩 《现代电子技术》 2023年第7期5-9,共5页
针对现有卷积码盲识别算法在校验矩阵相同的情况下识别性能不佳的问题,提出一种基于树图遍历的卷积码盲识别算法,并对算法识别准确率进行仿真实验。算法基本思想是:遍历所有可能的输入序列,并依据输入序列构造下一状态,根据输入序列和... 针对现有卷积码盲识别算法在校验矩阵相同的情况下识别性能不佳的问题,提出一种基于树图遍历的卷积码盲识别算法,并对算法识别准确率进行仿真实验。算法基本思想是:遍历所有可能的输入序列,并依据输入序列构造下一状态,根据输入序列和状态这两个参数在卷积码树图中寻找符合要求的路径,识别出卷积码的输入⁃状态⁃输出转移表,然后构造方程组,估计出生成矩阵。实验结果表明,该算法能够有效地对卷积码进行盲识别,规避了从校验矩阵反推生成矩阵的过程中存在多个可能的生成矩阵的问题。 展开更多
关键词 信道编码 卷积码盲识别 树图遍历 状态转移 方程组构造 仿真实验
下载PDF
长短滑窗慢特征分析与时序关联规则挖掘的过渡过程识别 被引量:2
2
作者 刘金平 匡亚彬 +1 位作者 赵爽爽 杨广益 《智能系统学报》 CSCD 北大核心 2023年第3期589-603,共15页
工况过渡过程与异常状态(故障)的数据特性极为相似。如果不对过渡过程加以辨识,极易导致过程监测系统频繁误报警,进而可能引发不适当的人工操作而严重破坏生产的稳定性。本文提出一种基于长短滑窗慢特征分析(slow feature analysis,SFA... 工况过渡过程与异常状态(故障)的数据特性极为相似。如果不对过渡过程加以辨识,极易导致过程监测系统频繁误报警,进而可能引发不适当的人工操作而严重破坏生产的稳定性。本文提出一种基于长短滑窗慢特征分析(slow feature analysis,SFA)与时序关联规则挖掘的过渡过程识别方法。首先,依据稳态工况和过渡工况在时间跨度上的差异性,提出一种长短滑窗与SFA相结合的多工况过程建模方法,将工况状态细分为多个稳态阶段与过渡阶段,并分别建立相应的离线SFA模型;然后,提出一种多时序多时间区间的同步频繁树构建方法,挖掘每种状态转变在多个时间序列与多个时间区间内的关联规则,以实现工况过渡过程的准确辨识。针对田纳西伊斯曼(Tennessee Eastman,TE)过程生成一组包含多模态相互转变的过程数据对所提方法进行实验验证,结果表明所提方法能够在频繁发生过程转变的过程数据中有效识别过渡过程,降低故障误报率,提高过程监测水平。 展开更多
关键词 过程监测 过渡过程识别 慢特征分析 同步频繁树 时序关联规则挖掘 稳态工况 长短滑窗 多模态工况
下载PDF
可修系统的可用度分析方法研究 被引量:24
3
作者 孔德良 王少萍 《北京航空航天大学学报》 EI CAS CSCD 北大核心 2002年第2期129-132,共4页
介绍了一种新的可修系统可用度分析方法———可修系统动态故障树建模分析方法 .为了获得高的可靠性和可用性 ,计算机控制系统大量采用了动态余度管理、储备及复杂的故障恢复技术 ,使计算机控制系统呈现出很强的动态性和实时性 .采用动... 介绍了一种新的可修系统可用度分析方法———可修系统动态故障树建模分析方法 .为了获得高的可靠性和可用性 ,计算机控制系统大量采用了动态余度管理、储备及复杂的故障恢复技术 ,使计算机控制系统呈现出很强的动态性和实时性 .采用动态故障树与Markov过程综合方法 ,将计算机控制系统的动态时序用DFTA(DynamicFaultTreeAnalysis)描述 ,将系统可修过程用Markov过程描述 ,将系统分解成若干个小的模块 ,逐步计算各模块的可用度、等效故障概率和维修率 ,最后综合进行整个系统的可用度分析 . 展开更多
关键词 故障树图形分析 动态故障树 Markov状态转移链 可用度分析 可修复系统 飞机
下载PDF
动态故障树分析方法在软、硬件容错计算机系统中的应用 被引量:17
4
作者 程明华 姚一平 《航空学报》 EI CAS CSCD 北大核心 2000年第1期34-37,共4页
结合几个动态逻辑门及其向Markov状态转移链的转化,介绍了一种新的动态故障树建模分析方法,用来解决不可修系统中对动态时序特性的建模困难问题。并给出了一个具体的例子,应用这种方法对其进行分析。分析结果表明,软、硬件容错技术在计... 结合几个动态逻辑门及其向Markov状态转移链的转化,介绍了一种新的动态故障树建模分析方法,用来解决不可修系统中对动态时序特性的建模困难问题。并给出了一个具体的例子,应用这种方法对其进行分析。分析结果表明,软、硬件容错技术在计算机系统中的应用,可以显著提高系统的可靠性。 展开更多
关键词 动态故障树 DFTA 容错技术 软件 硬件 逻辑门
下载PDF
基于状态转换的Web程序测试方法研究 被引量:4
5
作者 毛澄映 卢炎生 《计算机科学》 CSCD 北大核心 2005年第5期219-223,共5页
基于状态转换的测试方法是探测Web程序动态行为异常的有效途径。Web程序状态的变迁由链接序列和提交数据共同构成的导航场景决定。本文用活动页面导航图(APND)来描述页面间的链接转换行为,用状态变量的组合对象状态图(COSD)来刻画由提... 基于状态转换的测试方法是探测Web程序动态行为异常的有效途径。Web程序状态的变迁由链接序列和提交数据共同构成的导航场景决定。本文用活动页面导航图(APND)来描述页面间的链接转换行为,用状态变量的组合对象状态图(COSD)来刻画由提交数据导致的系统状态变量改变,再将两者统一成一个较为全面的动态行为模型Web程序状态转换图(WSTD)。最后,采用线索k叉树并加以改进来自动生成测试用例。 展开更多
关键词 测试方法 Web 程序 状态变量 状态转换图 动态行为 行为模型 测试用例 自动生成 导航图 状态图 K叉树 数据 链接 页面 换行 对象
下载PDF
Fuzzy树自动机的等价性 被引量:10
6
作者 柏明强 《四川师范大学学报(自然科学版)》 CAS CSCD 北大核心 2009年第1期13-16,共4页
在给出模糊树自动机概念的基础上,讨论了模糊树自动机与传统字符自动机、模糊有限自动机相类似的性质,即指确定性模糊树自动机与非确定性的模糊树自动机的等价性、FNBTA与FNTTA等价,及FDBTA和FNBTA等价;这为模糊树自动机的进一步研究奠... 在给出模糊树自动机概念的基础上,讨论了模糊树自动机与传统字符自动机、模糊有限自动机相类似的性质,即指确定性模糊树自动机与非确定性的模糊树自动机的等价性、FNBTA与FNTTA等价,及FDBTA和FNBTA等价;这为模糊树自动机的进一步研究奠定了基础. 展开更多
关键词 模糊树 模糊树自动机 状态转移
下载PDF
从命题逻辑的需求描述到状态转移图的形式规格 被引量:3
7
作者 屈玉贵 《小型微型计算机系统》 EI CSCD 北大核心 2000年第9期917-919,共3页
信息处理系统的大规模化和复杂化 ,需要有效设计高可靠性系统的形式化的规格描述方法 .在通信系统中 ,前期设计阶段就要考虑系统变更频繁的情况 ,使得部分变更不要影响到系统的整体规格 .本文针对以上功能 ,提出了基于命题逻辑的信息处... 信息处理系统的大规模化和复杂化 ,需要有效设计高可靠性系统的形式化的规格描述方法 .在通信系统中 ,前期设计阶段就要考虑系统变更频繁的情况 ,使得部分变更不要影响到系统的整体规格 .本文针对以上功能 ,提出了基于命题逻辑的信息处理系统的新的需求描述方法 .描述了通过使用逻辑 Petri Net( L PN) ,把命题逻辑的需求描述变换成状态转移图的过程 .并且给出了由 L PN自动生成状态转移图的算法 . 展开更多
关键词 命题逻辑 LPN 状态转移图 信息处理系统
下载PDF
关于树指标二重非齐次马氏链的强极限定理 被引量:1
8
作者 杨卫国 云广亮 《江苏大学学报(自然科学版)》 EI CAS 北大核心 2012年第4期486-490,共5页
研究树上二重非齐次马氏链随机转移概率的几何平均强极限定理和二重非齐次马氏链关于状态出现频率的强极限定理.首先引出了二重非齐次马氏链的概念,然后给出了一个引理,利用这个引理,建立了双根树上二重非齐次马氏链随机转移概率的用不... 研究树上二重非齐次马氏链随机转移概率的几何平均强极限定理和二重非齐次马氏链关于状态出现频率的强极限定理.首先引出了二重非齐次马氏链的概念,然后给出了一个引理,利用这个引理,建立了双根树上二重非齐次马氏链随机转移概率的用不等式表示的几何平均强极限定理,接着推出了二重非齐次马氏链关于状态序偶出现频率的用不等式表示的强极限定理;最后作为推论,得到树上有限非齐次马氏链随机转移概率的强极限定理. 展开更多
关键词 二重非齐次马氏链 随机转移概率 几何平均 状态出现频率
下载PDF
二叉树型结构的细胞自动机同构性构造 被引量:1
9
作者 张传武 《计算机科学》 CSCD 北大核心 2008年第4期184-185,189,共3页
用状态转移矩阵方程表示加性细胞自动机的状态转移,通过状态转移矩阵及其特征多项式来分析加性细胞自动机的状态转移特性,从而求出其状态转移图。2k-1单元的零边界90线性细胞自动机的状态转移矩阵的秩为2k-2,从而可以确定其状态转移图... 用状态转移矩阵方程表示加性细胞自动机的状态转移,通过状态转移矩阵及其特征多项式来分析加性细胞自动机的状态转移特性,从而求出其状态转移图。2k-1单元的零边界90线性细胞自动机的状态转移矩阵的秩为2k-2,从而可以确定其状态转移图具有二叉树型结构。同时,根据其状态转移矩阵方程可以求出2k-1单元的零边界90线性细胞自动机对应的22k-1个2k-1单元的零边界90加性细胞自动机具有相同的状态转移结构,即这22k-1个90加性细胞自动机同构。这样可系统构造一簇具有相同二叉树型状态转移结构的细胞自动机。 展开更多
关键词 细胞自动机 状态转移图 二叉树 同构
下载PDF
基于XML的安全苛求系统测试脚本生成 被引量:3
10
作者 何欢 徐中伟 +1 位作者 喻钢 杨世玉 《计算机应用》 CSCD 北大核心 2011年第1期281-285,共5页
针对安全苛求系统(SCS)自动化测试中测试脚本规模大、结构复杂、难维护以及安全性测试需求的特点,提出一种基于XML的测试脚本自动生成方法。将XML作为测试脚本语言,使用SED模式设计SCS测试场景,采用FSM对SCS运营场景建模,设计一系列转... 针对安全苛求系统(SCS)自动化测试中测试脚本规模大、结构复杂、难维护以及安全性测试需求的特点,提出一种基于XML的测试脚本自动生成方法。将XML作为测试脚本语言,使用SED模式设计SCS测试场景,采用FSM对SCS运营场景建模,设计一系列转换生成算法自动生成XML测试脚本,实现了SCS测试脚本自动化生成和验证,并成功应用到高速铁路CTCS-2级列车运行控制系统仿真测试中。 展开更多
关键词 XML 安全苛求系统 有限状态机 场景-事件驱动 状态迁移树
下载PDF
基于Markov过程的水下采油树系统可靠性分析 被引量:8
11
作者 刘超 刘健 +2 位作者 朱元坤 李泉 肖文生 《西安石油大学学报(自然科学版)》 CAS 北大核心 2019年第5期91-96,115,共7页
为评估水下采油树系统的可靠性,提出一种基于Markov的水下采油树系统可靠性评估方法。首先,通过研究水下采油树系统的运行状态和故障机制,建立了水下采油树系统的Markov模型并给出相应的解析方程式。其次,以实际水下采油树系统故障数据... 为评估水下采油树系统的可靠性,提出一种基于Markov的水下采油树系统可靠性评估方法。首先,通过研究水下采油树系统的运行状态和故障机制,建立了水下采油树系统的Markov模型并给出相应的解析方程式。其次,以实际水下采油树系统故障数据为基础数据对其可靠性进行了定量分析和计算,求解水下采油树系统的瞬态、稳态可用度区间值;最后,利用该模型进一步分析各状态转移概率对系统可用度的影响,从而为预防故障事件的发生及系统改进措施的提出提供一定的理论依据,并为水下采油树系统国产化设计以及生产工作等提供较为准确的可靠性约束指导。 展开更多
关键词 水下采油树 MARKOV 可用度 状态转移 可靠性
下载PDF
基于Snort规则库的冲突检测 被引量:1
12
作者 余文卫 王永吉 《计算机工程与设计》 CSCD 北大核心 2008年第3期576-579,624,共5页
为了解决Snort入侵检测系统中由于规则库存在冲突而可能导致的漏报和误报问题,提出了检测规则冲突的方法。定义了规则之间的关系;通过单根结构的策略树简单有效的表示规则,并揭示规则之间的关系;由规则之间的关系和相对顺序定义了冲突... 为了解决Snort入侵检测系统中由于规则库存在冲突而可能导致的漏报和误报问题,提出了检测规则冲突的方法。定义了规则之间的关系;通过单根结构的策略树简单有效的表示规则,并揭示规则之间的关系;由规则之间的关系和相对顺序定义了冲突的类型,并通过冲突状态转换图反映冲突发现的过程,在此基础上进一步提出冲突检测算法;最后对Snort规则库的一部分进行检测,结果表明这种方法可以有效发现冲突。 展开更多
关键词 入侵检测系统 规则 冲突检测 策略树 冲突状态转换
下载PDF
基于扩展有限状态机测试用例生成方法 被引量:2
13
作者 王蒙蒙 罗杨 《电子设计工程》 2020年第6期97-100,106,共5页
目前,扩展有限状态机的测试问题为基于扩展有限机模型获取合适的迁移路径,然后根据这些路径导出测试数据。针对提高基于扩展有限状态机模型生成测试用例效率的目的,采用了将扩展有限状态机模型状态迁移图转换为状态迁移树的方法,通过对... 目前,扩展有限状态机的测试问题为基于扩展有限机模型获取合适的迁移路径,然后根据这些路径导出测试数据。针对提高基于扩展有限状态机模型生成测试用例效率的目的,采用了将扩展有限状态机模型状态迁移图转换为状态迁移树的方法,通过对扩展有限状态机状态迁移树的分析,获取基于该树的测试路径,再根据扩展有限状态机模型的迁移信息表以及迁移路径的可行性,分析且构造测试用例,最终得出该方法有效减少了测试用例生成的复杂性,提高了基于扩展有限状态机模型的测试效率。 展开更多
关键词 状态迁移树 迁移路径 扩展有限状态机 测试路径
下载PDF
A Data and Knowledge Collaboration Strategy for Decision-Making on the Amount of Aluminum Fluoride Addition Based on Augmented Fuzzy Cognitive Maps 被引量:3
14
作者 Weichao Yue Weihua Gui +2 位作者 Xiaofang Chen Zhaohui Zeng Yongfang Xie 《Engineering》 SCIE EI 2019年第6期1060-1076,共17页
In the aluminum reduction process, aluminum uoride (AlF3) is added to lower the liquidus temperature of the electrolyte and increase the electrolytic ef ciency. Making the decision on the amount of AlF3 addi- tion (re... In the aluminum reduction process, aluminum uoride (AlF3) is added to lower the liquidus temperature of the electrolyte and increase the electrolytic ef ciency. Making the decision on the amount of AlF3 addi- tion (referred to in this work as MDAAA) is a complex and knowledge-based task that must take into con- sideration a variety of interrelated functions;in practice, this decision-making step is performed manually. Due to technician subjectivity and the complexity of the aluminum reduction cell, it is dif cult to guarantee the accuracy of MDAAA based on knowledge-driven or data-driven methods alone. Existing strategies for MDAAA have dif culty covering these complex causalities. In this work, a data and knowl- edge collaboration strategy for MDAAA based on augmented fuzzy cognitive maps (FCMs) is proposed. In the proposed strategy, the fuzzy rules are extracted by extended fuzzy k-means (EFKM) and fuzzy deci- sion trees, which are used to amend the initial structure provided by experts. The state transition algo- rithm (STA) is introduced to detect weight matrices that lead the FCMs to desired steady states. This study then experimentally compares the proposed strategy with some existing research. The results of the comparison show that the speed of FCMs convergence into a stable region based on the STA using the proposed strategy is faster than when using the differential Hebbian learning (DHL), particle swarm optimization (PSO), or genetic algorithm (GA) strategies. In addition, the accuracy of MDAAA based on the proposed method is better than those based on other methods. Accordingly, this paper provides a feasible and effective strategy for MDAAA. 展开更多
关键词 AlF3 addition Fuzzy cognitive maps Learning algorithms state transition algorithm Fuzzy decision trees
下载PDF
动态安全评价方法在建筑领域的应用设想 被引量:9
15
作者 韦建平 《中国安全生产科学技术》 CAS 2006年第6期94-97,共4页
建筑施工现场是较易发生伤亡事故的地方,全面推行安全评价工作势在必行。在安全评价中引进动态安全评价方法如动态故障树分析方法更符合建筑施工的实际。
关键词 安全评价 动态故障树 建筑 Markov状态转移链
下载PDF
数字化控制系统可靠性确认方法及步骤探讨 被引量:3
16
作者 裴建伟 刘肇阳 何大宇 《核科学与工程》 CSCD 北大核心 2012年第S2期175-178,共4页
本文围绕适用于数字化控制系统可靠性分析的定性和定量分析方法,如失效模式及效能分析、可靠性框图法、故障树法和马尔科夫状态转移法的特点,为具体应用中分析方法的合理选择提供了三种定量方法的分析比较。并对数字化控制系统可靠性及... 本文围绕适用于数字化控制系统可靠性分析的定性和定量分析方法,如失效模式及效能分析、可靠性框图法、故障树法和马尔科夫状态转移法的特点,为具体应用中分析方法的合理选择提供了三种定量方法的分析比较。并对数字化控制系统可靠性及安全性的基本分析步骤也做了系统介绍。 展开更多
关键词 失效模式及效能分析 可靠性框图 故障树事件 马尔科夫状态转移法 可靠性 可用度 危险性
下载PDF
基于SD卡的有限状态机的模块化设计 被引量:2
17
作者 胡正伟 刘威 《电子设计工程》 2021年第4期1-6,共6页
基于对传统有限状态机的研究与分析,并结合SD卡具有热插拔的特点,在基于SD卡的SPI模式下,实现了基于SD卡的有限状态机的模块化设计,克服了传统有限状态机对输入信号的依赖,同时也忽略了在设计中是选择Moore型还是Mealy型状态机的矛盾。... 基于对传统有限状态机的研究与分析,并结合SD卡具有热插拔的特点,在基于SD卡的SPI模式下,实现了基于SD卡的有限状态机的模块化设计,克服了传统有限状态机对输入信号的依赖,同时也忽略了在设计中是选择Moore型还是Mealy型状态机的矛盾。只需要根据输入信号的编码代号画出树形状态图,确定好几个固定的地址差值便可进行下一步的程序设计,简化了有限状态机的设计过程。同时文中设计框图中的SD卡作为存储设备,在集成电路设计过程中可换成存储单元,进而不仅改进了传统有限状态机的设计,而且还为状态机模块化的应用提供了一种新的、可模块化的有限状态机建模方法。基于存储设备的读写是可控的,输出数据可直接读出,从而减少模块出错的几率,提高了程序设计的健壮性与可控性。 展开更多
关键词 有限状态机 SD卡 模块化设计 树形状态转换图
下载PDF
基于模型的联锁软件测试用例生成方法 被引量:3
18
作者 彭丽维 宋鹏飞 +1 位作者 江雪莹 谢林 《铁路通信信号工程技术》 2022年第11期32-36,共5页
联锁软件测试是保证联锁安全的重要手段之一,为解决联锁软件测试通用性不强,人工消耗过大的问题,提出一种通用联锁软件测试用例生成方法。结合计算机联锁技术条件、分析软件的功能需求将其转化为工具可识别的状态对象,并对识别的状态进... 联锁软件测试是保证联锁安全的重要手段之一,为解决联锁软件测试通用性不强,人工消耗过大的问题,提出一种通用联锁软件测试用例生成方法。结合计算机联锁技术条件、分析软件的功能需求将其转化为工具可识别的状态对象,并对识别的状态进行划分,形成若干四元组合,生成联锁状态转换的树形网状结构。通过对建立的树形网状结构解析,得到结构中若干四元组合的源状态、联锁条件和目标状态,生成抽象的测试用例,并根据预先写好定义的输入对每一组抽象用例进行反推,最后生成一系列的具体可执行的测试用例。该方法生成的用例可覆盖已知场景的所有联锁测试功能,减少人工编写用例时间,同时减少人为因素导致用例出错的概率,提高测试可靠性。 展开更多
关键词 模型 树形网状结构 状态转换 测试用例
下载PDF
一种使用Petri网络模型验证协议的方法
19
作者 蔡俊杰 《微型电脑应用》 2016年第4期78-80,共3页
随着计算机网络的高速发展,开发新型的网络协议成为热点研究课题。而新型网络协议的描述与验证又成为研究的关键。引入Petri网络模型,给出了一种协议验证的方法。通过描述Petri网络模型,该模型以其良好的直观性,为协议验证过程提供了极... 随着计算机网络的高速发展,开发新型的网络协议成为热点研究课题。而新型网络协议的描述与验证又成为研究的关键。引入Petri网络模型,给出了一种协议验证的方法。通过描述Petri网络模型,该模型以其良好的直观性,为协议验证过程提供了极大的方便。并且提出了针对复杂的协议,可分解为若干个小部分,使用Petri模型,加之以有穷状态自动机和高级语言,可较完善地解决其描述和验证问题。所述的验证方法对于协议工程(protocol engineering)领域的研究,新的协议软件的产生,有着积极的推动作用。 展开更多
关键词 Petri网络模型 点火 状态变迁 可达树
下载PDF
基于细胞自动机的Hash函数方法 被引量:1
20
作者 张传武 《通信技术》 2010年第12期123-125,共3页
Hash函数的设计中,不仅要求Hash算法具有较好的混乱和扩散性、弱碰撞性,而且要求算法实现的高速性。提出了一种基于规则90细胞自动机的Hash函数方法,采用具有二叉树型状态转移的规则90细胞自动机作为Hash函数方法的迭代函数。实验与分... Hash函数的设计中,不仅要求Hash算法具有较好的混乱和扩散性、弱碰撞性,而且要求算法实现的高速性。提出了一种基于规则90细胞自动机的Hash函数方法,采用具有二叉树型状态转移的规则90细胞自动机作为Hash函数方法的迭代函数。实验与分析表明,这种构造方法在具有一般Hash函数较好混乱和扩散性、较安全的碰撞性,同时由于细胞自动机结构内在适合于VLSI的结构和并行的信息处理机制而具有其他Hash方法无法比拟的速度优势。 展开更多
关键词 HASH函数 细胞自动机 二叉树型状态转移
原文传递
上一页 1 2 下一页 到第
使用帮助 返回顶部