周强
- 作品数:282 被引量:823H指数:15
- 供职机构:清华大学更多>>
- 发文基金:国家自然科学基金国家高技术研究发展计划国家重点基础研究发展计划更多>>
- 相关领域:自动化与计算机技术电子电信语言文字矿业工程更多>>
- 基于剧本的字幕场景和说话人信息自动标注方法和系统
- 本发明实施例提供了一种基于剧本的字幕场景和说话人信息自动标注方法和系统,方法包括:解析原始剧本,获取所述原始剧本中的所有对话内容,并将每个对话内容作为一篇文档录入搜索引擎;对于原始剧本对应的每个字幕行,在所述搜索引擎中查...
- 周强张镭镧
- 文献传递
- 模拟电路的多层精确匹配布线方法
- 本发明公开了一种模拟电路的多层精确匹配布线方法,包括:步骤10,读入待布线网组中每个线网的线网信息、布线区域内障碍信息和布线工艺参数信息;步骤20,根据待布线网组的每个线网信息中的起始点和终止点信息计算所有可能拐点的位置...
- 姚海龙蔡懿慈周强高强
- 文献传递
- 构建大规模的汉语事件知识库被引量:2
- 2012年
- 该文提出了一种静态知识库和动态标注库相结合的汉语事件知识库构建方法。在统一的设计框架下,将相关事件知识拆分成五个相对独立的知识子库,并通过各子库之间的内在联系使之互相参照互为补充。经过有效拆分和信息联动,增强信息的丰富性和可靠性,同时细化工作的粒度,具有较好的可操作性。以此为基础,开发完成一个汉语"存在拥有类"事件知识库,其中静态知识库覆盖72个情境和1 548个词语义项,动态标注库包含598个事件目标动词的10万句标注结果,取得了较好的实验效果。
- 周强王俊俊陈丽欧
- 一种碳纳米管掺杂改性钨及其爆炸固结制备方法
- 本发明属于能源材料领域,涉及一种碳纳米管掺杂改性钨及其爆炸固结制备方法。其特征是以碳纳米管与钨粉为原料,先将分散在有机溶剂N-甲基吡咯烷酮的碳纳米管和超细钨粉混合,然后在碳纳米管/钨复合粉末的酒精悬浊液进行超声震荡分散,...
- 王树明周强郭文浩孙丛笑燕青芝沈卫平葛昌纯
- 文献传递
- 基于整数规划的层次式FPGA布线算法被引量:4
- 2010年
- 为了避免由于布线线序处理不当而导致无法布通的问题,提出一种基于整数规划的层次式FPGA布线算法.该算法使用一种全局优化处理的方式对布线问题进行求解,通过分析层次式FPGA的结构特点和整数规划的算法特点,导出了FPGA布线算法问题与整数规划之间的关系;然后具体描述了如何将FPGA布线问题转化成二进制整数规划问题及其相应的求解过程,其中利用层次式FPGA的结构特点对得到的整数规划问题进行简化.与可满足性布线算法进行实验比较的结果表明,文中算法具有求解速度更快、求解规模更大以及求解质量更高等方面的优势.
- 朱利民边计年周强蔡懿慈
- 关键词:层次式FPGA布线算法整数规划
- CDCLSAT求解器的重启策略分析被引量:3
- 2018年
- CDCL SAT求解器在形式验证等领域应用广泛,但重启策略众多且参数控制复杂,导致通常选择默认参数下的策略,从而降低求解器的效率和易用性.为了提高CDCL SAT求解器的实用性,通过实验分析重启序列、重启间隔、间隔增长系数等因素对实例求解效率的影响,以及求解初期的决策变量数等行为特征数据集与重启策略集之间的关系.实验结果表明,通过改变重启策略可以提高求解效率,所得到的最优解比缺省解的效率可提高6 959%,平均提高411%;重启策略在求解过程中表现出较大的个体差异性和一定的群体差异性;相比重启频率,重启序列对求解效率影响更大.进一步用7种重启策略集合覆盖97%案列的最优重启策略,通过求解初期的特征值变化频率与相应的重启策略关联,为后期选择最优重启策略提供技术支持.
- 程睿周彩兰徐宁周强
- 关键词:SAT算法
- 可配置低位数字双向函数
- 2018年
- 针对原始数字双向函数方法在处理低位数据时安全性较差的问题,提出一种可配置低位数字双向函数方法.首先增加地址信息作为层级间的混淆数据,提高了方法的安全性;然后增加反转模式,以保证混淆数据的变化性;新增加的2项改进均可由使用者进行自定义配置,进一步提升了安全性;最后利用该方法构建安全RISC-V处理器框架,并在基于Virtex 7内核的FPGA上模拟实现.测试结果表明,文中方法在处理低位数据时安全性指标均有所提高,其中,在13项随机性测试中有11项优于原始方法,雪崩测试、输入-输出相关性和输出-输出相关性均提高10%左右.
- 郭世一周强周强
- 关键词:硬件安全
- 一种片上供电网络仿真中电导矩阵构造方法及系统
- 本发明公开了一种片上供电网络仿真中电导矩阵构造方法及系统。该电导矩阵构造方法包括步骤1,将属于电源网上的结点散列到电源网散列表HASH<Sub>vdd</Sub>中,将属于地网上的结点散列到地网散列表HASH<Sub>g...
- 周强蔡懿慈李佐渭杨建磊
- 汉语谓词组合范畴语法词库的自动构建研究被引量:4
- 2016年
- 谓词词库是深层语法模型分析和理解的核心资源。近年来的常规方法是人工构建或从标注语料库中自动获取,标注规模和信息容量的扩大受制于巨大的人工投入量和标注库体系设计。该文提出了一种多资源融合自动构建汉语谓词组合范畴语法(CCG)词库的新方法。从知网、北大语法信息词典和大规模事件句式实例中提取汉语谓词的不同句法语义分布特征,融合形成CCG原型范畴表示,将它们指派给各资源信息完全重合的谓词形成核心词库。然后通过自动分类和隶属度分析相结合方法对其他谓词的CCG范畴进行预测,并对两者结果进行融合得到扩展词库,最终合并形成包含约15,000个词条的汉语谓词CCG词库。通过在随机均匀抽样的1000个谓词上通过多人独立标注形成的标准测试库上进行不同角度的性能分析实验,表明该词库的预期准确率达到了96.3%。
- 周强
- Lotus Notes/Domino对RDBMS的访问技术被引量:1
- 1999年
- 本文在分析Notes文档数据库和关系数据库各自特点基础上,阐述了Notes访问关系数据库的必要性。本文给出了多种Notes访问RDBMS的主要技术,重点介绍了如何通过LotusScriptDataObject访问RDBMS,并以一个Access数据库为例,实现了Notes对它的查询、写入。
- 陈晓东闫大顺周强
- 关键词:NOTESODBC群件