一种抗弱曲线故障攻击的SM2数字签名算法设计

SM2数字签名算法是中国版的椭圆曲线数字签名算法,尽管该算法的设计在数学理论是安全的,但在算法的具体实现时却容易遭受物理攻击。因此,加强SM2数字签名算法在实现过程中的抗攻击性具有重要意义。本文基于故障感染思想提出了一个针对SM2数字签名算法的抗故障攻击策略,通过改变算法中的标量运算操作,使得算法遭受攻击后故障将在签名过程中扩散,从而破坏攻击者利用错误签名快速检索签名私钥的条件。实验结果表明,此防御策略不仅可以抵御弱曲线故障攻击,还可以防御弱曲线故障和二次故障注入的结合攻击。此外,本文还将椭圆曲线算法中常用点检测抗故障攻击策略和本文提出的故障感染防御策略都在现场可编程逻辑列阵上实现,对两种策略的硬件面积开销、单次签名时间开销进行比较,结果显示,本文提出的策略在硬件性能上比基于点检测的策略更优越。     

模板技术在量子逻辑电路优化中的应用

为了提高量子逻辑电路的优化技术,减小量子逻辑电路的代价,对现有的模板技术进行了研究与分析,发现Maslov等人的模板并不完整,体现在模板控制线的寻找不完全.通过引入模板控制线库的概念,重构了模板,重构后的模板并不实现恒等的函数功能,但通过模板生成法则,可以动态生成更多的有效模板.同时给出了利用该方法优化量子逻辑电路的算法.数值实验结果表明,应用重构后的模板优化所有的3×3可逆电路,电路门数量均值减小到6.22.该方法在利用模板优化量子逻辑电路方面具有更高的效率和匹配成功率.     

软盘特殊格式化及加密技术的研究

通过对软盘结构、物理参数、逻辑参数的分析,给出了一种实现软盘在不破坏原盘数据的基础上,通过使用Int 13H等中断技术,进行重新格式化、扩充软盘容量的方法及加密技术的实现.     

基于RAU-net的视网膜OCT图像快速自动分层研究

利用计算机图像处理技术自动分割视网膜图像,获得各层的厚度,可对多种视网膜疾病进行直观评估.为了快速准确地对OCT视网膜图像进行自动分层,提出一种结合RAU-net和图像搜索的视网膜图像自动分层方法.该方法在U-net的基础上加入了残差块结构和注意力门结构,残差块结构在构建更深的网络、获取高级特征的同时,有效避免了梯度消...     

基于动态语义服务描述的服务匹配的研究

本文将动态描述逻辑与语义服务描述语言相结合,提出了一种动态语义描述方法来描述Web服务,并在经典服务匹配基础上进行改进,完善了服务匹配的类型,提高了Web服务的查全率与查准率。     

城市火灾风险认知述评及其逻辑局限和对策

城市火灾风险认知旨在理解城市火灾风险的本质,是城市火灾研究的一项重要内容,是城市火灾风险分析和评估的基础.本文对国内外学术论文和消防标准中有关城市火灾风险的各种概念构建或思想学说进行了整理,归纳出还原论、整体论和复杂论等三个不同阶段的若干视角及其主要观点,展现了其系统化、多维化演进态势和中国学者的一系列突出贡献;发现了其三个方面的逻辑性认知局限问题:科学逻辑缺乏明确性、数学逻辑缺乏普适性、理论逻辑和实践逻辑之间具有冲突性;最后,以引入哲理科学、哲理数学及和谐管理理论等原创性理论为契机和前提,提出了解决上述逻辑问题的研究对策暨未来研究的初步规划.     

逻辑的计算进路——从莱布尼茨到图灵的逻辑发展

现代逻辑肇始于莱布尼茨,在布尔和弗雷格处发生了分流,形成了所谓的逻辑的代数传统和逻辑的语言传统,然而,无论是代数传统亦或者是语言传统都与莱布尼茨的逻辑学纲领(即:"作为科学、数学和哲学"的基础)相去甚远。在图灵机理论中,图灵核心阐述了"自动机"和"指令表语言"这两个概念,这两者很好地契合了莱布尼茨关于"理性演算"和"普遍语言"的构想,可以说,图灵机理论最为接近莱布尼茨的逻辑学纲领,也跳出代数传统和语言传统,另辟蹊径,形成了一种新的"作为计算的逻辑"传统(也可以称为"计算传统")。"作为计算的逻辑"实质上是一种"主体转向","以往的逻辑"是当仁不让地以人类为主体,研究的对象是人的思维、自然语言种种,"作为计算的逻辑"则是将计算机作为信息处理的主体,研究的是计算机的处理方式以及人与计算机的互动关系。     

基于车轮减速度及滑移率的ABS联合仿真研究

将多体系统动力学与智能控制理论相结合对汽车制动防抱死控制系统进行了研究,利用ADAMS/CAR建立了汽车整车的多体力学模型, 模型包含了前后悬架、动力总成,转向系统,稳定杆,制动系,轮胎力学模型以及车身,同时也考虑了轮胎、衬套、弹簧、减震器等部件的非线性,准确地表达了车辆的动态特性;利用Matlab/Simulink建立了车轮减速度及滑移率的双门限控制ABS模型,利用ADAMS/Control接口进行模型的集成、协同仿真,并将仿真结果与常规制动时的仿真结果进行了比较和分析,仿真反映出双门限值控制在整车制动防抱死控制系统上的应用效果,结果表明该控制算法实用性较强.     

基于GA优化的质量矩拦截弹模糊滑模姿态控制

质量矩控制是一种全新的飞行控制方法,与广泛应用的空气动力控制相比,可以避免飞行器在超高马赫数飞行时舵面的气动加热问题,而且,可以提高飞行器的机动性、敏捷性和制导控制精度。以所建立的质量矩拦截弹数学模型为基础,通过对模型合理的简化,得到一个耦合的非线性动力学系统,利用滑模控制设计了拦截弹飞行时的姿态控制系统,提出采用模糊逻辑算法抑制系统抖振的同时,把控制系统的多个设计目标转化为不等式约束,采用遗传算法优化控制参数,控制系统性能满足设计要求。仿真结果验证了这种方法的有效性。     

中医学基础理论的核心系统模型原理分析——关于“阴阳五行”机制的演生和平衡性质的讨论

讨论了中医学“阴阳五行”理论的系统模型原理,分析了该模型的平衡性质及其这一系统结构的逻辑演生过程等.