福建省交通科技发展项目(201011)
- 作品数：12 被引量：10H指数：2
- 相关作者：陈秀华黄勇沈焰焰邹宇饶永生更多>>
- 相关机构：福建船政交通职业学院广州大学福州大学更多>>
- 发文基金：福建省交通科技发展项目福建省教育厅科技项目广东省教育部产学研结合项目更多>>
- 相关领域：理学自动化与计算机技术文化科学一般工业技术更多>>
- 基于链移动算法的多倍高单元详细布局方法
- 2017年
- 在超大规模集成电路设计中,标准单元库由不同高度的单元构成.高度较高的单元具有更好的驱动效能,但是所占据的芯片面积也更大.这种混合高度的单元给布局设计带来了新的、复杂的挑战.传统只考虑优化单倍高标准单元的方法已经不太适用当前的多倍高详细布局要求.针对多倍高单元详细布局问题,本文提出了一种基于链移动算法的高效多倍高单元详细布局方法.在此方法中,首先采用记分板记录每个链移动时线长的变化,接着通过定义链移动约束、搜索区域的计算、移动花费的计算,给出一种基于链移动算法用于优化详细布局中的线长和密度两个目标.采用标准的测试例子集进行测试,实验结果表明本文所提出的算法可以在合理的运行时间里,得到很好的详细布局结果.
- 陈秀华
- 高职数学在生活中的应用
- 2013年
- 在高职数学的教学过程中，将生活中的应用实例与课堂教学结合起来，有利于提高学生学习高职数学的积极性。本文列举了高职数学在生活中的应用实例。
- 沈焰焰
- 关键词：高职数学课堂教学
- 基于图论的VLSI中最小斯坦纳树问题及其改进算法被引量：2
- 2015年
- 超大规模集成电路(VLSI)中,对于多端线网的最佳布线结果是构造最小直角斯坦纳树,该问题是典型的NP组合优化问题.利用图论中直角斯坦纳树的性质,在采用斯坦纳点编码方案寻找优化点位置的基础上,增加粒子趋同性判定及惯性权重系数调整策略,提出改进的粒子群优化算法,对一些实例模型进行了仿真测试,表明该算法的效果良好.
- 陈秀华
- 关键词：图论VLSI
- 一种求解RSMT布线问题的PSO算法被引量：1
- 2014年
- 最小直角斯坦纳树(RSMT)问题是超大规模集成电路布线中的重要问题之一,是典型的NP困难组合优化问题.为了有效地解决超大规模集成电路布线中的RSMT问题,提出一种粒子群优化算法,借助直角Steiner树的一些性质,采用Steiner点编码方案,寻找优化的Steiner点位置以减少直角Steiner树的长度.对几组布线模型实例进行了仿真测试,表明了该算法的有效性.
- 陈秀华朱自然
- 关键词：布线算法
- 常利率下的双险种的再保险风险模型被引量：2
- 2015年
- 文章引入一类常利率因素下的双险种的再保险风险模型,讨论了初始准备金为μ、利率为δ、双险种的再保险的破产概率,并给出破产概率的表达式和Lundberg上界.
- 沈焰焰
- 关键词：利率双险种再保险破产概率
- 一种考虑拥挤度的布线模型及其算法被引量：1
- 2015年
- 为提高超大规模集成电路(VLSI)布线的布通率,加快布线速度,提出一种总体布线和详细布线交替进行的多级布线算法.在每一级布线中对局部线网进行总体和详细布线,增加总体布线和详细布线间的交互性,利用代价函数,使用多种策略来优化布线结果,得到更为准确的布线资源估计,最终减少拥挤度,提高布通率.采用标准的测试例子集对所提方法进行测试,实验结果在一定程度上说明了算法的有效性.
- 陈秀华
- 关键词：超大规模集成电路拥挤度
- 一种新的海水渗流模型及其数值算法
- 2013年
- 反常扩散通常用于模拟物理、金融和水文等各种现象,整数阶扩散方程不能准确地模拟这类反常扩散过程.本文研究了溶质入侵地下水层的特征,建立了海水渗入地下水层的反常扩散模型,将整数阶的导数用分数阶导数来替换,利用差分离散建立此模型的数值算法,证明了算法的收敛性,并给出数值例子,通过计算机模拟表明算法的有效性.
- 陈秀华
- 关键词：数学模型数值模拟
- 函数乘积极值性质的反例分析
- 2018年
- 通过构造函数乘积极值的一个反例,分析不连续、连续和可微等各种情形,说明函数乘积的极值性质,以加深学生对相关知识的理解。
- 陈秀华黄勇
- 关键词：反例极值性质
- 二元函数偏微分的Mizar实现
- 2012年
- 在Mizar语言下实现了多元函数的微分,借助其微分建立起欧氏空间中二元函数偏微分定义的新形式,讨论了二元函数偏微分的运算性质及可微。在Mizar系统下,首次实现了二阶偏微分的Mizar表述,定义的形式简洁明了,并完成了相应的运算公式和定理。
- 周桂如
- 关键词：数学机械化
- 麻将桌上的一个概率问题被引量：3
- 2015年
- 证明在四人麻将游戏(或其它游戏或竞赛)定庄时,无论抛多少颗骰子都不能使各方有均等坐庄的机会.如果将骰子数增加,则各方机会将是渐近均等的.推广到l个人和骰子为k面的情形,这种渐近均等性仍然正确,同时给出了机会均等的一个充要条件.
- 黄勇尚亚东陈秀华邹宇饶永生
- 关键词：麻将母函数卷积离散傅立叶变换
