检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

考虑悬浮哑元的结构化随机行走电容提取算法

复旦学报（自然科学版） 2014年第1期53卷 9-16,23页

作者：孙泽武朱恒亮曾璇复旦大学专用集成电路与系统国家重点实验室上海201203

为了解决化学机械抛光(CMP)工艺带来的芯片平整性问题,集成电路制造工艺越来越多地选择向电路版图中填充金属哑元.然而,电路中的大量金属哑元大幅增加了互连线的寄生电容值.在提取含大量哑元电路的寄生电容时,传统寄生电容提取算法的效... 详细信息

为了解决化学机械抛光(CMP)工艺带来的芯片平整性问题,集成电路制造工艺越来越多地选择向电路版图中填充金属哑元.然而,电路中的大量金属哑元大幅增加了互连线的寄生电容值.在提取含大量哑元电路的寄生电容时,传统寄生电容提取算法的效率会受到明显影响.提出了一种基于随机行走的寄生电容提取算法,利用区域分解技术,将哑元区域划分为多个子区域,通过对具有相同结构的标准子区域建立宏模型,并计算其马尔可夫转移矩阵,利用转移概率实现哑元区域内的"行走".同传统算法相比,在保证提取精度的前提下,方法具有更快的提取速度.此外,宏模型的建立可以避免对标准哑元结构的重复计算,提高计算结果的复用率.

关键词：电容提取悬浮哑元随机行走区域分解

在线全文

学校读者我要写书评

暂无评论

双特征流融合和边界感知的显著性目标检测

计算机工程与应用 2024年第10期60卷 227-236页

作者：杨鑫朱恒亮毛国君福建工程学院计算机科学与数学学院福州350118 福建工程学院福建省大数据挖掘与应用技术重点实验室福州350118

显著性目标检测是计算机视觉领域的热门研究方向之一,许多基于深度学习的检测算法虽然已经取得了显著的成果,但是仍然存在待测目标漏检误检和边界模糊等问题。针对这些问题提出了一种基于双特征流融合和边界感知的目标检测算法,通过改... 详细信息

显著性目标检测是计算机视觉领域的热门研究方向之一,许多基于深度学习的检测算法虽然已经取得了显著的成果,但是仍然存在待测目标漏检误检和边界模糊等问题。针对这些问题提出了一种基于双特征流融合和边界感知的目标检测算法,通过改变输入图像尺寸来丰富多尺度信息,并自顶向下逐层聚合特征得到精细的预测结果。首先将输入图像调整为两种不同分辨率分别送入编码器,提取丰富的多层级特征形成双特征流;其次将双特征流自顶向下逐层融合,生成由粗到细的显著图;最后构建了边界感知结构,凭借上下文语义信息的指导生成精细的物体轮廓。在五个公开数据集上进行了大量实验,实验结果表明,所提算法在结构相似性(Sm)等多个指标上取得了更高的检测精度,生成的显著图目标完整且边缘清晰。

关键词：显著性目标检测全卷积神经网络多尺度学习双特征流融合边界感知

在线全文

学校读者我要写书评

暂无评论

SOA中服务与服务组合的形式化研究

SOA中服务与服务组合的形式化研究

作者：朱恒亮福建师范大学

学位级别：硕士

服务和服务组合作为一个研究热点问题已经有很多年了。当前从工业上的标准(如BPEL、OWL-S)到理论上的方法(如Petri网、进程代数和自动机等),提出了很多的方法来研究他们,但这些方法都不是很完善,主要是因为没有直接基于消息传递来刻画... 详细信息

服务和服务组合作为一个研究热点问题已经有很多年了。当前从工业上的标准(如BPEL、OWL-S)到理论上的方法(如Petri网、进程代数和自动机等),提出了很多的方法来研究他们,但这些方法都不是很完善,主要是因为没有直接基于消息传递来刻画或进行推理。在本文中,提出了一个新的形式化模型,即消息结构。消息结构由消息和消息依赖组成,其中消息既可以是抽象的输入输出数据也可以是具体的状态信息,消息依赖则表示输入消息和输出消息之间的关系,共分为五种：消息创建、消息终止、消息选择、消息同步和消息变换。借助这五种依赖关系,消息结构可以建模顺序、并发、非确定性选择、同步等待。面向服务的系统通常是通过消息传递机制将系统建立起来的,服务则是通过消息的发送和接收来实现,并且这些消息的发送和接收也使多个服务组合在一起共同对内外提供服务。在消息结构中,因为消息可以是各种数据,并直接是面向服务的系统中的消息,所以消息结构可以不经过任何转换就可以直接用来描述服务和服务组合。本文首先给出了服务和服务请求者的定义,其次讨论了服务组合,并把服务转换成消息结构模型,最后用消息结构来描述实际的面向服务的系统,同时还讨论了服务的细化问题。在此基础上还分别讨论了五种消息依赖关系对应的代码生成语句,并给出了从消息结构模型自动映射代码框架的简单变换规则。

关键词：服务组合消息结构消息依赖代码生成

C/N对A^2O耦合生物曝气滤池脱氮除磷的影响

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

水处理技术 2018年第9期44卷 120-123页

作者：李怡朱恒亮贵州理工学院资源与环境工程学院中国水环境集团有限公司贵州贵阳550003

针对生物曝气滤池(BAF)处理效率常因进水碳源不足和硝化不充分而受到限制的问题,本研究报道了1种厌氧-缺氧-好氧(A^2O)耦合BAF强化污水脱氮除磷和有机物去除的新策略,并进一步探究进水C/N对营养盐污染物去除的影响。结果表明,A^2O耦合BA... 详细信息

针对生物曝气滤池(BAF)处理效率常因进水碳源不足和硝化不充分而受到限制的问题,本研究报道了1种厌氧-缺氧-好氧(A^2O)耦合BAF强化污水脱氮除磷和有机物去除的新策略,并进一步探究进水C/N对营养盐污染物去除的影响。结果表明,A^2O耦合BAF能够有效去除营养盐,并且COD、TN和TP的去除率分别为91%、84.9%和92%。C/N对A^2O耦合BAF反应体系COD的去除影响不明显,并且COD去除主要集中在厌氧区域。m(C)/m(N)由3增加至5,TN和磷酸盐的去除效率增加,但进一步增加C/N,TN和磷酸盐的去除不明显,因此A^2O耦合BAF体系的优化m(C)/m(N)是5。

关键词：脱氮除磷 A^2O耦合生物曝气滤池 C/N

基于模拟退火的三维集成电路水冷散热网络优化算法

在线全文

学校读者我要写书评

暂无评论

复旦学报（自然科学版） 2017年第4期56卷 480-487页

作者：胡风朱恒亮曾璇复旦大学专用集成电路与系统国家重点实验室上海201203

三维集成电路(3D-IC)通过在垂直方向堆叠多层芯片有效提高了芯片的性能和集成度.然而,过高的功率密度和温度成为3D-IC集成度提高的最大障碍.水冷散热技术将冷却液注入两层芯片间的沟道有效解决了3D-IC的散热问题,同时也带来了过高温度... 详细信息

三维集成电路(3D-IC)通过在垂直方向堆叠多层芯片有效提高了芯片的性能和集成度.然而,过高的功率密度和温度成为3D-IC集成度提高的最大障碍.水冷散热技术将冷却液注入两层芯片间的沟道有效解决了3D-IC的散热问题,同时也带来了过高温度梯度的问题以及对散热功耗,芯片可靠性的要求.本文提出一种在有硅穿孔限制下的基于模拟退火的沟道网络优化算法,算法基于温度仿真,对散热沟道进行放置与填充操作,设计出的沟道网络可以有效降低散热功率和温度梯度.实验中,与传统的均匀直沟道的设计方法相比,我们的方法可以在相同最高温和温度梯度限制条件下,降低散热功率达67.0%.

关键词：三维芯片水冷散热沟道网络优化模拟退火

基于自适应增强的静态随机存储单元失效率快速仿真算法

在线全文

学校读者我要写书评

暂无评论

复旦学报（自然科学版） 2014年第3期53卷 350-358,364页

作者：韦峰朱恒亮曾璇复旦大学专用集成电路与系统国家重点实验室上海201203

随着纳米工艺的不断推进,由随机工艺参数偏差引起的电路稳定性问题日益突出.静态存储器由大规模高度重复性电路单元结构组成,要保证整个芯片工作正常,要求单个单元电路失效的概率极低,相关的失效事件属于极端概率事件.传统的蒙特卡洛采... 详细信息

随着纳米工艺的不断推进,由随机工艺参数偏差引起的电路稳定性问题日益突出.静态存储器由大规模高度重复性电路单元结构组成,要保证整个芯片工作正常,要求单个单元电路失效的概率极低,相关的失效事件属于极端概率事件.传统的蒙特卡洛采样在产生足够的有效采样点和精确捕捉实际失效区域分布方面存在诸多缺陷.本文采用的自适应增强(AdaBoost)方法是一种新的统计学习技术,通过样本学习构建一个强分类器,可以过滤掉大量无效的采样点,使采样点更集中的分布在失效区域中.另外,本文引入交叉熵方法改进传统的重要性采样算法,达到更快的收敛速度.该方法综合了数据挖掘和极值理论的思想,能够快速精确地捕捉失效区域实际分布,相比于标准的蒙特卡洛采样方法,在不损失精度的情况下效率提高了1000倍以上.

关键词：静态随机存储器深亚微米蒙特卡洛采样随机工艺偏差重要性采样 AdaBoost方法

嵌套式稀疏网格随机配置法及其在随机门延时建模中的应用

在线全文

学校读者我要写书评

暂无评论

计算机辅助设计与图形学学报 2010年第1期22卷 165-172页

作者：罗旭杨帆朱恒亮陶俊蔡伟周电曾璇复旦大学专用集成电路与系统国家重点实验室物质计算科学教育部重点实验室上海201203 Department of Mathematics University of North Carolina at CharlotteNC 28223 USA Department of Electrical Engineering University of Texas at DallasTX 75083 USA

为了提高随机工艺偏差下门延时建模的计算精度和效率,提出一种基于扩展Gauss积分理论及嵌套式稀疏网格技术的随机配置门延时建模方法.首先采用参数空间中具有指数收敛特性的随机正交多项式对随机门延时进行逼近;然后针对现有的基于传统G... 详细信息

为了提高随机工艺偏差下门延时建模的计算精度和效率,提出一种基于扩展Gauss积分理论及嵌套式稀疏网格技术的随机配置门延时建模方法.首先采用参数空间中具有指数收敛特性的随机正交多项式对随机门延时进行逼近;然后针对现有的基于传统Gauss积分理论的稀疏网格随机配置法所用的配置点不具有嵌套特性的问题,利用单变量扩展Gauss积分理论及稀疏网格技术构造了一组嵌套式多变量Gauss积分点,将其作为随机门延时建模的配置点.这组配置点既具有Gauss积分点的高精度,又满足嵌套性质,且在低阶积分配置点上已经得到的门延时可以在高阶积分时重复使用.与现有的基于非嵌套式配置点的随机配置法相比,该方法的计算精度和效率可以得到很大的提升,数值实验结果也验证了该方法在计算精度和效率上的优势.

关键词：门延时工艺偏差扩展Gauss积分嵌套式稀疏网格随机配置法

鲁棒主元分析和稀疏表示方法在模拟电路错误检测中的应用

在线全文

学校读者我要写书评

暂无评论

复旦学报（自然科学版） 2016年第1期55卷 51-58,67页

作者：吴益锋朱恒亮曾璇复旦大学专用集成电路与系统国家重点实验室上海201203

模拟电路错误检测问题,即重点是检测出模拟电路芯片存在错误后确定错误元件或参数的问题,对于进一步明确错误产生原因,在设计或制造中加以改进,有重要的意义.经典做法是通过预先设置错误,并仿真得到其对应的响应数据,构造"错误字典",然... 详细信息

模拟电路错误检测问题,即重点是检测出模拟电路芯片存在错误后确定错误元件或参数的问题,对于进一步明确错误产生原因,在设计或制造中加以改进,有重要的意义.经典做法是通过预先设置错误,并仿真得到其对应的响应数据,构造"错误字典",然后将测试信号与错误字典进行比对,识别其属于哪一类错误类型.本文提出一种基于数据稀疏表示方法来进行错误类型识别的新方法,它计算属于不同错误类型的数据在所有类型的数据构成的空间中的展开向量,根据得到的稀疏向量来判断其所属错误类型.对于稀疏表示方法无法进行准确分类识别的情况,采用SVM作为二级分类器进行修正.存在某些错误类型,其响应数据构成的空间之间线性相关性较强,对于稀疏表示后属于其中之一类型的数据,采用传统的SVM方法来加以辅助分类.在两个实验例子中,与SVM,Ada Boost以及没有加SVM辅助分类的单纯稀疏表示方法相比较,本文方法有更高的错误类型识别正确率.

关键词：错误检测支持向量机鲁棒主元分析稀疏表示

基于无证书群签名的车联网条件隐私保护认证方案

在线全文

学校读者我要写书评

暂无评论

计算机应用 2024年

作者：徐越端陈建伟朱恒亮福建师范大学计算机与网络空间安全学院福建省网络安全与密码技术重点实验室福建理工大学计算机科学与数学学院

车联网提高了道路交通效率，但车联网面临的安全与隐私问题可能导致严重交通事故，这使得对消息进行匿名认证成为必要，而已有认证方案仍然不能很好地解决条件隐私保护、匿名认证和认证效率等问题。针对上述问题，提出一种基于无证书群... 详细信息

车联网提高了道路交通效率，但车联网面临的安全与隐私问题可能导致严重交通事故，这使得对消息进行匿名认证成为必要，而已有认证方案仍然不能很好地解决条件隐私保护、匿名认证和认证效率等问题。针对上述问题，提出一种基于无证书群签名的车联网条件隐私保护认证方案。首先，结合无证书公钥密码体制和ACJT群签名算法，提出了基于无证书群签名的匿名认证方案。特别地，当群成员发生变化时，其他群成员不受影响无需更新密钥，并且群签名生成和验证算法的计算量固定，不受群成员数量影响。进一步，为防止车辆因身份匿名而做出恶意行为，方案实现了条件隐私保护，即当恶意行为发生时，可以追查相关车辆的身份并追究责任。安全分析证明该方案能够同时满足前向安全、不可伪造性、不可链接性等安全需求。性能实验表明该方案对比同类方案在认证效率上提高了11.7%～24.5%，在通信开销上提高了4.6%～21.9%。

关键词：车联网椭圆曲线无证书群签名匿名认证