公共文化服务平台

周强: 作品数：281 被引量：813H指数：15; 供职机构：清华大学更多>>; 发文基金：国家自然科学基金国家高技术研究发展计划国家重点基础研究发展计划更多>>; 相关领域：自动化与计算机技术电子电信语言文字矿业工程更多>>

合作作者

一种寄存器传输级的硬件木马测试向量生成方法: 本申请实施例公开了一种寄存器传输级的硬件木马测试向量生成方法，包括：获取每个寄存器传输级RTL代码模块中控制流行为生效条件下数据流行为对应的数据通路，从得到的数据通路中选择至少一个数据通路作为目标数据通路；获取每个目标数...; 周强王浩屹蔡懿慈

关键词抽取方法及装置: 本发明提供一种关键词抽取方法及装置，其中方法包括：获取待抽取文本；对所述待抽取文本进行文本分割，获得字词序列；将所述文本序列输入至抽取模型中，获取所述抽取模型输出的关键词；其中，所述抽取模型是基于文本序列样本以及所述文本...; 周强解小锐蔡懿慈

一种片上供电网络无向量验证方法及验证系统: 本发明公开了一种片上供电网络无向量验证方法及验证系统，验证方法包括：基于片上供电网络的等效电路信息建立系统矩阵方程，获得电导矩阵；基于片上供电网络的电路约束条件建立电流约束矩阵以及由相应的电流上界值所构成的电流约束向量；...; 蔡懿慈赵威周强; 文献传递

Data-Path布图系统的数据管理被引量：1: 2003年; 　Data-Path布图系统需要有效的数据管理作为支撑。该数据管理工作主要包括数据格式转换、数据结构设计和数据接口设计等方面。针对一个实际的Data-Path布图系统,设计了Verilog文件到DEF文件的转换算法,进行了相关数据接口的实现,指出了数据管理的特点与实现方法。; 胡昱经彤洪先龙周强申明; 关键词：数据管理系统级芯片集成电路

一种汉语概念复合块标注库规范化处理方法: 本发明涉及一种汉语概念复合块标注库规范化处理方法，包括：自动调整错误词类标记；自动补充事件句式内部特征标记；时间块和空间块标记一致化处理。本发明提供的汉语概念复合块标注库规范化处理方法，能够针对TCT语料库在机器自动标注...; 吕学强周强苗琳董志安; 文献传递

汉语句子话题链的分析标注研究: 话题链是汉语语篇内容连贯性的一种重要表现形式。本文通过对文学、新闻、学术、应用等各种汉语真实语篇中不同话题链表现形式的深入分析,提出了可操作性强的汉语语篇话题和话题链定义方式,制定了完整的汉语语篇句子话题链的标注规范,据...; 周强周骁聪; 文献传递

交替型暗域相移掩模的并行算法: 2007年; 设计并实现了一种暗域相移掩模(PSM)问题的并行算法。首先根据"分而治之"的原则,将输入版图划分为若干尺寸较小的、易于解决的子版图;然后分配每个子版图给不同的进程,各个进程同时独立地消除子版图的相位冲突;最后将所有的子版图重新组合,生成没有相位冲突的相移掩模版图。实验结果表明,采用4进程的并行PSM算法,可以减少近64.3%的计算时间,获得2.8的加速比。算法还可以有效地减少冲突图中冲突的数目和边的数目。; 闫大顺周强蔡懿慈洪先龙; 关键词：相移掩模

从认知假设到计算分析和程序实现——一种认知语言学研究的计算范式与技术路线被引量：5: 2010年; 本文展示一种认知语言学研究的计算范式与技术路线:首先基于语言使用是一种以知识为基础的认知过程的假设,以计算机模拟人类理解自然语言的意义为技术背景,用情境网络对特定领域的有关语言表达及其意义进行认知建模;再用逻辑表达式刻画关键性的情境要素之间的语义关系,并用语义公理来表示有关逻辑表达式之间的推导关系,从而形成概念层面的知识推理和语义计算的知识单元;然后,为有关语言现象建立词汇句法知识库,从词汇、语义和句法分布等方面对跟有关情境相对应的词汇和句式进行详细的描写,并且在情境网络、词汇—句法知识库和真实文本中的有关描述实例之间建立双向联系;最后,形成完整的词汇语义计算的知识平台,再应用到有关的自然语言处理系统中。文章还通过"领属转移"这个实例,对情境网络和词汇句法知识库的开发过程进行简要的说明;通过"亲属关系的自动推理"这个专家系统的研究和开发过程,对认知模型和情境网络、逻辑表示和语义公理、词汇—语义—句法知识库的建立、乃至算法设计和程序实现的全过程进行例示。; 袁毓林陈振宇张秀松李湘周强高嵩; 关键词：程序实现

SOC中Data-Path布图设计面临的挑战(英文)被引量：2: 2002年; 目前所设计的系统级芯片 (SOC)包含有多个 data- path模块 ,这使得 data- path成为整个 G大规模集成电路 (GSI)设计中最关键的部分 .以往的布图理论及算法在许多方面已不能满足 data- path布图设计的需要 ,这主要是由于传统的布图工具没有考虑 data- path所特有的电路结构特点 . Data- path具有规整的位片结构 ,具有很高的性能指标要求 ,如对于时延、耦合效应和串扰等性能都有严格的要求 .此外 ,data- path中还存在大量成束状结构的 BUS线网 .文中提出了 data- path布图设计所面临的挑战 .从介绍 data- path布图的基本问题入手 ,重点分析了 data- path布图设计中的关键技术 ,并在讨论已有研究工作的基础上针对不同的布图阶段提出了可行的技术路线与设想 .; 经彤洪先龙蔡懿慈许静宇杨长旗张轶谦周强吴为民; 关键词：布图设计系统级芯片超深亚微米工艺 SOC