期刊文献+
共找到139篇文章
< 1 2 7 >
每页显示 20 50 100
基于Web服务的数学模型库管理系统的设计
1
作者 孙小军 王志强 《计算机应用与软件》 CSCD 2011年第12期126-127,268,共3页
针对目前各种数学模型库管理系统存在的问题,结合Web服务可分布式部署、共享性强、可远程调用的特点,通过建立数学模型到Web服务的映射,在运用Web服务对数学模型打包的基础上,设计了一种新的数学模型库管理系统,并研究了系统的结构、使... 针对目前各种数学模型库管理系统存在的问题,结合Web服务可分布式部署、共享性强、可远程调用的特点,通过建立数学模型到Web服务的映射,在运用Web服务对数学模型打包的基础上,设计了一种新的数学模型库管理系统,并研究了系统的结构、使用步骤和具体的实现。该系统通过分布式网络环境对数学模型进行部署和访问,使得数学模型具有较强的可共享性和可控性,同时也大大降低了模型库管理系统与数学模型之间的耦合性,有效地解决数学模型库的管理问题,同现有的系统相比,具有明显的优越性。 展开更多
关键词 WEB服务 数学模型库 管理系统 结构 分布式
在线阅读 下载PDF
论数学与自然关系的历史演变
2
作者 赵荣侠 《数学教育学报》 2004年第2期14-16,共3页
数学与自然现实的关系问题是一个重要的问题.15世纪以来,数学哲学家对数学与现实自然关系的不同认识,其演变的大体过程是:数学是自然的本质→数学是揭示自然本质的工具→数学是超自然的.在实际的数学研究和对其价值评价时,必须处理好超... 数学与自然现实的关系问题是一个重要的问题.15世纪以来,数学哲学家对数学与现实自然关系的不同认识,其演变的大体过程是:数学是自然的本质→数学是揭示自然本质的工具→数学是超自然的.在实际的数学研究和对其价值评价时,必须处理好超自然现实的所谓纯粹数学和作为解决自然现实问题工具的应用数学之间的辩证关系. 展开更多
关键词 数学 自然关系 超自然 微积分理论 评判标准
在线阅读 下载PDF
基于短信模式的农产品交易系统设计与实现 被引量:8
3
作者 杨安祺 王钟斐 +1 位作者 王彪 罗艳霞 《计算机工程与设计》 CSCD 北大核心 2010年第9期2144-2146,2150,共4页
为解决传统农产品交易系统效率低下的问题,提出了一种基于短信模式的新型农产品交易系统。分析了该系统的总体结构,设计了系统的各个功能模块,并利用Cookie实现了用户跨子域单点登录。重点介绍了3种可选的短信模式实现方法,包括直接接... 为解决传统农产品交易系统效率低下的问题,提出了一种基于短信模式的新型农产品交易系统。分析了该系统的总体结构,设计了系统的各个功能模块,并利用Cookie实现了用户跨子域单点登录。重点介绍了3种可选的短信模式实现方法,包括直接接入运营商网络、GSM Modem部署、调用现有的Web Service接口,比较了这3种实现方法的优缺点,最后选择GSM Modem部署短信模块。实验结果表明,该系统实现了手机与农产品交易系统的双向通讯,有利于提高农产品交易的效率。 展开更多
关键词 农产品交易 短信模式 单点登录 子域 COOKIE 短信猫
在线阅读 下载PDF
变系数二阶线性微分方程可解的充要条件 被引量:8
4
作者 阎恩让 《西安电子科技大学学报》 EI CAS CSCD 北大核心 2004年第5期796-798,802,共4页
利用降阶法研究了变系数二阶线性微分方程y″+P(x)y′+Q(x)y=f(x)的可解性,得到了一个可解的充分必要条件:存在有限形式的可微函数F(x)、G(x),G(x)≠0及常数b和c使得P(x)=bG(x)-G′(x)/G(x)-2F(x),Q(x)=F2(x)-F′(x)-F(x)(bG(x)-G′(x)/... 利用降阶法研究了变系数二阶线性微分方程y″+P(x)y′+Q(x)y=f(x)的可解性,得到了一个可解的充分必要条件:存在有限形式的可微函数F(x)、G(x),G(x)≠0及常数b和c使得P(x)=bG(x)-G′(x)/G(x)-2F(x),Q(x)=F2(x)-F′(x)-F(x)(bG(x)-G′(x)/G(x))+cG2(x).同时给出两种求通解的方法和通解表达式. 展开更多
关键词 变系数二阶线性微分方程 可解性 充分必要条件 通解 解法
在线阅读 下载PDF
广义三角模和广义剩余蕴涵之间的对应关系 被引量:3
5
作者 李璧镜 王国俊 《计算机工程与应用》 CSCD 北大核心 2010年第2期22-24,85,共4页
进一步讨论了广义三角模和广义剩余蕴涵的对应性质,完善和修正了过去已有的一些定理结论,证明广义三角模和广义剩余蕴涵两者之间存在着两大类的对应关系,一类是可以构成伴随对的,而另一类则不能构成伴随对。
关键词 广义三角模 广义剩余蕴涵 伴随对
在线阅读 下载PDF
R_0-代数与MV-代数的关系 被引量:4
6
作者 苏忍锁 《西北农林科技大学学报(自然科学版)》 CSCD 北大核心 2004年第10期145-148,152,共5页
 证明了剩余格和正则剩余格中一些典型的附加条件之间的等价性,引入了正规剩余格的概念并给出了其若干性质。以此为基础,讨论了R0-代数和MV-代数之间的关系。
关键词 R0-代数 MV-代数 预备知识 代数结构 非经典逻辑
在线阅读 下载PDF
军事信息系统集成途径浅析 被引量:1
7
作者 王志强 孙小军 黄光奇 《安徽大学学报(自然科学版)》 CAS 北大核心 2009年第5期28-31,共4页
随着军事信息系统在信息化战争中地位的日益突出,有效解决军事信息系统集成成为军事领域研究的一个重要课题.论文从我军的信息系统建设现状出发,分析了当前军事信息系统建设在支撑环境、数据共享和系统开发等方面存在的问题,提出了从顶... 随着军事信息系统在信息化战争中地位的日益突出,有效解决军事信息系统集成成为军事领域研究的一个重要课题.论文从我军的信息系统建设现状出发,分析了当前军事信息系统建设在支撑环境、数据共享和系统开发等方面存在的问题,提出了从顶层设计、支撑环境和应用技术等三个层面实现军事信息系统集成的途径. 展开更多
关键词 信息化战争 需求 军事信息系统 集成 途径
在线阅读 下载PDF
区间时变时滞奇异系统稳定性准则改进 被引量:2
8
作者 焦建民 《辽宁工程技术大学学报(自然科学版)》 CAS 北大核心 2013年第1期73-76,共4页
为解决区间时变时滞奇异系统的稳定性问题,基于Lyapunov稳定性理论,通过采用新构造的Lyapunov泛函和线性矩阵不等式方法,以线性矩阵不等式形式给出了使得系统满足正则、无脉冲且稳定的时滞相关型准则的改进结果.研究结果表明:所给准则... 为解决区间时变时滞奇异系统的稳定性问题,基于Lyapunov稳定性理论,通过采用新构造的Lyapunov泛函和线性矩阵不等式方法,以线性矩阵不等式形式给出了使得系统满足正则、无脉冲且稳定的时滞相关型准则的改进结果.研究结果表明:所给准则可有效判定区间时变时滞奇异系统的稳定性,它比已有一些结果包含更少的矩阵变量,且具有较小的保守性,同时通过数值实例进行了验证. 展开更多
关键词 奇异系统 区间时变时滞 稳定性 时滞相关 LYAPUNOV泛函 线性矩阵不等式 矩阵等式 凸优化
在线阅读 下载PDF
模态逻辑系统S5中极大相容理论的结构刻画 被引量:1
9
作者 李璧镜 《电子学报》 EI CAS CSCD 北大核心 2014年第8期1551-1555,共5页
在模态逻辑系统S5中提出了任意一模态公式关于一个极大相容理论的存在状态及状态描述等一系列概念,并且借助状态描述这一工具研究了相容理论的相容扩张,最后给出了模态逻辑系统S5中极大相容理论的一个结构刻画,证明了任何一个极大相容... 在模态逻辑系统S5中提出了任意一模态公式关于一个极大相容理论的存在状态及状态描述等一系列概念,并且借助状态描述这一工具研究了相容理论的相容扩张,最后给出了模态逻辑系统S5中极大相容理论的一个结构刻画,证明了任何一个极大相容理论都是所有简单合取式和简单析取式的相容存在状态之集的理论闭包. 展开更多
关键词 模态逻辑 极大相容理论 存在状态 状态描述
在线阅读 下载PDF
具有广义扩散的三种群非自治系统解的吸引性
10
作者 王爱丽 阎恩让 《安徽大学学报(自然科学版)》 CAS 北大核心 2009年第5期10-13,共4页
讨论了一类具有广义扩散的三种群非自治捕食系统,该系统的所有系数分别渐近于某一确定的周期函数.通过构造Lyapunov函数和利用比较原理的方法,得到了该系统的所有正确均渐近于相应的周期系统的周期解的充分条件.
关键词 捕食系统 扩散 周期解 吸引性
在线阅读 下载PDF
快速振荡系数抛物型方程的小波多尺度数值模拟
11
作者 杨建宏 欧阳洁 《计算机工程与设计》 CSCD 北大核心 2009年第22期5044-5047,共4页
分析了一种基于小波理论的多尺度计算方法——小波数值均匀化方法,并将该方法用于具有快速振荡系数的抛物型偏微分方程的数值求解。数值结果表明,与传统的有限差分法相比,小波数值均匀化方法不仅保持了较高的数值精度,而且大大提高了计... 分析了一种基于小波理论的多尺度计算方法——小波数值均匀化方法,并将该方法用于具有快速振荡系数的抛物型偏微分方程的数值求解。数值结果表明,与传统的有限差分法相比,小波数值均匀化方法不仅保持了较高的数值精度,而且大大提高了计算效率。小波数值均匀化方法能够对具有快速振荡系数的抛物型方程进行有效求解。 展开更多
关键词 小波 多尺度算法 均匀化 多分辨率分析 二尺度方程
在线阅读 下载PDF
一类含离散与分布时滞的奇异系统的鲁棒稳定性
12
作者 张瑞 焦建民 《江南大学学报(自然科学版)》 CAS 2009年第4期480-483,共4页
讨论了一类含离散与分布时滞的不确定奇异系统的时滞相关鲁棒稳定性。基于Lyapunov稳定性理论,利用线性矩阵不等式处理方法,通过在Lyapunov-Krasovskii泛函的导数中适当地引入一些自由矩阵,获得了系统时滞相关鲁棒稳定充分条件。数值例... 讨论了一类含离散与分布时滞的不确定奇异系统的时滞相关鲁棒稳定性。基于Lyapunov稳定性理论,利用线性矩阵不等式处理方法,通过在Lyapunov-Krasovskii泛函的导数中适当地引入一些自由矩阵,获得了系统时滞相关鲁棒稳定充分条件。数值例子表明所得结果是有效的。 展开更多
关键词 奇异系统 时滞相关 鲁棒稳定 线性矩阵不等式
在线阅读 下载PDF
一类区间时变时滞非线性广义系统的稳定性准则
13
作者 焦建民 《浙江大学学报(理学版)》 CAS CSCD 2013年第4期411-415,共5页
研究了一类区间时变时滞非线性广义系统的稳定性问题.基于Lyapunov稳定性理论,应用线性矩阵不等式和自由权矩阵方法,给出了使得系统正则、无脉冲且一致渐近稳定的时滞相关型稳定性新准则.结果表明,所给准则可有效判定区间时变时滞非线... 研究了一类区间时变时滞非线性广义系统的稳定性问题.基于Lyapunov稳定性理论,应用线性矩阵不等式和自由权矩阵方法,给出了使得系统正则、无脉冲且一致渐近稳定的时滞相关型稳定性新准则.结果表明,所给准则可有效判定区间时变时滞非线性广义系统的稳定性,它比已有的一些结果具有更小的保守性,并且通过数值实例进行了验证. 展开更多
关键词 非线性广义系统 区间时变时滞 稳定性 线性矩阵不等式
在线阅读 下载PDF
不确定广义时变时滞系统的鲁棒H_∞控制
14
作者 焦建民 《安徽大学学报(自然科学版)》 CAS 北大核心 2012年第4期18-25,共8页
针对具有时变时滞和线性分式参数不确定性广义系统,研究基于状态反馈的鲁棒H∞控制问题.利用增广Lyapunov泛函并结合自由权矩阵方法,保留了Lyapunov泛函导数中的时滞上界信息,得到时变时滞广义系统的一个新的有界实引理(BRL).在此基础上... 针对具有时变时滞和线性分式参数不确定性广义系统,研究基于状态反馈的鲁棒H∞控制问题.利用增广Lyapunov泛函并结合自由权矩阵方法,保留了Lyapunov泛函导数中的时滞上界信息,得到时变时滞广义系统的一个新的有界实引理(BRL).在此基础上,给出不确定广义时变时滞系统H∞状态反馈控制律的一个直接设计方法.所给结果均以严格线性矩阵不等式(LMI)表示.数值实例表明了结果的有效性和较小保守性. 展开更多
关键词 广义系统 时变时滞 线性分式参数不确定性 H∞控制 线性矩阵不等式(LMI)
在线阅读 下载PDF
模态逻辑系统S5中相容理论的构造方法
15
作者 李璧镜 《计算机工程与应用》 CSCD 2014年第20期20-23,29,共5页
在模态逻辑系统S5中借助公式的状态描述等概念,提出了一种从最简单的原子公式对应的相容理论开始,对于较复杂的公式形式,寻找恰当的状态描述,再将对应的存在状态加入最初的相容理论后仍相容的方法。
关键词 模态逻辑 相容理论 存在状态 状态描述
在线阅读 下载PDF
一类二阶变系数非线性微分方程的通解及应用
16
作者 冯录祥 《三峡大学学报(自然科学版)》 CAS 2011年第5期96-98,共3页
根据一类二阶变系数非线性微分方程的特点,利用降阶法,给出了求其通解的一种简便方法,并得到了其通解公式,并在特殊情形下得到一系列可积的二阶变系数非齐次线性微分方程及其通解公式,进一步丰富了二阶变系数线性微分方程的可积理论.
关键词 非线性微分方程 降阶法 通解
在线阅读 下载PDF
系数矩阵含参数分裂形式的SOR迭代法收敛性分析
17
作者 王慧勤 《陕西科技大学学报(自然科学版)》 2012年第5期135-138,共4页
给出预条件方后线性方程组的系数矩阵的一类含参数的分裂形式,使系数矩阵的分裂更加一般化,同时讨论在该形式下的SOR迭代法的收敛性,并与一般的预条件方法进行比较分析,说明这种方法收敛性更好,最后找到参数的最优选取.
关键词 预条件 收敛性 SOR迭代法 谱半径 矩阵分裂
在线阅读 下载PDF
高效的可证明安全的无证书聚合签名方案 被引量:38
18
作者 杜红珍 黄梅娟 温巧燕 《电子学报》 EI CAS CSCD 北大核心 2013年第1期72-76,共5页
利用双线性对构造了一个高效的无证书聚合签名方案,在随机预言机模型下给出了方案的安全性证明,其安全性基于计算Diffie-Hellman难题.与已有的无证书聚合签名方案相比,本文方案更能提高签名验证与传输效率,因聚合签名的验证只需要计算4... 利用双线性对构造了一个高效的无证书聚合签名方案,在随机预言机模型下给出了方案的安全性证明,其安全性基于计算Diffie-Hellman难题.与已有的无证书聚合签名方案相比,本文方案更能提高签名验证与传输效率,因聚合签名的验证只需要计算4个双线性对,签名的长度是固定的,仅有320bits,是目前最短的无证书聚合签名. 展开更多
关键词 无证书公钥密码体制 聚合签名 计算Diffie-Hellman难题 双线性对
在线阅读 下载PDF
基于小波分析的新阈值去噪方法 被引量:21
19
作者 王彪 李建文 王钟斐 《计算机工程与设计》 CSCD 北大核心 2011年第3期1099-1102,共4页
为了改善语音去噪的效果,提出了一种基于小波分析的新阈值去噪方法。该方法克服了硬阈值函数的不连续性,软阈值函数中存在恒定偏差的问题,构造了一种任意阶可导的新阈值函数,便于进行各种数学处理。用MATLAB软件对硬阈值、软阈值和新阈... 为了改善语音去噪的效果,提出了一种基于小波分析的新阈值去噪方法。该方法克服了硬阈值函数的不连续性,软阈值函数中存在恒定偏差的问题,构造了一种任意阶可导的新阈值函数,便于进行各种数学处理。用MATLAB软件对硬阈值、软阈值和新阈值方法进行仿真分析比较,实验结果表明,新阈值方法不但在视觉上,而且在信噪比和最小均方误差等方面都优于传统的硬、软阈值方法,比传统方法具有更大的优越性和有效性。 展开更多
关键词 小波分析 阈值函数 语音去噪 信噪比 最小均方误差
在线阅读 下载PDF
基于最小树权矩阵法的改进算法 被引量:8
20
作者 孙小军 刘三阳 焦建民 《计算机工程与设计》 CSCD 北大核心 2005年第12期3274-3275,共2页
针对最小树权矩阵法在大型网络应用中的不足,从提高算法效率方面对其进行了改进,并给出了新的算法。新算法减少了运算量,达到了快速寻找最小树的目的。通过对新算法和权矩阵法的比较,结果表明新算法具有较低的复杂度,是一种更为有效的... 针对最小树权矩阵法在大型网络应用中的不足,从提高算法效率方面对其进行了改进,并给出了新的算法。新算法减少了运算量,达到了快速寻找最小树的目的。通过对新算法和权矩阵法的比较,结果表明新算法具有较低的复杂度,是一种更为有效的算法。 展开更多
关键词 网络 最小树 权矩阵 算法 复杂度
在线阅读 下载PDF
上一页 1 2 7 下一页 到第
使用帮助 返回顶部