检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

支持AFTER子句的综合算法研究

北京理工大学学报 2005年第2期25卷 116-120页

作者：程利新石峰北京理工大学信息科学技术学院计算机科学工程系北京100081

为了提高综合系统的效率 ,减少对综合系统的人工干预 ,提高其自动化程度 ,对 VHDL 硬件描述语言中的AFTER子句进行研究 .通过对其行为综合语义的定义 ,给出了在 AFTER子句时延约束下的 ASAP和 AL AP算法 ,建立了 AFTER子句时延约束下的... 详细信息

为了提高综合系统的效率 ,减少对综合系统的人工干预 ,提高其自动化程度 ,对 VHDL 硬件描述语言中的AFTER子句进行研究 .通过对其行为综合语义的定义 ,给出了在 AFTER子句时延约束下的 ASAP和 AL AP算法 ,建立了 AFTER子句时延约束下的调度模型 ,并采用整数线性规划法求解调度模型 .实验结果表明 ,在综合过程中考虑 AFTER子句 ,不仅提供了一个有效给出时序约束的手段 ,而且使得设计描述方式更能够符合思维习惯 ,同时扩大了行为描述中可用语法范围。

关键词：高级综合数据路径时序约束

在线全文

学校读者我要写书评

暂无评论

动态选择时钟的资源约束下调度算法

计算机辅助设计与图形学学报 2010年第2期22卷 240-246页

作者：程利新刘云云哈尔滨工程大学计算机科学与技术学院哈尔滨150001 哈尔滨工程大学网络信息中心哈尔滨150001

为拓展数据流综合可搜索解空间,使资源约束下的调度结果更加接近全局最优,提出一种动态选择时钟周期的资源约束下调度算法.在资源约束调度过程中,通过对单周期、多周期和链式操作进行组合来计算备选时钟;在调度过程中选择能够充分利用... 详细信息

为拓展数据流综合可搜索解空间,使资源约束下的调度结果更加接近全局最优,提出一种动态选择时钟周期的资源约束下调度算法.在资源约束调度过程中,通过对单周期、多周期和链式操作进行组合来计算备选时钟;在调度过程中选择能够充分利用元件资源,并可减小数据通道延迟时间的时钟周期,最终完成最佳时钟下的资源约束下调度.该算法将资源约束的影响引入时钟周期的选择,可得到能够真正提高性能的最优时钟;在时钟选择过程中完成资源约束下调度,使调度和时钟选择同时完成,保证调度结果的全局最优性.实验结果表明,采用文中算法得到的时钟周期和调度结果保证了资源约束条件下的数据通道延时最小.

关键词：时钟选择资源约束下调度数据通道延时

在线全文

学校读者我要写书评

暂无评论

行为延时约束下调度算法研究

北京理工大学学报 2005年第8期25卷 692-696页

作者：程利新石峰北京理工大学信息科学技术学院计算机科学工程系北京100081

为了自动综合设计迭代产生的行为时序,提高综合前后设计时序的一致性,对VHDL同步延时语句的高级综合方法进行研究.将延时转化为适当约束,提出相应调度模型及调度算法,采用启发式方法使解空间搜索算法跳出局部最优,该算法可以在多项式时... 详细信息

为了自动综合设计迭代产生的行为时序,提高综合前后设计时序的一致性,对VHDL同步延时语句的高级综合方法进行研究.将延时转化为适当约束,提出相应调度模型及调度算法,采用启发式方法使解空间搜索算法跳出局部最优,该算法可以在多项式时间复杂度下得到近似最优解.实验结果表明,该算法能有效综合同步延时语句,使综合前后设计时序达到较好一致,提供了一种便于给出延时约束的手段,减少了综合过程的人工干预,提高了设计效率.

关键词：高级综合解空间调度算法延时约束

在线全文

学校读者我要写书评

暂无评论

一种引入互斥关系的功能单元分配算法

北京理工大学学报 2005年第10期25卷 885-889页

作者：程利新石峰 Muhammad Kamran 北京理工大学信息科学技术学院计算机科学工程系北京100081

为使条件分支数据通道中功能单元的分配结果得到进一步优化,在数据流图操作相容性分析中引入操作间互斥关系,并构建基于图论的分配模型.使用团划分算法在该模型上进行功能单元分配,同时提出一种针对功能单元分配问题的团划分启发式方法... 详细信息

为使条件分支数据通道中功能单元的分配结果得到进一步优化,在数据流图操作相容性分析中引入操作间互斥关系,并构建基于图论的分配模型.使用团划分算法在该模型上进行功能单元分配,同时提出一种针对功能单元分配问题的团划分启发式方法.不仅提高了团划分算法求解功能单元分配问题的计算结果一致性,而且使算法的收敛速度得以提高.根据实验结果,该算法得到的数据通道中所需功能单元平均减少了41%,同时执行速度加快了50%.

关键词：互斥关系功能单元分配团划分

在线全文

学校读者我要写书评

暂无评论

VHDL编译系统MTC设计与测试方法研究

北京理工大学学报 2005年第12期25卷 1043-1046页

作者：程利新石峰张笑楠北京理工大学信息科学技术学院计算机科学工程系北京100081

采用面向对象技术设计VHDL编译系统M TC,通过对VHDL语法产生式进行分析,将各语法现象以C++类的形式进行抽象分类,给出词法分析和语法分析设计策略,并针对存在于LALR(1)分析过程中的两类冲突提出解决方法.M TC编译过程中通过语法制导进... 详细信息

采用面向对象技术设计VHDL编译系统M TC,通过对VHDL语法产生式进行分析,将各语法现象以C++类的形式进行抽象分类,给出词法分析和语法分析设计策略,并针对存在于LALR(1)分析过程中的两类冲突提出解决方法.M TC编译过程中通过语法制导进行语义分析,并提出用形式化方法表示中间数据结构.配合使用F lex++与B ison++最终得到面向对象VHDL编译系统.同时提出M TC的自动测试方法.在对SPARC芯片M B 86901算法描述编译过程中,M TC的编译效率比现有编译系统提高了57%.

关键词： VHDL 面向对象语法分析测试方法

在线全文

学校读者我要写书评

暂无评论

改进的Q-M逻辑函数化简方法

计算机工程 2011年第20期37卷 30-32页

作者：徐俊平程利新哈尔滨工程大学计算机科学与技术学院哈尔滨150001

为进一步提高逻辑函数的化简速度,提出一种改进的Q-M逻辑函数化简方法。在迭代比较过程中设置2个权值以缩减可合并蕴涵项集合的大小,只对满足条件的蕴涵项进行合并处理,得到全部质蕴涵项。构造质蕴涵项与最小项关联图,利用启发式规则得... 详细信息

为进一步提高逻辑函数的化简速度,提出一种改进的Q-M逻辑函数化简方法。在迭代比较过程中设置2个权值以缩减可合并蕴涵项集合的大小,只对满足条件的蕴涵项进行合并处理,得到全部质蕴涵项。构造质蕴涵项与最小项关联图,利用启发式规则得到能蕴涵全部最小项的最少质蕴涵项集合,从而得到逻辑函数的最小覆盖,完成逻辑函数化简。实验结果表明,该算法能降低迭代次数,减少逻辑函数的化简时间。

关键词：逻辑函数化简 Q-M方法质蕴涵项二分图最小覆盖

在线全文

学校读者我要写书评

暂无评论

基于质因数分解的控制流错误检测方法

哈尔滨工程大学学报 2008年第1期29卷 65-68页

作者：吴艳霞顾国昌王克惠程利新哈尔滨工程大学计算机科学与技术学院黑龙江哈尔滨150001

软件控制流错误检测技术是防止由于单粒子翻转事件而造成程序错误运行的有效手段之一,其方法主要是将编译时计算的签名值同运行时生成的签名值进行比较.因此,体现基本块间依赖关系的签名值的表示方法决定软件控制流错误检测概率的高低.... 详细信息

软件控制流错误检测技术是防止由于单粒子翻转事件而造成程序错误运行的有效手段之一,其方法主要是将编译时计算的签名值同运行时生成的签名值进行比较.因此,体现基本块间依赖关系的签名值的表示方法决定软件控制流错误检测概率的高低.为了在低检测代码开销的情况下提高错误检测概率,结合图论理论提出一种汇编层的控制流检测方法.该方法运用整数可唯一分解为素数乘积的代数基本定理表示基本块间依赖关系的要素,以此作为生成签名值的依据,将其插入以基本块为单位的检测指令中.实验表明,此算法的性能评价指标优于CFCSS等具有代表性的软件控制流检测方法,具有很强的实用价值.

关键词：编译技术控制流检测控制流图

公平和效率兼顾更加注重公平——借鉴分配正义原则,构建和谐社会主义分配模式

在线全文

学校读者我要写书评

暂无评论

工会论坛（山东省工会管理干部学院学报） 2009年第1期15卷 13-14页

作者：程利新山东省委党校山东济南250021

在我国建设社会主义市场经济的实践中,分配不公的问题日益突出地摆在人们面前。这种现实情况要求构建和谐的社会主义分配模式。在构建和谐分配模式的过程中,我们可以借鉴西方的分配正义。在分配正义中,"按劳动和贡献分配的原则"体现了效... 详细信息

在我国建设社会主义市场经济的实践中,分配不公的问题日益突出地摆在人们面前。这种现实情况要求构建和谐的社会主义分配模式。在构建和谐分配模式的过程中,我们可以借鉴西方的分配正义。在分配正义中,"按劳动和贡献分配的原则"体现了效率,"基本经济需求满足原则"和"差别原则"则体现了分配中的公平。结合我国现在的实际,取分配正义之精华,来构建一种和谐的分配模式,既能激活各要素并稳定推动经济增长,又能让更多的人公平分享到经济发展的成果,实现每一个人都全面发展的最终目标。

关键词：分配效率公平分配正义

在线全文

学校读者我要写书评

暂无评论

白驹狮子口会师

白驹狮子口会师