检索结果-内蒙古大学图书馆

计算机工程 2016年第8期42卷 34-38,45页

作者：杨世瀚吴尽昭丁广泓秦董洪广西混杂计算与集成电路设计分析重点实验室南宁530006 广西民族大学信息科学与工程学院南宁530006

针对模拟与混合信号(AMS)电路形式化建模逼真度低和描述不规范的问题,提出一种基于基尔霍夫电流定律节点分析的形式化建模方法。通过扩展计算树逻辑公式,在保留电路更多物理特性的前提下综合描述和验证AMS电路的离散事件和动态行为,保... 详细信息

针对模拟与混合信号(AMS)电路形式化建模逼真度低和描述不规范的问题,提出一种基于基尔霍夫电流定律节点分析的形式化建模方法。通过扩展计算树逻辑公式,在保留电路更多物理特性的前提下综合描述和验证AMS电路的离散事件和动态行为,保证性质验证的精确性和可信性。以环形振荡器为例,给出该方法的实现过程,并通过Coho工具对振荡器电路进行验证。实验结果表明该方法正确、有效。

关键词：形式化验证模拟与混合信号电路混杂系统基尔霍夫电流定律计算树逻辑

来源：评论

学校读者我要写书评

暂无评论

云模型的布谷鸟搜索算法

引用

计算机应用研究 2016年第1期33卷 92-97页

作者：李志平王勇张呈志广西民族大学信息科学与工程学院南宁530006 广西混杂计算与集成电路设计分析重点实验室南宁530006

针对布谷鸟搜索算法(CS)存在的不足,优化布谷鸟搜索算法求解连续函数问题的性能,结合云模型在定性与定量之间相互转换的优良特性,设计出云模型的布谷鸟搜索算法(CCS)。其核心思想是通过云模型实现布谷鸟的进化学习过程,类似差分进化进... 详细信息

针对布谷鸟搜索算法(CS)存在的不足,优化布谷鸟搜索算法求解连续函数问题的性能,结合云模型在定性与定量之间相互转换的优良特性,设计出云模型的布谷鸟搜索算法(CCS)。其核心思想是通过云模型实现布谷鸟的进化学习过程,类似差分进化进行群体间的信息交流。该混合算法较大程度上提高了CS算法求解精度,且加快了算法的收敛速度。经过10个测试函数的实验仿真,测试结果表明,与CS、ICS与ASCS比较,提出的CCS算法在函数优化方面有较强的优势,其测试函数最优解更接近理论最优解。

关键词：布谷鸟搜索算法云模型云模型的布谷鸟搜索算法

来源：评论

学校读者我要写书评

暂无评论

自共轭四元数循环矩阵的特征值问题

引用

数学的实践与认识 2016年第13期46卷 251-257页

作者：黄敬频陆云双广西民族大学理学院广西南宁530006 广西混杂计算与集成电路设计分析重点实验室广西南宁530006

循环矩阵是一类应用广泛的特殊矩阵.设A是一个自共轭四元数循环矩阵,运用四元数矩阵的复表示,以及循环矩阵的特定结构形式,得到了矩阵A的特征值的计算公式.反之,对于任意给定的n个实数,证明了一定存在自共轭四元数循环矩阵A,使得A以这n... 详细信息

循环矩阵是一类应用广泛的特殊矩阵.设A是一个自共轭四元数循环矩阵,运用四元数矩阵的复表示,以及循环矩阵的特定结构形式,得到了矩阵A的特征值的计算公式.反之,对于任意给定的n个实数,证明了一定存在自共轭四元数循环矩阵A,使得A以这n个实数为它的特征值,同时给出了自共轭四元数循环矩阵A的计算方法.推广了复循环矩阵的相关理论结果.

关键词：四元数体自共轭循环矩阵特征值特征值反问题

来源：评论

学校读者我要写书评

暂无评论

维修时点预测的动态车间调度问题

引用

计算机应用 2016年第8期36卷 2340-2345页

作者：匡鹏吴尽昭中国科学院成都计算机应用研究所成都610041 广西混杂计算与集成电路设计分析重点实验室(广西民族大学) 南宁530006

针对制造业中生产计划的不确定问题,提出一种维修时点预测与自适应的遗传模拟退火算法相结合的优化调度方法。该方法首先利用差分自回归移动平均模型预测设备未来的故障率,然后借助电气设备的威布尔(Weibull)分布模型逆向求出设备未来... 详细信息

针对制造业中生产计划的不确定问题,提出一种维修时点预测与自适应的遗传模拟退火算法相结合的优化调度方法。该方法首先利用差分自回归移动平均模型预测设备未来的故障率,然后借助电气设备的威布尔(Weibull)分布模型逆向求出设备未来故障发生时刻,最后将此作为约束条件,利用自适应的遗传模拟退火算法解决传统的生产调度问题。结合工厂实际情况,主要分析了设备有无维修的随机调度问题,以最小化最大完工时间为目标,获取每一个任务的调度计划以及每一台设备的维修时点,确定出最佳调度方案。实验表明自适应的遗传模拟退火算法的性能较好。在河北某工厂的生产车间中,设备在运行调度方法后三个月的平均故障率比运行前相对降低了3.46%。

关键词：自回归移动平均模型设备故障率遗传算法模拟退火算法生产调度

来源：评论

学校读者我要写书评

暂无评论

MPSoC核协调可靠性和性能的形式化验证

引用

四川大学学报（工程科学版） 2016年第3期48卷 107-114页

作者：张晖吴尽昭谢盈曹俊月中国科学院成都计算机应用研究所四川成都610041 中国科学院大学北京100049 贵州银行博士后科研工作站贵州贵阳550001 广西民族大学广西混杂计算与集成电路设计分析重点实验室广西南宁530006

为了在早期发现片上多核处理器(MPSoC)设计缺陷,提出一种对核协调进行结构建模和性质刻画的形式化方法。在标记变迁系统中引入多项式函数替代动作表达核协调过程中对数据的改变,加入物理元器件发生故障的概率属性,形成用以描述核协调可... 详细信息

为了在早期发现片上多核处理器(MPSoC)设计缺陷,提出一种对核协调进行结构建模和性质刻画的形式化方法。在标记变迁系统中引入多项式函数替代动作表达核协调过程中对数据的改变,加入物理元器件发生故障的概率属性,形成用以描述核协调可靠性和性能的混杂马尔科夫决策过程模型。采用随机时序逻辑刻画系统性质,通过模型检测工具验证分析,以银行数据脱敏MPSoC为例,分析系统可靠性和时间延迟与能耗等性能指标。这些验证结果对于早期MPSoC设计人员具有较强的指导作用。

关键词：片上多核处理器核协调混杂变迁系统混杂马尔科夫决策过程随机时序逻辑 PRISM模型检测器数据脱敏

来源：评论

学校读者我要写书评

暂无评论

一种基于System C语言的模型检测方法

引用

广西民族大学学报（自然科学版） 2016年第3期22卷 80-85页

作者：吴丽佳于琼靳庆庚广西民族大学广西混杂计算与集成电路设计分析重点实验室广西南宁530006

System C语言在软硬件协同设计过程中被广泛用来建模和仿真.笔者提出了一种验证System C设计的方法,即通过把System C设计映射成为一个具有良好定义语义的UPPAAL时间自动机.System C设计的结构和非正式定义的行为在形成的UPPAAL时间自... 详细信息

System C语言在软硬件协同设计过程中被广泛用来建模和仿真.笔者提出了一种验证System C设计的方法,即通过把System C设计映射成为一个具有良好定义语义的UPPAAL时间自动机.System C设计的结构和非正式定义的行为在形成的UPPAAL时间自动机中得到了完整的保留.产生的UPPAAL模型允许使用UPPAAL模型检查器和其配套工具来进行验证.模型检查器用来验证设计的一些重要属性,比如活性,死锁问题和时间约束属性.通过对两个实例的活性、安全性和时间属性的验证来证明该方法的适用性.

关键词： System C 时间自动机模型检测

来源：评论

学校读者我要写书评

暂无评论

可满足模理论在软硬件划分领域的应用

引用

广西民族大学学报（自然科学版） 2016年第1期22卷 78-82页

作者：毛乐乐胡小勤卢晨广西民族大学广西混杂计算与集成电路设计分析重点实验室广西南宁530006 广西民族大学信息科学与工程学院广西南宁530006

软硬件划分是评价软硬件协同设计优劣,甚至影响设计成败的关键技术之一.文章首次将可满足模理论应用于软硬件划分问题,借助Z3、CVC4与MathSAT5可满足问题解决器求得最优的软硬件划分方案,使得系统的软硬件实现代价最小,经实验验证,针对... 详细信息

软硬件划分是评价软硬件协同设计优劣,甚至影响设计成败的关键技术之一.文章首次将可满足模理论应用于软硬件划分问题,借助Z3、CVC4与MathSAT5可满足问题解决器求得最优的软硬件划分方案,使得系统的软硬件实现代价最小,经实验验证,针对软硬件划分问题,Z3的综合性能要优于另外两种解决器.采用可满足性问题求解方案,不仅克服了传统启发式算法陷入局部最优解的弊端,同时也弥补了规划类算法不适应于大规模划分问题的不足.

关键词：软硬件协同设计软硬件划分可满足模理论可满足模理论求解器

来源：评论

学校读者我要写书评

暂无评论

低秩矩阵在CT图像重建中的应用

引用

广西民族大学学报（自然科学版） 2016年第3期22卷 86-92页

作者：马海英宣士斌向顺灵广西民族大学信息科学与工程学院广西南宁530006 广西民族大学广西混杂计算与集成电路设计分析重建实验室广西南宁530006 广西民族大学中国-东盟研究中心广西南宁530006

CT图像重建是医学影像学的重要研究课题,但由于噪声对医学CT图像的影响比较大,为了在不牺牲图像精度和空间分辨率的情况下,重建出噪声含量最低的图像,就要选择合适的去噪方法对图像进行预处理.针对于此,笔者提出一种新的CT图像重建算法... 详细信息

CT图像重建是医学影像学的重要研究课题,但由于噪声对医学CT图像的影响比较大,为了在不牺牲图像精度和空间分辨率的情况下,重建出噪声含量最低的图像,就要选择合适的去噪方法对图像进行预处理.针对于此,笔者提出一种新的CT图像重建算法,重建过程分成两个步骤:首先用低秩矩阵加权核范数最小化(WNNM)进行图像去噪,再用低秩矩阵分解(LRMD)更新CT图像.实验结果表明,提出的方法具有较强的细节保持能力,低秩矩阵的特性简化计算过程,降低算法复杂度,同时保证了重建图像的去噪效果.

关键词：低秩矩阵核范数 CT图像重建

来源：评论

学校读者我要写书评

暂无评论

引入佳点集和猴群翻过程的人工蜂群算法

引用

模式识别与人工智能 2015年第1期28卷 80-89页

作者：刘香品宣士斌刘峰广西民族大学信息科学与工程学院南宁530006 广西民族大学广西混杂计算与集成电路设计分析重点实验室南宁530006

针对人工蜂群算法存在早熟现象和搜索过程容易陷入局部最优的缺陷,提出一种引入佳点集和猴群翻过程的改进人工蜂群算法.首先利用佳点集方法构造均匀的初始种群,通过保持种群的多样性,在一定程度上避免早熟现象,加快算法的收敛速度.然后... 详细信息

针对人工蜂群算法存在早熟现象和搜索过程容易陷入局部最优的缺陷,提出一种引入佳点集和猴群翻过程的改进人工蜂群算法.首先利用佳点集方法构造均匀的初始种群,通过保持种群的多样性,在一定程度上避免早熟现象,加快算法的收敛速度.然后学习猴群算法的翻过程,在寻优过程中使种群的搜索区域进行转移,从而跳出局部最优,得到全局最优解.在经典测试函数和CEC05测试函数集上的实验结果表明,与标准人工蜂群算法以及其它改进算法相比,算法性能优越,具有很强的鲁棒性和快速收敛的能力,且有效避免陷入局部最优.

关键词：人工蜂群算法猴群算法佳点集翻过程

来源：评论

学校读者我要写书评

暂无评论

基于云自适应粒子群优化粒子滤波的视频目标跟踪

引用

数据采集与处理 2015年第2期30卷 452-463页

作者：刘峰宣士斌刘香品广西民族大学信息科学与工程学院南宁530006 广西混杂计算与集成电路设计分析重点实验室南宁530006

针对视频目标跟踪中遮挡问题处理不佳和快速运动目标易丢失的问题,提出一种云自适应PSO(CAPSO)优化粒子滤波的视频目标跟踪算法。算法利用粒子滤波预测目标区域在视频下一帧图像的位置,结合颜色直方图统计特性,引入CAPSO算法并根据粒子... 详细信息

针对视频目标跟踪中遮挡问题处理不佳和快速运动目标易丢失的问题,提出一种云自适应PSO(CAPSO)优化粒子滤波的视频目标跟踪算法。算法利用粒子滤波预测目标区域在视频下一帧图像的位置,结合颜色直方图统计特性,引入CAPSO算法并根据粒子适应度值将粒子集分成三个子群,分别采用不同的惯性权重生成策略,普通种群的惯性权重由X条件云发生器自适应地调整,利用云模型云滴的随机性和稳定倾向性特点,使惯性权重满足快速寻优能力又具有随机性。通过CAPSO优化,降低了粒子滤波重采样帧数,减少了算法的运算量,同时提高了搜索精度,能较好处理目标遮挡问题。并且CAPSO算法通过采用这三种不同的惯性权重生成策略,可自适应地平衡算法的全局和局部搜索能力来调节粒子的搜索范围,有效地解决了快速运动目标易丢失的问题。仿真实验结果表明,新算法对视频目标跟踪中的遮挡和快速运动目标易丢失的情况具有较好的实时性和准确性。

关键词：目标跟踪粒子滤波云模型粒子群优化

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：