期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到67篇文章
< 1 2 … 4 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
广义相关时延估计算法的自适应实现形式 被引量：13
1
作者 行鸿彦 赵守国 +2 位作者 邸继征 刘照泉 万明习 《西安石油学院学报（自然科学版）》 CAS 2001年第6期47-50,共4页
认为广义相关时延估计算法的缺陷是依赖对输入信号及噪声先验知识 ,特别是对其功率谱的了解 ,而在实际应用中 ,往往缺乏这种先验知识 ,只能以估计值来代替 ,从而影响时延估计精度 .自适应滤波器一般只需要很少或根本不需要任何关于输入... 认为广义相关时延估计算法的缺陷是依赖对输入信号及噪声先验知识 ,特别是对其功率谱的了解 ,而在实际应用中 ,往往缺乏这种先验知识 ,只能以估计值来代替 ,从而影响时延估计精度 .自适应滤波器一般只需要很少或根本不需要任何关于输入信号和噪声的先验知识且性能良好 ,若用自适应滤波器替代广义相关法中的预滤波器就可放松或免除对输入信号和附加噪声的条件限制 ,提高时延估计的精度 ,广义相关时延估计算法时域中的预滤波器就是其频域中的权函数 .从理论上证明了 ,任何一个广义相关权函数 ,都能够变换成一个或几个 Roth处理器的组合形式 .实际上 ,Roth处理器就是自适应滤波器实现的、能对原始带噪信号做最优化估计的维纳滤波器 ,从而实现了自适应广义相关时延估计算法 . 展开更多
关键词 广义相关时延估计 广义相关权函数 自适应滤波器 Roth处理器 维纳滤波器
在线阅读 下载PDF
基于博弈论的公平安全两方计算协议
2
作者 王洁 《西南交通大学学报》 EI CSCD 北大核心 2016年第5期902-909,共8页
针对传统安全两方计算无法实现完全公平性的问题,结合博弈论方法,将参与者看作是理性的,提出了理性安全两方计算协议.首先,在扩展式博弈框架下,给出安全两方计算的博弈模型;其次,根据博弈模型描述,给出理性安全两方计算理想函数F_(RPCP... 针对传统安全两方计算无法实现完全公平性的问题,结合博弈论方法,将参与者看作是理性的,提出了理性安全两方计算协议.首先,在扩展式博弈框架下,给出安全两方计算的博弈模型;其次,根据博弈模型描述,给出理性安全两方计算理想函数F_(RPCP)以及理性安全两方计算协议π_(RPCP);最后对协议的安全性、公平性及纳什均衡进行了分析.分析结果表明,在混合模型下,协议π_(RPCP)能安全地实现理想函数F_(RPCP),并且在BDH困难假设下,协议π_(RPCP)中各理性参与者的最佳策略是选择合作,当博弈达到纳什均衡时,参与者双方能公平地获得计算结果. 展开更多
关键词 安全两方计算 扩展博弈 纳什均衡 公平性
在线阅读 下载PDF
南非数学素养与数学课程的比较研究及对我国“国培计划”的启示
3
作者 田果萍 崔克忍 《中小学教师培训》 2012年第10期62-64,共3页
南非国家在FET(future education and training)中首次将数学素养作为一门课程与数学课程同时引进培训项目中,Duncan与Mamolahluwa Amelia Mokoena博士通过定性与定量相结合的调查方法对两门课程在数学知识与技能掌握的影响方面进行了比... 南非国家在FET(future education and training)中首次将数学素养作为一门课程与数学课程同时引进培训项目中,Duncan与Mamolahluwa Amelia Mokoena博士通过定性与定量相结合的调查方法对两门课程在数学知识与技能掌握的影响方面进行了比较,得出了两者有相同的学习结果与不同的评价标准、两门课程中妨碍数学技能获得的共同因素、能显著增强数学技能的数学素养课程的特征与促进数学技能获得的可能性干预机制等研究结果,这些研究结果对我国"国培计划"数学教师的培训有很大启发。 展开更多
关键词 FET 数学素养 课程 国培计划
在线阅读 下载PDF
南非数学素养教学中数学学习的一致性探究——源自南非FET项目
4
作者 田果萍 崔克忍 《中小学教师培训》 2013年第3期61-64,共4页
本文从数学能力的角度,分析了来自南非FET(继续教育与培训)项目中数学素养系列课堂教学活动。分析结果表明:以生活技能为导向的数学素养设计为学生创造了体验数学能力的机会;基于情境的需要,数学上的一致性或连贯性在教学中一直被保持着... 本文从数学能力的角度,分析了来自南非FET(继续教育与培训)项目中数学素养系列课堂教学活动。分析结果表明:以生活技能为导向的数学素养设计为学生创造了体验数学能力的机会;基于情境的需要,数学上的一致性或连贯性在教学中一直被保持着,并引领着数学的研究,保证了生活导向框架内学习数学的可行性,这对我国旨在提升数学素养的小学数学教学有所启发。 展开更多
关键词 数学素养 数学能力 FET项目
在线阅读 下载PDF
一类半线性双曲型微分不等式非齐次Dirichlet外问题解的存在性与非存在性
5
作者 肖苏平 赵元章 《数学物理学报（A辑）》 CSCD 北大核心 2024年第5期1167-1182,共16页
该文研究在高维外区域中(N≥2)的一类半线性双曲型微分不等式非齐次Dirichlet外问题.利用适当选取试验函数的方法及反证技巧,在依赖于时空变量的非齐次Dirichlet边界条件下建立问题解的非存在性定理且导出一些解的存在性结论.
关键词 双曲型微分不等式 非齐次Dirichlet外问题 存在性 非存在性
在线阅读 下载PDF
Kirchhoff型方程正规化解的多重性及渐近行为
6
作者 靳振峰 孙红蕊 张为民 《数学物理学报（A辑）》 CSCD 北大核心 2024年第4期871-884,共14页
该文研究了如下Kirchhoff型方程{−(a+b∫R^(3)|∇u|^(2)dx)Δu=λu+|u|^(p−2)u,x∈R^(3),∥u∥22=ρ,其中a,b,ρ>0,λ∈R是与质量约束∥u∥22=ρ有关的Lagrange乘子.当p∈(2,103)或者p∈(143,6)时,利用亏格理论证明了上述方程L2-正规... 该文研究了如下Kirchhoff型方程{−(a+b∫R^(3)|∇u|^(2)dx)Δu=λu+|u|^(p−2)u,x∈R^(3),∥u∥22=ρ,其中a,b,ρ>0,λ∈R是与质量约束∥u∥22=ρ有关的Lagrange乘子.当p∈(2,103)或者p∈(143,6)时,利用亏格理论证明了上述方程L2-正规化解的多重性.此外,该文证明了上述解关于参数b→0^(+)时的渐近行为. 展开更多
关键词 KIRCHHOFF方程 变分法 正规化解 渐近行为
在线阅读 下载PDF
SGX-based LibOS中系统调用转发机制研究
7
作者 刘西蒙 黄应康 +3 位作者 刘维杰 范倍汐 章恬 张杰 《通信学报》 CSCD 北大核心 2024年第S1期31-40,共10页
SGX-based LibOS允许现有的未经修改的应用程序在SGX Enclave中运行。然而,不同的SGX-based LibOS在架构设计、系统调用模拟以及系统调用转发机制上存在差异,增加了用户使用门槛,并使得调试程序错误变得棘手。为了应对这些问题,提出了... SGX-based LibOS允许现有的未经修改的应用程序在SGX Enclave中运行。然而,不同的SGX-based LibOS在架构设计、系统调用模拟以及系统调用转发机制上存在差异,增加了用户使用门槛,并使得调试程序错误变得棘手。为了应对这些问题,提出了系统调用动态测试框架,对各种SGX-based LibOS进行了测试,追踪了系统调用在LibOS中的执行状况,并比较了其在Linux宿主机上的运行差异。同时,分析了实验结果,深入探讨了不同基于SGX的LibOS中系统调用转发机制的差异,总结了它们对Linux功能的模拟情况以及编程语言运行时的支持状态,并指出了该领域的不足和待改进之处。 展开更多
关键词 IntelSGX 系统安全 库操作系统 系统调用
在线阅读 下载PDF
捕食者有病的生态-流行病SIS模型的分析 被引量：27
8
作者 孙树林 原存德 《工程数学学报》 CSCD 北大核心 2005年第1期30-34,共5页
建立并分析了捕食者具有疾病的生态-流行病 SIS 模型,讨论了解的有界性。应用特征根法得到 了平衡点局部渐近稳定的充分条件,进一步,分析了平衡点的全局稳定性,得到了边界平衡点和 正平衡点全局稳定的充分条件。
关键词 生态-流行病模型 渐近稳定 永久持续生存 传染病
在线阅读 下载PDF
协调决策形式背景的属性约简 被引量：8
9
作者 王虹 万金凤 《工程数学学报》 CSCD 北大核心 2006年第3期455-460,共6页
本文研究基于对象定向概念格和属性定向概念格协调决策形式背景属性约简的问题。首先介绍了协调决策形式背景属性约简的概念,讨论了其等价的定义。进一步给出了属性约简的判定定理和相应的可辩识属性矩阵,从而为概念格中协调决策形式背... 本文研究基于对象定向概念格和属性定向概念格协调决策形式背景属性约简的问题。首先介绍了协调决策形式背景属性约简的概念,讨论了其等价的定义。进一步给出了属性约简的判定定理和相应的可辩识属性矩阵,从而为概念格中协调决策形式背景属性约简提供了一种具体的方法。 展开更多
关键词 概念格 协调决策形式背景 属性约简 协调集
在线阅读 下载PDF
分布式农业专家系统的设计 被引量：4
10
作者 周光明 张喜生 贾郭军 《微电子学与计算机》 CSCD 北大核心 2006年第4期156-159,共4页
分布式人工智能是人工智能的研究热点,设计了一个分布式的小麦高产专家系统。系统由管理节点和执行节点分布运行,在通讯、合作、负载平衡和冲突消解等实现技术上有较强的先进性,实现了分布式人工智能的具体应用。
关键词 农业专家系统 分布式人工智能 通讯 合作 冲突消解
在线阅读 下载PDF
两捕一食非自治扩散系统的持续生存 被引量：7
11
作者 刘启明 原存德 《工程数学学报》 CSCD 北大核心 1999年第4期39-45,共7页
对一个两捕一食非自治扩散系统进行了研究，得到了系统一致持续生存的充分条件；并且当系统是周期系统时，得到了正周期解存在唯一、全局渐近稳定的充分条件。
关键词 捕食系统 一致持续生存 非自治扩散系统
在线阅读 下载PDF
基于博弈论的门限签名体制分析与构造 被引量：3
12
作者 王洁 蔡永泉 田有亮 《通信学报》 EI CSCD 北大核心 2015年第5期148-155,共8页
为了使门限签名体制更具有普适性,引入了"理性参与人"的概念,将所有参与者视为理性的个体,任何阶段以最大化自身利益为目标。基于博弈论对密钥生成和签名合成阶段各参与者的策略和效用进行了分析,证明了在传统门限签名方案中... 为了使门限签名体制更具有普适性,引入了"理性参与人"的概念,将所有参与者视为理性的个体,任何阶段以最大化自身利益为目标。基于博弈论对密钥生成和签名合成阶段各参与者的策略和效用进行了分析,证明了在传统门限签名方案中理性参与者没有动机参与签名,导致无法完成对消息的签名,并提出了理性密钥分发和理性签名合成的解决机制。经分析该方法能更好地满足实际需求。 展开更多
关键词 博弈论 门限签名 双线性对 BDH假设 纳什均衡
在线阅读 下载PDF
新课程课堂教学:从弹性预设到动态生成 被引量：57
13
作者 李祎 《当代教育科学》 北大核心 2005年第10期39-42,共4页
新课程课堂教学的实施,必须在弹性预设的基础上,通过师生的共同参与,以动态生成的方式来推进。因此,课堂教学是弹性预设与动态生成的辩证统一。
关键词 课堂教学 弹性预设 动态生成 参与性 动态性 教学理念
在线阅读 下载PDF
不确定广义系统的鲁棒严格无源控制 被引量：5
14
作者 王翠红 黄天民 《西南交通大学学报》 EI CSCD 北大核心 2009年第6期860-864,911,共6页
讨论了不确定线性广义系统的严格无源性和严格无源控制问题.为了解决广义系统严格无源条件中的等式限制问题,通过引入松驰变量描述广义系统快变子系统与慢变子系统之间的代数关系,以严格线性矩阵不等式的形式,给出了广义系统严格无源的... 讨论了不确定线性广义系统的严格无源性和严格无源控制问题.为了解决广义系统严格无源条件中的等式限制问题,通过引入松驰变量描述广义系统快变子系统与慢变子系统之间的代数关系,以严格线性矩阵不等式的形式,给出了广义系统严格无源的充分条件.基于该条件,设计了鲁棒严格无源控制器,并用具体实例说明所设计的控制器能保证闭环控制系统是严格无源的. 展开更多
关键词 广义系统 严格无源 线性矩阵不等式(LMI)
在线阅读 下载PDF
具有阶段结构和时滞的幼年染病单种群模型研究 被引量：4
15
作者 石瑞青 陈兰荪 《大连理工大学学报》 EI CAS CSCD 北大核心 2010年第2期304-308,共5页
研究了一个具有阶段结构和时滞的幼年染病单种群模型.通过常微分方程的特征根法,借助几何图形分析了3个平衡点的存在性,得到了它们局部稳定的充要条件.并且在推论中找到了参数τ影响平衡点稳定性的阈值,得到了当参数τ在不同区间取值时... 研究了一个具有阶段结构和时滞的幼年染病单种群模型.通过常微分方程的特征根法,借助几何图形分析了3个平衡点的存在性,得到了它们局部稳定的充要条件.并且在推论中找到了参数τ影响平衡点稳定性的阈值,得到了当参数τ在不同区间取值时对应的平衡点的稳定性,并通过例题验证了定理的结论.最后,对于所得的数学结果给出了生物意义下的解释:若时滞较大,即种群的成熟期较长,则种群走向绝灭;若时滞较小,即种群的成熟期较短,则种群可以持续生存. 展开更多
关键词 阶段结构 时滞 平衡点
在线阅读 下载PDF
基于位置语义和查询概率的假位置选择算法 被引量：22
16
作者 王洁 王春茹 +1 位作者 马建峰 李洪涛 《通信学报》 EI CSCD 北大核心 2020年第3期53-61,共9页
针对传统位置隐私保护方案中未充分考虑攻击者拥有背景知识而导致的隐私泄露问题,基于位置语义和查询概率提出一种假位置选择算法。在假位置集中的位置之间满足语义差异性、查询概率相近且地理位置尽量分散的条件下,避免了攻击者结合背... 针对传统位置隐私保护方案中未充分考虑攻击者拥有背景知识而导致的隐私泄露问题,基于位置语义和查询概率提出一种假位置选择算法。在假位置集中的位置之间满足语义差异性、查询概率相近且地理位置尽量分散的条件下,避免了攻击者结合背景知识过滤假位置,同时保证了查询结果的精确性。仿真实验验证了所提算法能有效保护用户的位置隐私。 展开更多
关键词 基于位置的服务 假位置隐私 位置语义 查询概率
在线阅读 下载PDF
具有增长时滞及脉冲输入的被污染Beddington-DeAngelis恒化器模型的分析 被引量：2
17
作者 贾建文 张红红 《应用数学》 CSCD 北大核心 2010年第3期523-530,共8页
考虑了一类具有增长时滞及脉冲输入的被污染的Beddington-DeAngelis恒化器模型,获得微生物灭绝周期解全局吸引的条件,并运用脉冲时滞微分方程的相关理论、方法和新的计算技巧,证明了系统在适当的条件下是持久的,结论还表明该时滞是有害... 考虑了一类具有增长时滞及脉冲输入的被污染的Beddington-DeAngelis恒化器模型,获得微生物灭绝周期解全局吸引的条件,并运用脉冲时滞微分方程的相关理论、方法和新的计算技巧,证明了系统在适当的条件下是持久的,结论还表明该时滞是有害时滞. 展开更多
关键词 恒化器模型 时滞 脉冲输入 持久性 灭绝
在线阅读 下载PDF
污染环境下具有时滞和脉冲输入两种营养基和一种微生物恒化器模型的动力学分析(英文) 被引量：2
18
作者 贾建文 焦晶晶 《应用数学》 CSCD 北大核心 2014年第1期34-43,共10页
本文研究在污染环境下带有时滞和脉冲输入的双营养基和一种微生物的恒化器模型.利用脉冲微分方程比较定理,我们得到微生物灭绝周期解的全局吸引和系统持久的充分条件.
关键词 恒化器 周期解 时滞 全局吸引 持久性
在线阅读 下载PDF
一种基于MapReduce的改进k-means聚类算法研究 被引量：2
19
作者 郭晨晨 朱红康 《河北工业大学学报》 CAS 2016年第5期35-43,共9页
传统k-means算法的聚类中心需要经过多次迭代运算才能最终稳定,而MapReduce计算框架下的k-means聚类算法在处理迭代运算时效率并不理想.针对上述问题,提出一种新的基于MapReduce的k-means聚类算法.该算法对传统k-means算法进行了改进,... 传统k-means算法的聚类中心需要经过多次迭代运算才能最终稳定,而MapReduce计算框架下的k-means聚类算法在处理迭代运算时效率并不理想.针对上述问题,提出一种新的基于MapReduce的k-means聚类算法.该算法对传统k-means算法进行了改进,通过将k-means聚类问题转化为Map和Reduce两阶段的k-means++算法聚类问题,并将权值概念和单通道技术引入到传统k-means++算法中,提升了算法在MapReduce框架中的执行效率.实验分析表明,该方法较之传统方法具有更好的加速比和可扩展性. 展开更多
关键词 K-MEANS MAPREDUCE 两阶段 单通道 并行化 加速比
在线阅读 下载PDF
矩阵代数上的可乘保持映射 被引量：2
20
作者 安桂梅 侯晋川 《数学物理学报（A辑）》 CSCD 北大核心 2008年第6期1194-1205,共12页
在该文中,作者对矩阵代数M_n(F)(其中F表示任意域)上的可乘映射及保秩可乘映射的结构进行了描述.并应用之进一步刻画了复矩阵代数上保持谱半径,数值域,数值域半径,自伴矩阵,正矩阵,正规矩阵,或酉矩阵等性质不变的可乘映射.
关键词 可乘映射 秩 谱半径 正规矩阵
在线阅读 下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 2 … 4 下一页 到第 页
关于我们 | 版权声明 | 联系我们 | 帮助中心| 意见反馈
主办单位：上海市教育委员会
技术支持：重庆维普资讯有限公司
渝公网安备 50019002500403号
使用帮助 返回顶部