期刊文献+
共找到59篇文章
< 1 2 3 >
每页显示 20 50 100
Efficient Helicopter-Satellite Communication Scheme Based on Check-Hybrid LDPC Coding 被引量:10
1
作者 Ping Wang Liuguo Yin Jianhua Lu 《Tsinghua Science and Technology》 SCIE EI CAS CSCD 2018年第3期323-332,共10页
When implementing helicopter-satellite communications, periodical interruption of the received signal is a challenging problem because the communication antenna is intermittently blocked by the rotating blades of the ... When implementing helicopter-satellite communications, periodical interruption of the received signal is a challenging problem because the communication antenna is intermittently blocked by the rotating blades of the helicopter. The helicopter-satellite channel model and the Forward Error Control(FEC) coding countermeasure are presented in this paper. On the basis of this model, Check-Hybrid(CH) Low-Density Parity-Check(LDPC)codes are designed to mitigate the periodical blockage over the helicopter-satellite channels. The CH-LDPC code is derived by replacing part of single parity-check code constraints in a Quasi-Cyclic LDPC(QC-LDPC) code by using more powerful linear block code constraints. In particular, a method of optimizing the CH-LDPC code ensemble by searching the best matching component code among a variety of linear block codes using extrinsic information transfer charts is proposed. Simulation results show that, the CH-LDPC coding scheme designed for the helicopter-satellite channels in this paper achieves more than 25% bandwidth efficiency improvement, compared with the FEC scheme that uses QC-LDPC codes. 展开更多
关键词 helicopter-satellite communications check-hybrid Low-Density Parity-Check(LDPC) codes Extrinsic Information Transfer(EXIT) iterative decoding
原文传递
基于监督对比学习和混合注意力残差网络的隔膜泵单向阀故障诊断
2
作者 任洪兵 彭宇明 黄海波 《机电工程》 CAS 北大核心 2024年第4期594-603,共10页
由于工业生产环境中的强噪声和其他环境激励,隔膜泵单向阀不同故障的特征呈现一定的相似性,导致传统深度学习方法对单向阀的故障状态难以准确识别。为解决这一问题,提出了一种结合监督对比学习和混合注意力残差神经网络(HA-ResNet)的隔... 由于工业生产环境中的强噪声和其他环境激励,隔膜泵单向阀不同故障的特征呈现一定的相似性,导致传统深度学习方法对单向阀的故障状态难以准确识别。为解决这一问题,提出了一种结合监督对比学习和混合注意力残差神经网络(HA-ResNet)的隔膜泵单向阀故障诊断方法。首先,将注意力机制引入了残差神经网络以提升网络的学习能力,自适应调节了重要但微弱特征权重,并以恒等变换减少了有效信息被抑制现象;其次,提出了加权“监督对比损失(SCL)+交叉熵(CE)损失”,调节单向阀不同故障状态数据之间的距离,明确了单向阀不同故障状态的分类边界与降低噪声或环境激励的干扰;最后,通过工程实测数据,对监督对比学习和HA-ResNet融合方法的有效性和稳定性进行了验证。研究结果表明:监督对比学习和HA-ResNet融合方法在隔膜泵单向阀验证集上的平均准确率达到了99.3%;与其他故障诊断方法相比,其在诊断精度和稳定性上都具有一定的优势,验证了该方法在噪声干扰条件下故障诊断的可靠性。 展开更多
关键词 隔膜泵 单向阀 故障诊断 监督对比损失 混合注意力残差神经网络 特征相似性 深度学习方法
下载PDF
基于统计模型检测的Tc CBTC移动授权建模与分析
3
作者 林俊亭 闵晓琴 《控制工程》 CSCD 北大核心 2023年第5期803-809,821,共8页
基于通信的列车运行控制(communication based train control,CBTC)系统采用车地通信方式使得地面设备极其复杂。随着通信技术的快速发展,以车载为核心的列车运行控制(train-centric communication based train control,TcCBTC)系统采... 基于通信的列车运行控制(communication based train control,CBTC)系统采用车地通信方式使得地面设备极其复杂。随着通信技术的快速发展,以车载为核心的列车运行控制(train-centric communication based train control,TcCBTC)系统采用车车通信方式减少了控制信息的传递环节,将成为城市轨道交通领域的发展方向。移动授权(movementauthority,MA)是决定列车能否以安全间隔运行的直接因素,因此对MA生成过程进行形式化建模与分析,对避免列车碰撞具有重要意义。根据TcCBTC系统架构分析MA生成流程,确定参与功能实现的子系统,并计算出不确定性参数;通过UPPAAL-SMC建立对应的随机混成自动机网络模型;最后采用统计模型检测方法对模型进行定量分析。分析结果表明:置信度为99.95%的情况下,系统在300 ms内成功计算出MA的概率为0.9974124748,为后续TcCBTC系统开发设计提供理论参考。 展开更多
关键词 随机混成自动机 统计模型检测 以车载为核心的列车运行控制 移动授权
下载PDF
基于Craig插值的线性混成系统符号化模型检测 被引量:2
4
作者 陈祖希 徐中伟 +1 位作者 霍伟伟 喻钢 《电子学报》 EI CAS CSCD 北大核心 2014年第7期1338-1346,共9页
最强后件的计算是模型检测算法的核心.本文使用一阶逻辑可满足性模线性算术理论给出线性混成自动机的有界模型检测表示公式,利用一阶逻辑公式不可满足情况下的插值存在性定理,对线性混成自动机的有界模型检测公式进行指定的划分,使用支... 最强后件的计算是模型检测算法的核心.本文使用一阶逻辑可满足性模线性算术理论给出线性混成自动机的有界模型检测表示公式,利用一阶逻辑公式不可满足情况下的插值存在性定理,对线性混成自动机的有界模型检测公式进行指定的划分,使用支持线性算术插值计算的可满足性模理论后端证明引擎的线性时间复杂度的消解反证技术获得这两部分公式间的插值公式,按一阶逻辑Craig插值的性质,所得到的插值公式就是模型检测过程中最强后件公式的上近似表示.有效地避免了使用逻辑编码方案实现线性混成自动机模型检测过程中需要双指数时间复杂度的量词消去操作求取最强后件公式,也不需像有界模型检测按步长展开变迁公式进行可满足性判定.最后本文在此最强后件计算的基础上,以有界模型检测技术作为反例确认方法,实现了一种无假反例的混成系统近似可达集计算算法.实验证明该算法与目前已经得到广泛工业应用的有界模型检测算法相比具有更优的性能. 展开更多
关键词 Craig插值 可满足性模理论 线性混成自动机 符号模型检验 混成系统
下载PDF
稠密时间区间时序逻辑的可满足性判定 被引量:3
5
作者 张海宾 段振华 《西安电子科技大学学报》 EI CAS CSCD 北大核心 2007年第3期463-467,共5页
定义了稠密时间区间时序逻辑(DTITL),它是区间时序逻辑的一种实时扩充.通过定义DTITL无穷状态空间上的具有有限个数等价类的等价关系,把DTITL的连续状态模型离散化为一阶区间时序逻辑模型.定义了一套规则来构造DTITL公式对应的有界整数... 定义了稠密时间区间时序逻辑(DTITL),它是区间时序逻辑的一种实时扩充.通过定义DTITL无穷状态空间上的具有有限个数等价类的等价关系,把DTITL的连续状态模型离散化为一阶区间时序逻辑模型.定义了一套规则来构造DTITL公式对应的有界整数域上一阶区间时序逻辑子集SFO的公式,从而把DTITL的可满足性判定问题等价地转化成了SFO的判定问题.利用多个命题变量等价表示有界整数,把SFO的可满足性判定问题等价转换为可判定的命题区间时序逻辑的判定问题.解决了DTITL的可满足性判定问题. 展开更多
关键词 实时系统 时序逻辑 模型检查 混合系统
下载PDF
一种面向移动计算的机密性与完整性模型 被引量:7
6
作者 郭云川 方滨兴 +1 位作者 殷丽华 周渊 《计算机学报》 EI CSCD 北大核心 2013年第7期1424-1433,共10页
机密性和完整性是移动计算的两个重要特性,如何保障机密性和完整性是移动计算的重大挑战.利用π演算能有效建模移动并发系统的特征,借鉴程序语言中不同类型变量之间的赋值方式,提出基于混杂类型检测的安全π演算(Hybrid Typed Security... 机密性和完整性是移动计算的两个重要特性,如何保障机密性和完整性是移动计算的重大挑战.利用π演算能有效建模移动并发系统的特征,借鉴程序语言中不同类型变量之间的赋值方式,提出基于混杂类型检测的安全π演算(Hybrid Typed Securityπ,πHTS).根据πHTS利用静态类型检测保障低机密级信息只能向同等或更高机密级流动,高完整级信息只能向同等或更低完整级流动,针对机密性和完整性在信息流向上的相反性,提出了基于强制类型转化的有效动态转换框架.πHTS将静态检测和动态检测有机地整合在一起,形成了一种统一的安全形式模型.它能同时保障移动计算中的机密性和完整性,具有较好的可用性. 展开更多
关键词 机密性 完整性 混杂类型检测 移动计算 移动互联网
下载PDF
低密度校验码编码系统混合ARQ协议设计 被引量:5
7
作者 薛英健 项海格 《北京大学学报(自然科学版)》 CAS CSCD 北大核心 2004年第3期361-366,共6页
分析了低密度校验 (LDPC)码译码所产生的错误码字中码位的译码输出量可靠度信息的统计特性。结合自动重传请求 (ARQ)协议提出了一种简单高效的混合ARQ方案 ,和基于译码可靠度的混合ARQ方案 (RB HARQ)的性能进行了比较。仿真结果说明 ,... 分析了低密度校验 (LDPC)码译码所产生的错误码字中码位的译码输出量可靠度信息的统计特性。结合自动重传请求 (ARQ)协议提出了一种简单高效的混合ARQ方案 ,和基于译码可靠度的混合ARQ方案 (RB HARQ)的性能进行了比较。仿真结果说明 ,在考虑反向信道重传请求消息信息比特功率的条件下 ,混合ARQ方案的总体性能超过RB HARQ方案 。 展开更多
关键词 低密度校验码 混合自动重传请求 可靠度
下载PDF
多速率混合系统的模型检查 被引量:1
8
作者 张海宾 段振华 《西安电子科技大学学报》 EI CAS CSCD 北大核心 2008年第1期60-64,86,共6页
研究了初始化的多速率混合系统的模型检查问题,即检验初始化的多速率自动机是否满足某个混合区间时序逻辑公式描述的性质.首先定义了一套转换规则把混合区间时序逻辑公式转化为区间时序逻辑公式.接着定义了初始化的多速率自动机状态空... 研究了初始化的多速率混合系统的模型检查问题,即检验初始化的多速率自动机是否满足某个混合区间时序逻辑公式描述的性质.首先定义了一套转换规则把混合区间时序逻辑公式转化为区间时序逻辑公式.接着定义了初始化的多速率自动机状态空间上的等价关系及其对应的域自动机,并且通过构造域自动机对应的标注有限状态自动机,把初始化的多速率混合系统的模型检查问题等价地转换成了可解的区间时序逻辑的模型检查问题.利用区间时序逻辑的模型检查算法加上上述的转换规则,就可以解决初始化的多速率混合系统的模型检查问题. 展开更多
关键词 模型检查 混合系统 多速率自动机 区间时序逻辑
下载PDF
新型信道自适应编码协作体制 被引量:10
9
作者 乔莹 贺玉成 周林 《计算机应用》 CSCD 北大核心 2015年第5期1218-1223,共6页
针对传统编码协作体制在信道条件动态变化的移动场景中存在较严重的性能损失问题,提出一种码率兼容低密度奇偶校验(LDPC)码与混合自动重传请求(HARQ)协议相结合的新型自适应编码协作体制。假设信道状态信息在每次传输时发生变化,通过不... 针对传统编码协作体制在信道条件动态变化的移动场景中存在较严重的性能损失问题,提出一种码率兼容低密度奇偶校验(LDPC)码与混合自动重传请求(HARQ)协议相结合的新型自适应编码协作体制。假设信道状态信息在每次传输时发生变化,通过不等长增量冗余的自动重传,协作节点与目的节点处的等效码率随信道条件变化而获得自适应非线性调整。推导所提体制的中断概率与吞吐量等系统性能表达式,并给出理论分析及仿真结果。实验结果表明,在适当的兼容码率设计下,所提体制与传统体制和等长传输体制相比较可有效降低系统中断概率,提高系统的吞吐量,改善移动环境下协作通信系统的传输可靠性。 展开更多
关键词 编码协作 自适应 码率兼容 低密度奇偶校验码 混合自动重传请求
下载PDF
生物芯片技术在中药鉴定研究中的应用与展望 被引量:28
10
作者 李绍平 李萍 +1 位作者 董婷霞 詹华强 《世界科学技术-中药现代化》 2000年第3期15-18,共4页
本文在概述了生物芯片技术的基础上,就该技术初步探讨并展望了基因芯片技术在中药鉴定中的应用。
关键词 基因芯片 杂交检测 中药鉴定 生物芯片
下载PDF
低密度奇偶校验码的混合译码算法 被引量:1
11
作者 曲国伟 宋晓萍 《系统仿真学报》 CAS CSCD 北大核心 2018年第10期4009-4013,共5页
基于低密度奇偶校验(LDPC)码的软判决迭代译码与删除译码方法,提出了一种混合译码算法。若软判决迭代译码达到最大迭代次数检测到无法纠正的错误,则根据各比特在迭代译码过程中的累积可靠性,对各比特进行0、1或者删除的逐一判决,然后对... 基于低密度奇偶校验(LDPC)码的软判决迭代译码与删除译码方法,提出了一种混合译码算法。若软判决迭代译码达到最大迭代次数检测到无法纠正的错误,则根据各比特在迭代译码过程中的累积可靠性,对各比特进行0、1或者删除的逐一判决,然后对判决结果进行删除译码。对中等码长的随机LDPC码的仿真结果表明,通过合理设置混合译码算法中迭代译码的最大迭代次数,可以使得混合译码算法相对于软判决迭代译码算法在增加很少平均复杂度下获得纠错性能的提升。 展开更多
关键词 低密度奇偶校验码 混合译码 迭代译码 删除译码
下载PDF
软切换链路下的混合编码与副载波调制方案 被引量:4
12
作者 邵军虎 孙莹 +1 位作者 刘晓楠 苏润民 《激光技术》 CAS CSCD 北大核心 2019年第3期329-334,共6页
为了提高自由空间光/射频(FSO/RF)混合通信链路的性能,采用混合低密度奇偶校验(LDPC)编码与副载波相移键控/正交振幅调制(PSK/QAM)联合调制的方法,对不同传输比例下混合系统的误比特率性能进行了仿真分析,取得了不同信道条件下单链路和... 为了提高自由空间光/射频(FSO/RF)混合通信链路的性能,采用混合低密度奇偶校验(LDPC)编码与副载波相移键控/正交振幅调制(PSK/QAM)联合调制的方法,对不同传输比例下混合系统的误比特率性能进行了仿真分析,取得了不同信道条件下单链路和混合链路传输方案的误比特率数据。结果表明,在弱中强湍流条件下采用副载波二进制相移键控(BPSK)调制,相比开关键控(OOK)调制可获得大约4.4dB~5.2dB的增益。采用软切换的混合LDPC编码与副载波BPSK/16QAM调制方案,依据链路状态调整比例为1∶1和3∶1时,不同湍流强度下可获得大约0.3dB~7.4dB的性能增益。这一研究结果对于提高FSO/RF混合通信系统的全天候高效可靠传输性能具有重要的参考价值。 展开更多
关键词 光通信 自由空间光/射频链路 混合低密度奇偶校验编码 副载波调制 混合调制
下载PDF
一种基于混合SAT求解器的RTL验证方法
13
作者 葛海通 翁延玲 严晓浪 《浙江大学学报(工学版)》 EI CAS CSCD 北大核心 2010年第2期289-293,共5页
为了提高集成电路验证系统的性能,提出一种面向Verilog描述的寄存器传输级(RTL)电路验证方法.该方法将验证问题转化为RTL可满足性问题,并采用基于混合布尔可满足性问题(SAT)的求解器.与传统方法相比,其综合引擎取消了算术电路逻辑的实现... 为了提高集成电路验证系统的性能,提出一种面向Verilog描述的寄存器传输级(RTL)电路验证方法.该方法将验证问题转化为RTL可满足性问题,并采用基于混合布尔可满足性问题(SAT)的求解器.与传统方法相比,其综合引擎取消了算术电路逻辑的实现,保留了电路特性及其优化信息.因为所需的待验证模型的抽象层次较高,综合系统所花的综合时间较少,尤其是验证引擎不需要处理较低级别的验证细节,由此大大提升了系统性能.不同规模的加法器实验结果表明,基于混合SAT引擎的RTL验证流程较传统流程有明显优势,对复杂电路的验证时间甚至可减少99%. 展开更多
关键词 集成电路设计 逻辑综合 等价性验证 混合SAT求解器
下载PDF
系统芯片的混合验证方法 被引量:5
14
作者 韩俊刚 《西安邮电学院学报》 2002年第1期12-17,共6页
阐述系统芯片 (SOC)的设计验证特点。综述目前流行的验证方法 ,指出所存在的问题。
关键词 形式化验证 系统芯片 模型检验 半形式化方法
下载PDF
混成系统形式化验证 被引量:16
15
作者 卜磊 解定宝 《软件学报》 EI CSCD 北大核心 2014年第2期219-233,共15页
混成系统是实时嵌入式系统的一种重要子类,其行为中广泛存在离散控制逻辑跳转与连续实时行为交织混杂的情况,因此行为复杂,难以掌握与控制.由于此类系统广泛出现在工控、国防、交通等与国计民生密切相关的安全攸关的领域,因此,如何对相... 混成系统是实时嵌入式系统的一种重要子类,其行为中广泛存在离散控制逻辑跳转与连续实时行为交织混杂的情况,因此行为复杂,难以掌握与控制.由于此类系统广泛出现在工控、国防、交通等与国计民生密切相关的安全攸关的领域,因此,如何对相关系统进行有效的分析与理解,从而保障系统安全运营,是一项具有重要意义的工作.常规的系统安全性分析手段,如测试、仿真等仅能在一定输入的情况下运行系统来观测系统行为,无法穷尽地检测复杂混成系统在所有可能输入下的行为,因此并不足以保证系统的安全性.区别于测试等方法,形式化方法通过求解系统模型状态取值范围等方法来确认系统模型中一定不会出现相关错误.因此,其对于保障安全攸关混成系统的安全性具有十分重要的意义.形式化方法由形式化规约与形式化验证两个方面构成.因此从以上两个角度分别对形式化规约方向上现有混成系统建模语言、关注性质以及形式化验证方向的混成系统模型检验、定理证明的现有主要技术与方法进行了综述性的回顾与总结.在此基础上,针对现阶段实时嵌入式系统复杂化、网络化的特性,对混成系统形式化验证的重要关注问题与研究方向进行了探索与讨论. 展开更多
关键词 混成系统 形式化方法 模型检验 定理证明
下载PDF
面向安全攸关系统中小概率事件的统计模型检测 被引量:10
16
作者 杜德慧 程贝 刘静 《软件学报》 EI CSCD 北大核心 2015年第2期305-320,共16页
在开放运行环境中,安全攸关系统的不确定性行为有可能导致小概率事件的发生,而此类事件的可靠性指标往往很高,小概率事件一旦发生就会产生灾难性的后果,严重威胁到人们的生命、财产安全.因此,评估、预测小概率事件发生的概率,对于提高... 在开放运行环境中,安全攸关系统的不确定性行为有可能导致小概率事件的发生,而此类事件的可靠性指标往往很高,小概率事件一旦发生就会产生灾难性的后果,严重威胁到人们的生命、财产安全.因此,评估、预测小概率事件发生的概率,对于提高系统的可靠性具有重要意义.统计模型检测是一种基于模拟的模型验证技术,结合了系统的快速模拟及统计分析技术,能够有效提高模型检测的效率,适用于验证、评估安全攸关系统的可靠性,但其面临的挑战性问题之一是在可接受的样本数量下,使用统计模型检测技术难以预测、评估小概率事件发生的概率.因此,提出一种改进的统计模型检测框架,设计和开发基于机器学习的统计模型检测器,实现在相对较少的样本数量下预测和评估小概率事件发生的概率.结合轨道交通控制系统中避碰控制案例分析,进一步证明改进后的统计模型检测器能够有效预测和评估安全攸关系统中小概率事件发生的概率. 展开更多
关键词 统计模型检测 小概率事件 安全攸关系统 随机混成自动机 机器学习
下载PDF
混杂系统的扩展时间自动机模型及验证研究 被引量:3
17
作者 姬莉霞 马建红 周清雷 《计算机工程与应用》 CSCD 2012年第8期73-75,78,共4页
混杂系统复杂度高且涉及领域广,没有通用的方法来解决分析、设计等问题。为解决一类工业控制混杂系统的建模和验证问题,对时间自动机进行了语义扩展,使其含有连续变量以及映射在其上的约束,使用扩展后的时间自动机对此类混杂系统进行建... 混杂系统复杂度高且涉及领域广,没有通用的方法来解决分析、设计等问题。为解决一类工业控制混杂系统的建模和验证问题,对时间自动机进行了语义扩展,使其含有连续变量以及映射在其上的约束,使用扩展后的时间自动机对此类混杂系统进行建模,采用验证工具UPPAAL进行模型分析模拟,并使用简化的CTL对系统需求规范进行验证。具体实例研究表明,该方法对于分析设计一类混杂系统具有可行性和有效性。 展开更多
关键词 时间自动机 混杂系统 UPPAAL 泵站 模型验证
下载PDF
OFDM系统中LDPC码度分布的混合ARQ方案 被引量:1
18
作者 李学华 杨曙辉 +1 位作者 王亚飞 缪旻 《北京机械工业学院学报》 2008年第1期14-17,共4页
综合考虑LDPC码的度分布特性和多载波传输系统的信道条件,提出了一种自适应的信道编码传输方案。该方案中LDPC码度数较大的比特具有较高的重传优先级,并被映射到OFDM系统中信道条件较好的子载波上进行传输,为重要比特提供更多保护。使... 综合考虑LDPC码的度分布特性和多载波传输系统的信道条件,提出了一种自适应的信道编码传输方案。该方案中LDPC码度数较大的比特具有较高的重传优先级,并被映射到OFDM系统中信道条件较好的子载波上进行传输,为重要比特提供更多保护。使用高斯近似的方法对方案的性能进行了研究,计算和仿真结果表明该方案具有较好的性能且复杂度低。 展开更多
关键词 低密度奇偶校验(LDPC)码 混合自动重传请求(HARQ) 度分布 正交频分复用(OFDM)
下载PDF
基于冲突检测的一阶混杂Petri网动态行为演变方法 被引量:1
19
作者 廖伟志 李文敬 陆建波 《计算机科学》 CSCD 北大核心 2013年第11期299-303,F0003,共6页
讨论了基于冲突检测的一阶混杂Petri网动态行为演变方法,首先给出用于一阶混杂Petri网冲突检测的瞬时迁移、延时迁移、指数迁移及区间速率连续迁移等4类迁移间的冲突判定定理;然后给出基于冲突检测的一阶混杂Petri网动态行为演变方法;... 讨论了基于冲突检测的一阶混杂Petri网动态行为演变方法,首先给出用于一阶混杂Petri网冲突检测的瞬时迁移、延时迁移、指数迁移及区间速率连续迁移等4类迁移间的冲突判定定理;然后给出基于冲突检测的一阶混杂Petri网动态行为演变方法;最后通过混杂系统的一阶混杂Petri网模型说明冲突检测对行为演变分析正确性的重要作用。 展开更多
关键词 一阶混杂Petri网 冲突检测 动态行为演变 冲突消解
下载PDF
基于LDPC编码的自适应数据重传方法
20
作者 吴湛击 傅婷婷 +1 位作者 欧阳子月 王文博 《系统工程与电子技术》 EI CSCD 北大核心 2010年第9期1793-1798,共6页
提出一种新的基于低密度校验(low density parity check,LDPC)码的自适应数据重传方法。在信道条件差(信噪比低)时,该方法采用母码为低码率的LDPC码编码,校验位打孔的重传方式;在信道条件好(信噪比高)时,采用母码为高码率的LDPC码编码,... 提出一种新的基于低密度校验(low density parity check,LDPC)码的自适应数据重传方法。在信道条件差(信噪比低)时,该方法采用母码为低码率的LDPC码编码,校验位打孔的重传方式;在信道条件好(信噪比高)时,采用母码为高码率的LDPC码编码,信息位打孔的重传方式。该方法既能提高硬件利用率、节约能耗,又能保证在最差信道下数据传输的可靠性。 展开更多
关键词 低密度校验码 混合自动重传 信息位打孔 校验位打孔
下载PDF
上一页 1 2 3 下一页 到第
使用帮助 返回顶部