分布式电力移动终端隐私增强认证方案

针对智能电网移动终端实际环境下轻量化认证和多种密钥协商需求,提出一个基于区块链的轻量级多令牌双向匿名认证协议。方案通过区块链的分散存储机制实现系统身份认证的去中心化,提高了认证的灵活性。基于椭圆曲线生成随机假名,有效保护了用户身份隐私。生成移动终端会话密钥时融合了时敏令牌和多项式令牌机制,进一步提高了会话密钥安全性。采用BAN(Burrows-Abadi-Needham)逻辑证明了协议的正确性及非形式化证明了协议的安全性,并通过仿真实验评估了协议的性能。分析结果表明,该方案具有良好的安全性和实用性。     

一种基于改进RefineDet的管道数字射线成像缺陷图像检测方法

为提高管道缺陷图像检测的准确率,提出一种基于改进RefineDet的管道数字射线成像(digital radiography,DR)缺陷图像检测模型。该模型针对管道DR缺陷图像数据少、目标少等特点,从以下三个方面进行改进。首先,在骨干网络设计方面,使用Swin transformer代替VGG16作为主干网络,在提高特征提取能力的同时减少主干网络参数量。其次,针对管道DR缺陷图像目标数量较少而易受背景干扰问题,通过在主干网络与特征融合阶段之间加入全局注意力模块来强化模型对重要特征的关注,从而提高检测性能。最后,在后处理阶段,针对传统的非最大值抑制算法直接去除非最好预测框问题,使用软非最大值抑制算法以更合理的方式去除非最优预测框。结果表明：该方法能够有效实现管道DR缺陷图像的检测,并且相比于其他4种常用的目标检测模型,提出的模型可以有效提升管道DR缺陷图像检测的准确率,研究成果可为DR缺陷图像检测提供技术支撑。     

新型冠状病毒疫苗潜在不良反应的研究进展

新型冠状病毒(Severe Acute Respiratory Syndrome Coronavirus 2,SARS-CoV-2)感染引起的新型冠状病毒肺炎(Coronavirus Disease-2019,COVID-19,简称新冠肺炎)在全球流行暴发,严重威胁人类生命健康,给全球造成了巨大的医疗、经济和社会破坏。在目前缺乏特异性治疗方法的情况下,预防性疫苗是全球新冠肺炎防控最有效的手段,国内外已有17个(其中我国5个)新型冠状病毒疫苗(简称新冠疫苗)获批附条件上市或紧急使用。为了应对大规模疫苗接种潜在的不良反应挑战,本文对全球已投入使用的新冠疫苗的安全性进行总结,分析其潜在的不良反应,提出加强应对新冠疫苗接种不良事件及医疗应急保障的思考。     

桥梁桩基负摩阻力计算浅析

随着公路工程建设的发展,桥梁的工程地质情况也越来越复杂.在软土区、采空区、地下水下降区及湿陷性黄土区等不良地质段为避免路基地质灾害,通常采用以桥代路的方式,在这些欠固结或塌陷地区下沉土层对桥梁桩基产生较大下拉力应引起设计人员的足够重视.     

神性冲突下的悲剧——重读《还乡》中的尤苔沙

笔者借用海德格尔诗学中关于“人与大地”的关系,关注《还乡》作品中人物呈现的美学意义。女主人公尤苔沙无意于聆听大地荒原的神性呼唤,无法栖居于艺术世界中,而一味追求资本主义的技术世界,与神性的冲突最终导致悲剧发生。     

明末邢云路《古今律历考》探析

明末的天文历法著作<古今律历考>由于在清初受到梅文鼎等学者的贬抑而一直被学界评价不高,至今鲜有专题研究.文章指出,邢云路与魏文魁曾共同研习古代历法,但<古今律历考>的主要工作系由邢云路完成;该书不但对历代历法尤其是<授时历>和<大统历>进行系统总结和评判,而且提出了一些重要的历法思想;其对<授时历>的讨论主要源自<元史·历志>以及周述学的<神道大编历宗通议>,并对<授时历>的传承起到了重要作用.     

语义单元表示库的半自动构建技术

提出了一种高效的半自动构建语义单元表示库(英汉)的方法.该方法不是使用分词和词性标注等工具,而是直接对组成双语句子的基本字符进行处理,采用语义单元实量匹配和重构语义单元树的算法,对其产生的结果运用规则进行推断,规则独立于其他模块并且可扩充.经人工检查正确的语义单元加入语义单元表示库中.实验表明,该方法能保证结果的正确性,达到实用的水平.     

纱线动态加捻的理论研究 第二部分:对一些理想加捻过程的分析

在前文即第一部分中已推导了动态加捻的基本方程和捻度的波动方程,并讨论了它们的动力学特征。在这一部分中则将利用上述基本方程和结论,分析一些典型理想加捻过程,包括加捻的过渡过程以及传统纺纱和自由端纺纱的稳态加捻问题。     

强磁场中氢原子基态和激发态能级的变分计算

采用Ｂａｙｅ和Ｖｉｎｃｋｅ柱对称性有限基矢集，对其变分参数的选取作了扩充和改进，应用变分法求得强磁场（Ｂ＞１０５Ｔ）中氢原子的基态和第一激发态能级值，与已有最好的数值计算结果精度相近，但文中采用的基矢集相对简单，不但结果容易重复，而且可以得到十分有用的基态和激发态波函数     

C源程序裁剪工具TTCS

本文介绍了计算机辅助C源程序裁剪工具的设计实现。借助于该工具提供的手段用户可完成对任C语言编制的软件系统中函数的裁剪或CADCSC系统中各子系统的命令或子命令的裁剪。该工具还提供了一些与软件裁剪有关的辅助工具,如函数调用关系图的显示及打印输出等功能。 CADCSC即中国控制系统计算机辅助设计软件系统