国家自然科学基金(60673034)
- 作品数:3 被引量:5H指数:2
- 相关作者:吴为民姜升霍翔付宇李春贵更多>>
- 相关机构:北京交通大学广西科技大学更多>>
- 发文基金:国家自然科学基金更多>>
- 相关领域:自动化与计算机技术电子电信更多>>
- 基于局部与全局信息的自动文摘算法
- 2007年
- 采用平均特征词频率策略计算特征词权重,用快速n-grims算法对各特征词所处的概念体进行加权,用一种改进的K-means聚类算法进行段落聚类,提出一种基于局部与全局信息的自动文摘算法并给出算法评估。该算法不仅能够自适应获得k值,而且有效防止了初始点的随机选择对聚类结果的影响。评测结果表明该算法对经济类和科技类文章的准确率和召回率都明显高于新闻类和文学类文章,利用机器文摘进行分类的准确率明显高于使用原文本进行分类。该算法所得到的文摘,在各项指标上都优于传统方法生成的文摘。
- 王萌王晓荣李春贵唐培和
- 关键词:K-MEANS自然语言理解
- 基于二元CSP的RTL数据通路可满足性求解方法
- 基于可满足性(SAT)的模型检验技术已逐渐成为主流的形式验证技术。在RTL,SAT问题的复杂性表现在位(bit)和字(word)数据类型并存和多样化的约束关系。其中,对数据通路的约束求解尤为关键。本文提出采用二元CSP来...
- 吴为民
- 文献传递
- 基于SAT的组合电路自动测试向量生成被引量:3
- 2011年
- 实现了基于可满足性(SAT)求解的方法,以解决固定型和时延故障的自动测试向量生成问题。详细讨论了如何利用电路的拓扑结构以及从ATPG到合取范式(CNF)的编码方法。CNF被输入到一个高效的SAT求解器zchaff中求解。在ISCAS85测试实例中验证了该算法的有效性。
- 付宇吴为民姜升霍翔
- 关键词:可满足性故障字典
- 采用二元CSP引擎求解RTL数据通路的可满足性被引量:2
- 2009年
- 针对寄存器传输级(RTL)验证和测试过程中非常重要的数据通路可满足性求解问题,提出一种基于二元约束满足问题(CSP)的求解方法,包括数据通路提取、二元CSP建模和搜索求解3个步骤.数据通路提取通过对接口布尔变量和某些字变量赋值,为各个数据通路器件建立环境;二元CSP建模则根据该环境和各个数据通路器件的功能,将数据通路的可满足性问题转化为二元CSP描述;该二元CSP问题的描述被送入到二元CSP引擎,并采用冲突引导的回跳搜索策略进行求解,获得有解的例证或无解的判定.实验结果表明,即使在没有采取很多优化策略的条件下,该方法仍有较好的性能,并优于基于线性规划(LP)的求解方法.
- 吴为民
- 关键词:寄存器传输级数据通路可满足性约束满足问题
- 基于局部与全局信息的自动文摘算法
- 采用平均特征词频率策略计算特征词权重,用快速 n-grims 算法对各特征词所处的概念体进行加权,用一种改进的 K-means 聚类算法进行段落聚类,提出一种基于局部与全局信息的自动文摘算法并给出算法评估。该算法不仅能够...
- 王萌王晓荣李春贵唐培和
- 关键词:K-MEANS自然语言理解
- 文献传递