期刊文献+
共找到395篇文章
< 1 2 20 >
每页显示 20 50 100
多核共享缓存bank冲突分析及其延迟最小化 预览 被引量:2
1
作者 张吉赞 古志民 《计算机学报》 EI CSCD 北大核心 2016年第9期1883-1899,共17页
在硬实时多核系统中,共享资源冲突的问题为硬实时任务的最差情况下执行时间(WCET)分析带来了新挑战.虽然现有的共享缓存冲突分析技术在storage冲突方面已取得研究进展,但对于bank冲突而言,现有研究仍局限于通过界定bank冲突延迟上限... 在硬实时多核系统中,共享资源冲突的问题为硬实时任务的最差情况下执行时间(WCET)分析带来了新挑战.虽然现有的共享缓存冲突分析技术在storage冲突方面已取得研究进展,但对于bank冲突而言,现有研究仍局限于通过界定bank冲突延迟上限来分析和处理bank冲突.该文通过优化核-bank映射关系来使硬实时多核系统中的bank冲突延迟最小化,即在对bank冲突延迟进行分析的基础上,首先通过优化核-bank之间的映射关系来消除bank冲突;若无法消除,则需要寻找能使bank冲突延迟最小化的核-bank映射关系解,并为此设计了一种基于多核总线请求时间序列的bank冲突延迟求解算法.最后,文中设计了能够对总线访问延迟进行消重的多核硬实时任务WCET估算方法.实验结果表明:文中所提的优化方法可消除这类bank冲突或使其延迟最小化,文中所提的WCET估算方法与现有估算方法相比可获得更精确的最差情况下执行时间(WCET). 展开更多
关键词 多核系统 硬实时任务 优化 核到bank映射 bank冲突延迟 最差情况下执行时间
在线阅读 下载PDF
交互式遗传程序设计在作曲中的应用 被引量:3
2
作者 张英俐 刘弘 +1 位作者 赵永升 王秀红 《控制工程》 CSCD 北大核心 2015年第3期409-412,共4页
针对目前的算法作曲系统普遍存在的局限性,提出一种交互式遗传程序设计(Interactive Genetic Programming,IGP)的作曲方法。介绍了用交互式遗传程序设计进行作曲的原理、步骤。提出了一种交互式遗传程序乐曲生成系统,用人做为适应度函... 针对目前的算法作曲系统普遍存在的局限性,提出一种交互式遗传程序设计(Interactive Genetic Programming,IGP)的作曲方法。介绍了用交互式遗传程序设计进行作曲的原理、步骤。提出了一种交互式遗传程序乐曲生成系统,用人做为适应度函数,用遗传程序设计的方法来产生乐曲片段。把乐曲片段交给人进行评价后,人对乐曲是否参与下一代进化进行取舍,直至产生理想的乐曲。实验结果显示:得到的乐曲片段较之前各种乐曲生成系统得到的乐曲更连贯,能够符合人的欣赏习惯。 展开更多
关键词 交互式遗传程序设计 GP 适应度函数
Yetter-Drinfeld Hopf代数的对偶定理
3
作者 贾玲 陈笑缘 《山东大学学报:理学版》 CAS CSCD 北大核心 2015年第12期98-101,共4页
证明了Yetter-Drinfeld Hopf代数的对偶定理,得到了对任意交换Yetter-Drinfeld Hopf代数L来说L#L*都是半单代数的结论,从而发展了Blattner和Montgomery得到的经典Hopf代数对偶定理。
关键词 YETTER-DRINFELD HOPF代数 Yetter-Drinfeld模代数 对偶定理
基于修正的结构相似度为测度的三维脑图像配准 预览 被引量:1
4
作者 李京娜 王国宏 +1 位作者 孙少燕 王刚 《中国医学影像学杂志》 CSCD 北大核心 2013年第8期618-623,共6页
结构相似度通常用来评估图像质量。当空间位置发生改变时,图像间的结构相似度也会随之发生变化,近年已用作单模态图像配准测度。对其进行适当修改,提出一种新的基于像素灰度的配准测度——修正的结构相似度函数(MSSIM),并且应用于不... 结构相似度通常用来评估图像质量。当空间位置发生改变时,图像间的结构相似度也会随之发生变化,近年已用作单模态图像配准测度。对其进行适当修改,提出一种新的基于像素灰度的配准测度——修正的结构相似度函数(MSSIM),并且应用于不同分辨率MR/CT及MR/PET三维临床脑图像(由Vanderbilt大学提供)配准中,算法首先做质心对齐,然后利用Powell算法"由粗到精"对下采样图像配准,再由8点法评估配准质量。结果显示,此测度函数具有良好的配准性能,能够完全自动地达到亚像素级配准精度,鲁棒性较高,但运算速度也较慢。 展开更多
关键词 脑图像 图像处理 计算机辅助 结构相似度函数 图像配准
在线阅读 下载PDF
双边群Smash余积的半单性 预览 被引量:1
5
作者 李德胜 陈全国 王顶国 《吉林大学学报:理学版》 CAS CSCD 北大核心 2013年第3期431-433,共3页
通过引入双边群Smash余积的概念,给出了双边群Smash余积成为Hopf群余代数的充要条件,并利用群余代数中积分理论讨论了双边群Smash余积的半单性.
关键词 HOPF群余代数 余模余代数 半单性
在线阅读 下载PDF
不确定中立型随机时滞系统的鲁棒记忆非脆弱H∞控制 被引量:4
6
作者 周丽娜 刘晓华 《山东大学学报:工学版》 CAS 北大核心 2013年第3期49-56,共8页
研究了一类具有参数不确定性的中立型随机时滞系统的鲁棒非脆弱镇定和鲁棒非脆弱H∞控制问题。在控制器增益分别具有加法式摄动和乘法式摄动的情形下,通过构造Lyapunov泛函,利用Ito公式和Schur补原理,建立了用线性矩阵不等式表示的保证... 研究了一类具有参数不确定性的中立型随机时滞系统的鲁棒非脆弱镇定和鲁棒非脆弱H∞控制问题。在控制器增益分别具有加法式摄动和乘法式摄动的情形下,通过构造Lyapunov泛函,利用Ito公式和Schur补原理,建立了用线性矩阵不等式表示的保证闭环系统随机均方渐近稳定的充分条件;给出了不确定系统鲁棒非脆弱H∞控制可解性的充分条件;通过求解线性矩阵不等式,设计了随机时滞系统的记忆状态反馈非脆弱H∞控制器。数值仿真证明了该方法的有效性。 展开更多
关键词 中立型随机时滞系统 非脆弱控制 H∞控制 线性矩阵不等式
具有多重势的分数阶非线性Schrodinger方程解的适定性 预览
7
作者 李安然 辛杰 《鲁东大学学报:自然科学版》 2013年第1期5-11,共7页
讨论了具有多重势的分数阶非线性Schrodinger方程的周期边值问题,利用能量估计和Faedo—Galerkin方法证明了该问题光滑解的整体存在唯一性
关键词 分数阶非线性Schrodinger方程 多重势 Faedo-Galёrkin方法 整体光滑解
在线阅读 下载PDF
基于状态观测器的多面体不确定随机广义系统鲁棒预测控制
8
作者 刘晓华 韩旭 《控制与决策》 EI CSCD 北大核心 2013年第4期600-604,共5页
针对It6型多面体不确定随机广义系统,提出一种离线观测器型鲁棒预测控制器的综合方法.通过构造带有误差项的增广随机Lyapunov函数,运用多维It6公式和LMI方法,将“min-max”随机规划问题等价转化为一组线性矩阵不等式的求解问题;给... 针对It6型多面体不确定随机广义系统,提出一种离线观测器型鲁棒预测控制器的综合方法.通过构造带有误差项的增广随机Lyapunov函数,运用多维It6公式和LMI方法,将“min-max”随机规划问题等价转化为一组线性矩阵不等式的求解问题;给出了控制器存在的充分条件和参数表达式,证明了初始时刻的可行解可以保证闭环广义系统的随机容许性.仿真算例验证了该方法的有效性. 展开更多
关键词 鲁棒预测控制 随机广义系统 ITO公式 状态观测器 线性矩阵不等式
(2+1)维长短波方程整体吸引子的存在性 预览
9
作者 崔洪勇 辛杰 《鲁东大学学报:自然科学版》 2013年第1期12-17,共6页
研究了无穷维动力系统中(2+1)维长短波方程整体吸引子的存在性.运用Galekin方法构建了该系统的弱吸引子,并证明了所构建的弱吸引子是强吸引子.
关键词 广义耗散(2+1)维长短波方程 整体吸引子 GALERKIN方法
在线阅读 下载PDF
基于振型分解法的车辆悬架系统主动控制
10
作者 胡鑫 魏新江 聂笑盈 《控制工程》 CSCD 北大核心 2013年第1期179-183,共5页
针对传统车辆被动悬架抗干扰性差的缺点,基于1/4车辆悬架系统,建立了车辆悬架动力学模型,以车身垂向加速度、悬架动扰度、轮胎变形量为控制指标,采用线性二次型(LQR)最优方法设计控制器。鉴于性能指标中加权矩阵难于确定的问题... 针对传统车辆被动悬架抗干扰性差的缺点,基于1/4车辆悬架系统,建立了车辆悬架动力学模型,以车身垂向加速度、悬架动扰度、轮胎变形量为控制指标,采用线性二次型(LQR)最优方法设计控制器。鉴于性能指标中加权矩阵难于确定的问题,提出基于振型分解法来优化选择加权矩阵,根据各振型分量的不同重要性,赋予各振型分量不同的权重。通过优化选择悬架系统的加权矩阵,获得最优反馈增益及最优控制力,从而抑制高频噪声和高阶计算模型误差对输出控制力的影响,提高了车辆悬架系统的抗干扰能力,并通过李雅普诺夫稳定性理论证明了系统的稳定性。最后,以二自由度车辆悬架系统在路面模拟输入作用下的动态响应为例,通过与被动悬架进行对比,证明了所提方法的正确性和有效性。 展开更多
关键词 车辆悬架 LQR 振型分解 主动控制
二维Lotka-Volterra竞争扩散系统的渐近传播速度 预览
11
作者 周贝贝 王琳琳 《鲁东大学学报:自然科学版》 2013年第2期111-115,共5页
通过上下解方法及比较原理,得到了二维扩散Lotka—Volterra竞争系统的渐近传播速度.
关键词 LOTKA-VOLTERRA竞争系统 渐近传播速度 扩散效应
在线阅读 下载PDF
基于HP滤波-神经网络方法的企业信用风险失真判定 预览
12
作者 杨瑞成 吕强 王桂贤 《财经理论研究》 2013年第1期63-68,共6页
虚假信息的发布导致企业信用风险出现失真现象,如何还原企业信用违约真实水平、寻找信用风险失真校准方法是国内外理论与实务界研究的热点。本文在综合考虑虚假信息的多维性与时序特征的前提下,以Hodrick—Prescott(HP)滤波为基础... 虚假信息的发布导致企业信用风险出现失真现象,如何还原企业信用违约真实水平、寻找信用风险失真校准方法是国内外理论与实务界研究的热点。本文在综合考虑虚假信息的多维性与时序特征的前提下,以Hodrick—Prescott(HP)滤波为基础设计了信息数据降维方法,兼顾企业自身和同行业双重因素对企业信用风险失真的影响,建立了多样本多维指标时间序列的神经网络模型对企业信用风险失真进行判定,实证分析结果进一步验证了该模型的有效性。 展开更多
关键词 信用风险 多样本多维指标时间序列 Hodrick—Prescott滤波
在线阅读 下载PDF
关于一族有限ξ严格伪压缩映射不动点问题和平衡问题混合投影下的强收敛性 预览
13
作者 李娜 李军 《数学物理学报:A辑》 CSCD 北大核心 2013年第1期114-122,共9页
为找到一族有限ξ严格伪压缩映射不动点集及平衡问题解集的公共元素,该文利用两种混合投影方法引入了一种迭代方案,且在给与参数适当的假设下,作者得到了两个强收敛性定理.
关键词 ξ严格伪压缩映射 不动点问题 平衡 混合投影方法
在线阅读 下载PDF
时标上一类具p-Laplacian算子边值问题的交叉对称解
14
作者 孙婷婷 孙守霞 纪秀浩 《数学的实践与认识》 CSCD 北大核心 2013年第10期261-266,共6页
研究了时标上一类具p-Laplacian算子两点边值问题的交叉对称解,其中非线性项可能包含delta导数或nabla导数.通过引入一个伴随问题,得出一个动力方程的解与其伴随问题的解是交叉对称的.同时证明,如果非线性项包含delta导数或nabla... 研究了时标上一类具p-Laplacian算子两点边值问题的交叉对称解,其中非线性项可能包含delta导数或nabla导数.通过引入一个伴随问题,得出一个动力方程的解与其伴随问题的解是交叉对称的.同时证明,如果非线性项包含delta导数或nabla导数,即使所研究的时标是等间距的,所得到的解也不一定是对称的.最后,给出了几个数值例子来说明主要结果. 展开更多
关键词 交叉对称解 伴随问题 时标
高校优秀人才服务地方产业发展机制问题研究 预览 被引量:1
15
作者 赵吉云 孙长山 杜廷勇 《中国职工教育》 2013年第12X期27-27,29共2页
服务社会是高等教育的重要功能,也是衡量高等教育发展水平的重要指标。然而,目前高校优秀人才资源往往游离于产业发展体系之外,本研究着重探讨高校优秀人才向产业发展一线流动的问题。
关键词 高等教育 优秀人才 服务地方 产业发展
在线阅读 下载PDF
新的可恢复消息的指定验证者签名 预览
16
作者 王峰 《计算机工程与应用》 CSCD 2013年第24期97-99,143共4页
在有些应用中,原始签名者希望只有指定的验证者才可以验证签名的有效性。基于双线性对密码体制提出了一种新的指定验证者签名方案,新方案不仅实现了签名的指定验证性质,而且限制只有指定验证者才可以恢复消息。讨论结果表明,新方案... 在有些应用中,原始签名者希望只有指定的验证者才可以验证签名的有效性。基于双线性对密码体制提出了一种新的指定验证者签名方案,新方案不仅实现了签名的指定验证性质,而且限制只有指定验证者才可以恢复消息。讨论结果表明,新方案在减少计算量的前提下实现了安全的签名的指定验证者恢复消息的功能。 展开更多
关键词 密码学 签名 指定验证者 消息可恢复 双线性对
在线阅读 下载PDF
Markov跳变系统的输出反馈鲁棒预测控制 预览 被引量:2
17
作者 刘晓华 吕娜 《控制理论与应用》 EI CAS CSCD 北大核心 2013年第11期1392-1400,共9页
对离散时间Markov跳变系统,当系统状态不完全可测时,研究了一类基于输出反馈的鲁棒模型预测控制问题.所研究系统为准线性参数时变的,考虑在当前时刻系统的时变参数是已知的,将来时刻未知的情况.综合考虑系统存在多胞不确定性和有界噪声... 对离散时间Markov跳变系统,当系统状态不完全可测时,研究了一类基于输出反馈的鲁棒模型预测控制问题.所研究系统为准线性参数时变的,考虑在当前时刻系统的时变参数是已知的,将来时刻未知的情况.综合考虑系统存在多胞不确定性和有界噪声等因素,通过运用线性矩阵不等式方法及变量变换思想,将无穷时域性能指标的最小最大鲁棒预测控制问题转化为具有线性矩阵不等式约束的凸优化问题,得到了系统的输出反馈控制律.引入二次有界概念,在满足输入输出约束的情况下,保证闭环系统的随机稳定性.数值算例验证了方法的有效性. 展开更多
关键词 模型预测控制 输出控制 MARKOV跳变系统 准线性参数时变 二次有界 鲁棒稳定性
在线阅读 下载PDF
两总体方差差异的U统计量检验法 预览 被引量:2
18
作者 王敏 《汕头大学学报:自然科学版》 2013年第1期1-6,共6页
本文利用非参数统计中U统计量的构造方法给出一种检验两总体方差差异的方法,与F检验相比,该方法有更宽泛的适用场合.
关键词 U统计量 方差检验 渐近正态性 渐进相对效率
在线阅读 下载PDF
Cleft扩张的余挠维数
19
作者 贾玲 《数学学报》 SCIE CSCD 北大核心 2013年第3期409-412,共4页
众所周知,如果扩张A B是cleft的,则B A#σH,本文主要讨论B和A的余挠维数之间的关系,得出结论LCD(B)≤LCD(A)+RD(H),从而推广了群环余挠维数的结论.作为主要结果的应用,还给出了几个使得LCD(B)=LCD(A)的条件.
关键词 余挠维数 整体维数 交叉积 HOPF代数
基于修改后的结构相似度的三维图像配准 预览 被引量:3
20
作者 李京娜 王国宏 +1 位作者 孙少燕 王刚 《光电工程》 CAS CSCD 北大核心 2012年第12期70-76,共7页
基于像素的图像配准测度函数通常采用归一化互信息,其具有良好的配准性能,能够达到亚像素配准,但对于多模态图像配准,由于局部极值的影响以及全局最大值的捕获范围较窄,容易陷入局部极值导致配准失败。结构相似度通常用来评估图像... 基于像素的图像配准测度函数通常采用归一化互信息,其具有良好的配准性能,能够达到亚像素配准,但对于多模态图像配准,由于局部极值的影响以及全局最大值的捕获范围较窄,容易陷入局部极值导致配准失败。结构相似度通常用来评估图像质量,可以反映图像间视觉效果和结构信息的差别,同时与像素灰度的统计分布相关,当空间位置发生改变时,图像问的结构相似度也随之发生变化。对其进行适当修改,作为一种新的测度函数运用于图像配准。实验结果表明:这种修改后的结构相似度作为测度函数,其配准曲线为良好的上凸函数,没有明显的局部极值,图像匹配时对应其全局最大值,并且捕获范围较宽,鲁棒性较高,但运算速度较慢,对强噪声比较敏感;应用于三维图像配准,即使是10个参数的仿射变换,也能够达到亚像素级配准精度。 展开更多
关键词 仿射变换 图像配准 修改后的结构相似度 归一化互信息
在线阅读 下载PDF
上一页 1 2 20 下一页 到第
使用帮助 返回顶部 意见反馈