期刊文献+
共找到204篇文章
< 1 2 11 >
每页显示 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
具有多时滞和广义扩散的N-种群竞争反馈控制系统的持久性 被引量:3
4
作者 王爱丽 薛秋芳 《工程数学学报》 CSCD 北大核心 2009年第6期985-989,共5页
本文讨论了一类具有αi类功能性反应函数和广义扩散的n种群竞争反馈控制生态系统的持续生存性。利用比较原理,得到了系统的所有正解最终有界的条件。通过构造持久生存函数,给出了系统一致持久生存的充分条件,并导出了系统的持久生存域... 本文讨论了一类具有αi类功能性反应函数和广义扩散的n种群竞争反馈控制生态系统的持续生存性。利用比较原理,得到了系统的所有正解最终有界的条件。通过构造持久生存函数,给出了系统一致持久生存的充分条件,并导出了系统的持久生存域。最后,通过建立具体模型说明所得结果的可实现性。研究结果表明,时滞不影响系统的持续生存性,通过适当控制扩散率,可使系统中的各个种群长期共存。 展开更多
关键词 反馈控制 持久生存 扩散 αi类功能性反应函数
在线阅读 下载PDF
广义三角模和广义剩余蕴涵之间的对应关系 被引量:3
5
作者 李璧镜 王国俊 《计算机工程与应用》 CSCD 北大核心 2010年第2期22-24,85,共4页
进一步讨论了广义三角模和广义剩余蕴涵的对应性质,完善和修正了过去已有的一些定理结论,证明广义三角模和广义剩余蕴涵两者之间存在着两大类的对应关系,一类是可以构成伴随对的,而另一类则不能构成伴随对。
关键词 广义三角模 广义剩余蕴涵 伴随对
在线阅读 下载PDF
变系数二阶线性微分方程可解的充要条件 被引量:8
6
作者 阎恩让 《西安电子科技大学学报》 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
一类具有脉冲的向量型时滞微分系统的振动性 被引量:2
7
作者 魏朝颖 王爱丽 《工程数学学报》 CSCD 北大核心 2006年第5期856-860,共5页
研究了一类向量型时滞脉冲微分方程系统的振动性问题,通过作变最变换,将常系数脉冲微分方程系统变为变系数非脉冲微分方程系统,得到了模型非振动解的渐近性态和方程任意解振动的充分条件,利用留数理论,得到了方程广义振动和广义非振动... 研究了一类向量型时滞脉冲微分方程系统的振动性问题,通过作变最变换,将常系数脉冲微分方程系统变为变系数非脉冲微分方程系统,得到了模型非振动解的渐近性态和方程任意解振动的充分条件,利用留数理论,得到了方程广义振动和广义非振动的充分条件。 展开更多
关键词 脉冲微分方程 振动性 广义振动性 广义非振动性
在线阅读 下载PDF
数学教师能力获得途径的调查研究 被引量:9
8
作者 刘燚 《数学教育学报》 北大核心 2011年第6期36-39,共4页
"自身的教学经验和反思"是数学教师的数学能力、教学能力、教研能力和创造能力获得的最重要的途径,"阅读专业书刊"、"和同事的交流"、"听课"是教师在日常教学中提高其数学能力、教学能力、教研能力和创造能力的有效途径.促进数... "自身的教学经验和反思"是数学教师的数学能力、教学能力、教研能力和创造能力获得的最重要的途径,"阅读专业书刊"、"和同事的交流"、"听课"是教师在日常教学中提高其数学能力、教学能力、教研能力和创造能力的有效途径.促进数学教师能力发展,高等师范院校应尽其责;切实改进教师在职培训模式;中小学教研活动应得到名师和专家的引领;"师徒结对"应与时俱进;教师应"勤于反思",养成反思的习惯;教师应"细于留心",保持开放的心态,成为主动学习者. 展开更多
关键词 数学教师 能力 获得途径 调查
在线阅读 下载PDF
军事信息系统集成途径浅析 被引量:1
9
作者 王志强 孙小军 黄光奇 《安徽大学学报(自然科学版)》 CAS 北大核心 2009年第5期28-31,共4页
随着军事信息系统在信息化战争中地位的日益突出,有效解决军事信息系统集成成为军事领域研究的一个重要课题.论文从我军的信息系统建设现状出发,分析了当前军事信息系统建设在支撑环境、数据共享和系统开发等方面存在的问题,提出了从顶... 随着军事信息系统在信息化战争中地位的日益突出,有效解决军事信息系统集成成为军事领域研究的一个重要课题.论文从我军的信息系统建设现状出发,分析了当前军事信息系统建设在支撑环境、数据共享和系统开发等方面存在的问题,提出了从顶层设计、支撑环境和应用技术等三个层面实现军事信息系统集成的途径. 展开更多
关键词 信息化战争 需求 军事信息系统 集成 途径
在线阅读 下载PDF
论现代数学教师的知识结构 被引量:8
10
作者 刘燚 《数学教育学报》 北大核心 2012年第3期95-97,102,共4页
知识是数学教师专业成长中的一个重要维度,社会发展和教育变革对数学教师的知识提出了新的要求.教师知识结构是指教师为了胜任教育教学工作,所具备的知识类型、成分及其比例关系,其研究目的在于寻求教师教育教学实践活动的"知识基础"... 知识是数学教师专业成长中的一个重要维度,社会发展和教育变革对数学教师的知识提出了新的要求.教师知识结构是指教师为了胜任教育教学工作,所具备的知识类型、成分及其比例关系,其研究目的在于寻求教师教育教学实践活动的"知识基础".数学教师的知识结构主要应包括:取得教师资格应必备的基础性知识、得以胜任教育教学工作的支撑性知识、促进数学教师有效教学的完善性知识. 展开更多
关键词 现代数学教师 知识结构 数学教学
在线阅读 下载PDF
R_0-代数与MV-代数的关系 被引量:4
11
作者 苏忍锁 《西北农林科技大学学报(自然科学版)》 CSCD 北大核心 2004年第10期145-148,152,共5页
 证明了剩余格和正则剩余格中一些典型的附加条件之间的等价性,引入了正规剩余格的概念并给出了其若干性质。以此为基础,讨论了R0-代数和MV-代数之间的关系。
关键词 R0-代数 MV-代数 预备知识 代数结构 非经典逻辑
在线阅读 下载PDF
基于缺陷均匀分布的集成电路制造成品率与可靠性之间的关系模型 被引量:1
12
作者 赵天绪 段旭朝 《电子学报》 EI CAS CSCD 北大核心 2012年第8期1665-1669,共5页
在集成电路可制造性设计研究中,成品率与可靠性之间的关系模型备受人们关注.缺陷对成品率和可靠性的影响不仅与出现在芯片上的缺陷粒径大小有关而且与缺陷出现在芯片上的位置有关.本文主要考虑了出现在互连线上的金属丢失物缺陷对互连... 在集成电路可制造性设计研究中,成品率与可靠性之间的关系模型备受人们关注.缺陷对成品率和可靠性的影响不仅与出现在芯片上的缺陷粒径大小有关而且与缺陷出现在芯片上的位置有关.本文主要考虑了出现在互连线上的金属丢失物缺陷对互连线的影响,分析了同一粒径的缺陷出现在互连线不同位置对互连线有效宽度的影响,给出了基于缺陷均匀分布的互连线平均有效宽度,结合已有成品率和可靠性估计模型,提出了基于缺陷位置信息的集成电路制造成品率与可靠性之间的关系模型.在工艺线稳定的情况下,利用该工艺线的制造成品率可以通过该关系式有效地估计出产品的可靠性,从而有效地缩短新产品的研发周期. 展开更多
关键词 成品率 可靠性 缺陷 粒径分布
在线阅读 下载PDF
区间时变时滞奇异系统稳定性准则改进 被引量:2
13
作者 焦建民 《辽宁工程技术大学学报(自然科学版)》 CAS 北大核心 2013年第1期73-76,共4页
为解决区间时变时滞奇异系统的稳定性问题,基于Lyapunov稳定性理论,通过采用新构造的Lyapunov泛函和线性矩阵不等式方法,以线性矩阵不等式形式给出了使得系统满足正则、无脉冲且稳定的时滞相关型准则的改进结果.研究结果表明:所给准则... 为解决区间时变时滞奇异系统的稳定性问题,基于Lyapunov稳定性理论,通过采用新构造的Lyapunov泛函和线性矩阵不等式方法,以线性矩阵不等式形式给出了使得系统满足正则、无脉冲且稳定的时滞相关型准则的改进结果.研究结果表明:所给准则可有效判定区间时变时滞奇异系统的稳定性,它比已有一些结果包含更少的矩阵变量,且具有较小的保守性,同时通过数值实例进行了验证. 展开更多
关键词 奇异系统 区间时变时滞 稳定性 时滞相关 LYAPUNOV泛函 线性矩阵不等式 矩阵等式 凸优化
在线阅读 下载PDF
模态逻辑系统S5中极大相容理论的结构刻画 被引量:1
14
作者 李璧镜 《电子学报》 EI CAS CSCD 北大核心 2014年第8期1551-1555,共5页
在模态逻辑系统S5中提出了任意一模态公式关于一个极大相容理论的存在状态及状态描述等一系列概念,并且借助状态描述这一工具研究了相容理论的相容扩张,最后给出了模态逻辑系统S5中极大相容理论的一个结构刻画,证明了任何一个极大相容... 在模态逻辑系统S5中提出了任意一模态公式关于一个极大相容理论的存在状态及状态描述等一系列概念,并且借助状态描述这一工具研究了相容理论的相容扩张,最后给出了模态逻辑系统S5中极大相容理论的一个结构刻画,证明了任何一个极大相容理论都是所有简单合取式和简单析取式的相容存在状态之集的理论闭包. 展开更多
关键词 模态逻辑 极大相容理论 存在状态 状态描述
在线阅读 下载PDF
快速振荡系数抛物型方程的小波多尺度数值模拟
15
作者 杨建宏 欧阳洁 《计算机工程与设计》 CSCD 北大核心 2009年第22期5044-5047,共4页
分析了一种基于小波理论的多尺度计算方法——小波数值均匀化方法,并将该方法用于具有快速振荡系数的抛物型偏微分方程的数值求解。数值结果表明,与传统的有限差分法相比,小波数值均匀化方法不仅保持了较高的数值精度,而且大大提高了计... 分析了一种基于小波理论的多尺度计算方法——小波数值均匀化方法,并将该方法用于具有快速振荡系数的抛物型偏微分方程的数值求解。数值结果表明,与传统的有限差分法相比,小波数值均匀化方法不仅保持了较高的数值精度,而且大大提高了计算效率。小波数值均匀化方法能够对具有快速振荡系数的抛物型方程进行有效求解。 展开更多
关键词 小波 多尺度算法 均匀化 多分辨率分析 二尺度方程
在线阅读 下载PDF
具有广义扩散的三种群非自治系统解的吸引性
16
作者 王爱丽 阎恩让 《安徽大学学报(自然科学版)》 CAS 北大核心 2009年第5期10-13,共4页
讨论了一类具有广义扩散的三种群非自治捕食系统,该系统的所有系数分别渐近于某一确定的周期函数.通过构造Lyapunov函数和利用比较原理的方法,得到了该系统的所有正确均渐近于相应的周期系统的周期解的充分条件.
关键词 捕食系统 扩散 周期解 吸引性
在线阅读 下载PDF
一类含离散与分布时滞的奇异系统的鲁棒稳定性
17
作者 张瑞 焦建民 《江南大学学报(自然科学版)》 CAS 2009年第4期480-483,共4页
讨论了一类含离散与分布时滞的不确定奇异系统的时滞相关鲁棒稳定性。基于Lyapunov稳定性理论,利用线性矩阵不等式处理方法,通过在Lyapunov-Krasovskii泛函的导数中适当地引入一些自由矩阵,获得了系统时滞相关鲁棒稳定充分条件。数值例... 讨论了一类含离散与分布时滞的不确定奇异系统的时滞相关鲁棒稳定性。基于Lyapunov稳定性理论,利用线性矩阵不等式处理方法,通过在Lyapunov-Krasovskii泛函的导数中适当地引入一些自由矩阵,获得了系统时滞相关鲁棒稳定充分条件。数值例子表明所得结果是有效的。 展开更多
关键词 奇异系统 时滞相关 鲁棒稳定 线性矩阵不等式
在线阅读 下载PDF
一类区间时变时滞非线性广义系统的稳定性准则
18
作者 焦建民 《浙江大学学报(理学版)》 CAS CSCD 2013年第4期411-415,共5页
研究了一类区间时变时滞非线性广义系统的稳定性问题.基于Lyapunov稳定性理论,应用线性矩阵不等式和自由权矩阵方法,给出了使得系统正则、无脉冲且一致渐近稳定的时滞相关型稳定性新准则.结果表明,所给准则可有效判定区间时变时滞非线... 研究了一类区间时变时滞非线性广义系统的稳定性问题.基于Lyapunov稳定性理论,应用线性矩阵不等式和自由权矩阵方法,给出了使得系统正则、无脉冲且一致渐近稳定的时滞相关型稳定性新准则.结果表明,所给准则可有效判定区间时变时滞非线性广义系统的稳定性,它比已有的一些结果具有更小的保守性,并且通过数值实例进行了验证. 展开更多
关键词 非线性广义系统 区间时变时滞 稳定性 线性矩阵不等式
在线阅读 下载PDF
不确定广义时变时滞系统的鲁棒H_∞控制
19
作者 焦建民 《安徽大学学报(自然科学版)》 CAS 北大核心 2012年第4期18-25,共8页
针对具有时变时滞和线性分式参数不确定性广义系统,研究基于状态反馈的鲁棒H∞控制问题.利用增广Lyapunov泛函并结合自由权矩阵方法,保留了Lyapunov泛函导数中的时滞上界信息,得到时变时滞广义系统的一个新的有界实引理(BRL).在此基础上... 针对具有时变时滞和线性分式参数不确定性广义系统,研究基于状态反馈的鲁棒H∞控制问题.利用增广Lyapunov泛函并结合自由权矩阵方法,保留了Lyapunov泛函导数中的时滞上界信息,得到时变时滞广义系统的一个新的有界实引理(BRL).在此基础上,给出不确定广义时变时滞系统H∞状态反馈控制律的一个直接设计方法.所给结果均以严格线性矩阵不等式(LMI)表示.数值实例表明了结果的有效性和较小保守性. 展开更多
关键词 广义系统 时变时滞 线性分式参数不确定性 H∞控制 线性矩阵不等式(LMI)
在线阅读 下载PDF
模态逻辑系统S5中相容理论的构造方法
20
作者 李璧镜 《计算机工程与应用》 CSCD 2014年第20期20-23,29,共5页
在模态逻辑系统S5中借助公式的状态描述等概念,提出了一种从最简单的原子公式对应的相容理论开始,对于较复杂的公式形式,寻找恰当的状态描述,再将对应的存在状态加入最初的相容理论后仍相容的方法。
关键词 模态逻辑 相容理论 存在状态 状态描述
在线阅读 下载PDF
上一页 1 2 11 下一页 到第
使用帮助 返回顶部