An Investigation of Formal Techniques of Protocol Based on CFSM

ＡｎＩｎｖｅｓｔｉｇａｔｉｏｎｏｆＦｏｒｍａｌＴｅｃｈｎｉｑｕｅｓｏｆＰｏｔｏｃｏｌＢａｓｅｄｏｎＣＦＳＭTXＡｎＩｎｖｅｓｔｉｇａｔｉｏｎｏｆＦｏｒｍａｌＴｅｃｈｎｉｑｕｅｓｏｆＰｒｏｔｏｃｏｌＢａｓｅｄｏｎＣＦＳＭＬｉＬａｙｕａｎＷｕｈａｎＪｉａｏ...     

频率估计的一种同频信号加权融合算法

为提高低信噪比条件下短时正弦信号的频率估计精度,针对任意长度的正弦信号,提出一种同频信号加权融合算法.首先,给出同频信号的定义和频谱模型;其次,构造具有相位连续化特性和噪声对消特性的相位修正矩阵对同频信号频谱进行加权融合,使加权融合后的频谱近似于相位连续信号频谱.最后,谱峰搜索加权融合后的频谱,获得高精度的频率估计值,仿真实验表明,与现有方法相比,算法抗噪性强,普适性好,频率估计精度高.     

我国技术市场税收优惠政策效果的实证研究

首先分析了技术市场税收优惠政策的作用,并对国内外文献进行综述;然后阐述我国技术市场的相关税收优惠政策,接着以北京技术市场为例,构建面板数据模型,定量测算税收优惠政策对北京技术市场发展的影响程度,研究发现北京技术市场规模对税收优惠政策的弹性系数仅为0.31;最后指出我国税收优惠政策存在的问题,并提出相关政策建议。     

自调度集群的研究与实现

传统的Web集群服务器均以集中控制的负载均衡为特征,带来的主要问题是负载评估比较粗略,高负载情况下后端服务器容易出现“活锁“现象,前端负载均衡器也容易成为整个系统的瓶颈。针对传统集群负载均衡技术的缺点,提出一种自调度负载均衡技术,把负载均衡的工作转移到后端的服务器,能够提高整个集群系统的性能。Intel评测实验室的测试表明,自调度集群在系统高负载情况下仍表现出很好的并发能力。     

用多个光子晶体实现量子纠缠态的稳定性

量子纠缠态的纠缠度随传播距离增加或外界干扰而变小,  在光与环境相互作用的退相干效应下,  可使纠缠度降低或不再纠缠.  基于此, 设计一组一维光子晶体, 当两光子或三光子的纠缠光通过该组光子晶体, 且叠加参数c1=0.03~0.98时, 纠缠度E=0.8~1, 从而使量子纠缠态可远距离传输, 更好地实现量子通信.     

面向引体向上的视频图像关键点检测监测方法

引体向上是军队有效的力量训练科目,对引体向上进行监测能提高训练效率。为实现引体向上的自动监测,分析了引体向上动作,确定了以下颌与手臂为主的关键点检测目标,提出一种用手部高度代替单杠轮廓进行检测的新方法。改进了Openpose网络,设计了关键点检测网络模型,并使用自构建数据集进行训练;使用YOLOv5与自构建网络结合构建双人监测网络模型,识别双人引体向上;与其他方法进行对比,该方法具有运算量小和能够双人识别的优点,可保持94%的准确率,达到了较好的监测效果。     

基于傅立叶核与径向基核的支持向量机性能之比较

支持向量机（SVMs）是由Vapnik提出的一种建立在统计学习理论上的新方法。这种方法被深入地研究并广泛应用在诸如分类和回归问题上。由于其基于结构风险最小化的机理,因此相对于其他的经典方法有着更好的泛化特性,其中核函数的选择对支持向量机的性能有着很大的影响。深入地研究了基于傅立叶核函数的支持向量机的特性,得出在某些特殊的情况下,基于傅立叶核函数的支持向量机的性能要好于基于RBF核的支持向量机。最后的仿真对其进行了比较验证。      

BP神经网络技术在调剖效果预测中的应用研究

调剖效果预测是对调剖措施进行决策和方案优化设计的理论基础。通过对影响调剖效果的因素分析,建立了BP网络效果预测模型并对其进行优化改进。模型网络预测结果与实际生产效果对比分析表明,所建立的预测模型可靠。可利用BP网络模型进行调剖效果预测,并为调剖方案的优化设计提供科学决策依据。     

一种基于分块DCT的抗几何时间攻击视频水印方案

提出利用分块DCT域进行视频水印嵌入算法, 将水印信息嵌入到分块DCT域的直流分量系数中. 由于几何变化和帧攻击是实际应用中较为常见的水印攻击手段, 因此算法采用变换域中具有几何不变特性的DC系数累加和作为水印嵌入特征量, 并采用同步码进行帧同步. 实验表明, 本算法能够有效抵抗几何攻击, 并对帧攻击具有一定的鲁棒性.     

三塘湖盆地原油物性特征及其影响因素

在对三塘湖盆地不同层位原油物性分布特征研究的基础上,结合地质条件,分析了影响原油物性特征的各种因素。原油物性不仅受原油族组成的影响,而且也受成熟度、埋藏深度、保存条件、组分重力分异作用等的影响。相对密度的影响因素较多,主要包括饱和烃、芳香烃、胶质含量、沥青质和含蜡量等,粘度主要受饱和烃、芳香烃、胶质含量的影响,沥青质和含蜡量对其影响不大。牛圈湖油田芦草沟组原油物性变化不同于其它地区和其它层位,其随深度增加而升高,主要是油气藏中烃类重力分异作用的结果。其它地区原油物性随深度增加而降低的特征主要与保存条件、水洗作用、氧化作用等因素有关。该认识对于其它地区原油物性分布特征的研究具有重要的参考价值。