基于未知故障模型的多重持续故障分析北大核心CSCD

持续故障分析是2018年提出的一种新型故障分析技术,该技术引起了国内外学者的广泛关注。目前虽然已经提出了各种针对不同密码系统的相关分析方法,但针对未知故障数量的故障模型的研究仍然一片空白。然而这是一种更为实际的攻击条件,尤其在多故障时,攻击者难以控制原始值集合与故障值集合没有重合。基于此,文章提出一种相对宽松的故障模型下的多重持续故障分析模型。攻击者无需知道任何关于故障值、位置,甚至数量的信息。充分利用持续故障在所有加密过程中保持不变的特性,利用密文不同字节的结果缩小故障值范围,最终达到恢复密钥的目的。理论证明和仿真实验验证了分析模型的有效性。以AES-128算法为例,在仅密文的条件下仅使用150条密文就可以将候选密钥数量控制在很小的范围内,攻击成功率为99%以上,有效减少了所需密文数量。当频繁更换密钥后,成功通过增加循环轮数恢复密钥,显著降低了攻击难度。     

浅谈汽油中醚醇类含氧化合物应用气相色谱柱切换-反吹技术

本文采用柱切换-反吹气相色谱技术分析检测汽油中含氧化合物(醇类和醚类)的含量。该方法利用强极性的微填充TCEP不锈钢柱作预切柱,放空挥发性轻烃,保留醇醚类含氧化合物,并将其反吹至石英毛细管WCOT柱进行详细分离。分析了阀切换时间可能影响定量准确性的原因,通过调节分流比和阻力阀阻力建立最佳实验条件。在25min内,用内标法定量可以完成汽油中可能存在的13种醇醚类含氧化合物的分析。准确度实验表明,含氧化合物的回收率在95.2%~100.7%之间,方法的相对标准偏差(RSD)≤0.55%。     

断陷湖盆陆相层序中体系域构型及其模式新论

泌阳断陷下第三系核三段可划分为三个陆相层序（Ｓ４,Ｓ５和Ｓ６）,除Ｓ６顶界Ｔ４为沉积间断面外,其它层序界面皆为层积相不连续面,泌阳断陷湖盆陆相层序的体系域具四分性,一个完整的陆相层序通常从低位加积,水进退积到高位加积,水退进积。研究区下第三系核三段所划三个层序均缺乏低水位体系域,每一层序自下而上发育ＴＳＴ、ＨＳＴ和ＲＳＴ三个体系域,各体系域在三维地震剖面上呈现不同的反射结构和反射构型特征。按“体系     

艺术教学的改革离不开多媒体的介入

随着计算机应用的不断普及,学校艺术教学也翻开了崭新的一页。由于多媒体网络教学从手段和形式上改变了传统艺术教学中的口对口、手把手的教学传统或是一架电子琴,一本书的教学,因此,它赋予了"教学理念,教学过程,教     

基于加权LS-SVM的飞行事故率预测模型

飞行事故率是表征飞行安全水平的重要指标,其预测是典型的小样本问题。针对飞行事故率预测建模难的问题,采用加权LS-SVM方法,建立了飞行事故率的时间序列预测模型。仿真实验表明,加权LS-SVM具有很高的建模精度和较强的泛化能力,从而验证了该方法的有效性和先进性。     

远洋运输业业务邮件信息抽取系统的设计及实现

文章针对远洋运输业业务邮件的特点,结合Ontology技术,信息抽取技术,通过建立领域Ontology,对领域本体进行解析,生成抽取规则,对业务邮件进行信息抽取。试图从繁多的业务邮件中,抽取我们需要的业务信息,以一种结构化的形式呈现在用户面前,提高远洋运输业办公效率。     

基于μC／OS-Ⅱ的校园GPS导航系统的设计与实现

该系统以ARM处理器和μC/OS-Ⅱ为平台,通过GPS接收机获取GPS信息,并对转换处理后的地理信息与校园地图信息进行匹配,实现精确的校园定位和导航。     

PB数据窗口生成其他文件列标题问题的解决

在PB程序中,将数据窗口转成其他数据文件是MIS管理系统必不可少的一部分.SaveAS()函数将数据窗口中的数据转存为其他文件,产生的新文件的数据列标题不能准确表达该列的含义.可以使用PB的Library Painter中的Export和Import工具解决该问题,但是需要对数据窗口源代码进行修改.借助数据字典对数据表的字段名进行处理,通过中英文转换函数的设计,实现了一种即插即用的将PB数据窗口转成其他数据文件的方法,该方法不需要修改源代码就可以解决数据窗口输出时列标题显示的问题.     

基于Petri网的UML形式化建模应用分析

UML是功能强大的图形化建模语言,但存在缺乏精确的语义描述的特点,因此UML形式化研究一直是一个热点.Petri网既有直观的图形表示,又有坚实的数学基础,拥有许多成熟的分析方法可以直接用于分析模型的性能.结合一个图录编纂应用系统,使用基于Petri网的建模方法,对该系统的UML状态图和序列图进行了形式化分析.排除UML模型中的缺陷,在软件设计阶段发现错误,降低软件开发的花销,最终达到提高了软件的质量的目的.     

一种认知无线电网络接入控制和功率控制联合设计

在underlay频谱共享模式下,提出一种认知无线电网络接入控制和功率控制的联合算法。该算法针对主用户干扰温度和次用户信号干扰噪声比(SINR)限制,通过引入冲突因子,实现网络自适应调整被拒绝参与频谱共享的次用户数目,通过迭代进行接入控制和功率分配实现频谱共享。仿真结果表明,该算法能够保证接入共享主网络频带的次用户数近似最优,而且缩短了接入控制的时间。