康威-麦斯威尔-泊松分布及其统计与概率性质

康威-麦斯威尔-泊松分布是一个有用的离散分布,它是扩展的两参数泊松分布,有关此分布的统计和概率性质被广泛研究和探索;文章以矩母函数为工具讨论了该分布的数字特征和矩,给出了参数点估计的隐式方程和费希尔信息矩阵;最后研究了参数的共轭分布、共轭分布的边际分布和条件分布.     

用于虚拟化环境的进程隔离方法研究与实现

针对虚拟化环境中用户进程运行安全问题,提出一种适用于虚拟化环境的进程隔离方法.该方法引入安全域作为进程隔离保护的基本单元,安全域是进程以及进程运行过程中依赖的环境构成的整体,通过建立安全域之间的依赖关系和安全域之间信息的交换规则,确保进程初始安全和运行过程中的隔离性.给出了安全域的相关概念和形式化描述,以及安全域之间信息流交换和依赖关系的建立方法和相关证明.以Xen虚拟化系统为基础,给出了该保护方法的具体实现以及实验结果,实验结果分析表明:该方法在虚拟化环境中能够抵御多种攻击手段,额外执行开销不超过10%.     

带积分边界条件的分数阶微分方程正解的存在性

基于锥上的不动点指数理论,通过构造锥和Green函数的性质,给出如下带有双参数的非线性边值问题:■在不同增长性条件下正解的存在性、多解性和不存在性,其中:2α3;0μ2和λ0是两个参数.     

一般三阶非线性常微分方程的正周期解

用锥上的不动点指数理论,考虑一般三阶常微分方程■正2π-周期解的存在性,其中:■是三阶常微分算子;■连续,f(t,x,y,z)关于t以2π为周期.在非线性项f满足一些易验证的不等式条件下,允许f(t,x,y,z)关于x,y,z满足超线性或次线性增长,得到了该方程正2π-周期解的存在性结果.     

Banach空间中寻求(α,β)-适度混合集值映像吸引点的一般迭代格式

引入（α，β）-适度混合集值映像与条件I^*的概念，提出了用于寻求（α，β）-适度混合集值映像吸引点的一般迭代法.在一致凸Banach空间中，利用条件I^*与半紧性质，建立了所提（α，β）-适度混合集值映像的迭代格式的强收敛性.结论改进与修正了之前文献中已发布的相应结果.     

带一般微分算子的二阶奇异边值问题的正解

用锥拉伸与压缩不动点定理,研究带一般微分算子的二阶奇异边值问题,其中线性微分算子的函数系数也允许具有奇异性.在非线性项满足超线性或次线性条件下,得到了该问题至少存在一个正解,并给出一个实例检验所得结果的有效性.     

广义Ekeland变分原理的推广

给出了经典Ekeland变分原理的一个推广,完善并改进了已有文献的证明,并把它推广到了拟度量空间上.     

基于小波变换和支持向量机的心电信号ST段分类

摘要: 为完成ECG(Electrocardiogram)信号特征点提取, 并对ST 段分类, 提出了一种基于离散小波变换和支持向量机的ST 分类算法。首先对信号进行预处理, 完成噪声消除, QRS 波群检测和提取特征值; 然后计算ST段平均值、曲线面积和标准差, 并结合使用SVM(Support Vector Machine)对ST段进行分类。Matlab 仿真结果表
明, 小波去噪效果明显,ST 段未出现失真现象, 特征点提取完整。经MIT鄄BIT 数据库验证, 分类结果显示交叉验证准确率平均值为80. 70%, 训练准确率平均值为91. 83%, 测试准确率平均值为74. 28%。     

一类无非平凡有理整点的椭圆曲线y~2=x(x-p)(x-q)

令p、q为两个素数,且p+4=q。本文证明了椭圆曲线y2=x(x-p)(x-q)没有非平凡有理整点.同时得到了一类无整解的负Pell方程组和一类无整解的四次丢番图方程.     

赋值Banach代数的锥度量空间中的一类新型不动点定理

定义了一种向量版本的α-可容许函数,在不考虑锥的正规性的条件下,给出了赋值Banach代数的锥度量空间中的带有α-可容许函数条件的几类压缩型映射的不动点定理,所得结果大大地改进了前人的一些结果,并且举例验证了所得到的结论.