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

内蒙古大学学报（自然科学版） 2017年第6期48卷 703-710页

作者：冯广博何安平吴尽昭冯志华广西民族大学广西混杂计算与集成电路设计分析重点实验室南宁530000 兰州大学信息科学与工程学院兰州730000 北京计算机技术及应用研究所北京100000

随着信息化社会的深入发展,数字集成电路技术运用得越来越广泛.乘法器是数字电路系统最重要的算术运算单元之一,影响了整个电路系统的工作效率.实际设计通常采用Booth结构作为数字乘法器实现框架,决定此类乘法器运算效率的最为关键的两... 详细信息

随着信息化社会的深入发展,数字集成电路技术运用得越来越广泛.乘法器是数字电路系统最重要的算术运算单元之一,影响了整个电路系统的工作效率.实际设计通常采用Booth结构作为数字乘法器实现框架,决定此类乘法器运算效率的最为关键的两个方面是:部分积产生和部分积合并.提出了一种从结构上采用独立路由寻址的机制来实现部分积的产生,设计方法上采用异步微流水线,控制机制上采取数据通路的方法,来设计基于异步NoC(Network On Chip)机制的Booth乘法器设计.最后,通过FPGA开发板进行了仿真和实现,并与传统的Booth乘法器性能做了对比分析.

关键词：片上路由异步微流水线 Booth算法乘法器

来源：评论

学校读者我要写书评

暂无评论

基于分割法的混杂近似自动机研究

引用

广西民族大学学报（自然科学版） 2017年第1期23卷 51-54页

作者：苏立娟丁宁广西民族大学广西混杂计算与集成电路设计分析重点实验室广西南宁530006 广西民族大学理学院广西南宁530006

混杂系统是连续变量过程和离散事件过程并存且相互交换信息的动态形式化系统.混杂系统的可达性问题是混杂系统研究的热点和难点.文章所有论述均围绕着混杂系统的近似分析这个主题而展开:以可达集的求解为重点,引入混杂系统的多面体描述... 详细信息

混杂系统是连续变量过程和离散事件过程并存且相互交换信息的动态形式化系统.混杂系统的可达性问题是混杂系统研究的热点和难点.文章所有论述均围绕着混杂系统的近似分析这个主题而展开:以可达集的求解为重点,引入混杂系统的多面体描述,采用分割法来近似求解多面体的体积,进而正确有效地获取混杂系统的近似可达集.

关键词：混杂系统近似分析可达集多面体分割法

来源：评论

学校读者我要写书评

暂无评论

基于硬件模拟的SAT求解框架

引用

微电子学与计算机 2016年第9期33卷 124-127页

作者：何安平毛乐乐谌知学吴尽昭广西民族大学混杂计算与集成电路设计分析重点实验室广西南宁530006

使用硬件方法求解SAT问题,采用现场可编程门阵列(FPGA)技术,针对大规模实际系统的CNF公式实例,定制化编译和转换为FPGA芯片,并完全依据FPGA硬件完成SAT满足性求解过程.

关键词：布尔可满足现场可编程门阵列合取范式

来源：评论

学校读者我要写书评

暂无评论

四元数体上统一代数Lyapunov方程的循环解及最佳逼近

引用

西南师范大学学报（自然科学版） 2016年第4期41卷 1-5页

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

运用四元数矩阵的复表示运算和矩阵的Kronecker积,并结合循环矩阵的特殊结构,获得了四元数体上统一代数Lyapunov方程具有循环解的充要条件及其解的一般表达式.在循环解集中得到预先给定的四元数循环矩阵有极小Frobenius范数的最佳逼近解.

关键词：四元数体统一代数Lyapunov方程循环矩阵最佳逼近

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

模拟与混合信号电路的形式化验证

引用

计算机工程 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算法在函数优化方面有较强的优势,其测试函数最优解更接近理论最优解。

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

一种基于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 时间自动机模型检测

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：