基于Verilog HDL的有限状态机设计与描述 被引量：28

1

作者 刘小平 何云斌 董怀国 《计算机工程与设计》 CSCD 北大核心 2008年第4期958-960,共3页

有限状态机(FSM)是逻辑设计的重要内容,稍大一点的逻辑设计都存在FSM。介绍了采用Verilog HDL实现有限状态机的几种不同编码方式和描述风格,并从稳定性、可读性、速度和面积等方面比较了不同实现方式的利弊。最后,以简单序列检测器为例... 有限状态机(FSM)是逻辑设计的重要内容,稍大一点的逻辑设计都存在FSM。介绍了采用Verilog HDL实现有限状态机的几种不同编码方式和描述风格,并从稳定性、可读性、速度和面积等方面比较了不同实现方式的利弊。最后,以简单序列检测器为例实现了可综合的FSM描述,并分析了其采用不同描述风格所得的综合结果。 展开更多

关键词 有限状态机 VERILOG硬件描述语言 状态编码 独热码 综合

在线阅读 下载PDF 职称材料

基于遗传和禁忌搜索混合的软硬件划分算法 被引量：10

2

作者 纪颖 李兰英 +1 位作者 石敏 张雷雷 《计算机工程与应用》 CSCD 北大核心 2009年第20期81-83,114,共4页

针对嵌入式系统软硬件划分问题,在比较了遗传算法(GA)和禁忌搜索(TS)各自优缺点的基础上,提出采用遗传/禁忌混合算法(GATS)的策略,用遗传算法提供并行搜索的主框架,用禁忌搜索作为遗传算法的变异算子,遗传算法中变异过程解空间的搜索由... 针对嵌入式系统软硬件划分问题,在比较了遗传算法(GA)和禁忌搜索(TS)各自优缺点的基础上,提出采用遗传/禁忌混合算法(GATS)的策略,用遗传算法提供并行搜索的主框架,用禁忌搜索作为遗传算法的变异算子,遗传算法中变异过程解空间的搜索由禁忌搜索实现。实验结果表明,GATS具有多出发点和记忆功能强、爬山能力强的优势,能够克服GA爬山能力差、TS单点出发的弱点。最后与单纯的遗传算法和禁忌搜索算法进行对比实验,证明GATS更有优势,得到的划分结果也更优秀。 展开更多

关键词 嵌入式系统 软硬件划分 遗传算法 禁忌搜索 变异算子

在线阅读 下载PDF 职称材料

基于关键路径和任务复制的多核调度算法 被引量：9

3

作者 谢志强 韩英杰 +1 位作者 齐永红 杨静 《国防科技大学学报》 EI CAS CSCD 北大核心 2014年第1期172-177,共6页

针对目前大多数多核处理器任务分配优化算法没有考虑关键路径上节点对任务完成时间的重要影响,导致任务完成总时间延迟的问题,提出了基于关键路径和任务复制(CPTD)的单任务调度算法。CPTD算法通过复制任务图中fork节点的方式将任务图转... 针对目前大多数多核处理器任务分配优化算法没有考虑关键路径上节点对任务完成时间的重要影响,导致任务完成总时间延迟的问题,提出了基于关键路径和任务复制(CPTD)的单任务调度算法。CPTD算法通过复制任务图中fork节点的方式将任务图转化为与之相对应的产品加工树;再在生成的产品加工树中找到关键路径,并采取使关键路径上节点的紧前节点尽早调度的方式,使关键路径上节点尽早开始执行,进而使产品加工树中节点完成时间得以提前,达到缩短任务执行总时间的目的。理论分析表明,CPTD算法能够实现应用程序在多核上充分并行处理,并能缩短任务完成时间。 展开更多

关键词 单任务 任务复制 关键路径 产品加工树 多核

在线阅读 下载PDF 职称材料

选择分块SVM电容层析成像改进方法 被引量：3

4

作者 李岩 袁小花 +3 位作者 刘精松 柳培新 郑洁琼 张迪 《计算机工程与应用》 CSCD 2013年第13期110-113,共4页

针对SVM在处理具有样本集规模大的ECT系统数据时,存在ECT图像重建的成像精度不高和速度慢的问题,采用了选择分块支持向量机CSSVM算法。将ECT系统样本数据构成列数固定的样本矩阵,每个样本作为样本矩阵的行,66个电容值和66个敏感度值作... 针对SVM在处理具有样本集规模大的ECT系统数据时,存在ECT图像重建的成像精度不高和速度慢的问题,采用了选择分块支持向量机CSSVM算法。将ECT系统样本数据构成列数固定的样本矩阵,每个样本作为样本矩阵的行,66个电容值和66个敏感度值作为矩阵的列。该算法将大样本矩阵按照某一成像单元进行选择性分块,并形成多个小样本矩阵,再分别采用SVM算法进行训练和预测,将各个成像单元组合成像。数值实验证明,使用CSSVM新算法比单独使用SVM算法重建图像具有更高的分类准确率和更短的成像时间。 展开更多

关键词 支持向量机 选择分块 电容层析成像 数据预处理 图像重建

在线阅读 下载PDF 职称材料

基于调度长路径的复杂产品综合调度算法 被引量：6

5

作者 谢志强 张磊 杨静 《计算机科学》 CSCD 北大核心 2010年第2期150-153,共4页

针对目前复杂产品加工和装配综合调度算法中考虑纵横双向调度优化时以横向为主,而忽略产品工序内在纵向约束对制造效率产生主要影响的问题,提出了以关键路径为主的纵横双向调度优化算法——基于调度长路径的复杂产品调度算法。该算法考... 针对目前复杂产品加工和装配综合调度算法中考虑纵横双向调度优化时以横向为主,而忽略产品工序内在纵向约束对制造效率产生主要影响的问题,提出了以关键路径为主的纵横双向调度优化算法——基于调度长路径的复杂产品调度算法。该算法考虑了复杂产品树状工艺结构,根据优先级策略并结合调度长路径和长用时等策略来确定工序的调度次序。采用优先级策略可以兼顾其他分支上的同层工序;采用调度长路径策略是在兼顾其他分支的同时优先考虑了关键路径上工序对总加工时间的影响;采用长用时策略可以优先调度对加工时间影响大的工序。对已定调度次序的工序采用工序尽早加工的原则确定开始加工时间。实例表明,提出的调度策略简便可行且调度结果更优。 展开更多

关键词 复杂产品调度 关键路径 优先级策略 调度长路径策略 长用时策略

在线阅读 下载PDF 职称材料

自动曲线识别的电池分类系统 被引量：16

6

作者 多智华 李革臣 +1 位作者 张宏 闫汉泽 《电源技术》 CAS CSCD 北大核心 2000年第2期99-102,共4页

介绍了一个建立在向量空间模型上的电池分类系统 ,提出了一个基于模糊决策的快速完成识别电池容量和曲线一致性的计算方法。算法以提取电池充放电特性曲线上的电压、时间作为识别特征 ,并建立了目标隶属函数 ,基于阈值准则 ,完成曲线类... 介绍了一个建立在向量空间模型上的电池分类系统 ,提出了一个基于模糊决策的快速完成识别电池容量和曲线一致性的计算方法。算法以提取电池充放电特性曲线上的电压、时间作为识别特征 ,并建立了目标隶属函数 ,基于阈值准则 ,完成曲线类别归属的决策 ,给出了系统的基本结构和具体实现方法。实验表明了该方法的可行性 ,当测出电池容量时 ,可以快速准确地将放电容量和充放电特性曲线一致的电池分为一类 ,分类的准确率达到 98%以上 ,为制作高性能的电池组提供了一种实用检测技术。 展开更多

关键词 电池分类系统 充放电特性曲线 自动识别 蓄电池

在线阅读 下载PDF 职称材料

分布均匀性的图像置乱衡量方法 被引量：3

7

作者 王远志 张歌凌 +1 位作者 张健 孙立镌 《计算机工程与应用》 CSCD 北大核心 2009年第34期155-158,共4页

尽管越来越多的置乱算法被提出,如Arnoldcat变换、Hilbert变换、幻方变换和基于混沌置乱变换等,但是针对这些置乱算法的衡量方法却很少,现有的方法都是基于某一种置乱变化而提出的,通用性不强。从图像置乱均匀分布的角度出发,定义了理... 尽管越来越多的置乱算法被提出,如Arnoldcat变换、Hilbert变换、幻方变换和基于混沌置乱变换等,但是针对这些置乱算法的衡量方法却很少,现有的方法都是基于某一种置乱变化而提出的,通用性不强。从图像置乱均匀分布的角度出发,定义了理想置乱状态的模型,并根据理想状态的特点提出了一种图像置乱衡量方法,通过比较置乱效果与理想状态的偏离度来评价置乱效果的好坏。对Arnoldcat变换进行了仿真分析,实验结果显示该方法能准确衡量图像的置乱程度,与人类视觉相吻合。并指出对256×256的图像来说,8×8,16×16的分块可以更准确地衡量置乱效果。 展开更多

关键词 图像置乱 分布均匀 衡量 ARNOLD cat变换

在线阅读 下载PDF 职称材料

采用数据流图的故障模型生成算法及其应用 被引量：4

8

作者 王胜文 张凤斌 郑纬民 《哈尔滨工业大学学报》 EI CAS CSCD 北大核心 2009年第1期118-121,共4页

为有效地解决系统级故障注入试验建模困难问题,提出语言级生成数据流图,并以此构造动态故障树的故障模型建立方法.通过对故障过程数据流分析,找出数据依赖关系并构造了故障模型生成算法.与其他方法比较,本算法具有动态性,提高了故障覆盖... 为有效地解决系统级故障注入试验建模困难问题,提出语言级生成数据流图,并以此构造动态故障树的故障模型建立方法.通过对故障过程数据流分析,找出数据依赖关系并构造了故障模型生成算法.与其他方法比较,本算法具有动态性,提高了故障覆盖率,减少了系统开销,使故障注入试验更易实现. 展开更多

关键词 数据流图 故障模型 故障注入 故障覆盖率

在线阅读 下载PDF 职称材料

基于多性能指标的SoC软硬件划分方法研究 被引量：4

9

作者 李兰英 冯宏伟 《计算机工程与应用》 CSCD 北大核心 2008年第2期126-129,共4页

针对存在多种因素影响嵌入式系统综合性能的实际情况,详细分析了影响嵌入式系统性能的各项性能指标,提出了一种基于多性能指标评价的软硬件协同划分思想。利用SoC可重用的特性,将IP核复用及软件架构重用引入到软硬件划分算法当中。通过... 针对存在多种因素影响嵌入式系统综合性能的实际情况,详细分析了影响嵌入式系统性能的各项性能指标,提出了一种基于多性能指标评价的软硬件协同划分思想。利用SoC可重用的特性,将IP核复用及软件架构重用引入到软硬件划分算法当中。通过功能模块层的抽象,将复杂的嵌入式系统构成映射到数学上的DAG(Direct Acyclic Graph)之上。提出了性能指标优先级的概念,并通过在算法中加入对给定的参数数据预先处理及引入运筹学中分支定界的思想,优化了算法的求解,加快了算法的收敛速度,较之单纯的整个空间的条件遍历更优。 展开更多

关键词 多性能指标评价 SoC系统设计 软硬件划分 算法优化 IP核复用 性能指标优先

在线阅读 下载PDF 职称材料

局部语义与上下文关系的中文短文本分类算法 被引量：7

10

作者 黄金杰 蔺江全 +2 位作者 何勇军 何瑾洁 王雅君 《计算机工程与应用》 CSCD 北大核心 2021年第6期94-100,共7页

短文本通常是由几个到几十个词组成,长度短、特征稀疏,导致短文本分类的准确率难以提升。为了解决此问题,提出了一种基于局部语义特征与上下文关系融合的中文短文本分类算法,称为Bi-LSTM_CNN_AT,该算法利用CNN提取文本的局部语义特征,利... 短文本通常是由几个到几十个词组成,长度短、特征稀疏,导致短文本分类的准确率难以提升。为了解决此问题,提出了一种基于局部语义特征与上下文关系融合的中文短文本分类算法,称为Bi-LSTM_CNN_AT,该算法利用CNN提取文本的局部语义特征,利用Bi-LSTM提取文本的上下文语义特征,并结合注意力机制,使得Bi-LSTM_CNN_AT模型能从众多的特征中提取出和当前任务最相关的特征,更好地进行文本分类。实验结果表明,Bi-LSTM_CNN_AT模型在NLP&CC2017的新闻标题分类数据集18个类别中的分类准确率为81.31%,比单通道的CNN模型提高2.02%,比单通道的Bi-LSTM模型提高1.77%。 展开更多

关键词 短文本分类 卷积神经网络 双向长短时记忆网络 注意力机制

在线阅读 下载PDF 职称材料

求解车间作业调度问题的混合遗传算法 被引量：5

11

作者 刘胜辉 王丽红 《计算机工程与应用》 CSCD 北大核心 2008年第29期73-75,共3页

针对Job-Shop调度问题,将自适应遗传算法与改进的蚂蚁算法融合,提出了自适应遗传算法与蚂蚁算法混合的一种优化算法。首先利用自适应遗传算法产生初始信息素的分布,再运行改进的蚂蚁算法进行求解。该算法既发挥了自适应遗传算法和蚂蚁... 针对Job-Shop调度问题,将自适应遗传算法与改进的蚂蚁算法融合,提出了自适应遗传算法与蚂蚁算法混合的一种优化算法。首先利用自适应遗传算法产生初始信息素的分布,再运行改进的蚂蚁算法进行求解。该算法既发挥了自适应遗传算法和蚂蚁算法在寻优中的优势,又克服了各自的不足。实验结果表明,该算法在性能上明显优于遗传算法和蚂蚁算法,并且问题规模越大,优势越明显。 展开更多

关键词 遗传算法 蚂蚁算法 车间作业(job-shop) 动态融合

在线阅读 下载PDF 职称材料

一种可生存系统的自主管理模型 被引量：1

12

作者 苏岩 赵国生 +2 位作者 王健 张楠 李琳 《计算机科学》 CSCD 北大核心 2014年第4期65-69,共5页

提出了一种基于生存检测参数的可生存系统自主管理模型。自主管理机制通过自主检测和控制单元来实现。首先,定义了若干生存检测参数,依据累计分布函数确定了动态可变的阈值约束;然后,基于生存参数的参考基点,给出了服务连接综合评判的... 提出了一种基于生存检测参数的可生存系统自主管理模型。自主管理机制通过自主检测和控制单元来实现。首先,定义了若干生存检测参数,依据累计分布函数确定了动态可变的阈值约束;然后,基于生存参数的参考基点,给出了服务连接综合评判的计算方法,并通过控制单元来实现可生存系统的自主管理;最后,通过仿真实验说明文中所提方法提高了可生存系统的服务承载能力,增强了系统的可生存能力。 展开更多

关键词 可生存性 自主管理 控制单元 累计分布函数 检测参数

在线阅读 下载PDF 职称材料

移动自组网中基于位置信息的路径优化路由算法 被引量：1

13

作者 钱钊 刘宏伟 +1 位作者 左德承 杨孝宗 《哈尔滨工程大学学报》 EI CAS CSCD 北大核心 2013年第3期345-349,共5页

针对移动自组织网络中基于位置信息的路由算法在空洞存在时仅能生成非优化路径的问题,提出了利用空洞广播来构造优化路径的算法.在利用空洞检测技术收集网络中空洞的边界节点集信息后,将空洞信息进行广播.为减小网络开销,仅将边界节点... 针对移动自组织网络中基于位置信息的路由算法在空洞存在时仅能生成非优化路径的问题,提出了利用空洞广播来构造优化路径的算法.在利用空洞检测技术收集网络中空洞的边界节点集信息后,将空洞信息进行广播.为减小网络开销,仅将边界节点集的凸包进行广播,并将广播限制在计算出的广播域内.当传输数据包到达广播区域内后,节点匹配目标位置与空洞边界节点集凸包的关系,并以此构造出通过空洞的优化路径.仿真结果表明该算法在存在空洞网络中通过构造优化路径,相对于GOAFR+算法最多降低25ms的传输时延.最后,对该算法在实际应用中的适用条件进行了分析.该算法适用于网络拓扑变化率较低,数据传输率较高的网络. 展开更多

关键词 移动自组网 路由算法 路径优化 空洞

在线阅读 下载PDF 职称材料

流程企业生产计划的模糊数学模型 被引量：1

14

作者 乔佩利 高峻 金恩海 《电机与控制学报》 EI CSCD 北大核心 2006年第2期222-224,228,共4页

为了建立更具有实用性和灵活性的流程企业生产计划,在研究了不确定环境下的流程企业生产计划基础上,给出了多目标模糊相关机会规划模型和模糊相关机会目标规划模型,目标函数分别为生产效益、物料消耗、能量消耗和设备利用率。利用模糊... 为了建立更具有实用性和灵活性的流程企业生产计划,在研究了不确定环境下的流程企业生产计划基础上,给出了多目标模糊相关机会规划模型和模糊相关机会目标规划模型,目标函数分别为生产效益、物料消耗、能量消耗和设备利用率。利用模糊技术、神经元网络和遗传算法构造了模型的解法,使多个目标函数在不确定环境下得到权衡优化。 展开更多

关键词 流程企业 生产计划 多目标 模糊模型

在线阅读 下载PDF 职称材料

基于特征依赖图的语义特征造型建模的研究 被引量：1

15

作者 王远志 钱萌 孙立镌 《系统仿真学报》 CAS CSCD 北大核心 2006年第z1期271-274,共4页

针对传统的基于历程的特征造型中设计意图和设计结果容易前后不一致问题,采取基于完全双向语义约束的变量化特征造型,并提出用特征依赖图的数据模型来保存和维护设计中的各种特征信息及其之间的关系。它的形成是基于特征间的各种依赖关... 针对传统的基于历程的特征造型中设计意图和设计结果容易前后不一致问题,采取基于完全双向语义约束的变量化特征造型,并提出用特征依赖图的数据模型来保存和维护设计中的各种特征信息及其之间的关系。它的形成是基于特征间的各种依赖关系而不是基于特征创建的先后顺序,并且根据依赖关系完成特征实体和约束的添加,编辑,删除等操作。使得特征信息随时根据相关特征信息协调变化,特征语义能够始终保持一致。最后展示了一个实例。 展开更多

关键词 语义特征 特征造型 特征依赖图 约束

在线阅读 下载PDF 职称材料

基于自由度分析的三维模型几何约束求解 被引量：1

16

作者 王远志 孙立镌 《工程图学学报》 CSCD 北大核心 2007年第3期108-112,共5页

针对三维几何约束模型的求解问题,在充分研究了二维几何约束模型自由度分析技术的基础上,采用几何推理的方法,给出了一种三维模型几何约束求解的自由度分析算法,该算法可归纳为活动分析和场所分析两个过程。算法为三维几何约束模型提供... 针对三维几何约束模型的求解问题,在充分研究了二维几何约束模型自由度分析技术的基础上,采用几何推理的方法,给出了一种三维模型几何约束求解的自由度分析算法,该算法可归纳为活动分析和场所分析两个过程。算法为三维几何约束模型提供了一种求解方案,解决了过约束和欠约束状态时的约束求解问题,并展示了一个实例。 展开更多

关键词 计算机应用 约束求解 自由度分析 过约束模型 欠约束模型

在线阅读 下载PDF 职称材料

抗差分检测的高位空域隐藏方法

17

作者 王远志 程慧芳 +1 位作者 张健 孙立镌 《计算机工程与设计》 CSCD 北大核心 2009年第23期5447-5450,共4页

针对HSBH的特点对其进行分析,提出一种区间差分检测的方法(DMID),可以准确检测其隐藏量,进而提出了改进的HSBH算法,使其可以抗击DMID的检测。实验结果表明,DMID方法可以测量出HSBH算法隐藏量,检测准确率达到95%以上,改进的HSBH算法使DMI... 针对HSBH的特点对其进行分析,提出一种区间差分检测的方法(DMID),可以准确检测其隐藏量,进而提出了改进的HSBH算法,使其可以抗击DMID的检测。实验结果表明,DMID方法可以测量出HSBH算法隐藏量,检测准确率达到95%以上,改进的HSBH算法使DMID分析得出的估计值低于判决门限2%,从而做出错误判决,可以很好地抗击区间差分检测。 展开更多

关键词 信息隐藏 HSBH算法 差分检测 DMID算法 高位空域

在线阅读 下载PDF 职称材料

基于级联深度的主动实时乐观并发控制协议

18

作者 韩启龙 潘海为 郝忠孝 《计算机工程与应用》 CSCD 北大核心 2007年第30期167-170,共4页

主动实时数据库因结合了时间限制与主动机制而使系统事务的并发控制变得更为复杂。主动规则的引入使事务触发新的事务且在执行上具有多种耦合方式,传统的实时并发控制策略无法对具有复杂执行模式的事务进行有效调度,而基于主动数据库的... 主动实时数据库因结合了时间限制与主动机制而使系统事务的并发控制变得更为复杂。主动规则的引入使事务触发新的事务且在执行上具有多种耦合方式,传统的实时并发控制策略无法对具有复杂执行模式的事务进行有效调度,而基于主动数据库的并发控制机制也没有考虑事务的实时性问题。通过对事务不同耦合方式的实时要求及事务间冲突关系进行分析,提出了新的主动实时数据库乐观并发控制方法,对不同事务级联深度进行评估,结合事务执行的时间信息对冲突事务进行动态调整串行化顺序。理论分析与实验证明,能在保证事务可串行性的同时降低了不必要事务重启个数,更好地满足系统的实时性。 展开更多

关键词 主动实时数据库 级联深度 规则事务图 并发控制

在线阅读 下载PDF 职称材料

以网络为中心的语义特征造型协同设计

19

作者 王远志 王少威 孙立镌 《计算机工程》 CAS CSCD 北大核心 2007年第13期277-279,共3页

在网络化同步协同设计环境中,如何实现用户系统之间的实时数据交换、维护特征语义的一致性,成为语义特征造型协同设计的关键问题。该文介绍了基于细胞元表示的语义特征模型,根据该造型技术的分层体系结构,基于对协同环境下特征操作的分... 在网络化同步协同设计环境中,如何实现用户系统之间的实时数据交换、维护特征语义的一致性,成为语义特征造型协同设计的关键问题。该文介绍了基于细胞元表示的语义特征模型,根据该造型技术的分层体系结构,基于对协同环境下特征操作的分析,采取了传输造型操作命令的策略,为解决特征语义一致性问题,提出了一种用操作特征管理器调度操作执行的方法,并给出了一个实例。 展开更多

关键词 细胞元 语义特征造型 特征依赖图

在线阅读 下载PDF 职称材料

特征造型中拓扑元素和约束关系管理体系

20

作者 孙立镌 张春祥 胡立坤 《工程图学学报》 CSCD 2002年第3期7-16,共10页

在特征造型过程中,随着造型体数目的增加,设计模型将变得越来越复杂。为了能够正确地维护设计者的设计意图,提出了一种新的拓扑元素与约束关系管理体系。并给出了在此种管理体系下,特征拓扑元素编码和约束关系维护方法。将这种方法应用... 在特征造型过程中,随着造型体数目的增加,设计模型将变得越来越复杂。为了能够正确地维护设计者的设计意图,提出了一种新的拓扑元素与约束关系管理体系。并给出了在此种管理体系下,特征拓扑元素编码和约束关系维护方法。将这种方法应用于造型过程中,必将使系统的设计效率有大幅度的提高。 展开更多

关键词 特征造型 拓扑元素编码 约束关系 设计效率

在线阅读 下载PDF 职称材料