与 Cauchy 微分中值定理相关的几个问题

根据Cauchy微分中值定理表达式的结构引入辅助函数 F（x ，c）＝ f （x）- f （c）g（x）- g（c）（a＜ c＜ b），通过讨论其可导性，得到相关的几个不等式，由此得出Cauchy微分中值定理存在唯一“中值点”的一个条件，并给出其逆定理的一个较弱表述。     

现代通信技术在海上搜救中的应用

海上搜救是确保船舶航行安全与生命救助的重要手段,也是海洋国际公约的要求,而及时报警和可靠通信则是海上搜救的关键。以国际海上人命安全公约（SOLAS）为依据,结合全球海上遇险与安全系统（GMDSS）的组成、功能和技术现状,全面系统地介绍甚高频、中/高频、卫星以及雷达等现代通信与信息技术在海上救援中的应用范围、主要功能、设备要求和技术特点。目的是将陆地上已经应用成熟的通信技术向海上推广的同时,进一步研究与开发适合海上应用的现代通信和信息技术。     

一类算子迹的不等式

将一个算子迹的不等式进行加细,并获得了一个新的算子迹不等式.     

用等价无穷小替换求一类和式极限

利用等价无穷小替换,得到了一类和式极限的简单求法,并给出若干实例.     

二元二次函数最值判别公式的初等证明

二元二次函数最值判别公式的初等证明王良成（四川达县师专６３５０００）二元二次函数（ａ，ｂ，ｃ，ｄ，ｅ，ｆ∈Ｒ；ａ，ｂ，ｃ不同时为零）的最值问题在中学数学中时有所见，但中学生只能用特殊方法（如放缩法）来处理这类问题，故显得无规律可寻。为让中学生掌握①的...     

后量子密码迁移研究

量子计算技术对传统密码算法安全性的威胁非常大。在量子计算模型下,公钥密码将被破解,对称密码和杂凑密码的安全性将减半。研究和应用抵抗量子计算攻击的密码技术日趋紧迫,美国国家标准与技术研究所（National Institute of Standards and Technology,NIST）于2022年7月遴选出4种拟标准化的候选算法。随着算法标准化进程接近尾声,后量子密码迁移活动被提上日程。就该领域展开系统性研究,归纳总结主流的后量子密码迁移问题、方案、技术和方法等,并以政务云平台系统进行后量子密码迁移为例进行阐述,为后续的密码应用迁移提供参考。     

面向后量子密码算法的哈希签名方案

基于哈希的签名方案是后量子密码标准化程度最高的算法,但由于该类方案的一些技术特点和限制,在实际中的应用还处于探索实践阶段。因此,发现并解决应用基于哈希的签名方案的限制和困难对于其广泛应用是非常有必要的。首先概述了基于哈希的签名方案的产生及演变,对目前已标准化的方案进行了横纵对比分析;其次使用国产SM3算法实例化FIPS205中底层的哈希算法,给出了初步的实验结果和对比分析,进一步表明SM3实例化SPHINCS+方案的可行性,推进我国无状态的基于哈希的签名方案的标准化进程;最后对基于哈希签名方案的应用进行了总结和建议,为其广泛应用和后量子密码迁移提供参考。     

由一个积分不等式生成的函数

定义函数F（x,y）=∫^y x/f（t）/dt-/∫^y xf（t）dt/和G（x,y）=∫^y x/f（t）/dt＋/∫^x a f（t）dt＋∫^b y f（t）dt/通过讨论它们的性质,可对不等式/∫^b a f（t）dt/≤∫^b a/f（t）/dt进行若干加细。     

关于单调函数的不动点问题

关于单调函数的不动点问题王良成（四川省达县师专６３５０００）本文用数学分析中的实数理论对一类未必连续的单调函数的不动点及其性质作如下探讨．定理１设ｆ（ｘ）为闭区间［ａ，ｂ］上的单调增加函数，且，则ｆ（ｘ）在［ａ，ｂ］上存在不动点．证国ｆ（ｘ）在［ａ，...     

关于一类定积分的性质及应用

<正> 文[1]、[2]、[3]用区间套原理分别证明了罗尔、拉格朗日、柯西等微分中值定理。本文先给出连续函数在定积分中的几个有趣性质,再应用这些性质构造区间套证明积分第一中值定理。