检索结果-南通市图书馆

计算机辅助设计与图形学学报 2001年第9期13卷 851-854页

作者：吕宗伟林争辉张镭上海交通大学大规模集成电路研究所上海200030

DAG- MAP是一个面向延迟优化的 FPGA工艺映射算法 ,其中的标记过程是该算法的核心 .文中对原算法中的标记过程进行了研究 ,提出了一个改进的标记方法 .对 MCNC标准测试电路所做实验的结果表明 ,该算法比原算法更为有效。

关键词：逻辑综合 FPGA 工艺映射 VLSI 可编程逻辑块延迟优化算法

在线全文

学校读者我要写书评

暂无评论

基于SBDD图的布尔匹配

计算机辅助设计与图形学学报 2001年第7期13卷 582-585页

作者：张镭吕宗伟林争辉上海交通大学大规模集成电路研究所上海200030

在逻辑验证和综合中 ,布尔匹配利用有序二叉判定图 OBDD来检验两个给定的逻辑函数是否相等 .为了提高匹配算法的效率 ,文中用最小项数作为标签标定变量 (变量组 ) .对比两函数中变量 (变量组 )的“标签”,可以删除不可能的排序 ,从而加... 详细信息

在逻辑验证和综合中 ,布尔匹配利用有序二叉判定图 OBDD来检验两个给定的逻辑函数是否相等 .为了提高匹配算法的效率 ,文中用最小项数作为标签标定变量 (变量组 ) .对比两函数中变量 (变量组 )的“标签”,可以删除不可能的排序 ,从而加快匹配过程 .在提取变量标签时 ,提出简约二分决策图—— SBDD,并利用其节点少的特性进一步提高“标签”提取算法的效率 .实验结果表明本算法执行速度快。

关键词： OBDD SBDD图布尔匹配数字系统有序二叉判定图

在线全文

学校读者我要写书评

暂无评论

加速布尔匹配算法的研究

上海交通大学学报 2002年第3期36卷 319-322页

作者：张镭林争辉吕宗伟上海交通大学大规模集成电路研究所上海200030

逻辑验证和综合中 ,布尔匹配利用有序二叉判定图 (Ordered Binary Decision Diagram,OBDD)检验两个给定的逻辑函数是否相等 .直接枚举每个函数中输入变量的各种排列顺序 ,并根据这些顺序进行匹配 ,算法时间复杂度为 O(n!2 n2 ) ,n为变量... 详细信息

逻辑验证和综合中 ,布尔匹配利用有序二叉判定图 (Ordered Binary Decision Diagram,OBDD)检验两个给定的逻辑函数是否相等 .直接枚举每个函数中输入变量的各种排列顺序 ,并根据这些顺序进行匹配 ,算法时间复杂度为 O(n!2 n2 ) ,n为变量数 .为了提高匹配算法的效率 ,文中用最小项数目作为标签标定变量 (变量组 ) .对比两函数中变量 (变量组 )的标签 ,可删除不可能的排序 ,加快匹配过程 .在此基础之上 ,利用重构将待匹配变量压缩在 OBDD图的底部 .利用这部分结构可以进一步区分变量 .实验结果表明 ,该算法不仅变量区分能力要好于其他算法 ,且执行速度快。

关键词：布尔匹配算法大规模集成电路变量标签最小项有序二叉判定树

在线全文

学校读者我要写书评

暂无评论

组合逻辑电路时序安全可替换性

上海交通大学学报 2001年第9期35卷 1271-1274页

作者：吕宗伟林争辉张镭上海交通大学大规模集成电路研究所上海200030

讨论了组合逻辑电路的时序安全可替换性问题 ,即如何判断一个组合逻辑电路可以替换另一个组合逻辑电路而电路的速度不会降低 .提出了一种新的判断时序安全可替换性的方法 .该方法通过计算组合逻辑电路的延迟特征函数的蕴涵关系来判断时... 详细信息

讨论了组合逻辑电路的时序安全可替换性问题 ,即如何判断一个组合逻辑电路可以替换另一个组合逻辑电路而电路的速度不会降低 .提出了一种新的判断时序安全可替换性的方法 .该方法通过计算组合逻辑电路的延迟特征函数的蕴涵关系来判断时序安全可替换性 ,避免了直接计算电路的精确延迟特征 ,从而提高了算法的效率。

关键词：组合逻辑电路逻辑综合时序分析时序安全可替换性 Kukimoto算法

在线全文

学校读者我要写书评

暂无评论

基于二分图完美匹配的布尔匹配算法

计算机辅助设计与图形学学报 2001年第11期13卷 961-965页

作者：吕宗伟林争辉张镭上海交通大学大规模集成电路研究所上海200030

提出了一种改进的基于二分图完美匹配的布尔匹配算法 .该算法通过把布尔变量之间的匹配问题转换为二分图的完美匹配问题 ,避免了原算法中因乘积项过多而导致计算时间过长的缺点 .对 MCNC标准测试电路的实验结果表明 :与原算法相比 ,改... 详细信息

提出了一种改进的基于二分图完美匹配的布尔匹配算法 .该算法通过把布尔变量之间的匹配问题转换为二分图的完美匹配问题 ,避免了原算法中因乘积项过多而导致计算时间过长的缺点 .对 MCNC标准测试电路的实验结果表明 :与原算法相比 ,改进后的算法可以减少 2 1%左右的计算时间 .同时 ,文中提出了布尔变量强匹配的概念 ,它是对传统布尔匹配概念的引申 .

关键词：逻辑综合工艺映射图论布尔匹配算法二分图集成电路电路设计

在线全文

学校读者我要写书评

暂无评论

自重构机器人重构运动规划策略研究

华中科技大学学报（自然科学版） 2011年第4期39卷 10-14页

作者：任宗伟庞明朱延河哈尔滨商业大学管理学院黑龙江哈尔滨150001 哈尔滨商业大学轻工学院黑龙江哈尔滨150028 哈尔滨工业大学机器人研究所黑龙江哈尔滨150001

通过自重构机器人模块间的连接、断开和运动顺序规划,由风车形晶胞群组成的机器人构形具备通过重构实现质心变化的功能.此种运动方式与特定构形的整体协调运动存在本质区别,为了实现质心的改变,当设计运动规划策略时需要综合考虑机器人... 详细信息

通过自重构机器人模块间的连接、断开和运动顺序规划,由风车形晶胞群组成的机器人构形具备通过重构实现质心变化的功能.此种运动方式与特定构形的整体协调运动存在本质区别,为了实现质心的改变,当设计运动规划策略时需要综合考虑机器人的运动路径及模块间的连接、断开和运动顺序.针对运动平面内存在障碍物这一情况,采用启发快速扩展随机树搜索方法对由风车形晶胞群组成的机器人构形的运动路径进行了规划.机器人的每一步运动利用内置的固定运动序列库实现.实验证明了启发快速扩展随机树搜索方法的高效性及可行性.

关键词：自重构机器人风车形晶胞群重构运动运动规划启发快速扩展随机树

在线全文

学校读者我要写书评

暂无评论

一种轻量级RFID安全协议的改进(英文)

电子科技大学学报 2007年第6期36卷 1172-1178,1186页

作者：骆宗伟周世杰 LI Jenny 香港大学电子商务研究所电子科技大学计算机学院成都610054 IBM公司系统与技术部

针对相关文献提出的基于异或和哈希算法的轻量级射频识别认证技术,对其潜在的危险进行了深入的分析。在此基础之上,结合应用于Internet或应用系统中的传统的安全机制和一些轻量级的节省资源的安全机制,对上述协议进行改进,提出一种新的... 详细信息

针对相关文献提出的基于异或和哈希算法的轻量级射频识别认证技术,对其潜在的危险进行了深入的分析。在此基础之上,结合应用于Internet或应用系统中的传统的安全机制和一些轻量级的节省资源的安全机制,对上述协议进行改进,提出一种新的轻量级射频识别安全协议。该协议适用于现实的系统中,以避免已确认的潜在危险,并充分考虑在RFID系统中,RFID标签低成本的要求、强大的约束性以及对外界不可抗拒性等限制RFID发展的主要因素。

关键词：哈希算法信息安全相互认证协议射频识别

不确定海洋声场中的检测性能损失环境敏感度度量

在线全文

学校读者我要写书评

暂无评论

物理学报 2013年第6期62卷 297-304页

作者：刘宗伟孙超杜金燕西北工业大学航海学院西安710072

现有的检测算法在实际的不确定海洋环境中会出现失配情况,进而导致检测性能下降,但是定量分析这种检测性能损失的工作却很少见,因此本文定义了检测性能损失敏感度函数,并给出了基于蒙特卡罗方法的计算方法.检测性能损失敏感度是一个表... 详细信息

现有的检测算法在实际的不确定海洋环境中会出现失配情况,进而导致检测性能下降,但是定量分析这种检测性能损失的工作却很少见,因此本文定义了检测性能损失敏感度函数,并给出了基于蒙特卡罗方法的计算方法.检测性能损失敏感度是一个表征海洋环境不确定度的物理量,它反映了海洋参数变动和检测性能损失之间的关系.利用地中海某处海洋环境进行仿真,针对各个海洋环境参数,计算了全海域的检测性能敏感度.结果表明:1)检测性能损失呈现了很强的空间性,在20km处,水面声速有4m/s的变化下,检测损失最小为1%,而最大达到60%.声信道中的检测性能较为稳定,其在远距离上更是如此;2)各个海洋环境参数对检测性能损失有不同的影响,水体声速剖面和第一层海底介质的声速和厚度是对检测性能影响最大的量;3)环境参数敏感度呈现很强的频率特性,海底底质参数包括底质厚度、密度和吸收系数等随着频率的升高对检测性能的损失影响变小.

关键词：检测性能损失环境敏感度不确定海洋环境

在线全文

学校读者我要写书评

暂无评论

Tb掺杂对纳米TiO_2光催化活性的影响

石油化工 2007年第9期36卷 956-960页

作者：张宗伟樊君中国民航大学交通工程学院天津300300 西北大学化工学院陕西西安710069

以溶胶-凝胶法制备了纳米TiO2和掺杂Tb的TiO2(Tb-TiO2),用X射线衍射、示差扫描量热、热重分析、红外光谱和荧光光谱等技术对纳米TiO2和Tb-TiO2的结构进行了表征;考察了以纳米TiO2及Tb-TiO2为催化剂光催化氧化环己烷合成环己酮和环己醇... 详细信息

以溶胶-凝胶法制备了纳米TiO2和掺杂Tb的TiO2(Tb-TiO2),用X射线衍射、示差扫描量热、热重分析、红外光谱和荧光光谱等技术对纳米TiO2和Tb-TiO2的结构进行了表征;考察了以纳米TiO2及Tb-TiO2为催化剂光催化氧化环己烷合成环己酮和环己醇的情况。表征结果表明,掺杂Tb后明显抑制了TiO2中锐钛矿相向金红石相的转变,提高了TiO2催化剂的热稳定性,晶格发生了膨胀现象,晶格膨胀可有效降低光生载流子的复合几率,减小晶粒尺寸,提高光催化活性;光催化氧化环己烷的实验结果表明,与TiO2催化剂相比,Tb-TiO2催化剂的环己烷转化率和环己酮、环己醇的选择性大幅度提高,表明Tb-TiO2催化剂的光催化活性和光催化效率提高。

关键词：铽纳米二氧化钛稀土掺杂光催化环己烷环己酮环己醇

基于数字信号处理器的短时电能质量扰动检测算法

在线全文

学校读者我要写书评

暂无评论

电网技术 2004年第20期28卷 68-71页

作者：潘洪湘宗伟刘连光华北电力大学北京市昌平区102206

通过比较几种短时电能质量扰动检测方法,指出了小波分析方法所具有的优势。利用多孔算法对小波变换进行C语言编程,并运用MicrosoftVisualC++6.0和Matlab仿真验证了算法和程序的正确性,为以数字信号处理器(DSP)芯片作为运算核心的检测装... 详细信息

通过比较几种短时电能质量扰动检测方法,指出了小波分析方法所具有的优势。利用多孔算法对小波变换进行C语言编程,并运用MicrosoftVisualC++6.0和Matlab仿真验证了算法和程序的正确性,为以数字信号处理器(DSP)芯片作为运算核心的检测装置的研制提供了可实现条件,还指出了利用DSP研制短时电能质量检测装置所应解决的其他问题。

关键词：电能质量扰动电能质量检测小波分析方法数字信号处理器(DSP) Matlab仿真 DSP 正确性检测算法 C++6.0 C语言编程