首页期刊导航|湘潭师范学院学报(自然科学版)
期刊信息/Journal information
湘潭师范学院学报(自然科学版)
湘潭师范学院学报(自然科学版)

李建华

季刊

1671-0231

xuebao@hnust.edu.cn

0732-8290354

411201

湖南省湘潭市湖南科技大学期刊社

湘潭师范学院学报(自然科学版)/Journal Journal of Xiangtan Normal University(Natural Science Edition)
正式出版
收录年代

    Ito-Skorohod随机微分方程——非Lipschitz条件下方程的解与解的相关性质

    尹湘锋张志武
    1-4页
    查看更多>>摘要:利用Picard迭代的方法证明了在系数不满足Lipschitz条件下的Ito-Skorohod随机微分方程的弱解的存在性与唯一性,并讨论了弱解的连续性.

    Picard迭非Lipschitz条件Ito-Skorohod随机微分方程弱解

    一类脉冲微分方程的周期边值问题

    杨娇刘素容黄辟芳
    5-7页
    查看更多>>摘要:研究了一类一阶脉冲泛函微分方程边值问题的极值解的存在性.通过利用V.Lakshmikantham上下解方法并结合单调迭代技术得到了边值问题的最大解和最小解的一组充分条件.

    脉冲泛函微分方程单调迭代技术上下解方法

    Orlicz-Bochner空间的严格凸性

    张剑尘
    8-10页
    查看更多>>摘要:运用 Orliez 空间和 Lebesgue-Bochner 空间理论及技巧,给出了Orlicz-Bochner 空间在赋以 Luxemburg 范数时,球面上的点为端点的充要条件和空间具有严格凸性质的充要条件.

    Orlicz-Bochner空间严格凸性质端点Δ2条件

    变分不等式问题的迭代算法

    彭自嘉王吉安
    11-16页
    查看更多>>摘要:研究了Hilbert空间H中的一类包含双线性泛函和非光滑泛函j的变分不等式武问题.当j是H上的线性连续泛函时,运用投影迭代算法来对其求解.当j是一个真凸下半连续函数时,提出了分裂型的组合松驰方法并证明了该算法产生的迭代序列弱收敛到交分不等式问题的一个解.

    麦分不等式投影迭代算法分裂型的组合松驰算法弱收敛

    球盒模型中的数学期望的直接求法

    匡能晖宋松林
    17-19页
    查看更多>>摘要:球金模型中的数学期望的通常求法是引进新的随机变量.通过确定随机变量的分布律,直接求解,由此得到一系列组合恒等式.

    数学期望分布律组合恒等式

    二项式态的非经典性的量度

    李志坚叶永华曾高坚
    20-23页
    查看更多>>摘要:研究了由密度算符P=Σnfn1n><n1描述二项式态的非经典性.用数态的Wigner函数Wn(q,p)表达P描述二项式态的Wigner函数W(q,p),并借助于Wigner函数的负性来研究态的非经典性.定义了一个量δ,它实际上是Wigner 函数W(q,p)在其负性区域的积分值的上极限.它在参数的全部区域内都不为零,且是个单调递增的函数.它显示的特性与态的测不准关系显示的特性极为类似,因此用它来描述和量度态的非经典性是非常合适的.

    二项式态Wigner函数测不准关系非经典性

    重庆天然气需求的指数平滑法预测研究

    刘能铸陈景江刘开善
    24-26页
    查看更多>>摘要:二阶指数平滑法是进行预测的有效方法.以重庆市历年实际天然气消耗量数据为基础,结合天然气实际需求的近线性变化特点,建立了重庆市天然气消耗量的二阶指数平滑模型,并运用该方法对2008年的天然气消耗量进行了预测.结果表明,2007年前预测值与实际消耗值基本相符,误差在±5%之问,说明二阶指数平滑法预测天然气消耗量是准确可靠的,对2008年天然气消耗量的预测,可以用来指导天然气供应系统的建设和天然气气源的储备.

    二阶指数平滑法天然气消耗一阶指数平滑法的平滑系数

    一种高效的多证明者零知识论证系统

    石桂花唐春明
    27-30页
    查看更多>>摘要:基于离散对数构造了一种高效的多证明者零知识论证系统,即使验证者具有无穷的计算能力,也得不到证明者的任何信息.基于该协议能构造一种具有完全安全的永久秘密共享方案.

    信息安全密码学多证明者零知识论证秘密共享方案

    HORN集上基于广义归结方法的定理机器证明

    戴望州
    31-34页
    查看更多>>摘要:设计了一个Horn集上基于广义归结方法的定理机器证明系统.在算法中使用广度优先与深度优先结合避免了传统归结的组合爆炸.分析了该系统的优缺点,在前人研究的基础上地提出了几点优化的建议.

    广义归结Horn集机器证明

    SQL server 2000数据备份与恢复策略探讨

    吴瑛
    35-38页
    查看更多>>摘要:为了保证系统或SQL Server崩溃时,数据库中的数据能够得到有效的恢复,提出了数据库的几种备份策略,保证了Microsoft SQL Server中数据的完整、安全.

    SQLServer备份策略恢复模型备份计划