基于松弛改进快速独立分量分析的同频混叠信号提取算法

针对快速独立分量分析（FastICA）算法提取多个同频混叠信号时的初值选择敏感性和收敛性能差的问题,提出了一种双松弛因子改进的FastICA(DLM-FastICA)算法。先在牛顿迭代法中引入双松弛因子,通过自适应调节分离矩阵的组合系数得到最优权值分离矩阵,从而改善FastICA算法的初值敏感性;再利用改进的FastICA(MFastICA)算法的快速收敛特性提取信号,提高算法的分离精度和收敛速度。仿真结果表明,该算法使得提取信号与源信号的相似系数达到0.9,同时迭代次数较原算法减少近40%,具有更加快速、稳定的提取性能。     

Global Weak Solutions for the Weakly Dissipative Camassa-Holm Equation

In this paper we prove the existence and uniqueness of global weak solutions to the weakly dissipative Camassa-Holm equation.     

基于SIM卡动态口令的互联网身份认证体系与应用

本文研究和分析了互联网现有身份认证的手段,在此基础上提出基于SIM卡动态口令的互联网身份认证体系,结合现实提出了它的应用领域,并且探讨了应用的商业模式,以期解决目前存在的互联网安全问题.     

Lawson紧的代数L-domain递归方程的逻辑形式

本文的目的是为Lawson紧的代数L-domain递归方程及其解提供一种逻辑刻画。基于N-序列演算上的子系统关系,证明了N-序列演算之集是定向完备的,并在这一定向完备偏序集上引入了三种连续构造算子：提升,联结和以及分离和。从而求解domain结构递归方程的问题可归结为如何构建连续映射的不动点。     

云环境下去中心化跨域身份认证方案

为解决传统公钥基础设施(public key infrastructure,PKI)体系下跨域认证困难的问题,提出一种云环境下去中心化跨域身份认证方案.该方案基于星际文件系统和区块链技术,构造了一种去中心化的跨域身份认证模型.一方面通过设计高效的存储模式和存储控制分离方式,实现海量身份数据下的快速响应;另一方面通过设计...     

巧用导数的定义式求极限

给出了导数的定义式应用的几个例子,指出了在求一类极限时,如果能巧妙的应用导数的定义式,则可减小计算量     

基于Bi-SINet的复杂背景下的目标检测

针对复杂背景下的目标检测任务,为提高检测算法的准确率,在SINet算法的基础上提出了一种改进的Bi-SINet算法。相对于SINet粗放的搜索-识别架构,Bi-SINet提出一种渐进式的检测架构,同时提出了一种基于双边注意力机制的邻接特征融合模块,进一步提高特征融合的效率。实验结果表明,所提出的Bi-SINet在COD10K测试集上相比SINet准确度提高了7%,EM指标达到了0.862,同时在其他测试集上的指标也高于SINet。Bi-SINet在提高检测精确度的同时降低了误检率,在性能上优于SINet算法。     

非线性的带年龄结构的细胞增长模型全局解的存在唯一性

本文研究的是-个非线性的带年龄结构的包括生长和休眠两种阶段的细胞增长模型.此模型的重要特征就是细胞的出生率和两种阶段细胞之间的转化率不仅仅依赖于细胞的年龄还依赖于各阶段细胞的总数.本文将得出此细胞模型全局解的存在性和唯-性.     

基于“做中学”理念构建初中数学活力课堂

“做中学”的教学理念就是让学生通过“做数学”来培养智慧,提高数学素养．文章探讨了形成“做中学”的教学前提,并以“图形的运动”的教学为例,阐释“做中学”的教学设计与评价,以期构建初中数学活力课堂．     

William E.Roth’s第二定理的一个新证明

仅利用矩阵的基本理论建立了四个引理,并且在此基础上对W.E.Roth第二定理给出了新的证明．