一类三次微分系统极限环的存在唯一性

给出了三次微分系统ｘ＝－ｙ＋δｘ＋ａ２ｙ＋ａ７ｘ＾３，ｙ＝ｘ存在唯一极限环和不存在闭轨线的充分条件。     

关于非齐次马多链的Cesaro平均收敛性

首先证明了齐次马氏链一个Ｃｅｓａｒｏ平均收敛定理，它是Ｂｏｗｅｒｍａｎ等人的一个结果的推广，本文利用这个收敛定理给出非齐次马氏链一元泛函的一个极限定理，并讨论了这个极限定理在马氏决策过程和信息论中的应用。     

广义Foster定理

利用Ｍａｘｗｅｌｌ方程组导出了适用于有耗网络的广义Ｆｏｓｔｅｒ定理，得到了一些有关电抗斜率以及Ｑ值的有用公式及结论。     

用载文南定理计算感应电机和变压器的特性曲线

感应电机和变压器激磁电路的参数是非线性的.为准确求取它们的特性曲线,需要的计算量很大.应用本文引入的方法可以避免大的计算量又可得到准确的特性曲线.     

On formalism and stability of switched systems

In this paper,we formulate a uniform mathematical framework for studying switched systems with piecewise linear partitioned state space and state dependent switching.Based on known results from the the...     

基于“倒叙”的“采样定理”教学研究

针对"采样定理"在不同专业教学中的弊端,阐述教学中的课程分析和教学对象研究,以及在实践中寻求到的一种基于"倒叙"的教学方法。在此基础上,根据专业特点和课程特点,阐述侧重点不同的教学思路,合理的问题穿插和有效的计算机辅助教学手段,以及取得的良好的教学效果。     

基于车联网的隐私保护数据聚合研究综述

随着智能网联汽车的普及,用户数据的隐私问题成为了车联网发展中亟待解决的问题。针对车联网聚合方案的研究现状,对当前方案中存在的问题进行分析总结。首先,系统地介绍了车联网中主流系统模型和车联网中常见的攻击模型;其次,对当前国内外应用在车联网中的聚合方案的安全性、效率和优劣进行分析总结,分别从签名阶段聚合方案、用户数据收集和传输阶段聚合方案和云平台处理数据阶段聚合方案三方面对其进行讨论;最后,阐述了车联网聚合方案中存在的问题及解决方法,展望了车联网聚合方案未来的研究方向。     

韦伯-中心环绕结构的图像显著性检测模型

受韦伯定理和协作式中心环绕接收域生物模型的启发,提出一种适用于图像显著性检测的中心环绕假设,设计了一种具有圆形拓扑的中心环绕结构,并给出基于该模型的融合局部和全局特性的显著性检测算法。该算法提取各像素的中心环绕结构,以基于韦伯特性的梯度方向表征局部显著性,中心区域相对于总体均值的相对亮度差表征全局显著性,然后采用线性合并方法得到最终的显著图。检测结果及正确率-召回率评估曲线表明该算法具有良好的检测特性,并且在激活区域具有强响应,同时还能很好地抑制其他区域。     

Fuzzy度量空间上映射的又一个不动点定理

继文献〔1〕之后证明了Fuzzy度量空间上映射的又一个不动点定理，使文献〔2〕的§1（3，4）的定理成为本文的特例。     

基于贝叶斯的软件错误定位方法

为提高基于程序切片和覆盖信息的传统错误定位技术的效率,提出一种基于程序动态切片和贝叶斯相结合的错误定位方法。针对程序执行轨迹计算动态切片,减少搜索空间;在切片后覆盖信息的基础上,利用贝叶斯公式计算相关语句的可疑度;根据语句可疑度降序排列语句,依次检查直到找出真正的错误语句。实验结果表明,该方法能够在一定程度上提高软件错误定位的效率与精度。