高师院校信息与计算科学专业建设的思考

1

作者 胡欣 《中国成人教育》 北大核心 2008年第17期172-173,共2页

分析了信息与计算科学专业的发展现状及高师院校信息与计算科学专业的特点,提出了"强数学基础、有方向侧重、彰师范特色"的专业建设思想。

关键词 信息与计算科学 专业建设 培养目标 课程设置

在线阅读 下载PDF 职称材料

2014全国大学生数学建模竞赛“高教社杯”获奖感言

2

作者 程双泽 《数学建模及其应用》 2014年第4期71-72,共2页

尊敬的各位领导、老师,亲爱的同学们:大家好.室外数九隆冬,室内春意阵阵。在这温暖如春的颁奖仪式现场,我的内心既高兴又激动。让我高兴的是,我能参加'高教社杯'全国大学生数学建模竞赛;让我激动的是,自己能作为获奖者的代表在... 尊敬的各位领导、老师,亲爱的同学们:大家好.室外数九隆冬,室内春意阵阵。在这温暖如春的颁奖仪式现场,我的内心既高兴又激动。让我高兴的是,我能参加'高教社杯'全国大学生数学建模竞赛;让我激动的是,自己能作为获奖者的代表在此发言。我是来自信阳师范学院数学与信息科学学院2012级的学生程双泽,我们能获得今年的高教社杯,是和无数人的关心和帮助分不开的。所以我想真诚地对他们说声-谢谢。感谢全国数学建模竞赛组委会及所有为数学建模付出心血的领导和老师们。 展开更多

关键词 全国大学生数学建模竞赛 数学建模

在线阅读 下载PDF 职称材料

一类具有细胞免疫和吸收效应的时滞病毒动力学模型(英文) 被引量：9

3

作者 王霞 谢艳丽 宋新宇 《应用数学》 CSCD 北大核心 2012年第2期375-381,共7页

本文主要研究一类具有细胞免疫和吸收效应的时滞病毒动力学模型.通过构造Lyapunov泛函,证明当R0≤1,R1 ≤1<R0<r/u,1<R1<R0<are(r-u)/(bquv2)时,系统(1.2)的无病平衡点E0,无免疫平衡点E1 及地方病平衡点E2 分别是全局吸... 本文主要研究一类具有细胞免疫和吸收效应的时滞病毒动力学模型.通过构造Lyapunov泛函,证明当R0≤1,R1 ≤1<R0<r/u,1<R1<R0<are(r-u)/(bquv2)时,系统(1.2)的无病平衡点E0,无免疫平衡点E1 及地方病平衡点E2 分别是全局吸引的. 展开更多

关键词 细胞免疫 时滞 全局吸引 吸收 LYAPUNOV泛函

在线阅读 下载PDF 职称材料

具有时滞的生态-流行病模型的稳定性和Hopf分支 被引量：27

4

作者 宋新宇 肖燕妮 陈兰荪 《数学物理学报（A辑）》 CSCD 北大核心 2005年第1期57-66,共10页

该文考虑一类食饵染病的时滞捕食-被捕食模型.作者分析了系统的非负不变性,边界平衡点的性质和全局稳定性.证明了当时滞τ=τ1+τ2适当小时,正平衡点是局部渐近稳定的,随着时滞的增加,正平衡点由稳定变为不稳定,系统在正平衡点附近发生H... 该文考虑一类食饵染病的时滞捕食-被捕食模型.作者分析了系统的非负不变性,边界平衡点的性质和全局稳定性.证明了当时滞τ=τ1+τ2适当小时,正平衡点是局部渐近稳定的,随着时滞的增加,正平衡点由稳定变为不稳定,系统在正平衡点附近发生Hopf分支. 展开更多

关键词 捕食模型 全局稳定性 HOPF分支

在线阅读 下载PDF 职称材料

时间测度链上一类二阶非线性时滞阻尼动力方程的振动性分析 被引量：15

5

作者 杨甲山 方彬 《应用数学》 CSCD 北大核心 2017年第1期16-26,共11页

本文研究时间测度链T上一类具阻尼项的二阶非线性变时滞动力方程的振动性.利用广义的Riccati变换和数学分析技巧,获得该方程振动的一些新的充分条件,推广且改进了一些已知的结果,并举例说明了所得结果的重要性.

关键词 振动性 时间测度链 变时滞 非线性动力方程 RICCATI变换

在线阅读 下载PDF 职称材料

一类新的曲线搜索下的多步下降算法 被引量：7

6

作者 汤京永 董丽 李学志 《应用数学》 CSCD 北大核心 2009年第4期815-820,共6页

提出一类新的曲线搜索下的多步下降算法,在较弱条件下证明了算法具有全局收敛性和线性收敛速率.算法利用前面多步迭代点的信息和曲线搜索技巧产生新的迭代点,收敛稳定,不用计算和存储矩阵,适于求解大规模优化问题.数值试验表明算法是有... 提出一类新的曲线搜索下的多步下降算法,在较弱条件下证明了算法具有全局收敛性和线性收敛速率.算法利用前面多步迭代点的信息和曲线搜索技巧产生新的迭代点,收敛稳定,不用计算和存储矩阵,适于求解大规模优化问题.数值试验表明算法是有效的. 展开更多

关键词 无约束优化 曲线搜索 全局收敛性 线性收敛速率

在线阅读 下载PDF 职称材料

鞅在未定权益定价中的应用 被引量：28

7

作者 薛红 彭玉成 《工程数学学报》 CSCD 北大核心 2000年第3期135-138,共4页

讨论了 Black- Scholes一般情形 :无风险资产 (债券或银行存款 )有依赖时间参数的利率 r( t) ,风险资产 (股票 )支付红利 ,并且有依赖时间参数的期望收益率 μ( t) ,波动率 σ( t) 及红利率 ρ( t) 。利用随机分析中的鞅方法得到欧式未... 讨论了 Black- Scholes一般情形 :无风险资产 (债券或银行存款 )有依赖时间参数的利率 r( t) ,风险资产 (股票 )支付红利 ,并且有依赖时间参数的期望收益率 μ( t) ,波动率 σ( t) 及红利率 ρ( t) 。利用随机分析中的鞅方法得到欧式未定权益定价的一般公式及套期保值策略 ,并讨论了欧式买权和卖权定价及平价关系 ,最后给出美式买权价格的上下界。 展开更多

关键词 鞅方法 欧式期权 美式期权 未定权益定价

在线阅读 下载PDF 职称材料

一种抗特征分析替换攻击的数字语音取证算法 被引量：4

8

作者 王静 刘正辉 +1 位作者 祁传达 王宏霞 《铁道学报》 EI CAS CSCD 北大核心 2016年第6期73-78,共6页

本文基于数字语音信号的保密特征,提出一种抗特征分析替换攻击的语音取证算法。给出语音信号保密特征——能量比的定义,讨论基于该特征水印嵌入的理论依据,将各帧帧号映射为整数序列的水印信息,通过量化能量比的方法嵌入到语音信号中。... 本文基于数字语音信号的保密特征,提出一种抗特征分析替换攻击的语音取证算法。给出语音信号保密特征——能量比的定义,讨论基于该特征水印嵌入的理论依据,将各帧帧号映射为整数序列的水印信息,通过量化能量比的方法嵌入到语音信号中。实验分析结果表明,本文提出的算法具有较好的不可听性和抗信号处理的能力,同时能够抵抗特征分析替换攻击,提高水印系统的安全性。 展开更多

关键词 数字水印 内容取证 篡改定位 特征提取

在线阅读 下载PDF 职称材料

紧支撑正交小波的构造 被引量：11

9

作者 杨守志 程正兴 《工程数学学报》 EI CSCD 北大核心 1998年第2期23-28,125,共7页

给出了尺度因子ａ＝４时，紧支撑正交小波构造的方法，根据所提供的方法构造出一个紧支撑正交小波，该小波具有较小的支撑区间。

关键词 紧支撑正交小波 紧支撑函数 支撑区间 小波正交基 多分辨分析 差分方程 计算方法 数值例子

在线阅读 下载PDF 职称材料

潜伏期和染病期均具有康复的年龄结构MSEIS流行病模型的稳定性 被引量：4

10

作者 方彬 杨金根 李学志 《应用数学》 CSCD 北大核心 2009年第1期90-100,共11页

本文建立和研究了潜伏期和染病期均具有康复的年龄结构MSEIS流行病模型.在总人口规模不变的假设下,得到了决定疾病消亡与否的基本再生数R0的表达式,证明了当R0<1时,无病平衡点是局部和全局渐近稳定的,此时疾病消失;当R0>1时,无病... 本文建立和研究了潜伏期和染病期均具有康复的年龄结构MSEIS流行病模型.在总人口规模不变的假设下,得到了决定疾病消亡与否的基本再生数R0的表达式,证明了当R0<1时,无病平衡点是局部和全局渐近稳定的,此时疾病消失;当R0>1时,无病平衡点不稳定,此时系统至少存在一个地方病平衡点,并在一定条件下证明了地方病平衡点的局部渐近稳定性. 展开更多

关键词 年龄结构MSEIS流行病模型 潜伏期 基本再生数 地方病平衡点 稳定性

在线阅读 下载PDF 职称材料

一类浮游生物植化相克时滞微分方程的周期解 被引量：15

11

作者 宋新宇 陈兰荪 《数学物理学报（A辑）》 CSCD 北大核心 2003年第1期8-13,共6页

文中考虑一类周期浮游生物植化相克时滞微分方程 ,得到了系统存在一个正周期解的充分条件 .

关键词 浮游生物生态系统 植化植克 迭合度 时滞微分方程 周期解

在线阅读 下载PDF 职称材料

投资控制模型解的渐近性质 被引量：9

12

作者 俞迎达 祁传达 卢士堂 《应用数学》 CSCD 1998年第1期72-76,共5页

本文利用初值比较法和边值比较法，讨论了投资系统解的渐适性质，得到了投资控制模型的平衡解是全局渐近稳定的．

关键词 投资控制模型 平衡解 全局渐近稳定

在线阅读 下载PDF 职称材料

一类SEIV模型的研究(英文) 被引量：3

13

作者 王霞 陶有德 宋新宇 《应用数学》 CSCD 北大核心 2010年第4期774-780,共7页

本文主要研究一类带有饱和感染率且潜伏期也具有传染性的SEIV模型.运用微分方程中的极限理论和Busenberg-Driessche定理,建立了该模型的全局动力学性质;并且证明了当基本再生数R0≤1时,无病平衡点Q0是全局稳定的,当基本再生数R0>1时... 本文主要研究一类带有饱和感染率且潜伏期也具有传染性的SEIV模型.运用微分方程中的极限理论和Busenberg-Driessche定理,建立了该模型的全局动力学性质;并且证明了当基本再生数R0≤1时,无病平衡点Q0是全局稳定的,当基本再生数R0>1时,疾病持续. 展开更多

关键词 传染病模型 饱和感染率 潜伏期 染病期 全局稳定性

在线阅读 下载PDF 职称材料

Kasami序列的多项相关性和正则三项式 被引量：5

14

作者 祁传达 金晨辉 《工程数学学报》 CSCD 北大核心 2007年第4期685-690,共6页

通过提出序列多项相关性的概念,本文对Kasami序列进行多项相关分析,得到了Kasami序列的非平凡多项相关值均是三值的,并利用其多项相关性证明了Kasami序列的所有三项式对都是正则三项式对,且具有局部移加特性,据此对Kasami序列进行了移... 通过提出序列多项相关性的概念,本文对Kasami序列进行多项相关分析,得到了Kasami序列的非平凡多项相关值均是三值的,并利用其多项相关性证明了Kasami序列的所有三项式对都是正则三项式对,且具有局部移加特性,据此对Kasami序列进行了移加等价分类,证明了每一类添加全零序列后都构成向量空间,给出了在Kasami序列族中优选近似正交序列的一般方法。 展开更多

关键词 Kasami-序列 M-序列 自相关函数 迹函数 多项相关性

在线阅读 下载PDF 职称材料

基于切平面投影的树干三维表面重建算法 被引量：2

15

作者 尤磊 唐守正 宋新宇 《林业科学》 EI CAS CSCD 北大核心 2016年第11期115-123,共9页

【目的】将使用三维激光扫描仪获取的树木点云构建树木三维模型与提取树木参数相结合,构建适用于树干参数提取的树干三维表面模型。【方法】采用三维表面重建技术,根据树干点云特征改进基于切平面投影的表面重建算法,并将其应用于重建... 【目的】将使用三维激光扫描仪获取的树木点云构建树木三维模型与提取树木参数相结合,构建适用于树干参数提取的树干三维表面模型。【方法】采用三维表面重建技术,根据树干点云特征改进基于切平面投影的表面重建算法,并将其应用于重建树干的不规则三角网表面模型中。改进内容如下:1)使用半径阈值作为邻域点的选取准则以减少点云分布散乱对邻域点集选择的影响;2)根据点之间距离越近、影响越大的思想,使用距离加权方式计算特定点处切平面的法向量,且当邻域点集投影至切平面上产生重复投影点时,删除距离较远的邻域点;3)根据点集在平行平面间投影的几何拓扑不变性简化投影切平面的构建;4)以点集旋转方式简化三维平面点集到二维平面点集的转换。本研究提出的改进算法将当前点及其邻域点集投影至切平面上得到一个平面点集,将平面点集上构建的Delaunay三角网的连接关系映射到树干点云中以构建当前点与其邻域点的三维表面模型,逐个对树干点云中的点投影重建以实现树干点云整体的三维表面重建。【结果】对杨树树干的重建试验表明,改进算法能更好地构建树干的表面模型;对粗糙程度不同的多个树种的试验表明,重建的树干表面能清晰地显示外业扫描时标注的色彩信息,局部的表面三角形面片能清晰地反映树干表面凸凹不平的特征及树干表面在三角面片处的朝向信息;从重建表面上提取直径的试验表明,与围尺实测直径相比,从重建表面上提取直径的RMSE为0.18 cm,验证了重建树干表面的精确性。【结论】本研究从参数提取角度,采用表面重建方法,改进了基于切平面投影重建算法以重建树干的三维不规则三角网表面,重建的树干表面具有较好的视觉效果,能真实反映树干表面的特征。本研究提出的改进算法适用于构建逼真的树干三维可视化表面模型,构建的精确树干表面模型可为后续的树干参数提取提供基础数据。 展开更多

关键词 树干 点云 表面重建 切平面 法向量

在线阅读 下载PDF 职称材料

具有阶段结构和时滞比率依赖的捕食系统的持续生存和稳定性(英文) 被引量：3

16

作者 蔡礼明 宋新宇 陈清江 《工程数学学报》 CSCD 北大核心 2006年第3期537-542,共6页

本文研究了一类带有时滞和对捕食者进行分阶段的比率依赖的捕食模型,得到了该模型中的种群的持续生存的充分条件。通过构造Lyapunov泛函的方法,得到了该模型唯一正平衡点的局部稳定和全局稳定的充分条件。

关键词 阶段结构 持续生存 稳定性 时滞 李业谱若夫泛函

在线阅读 下载PDF 职称材料

一个新的多重代理多重签名方案 被引量：2

17

作者 祁传达 王念平 金晨辉 《电子与信息学报》 EI CSCD 北大核心 2006年第8期1415-1417,共3页

为克服多重代理签名方案中无法确认谁是真正签名者的弱点,Sun于1999年提出了不可否认的代理签名方案。2000年Hwang等人指出Sun的方案不安全,并对Sun的方案进行了改进,2004年Tzeng,Tan,Yang各自对Hwang等人的方案进行了安全性分析,指出Hw... 为克服多重代理签名方案中无法确认谁是真正签名者的弱点,Sun于1999年提出了不可否认的代理签名方案。2000年Hwang等人指出Sun的方案不安全,并对Sun的方案进行了改进,2004年Tzeng,Tan,Yang各自对Hwang等人的方案进行了安全性分析,指出Hwang方案容易受到内部伪造攻击。该文通过让原始签名组与代理签名组互动来实现秘密共享和密钥分配的方法,设计了一种新的安全的多重代理、多重签名方案,它能够满足不可否认性和不可伪造性的要求。 展开更多

关键词 数字签名 代理签名 多重代理 多重签名

在线阅读 下载PDF 职称材料

一类新的记忆梯度法及其收敛性 被引量：4

18

作者 汤京永 董丽 《工程数学学报》 CSCD 北大核心 2010年第4期637-642,共6页

本文着重研究求解无约束优化问题的记忆梯度法,利用当前和前面一步迭代点的信息产生下降方向,采用Armijo线性搜索确定步长,得到了一类新的无约束优化算法。新算法在较弱的条件下具有全局收敛性和线性收敛速率,并且不用计算和存储矩阵,... 本文着重研究求解无约束优化问题的记忆梯度法,利用当前和前面一步迭代点的信息产生下降方向,采用Armijo线性搜索确定步长,得到了一类新的无约束优化算法。新算法在较弱的条件下具有全局收敛性和线性收敛速率,并且不用计算和存储矩阵,适于求解大规模优化问题。数值试验表明算法是有效的。 展开更多

关键词 无约束优化 记忆梯度法 全局收敛性 线性收敛速率

在线阅读 下载PDF 职称材料

一个新的求解二阶锥规划的非内部连续化算法 被引量：4

19

作者 汤京永 贺国平 《应用数学》 CSCD 北大核心 2012年第1期26-31,共6页

基于光滑Fischer-Burmeister函数,本文给出一个新的求解二阶锥规划的非内部连续化算法.算法对初始点的选取没有任何限制,并且在每一步迭代只需求解一个线性方程组并进行一次线性搜索.在不需要满足严格互补条件下,证明了算法是全局收敛... 基于光滑Fischer-Burmeister函数,本文给出一个新的求解二阶锥规划的非内部连续化算法.算法对初始点的选取没有任何限制,并且在每一步迭代只需求解一个线性方程组并进行一次线性搜索.在不需要满足严格互补条件下,证明了算法是全局收敛且是局部超线性收敛的.数值试验表明算法是有效的. 展开更多

关键词 二阶锥规划 非内部连续化算法 光滑函数 全局收敛 超线性收敛

在线阅读 下载PDF 职称材料

一类区间随机分布时滞系统的p-阶矩指数稳定性 被引量：4

20

作者 苏春华 刘思峰 《应用数学》 CSCD 北大核心 2009年第2期413-420,共8页

研究了一类区间随机分布时滞系统的p-阶矩指数稳定性问题.利用分布时滞转化为点时滞方法和区间矩阵的分解技术,得到了该系统p-阶矩指数稳定的时滞依赖的稳定性判据.通过数值例子说明了所得判据的有效性和实用性.

关键词 随机系统 分布时滞 指数稳定性 区间矩阵

在线阅读 下载PDF 职称材料