国家自然科学基金(60703026)
- 作品数：7 被引量：6H指数：2
- 相关作者：李建华郭卫斌何高奇张欢欢刘玉生更多>>
- 相关机构：华东理工大学浙江大学更多>>
- 发文基金：国家自然科学基金上海市自然科学基金国家教育部博士点基金更多>>
- 相关领域：自动化与计算机技术自然科学总论电子电信机械工程更多>>
- 改进的硅各向异性腐蚀GPU并行模拟被引量：1
- 2013年
- 硅各向异性腐蚀过程复杂,采用元胞自动机模拟硅各向异性腐蚀非常耗时。为了加速腐蚀模拟过程,研究了基于图形处理器(GPU)进行硅的各向异性腐蚀模拟。针对串行算法直接并行化方法存在加速效率低等问题,提出了一个改进的并行模拟方法。该方法增加了并行部分的负载,减少了内存管理的开销,从而提高了加速性能。实验证明该方法能够获得较理想的加速比。
- 陈劲源李建华郭卫斌
- 关键词：各向异性腐蚀元胞自动机图形处理器并行计算
- 面向掩模精化的表面微加工MEMS器件几何建模
- 2011年
- MEMS器件设计流程中,为优化MEMS器件,常常需要对MEMS掩模进行精化设计。为了在MEMS精化设计中同步更新MEMS掩模与几何模型,提出一种面向掩模精化的表面微加工MEMS器件几何建模方法。该方法主要通过建立MEMS器件几何模型和工艺模型之间的依赖关系图,通过变动依赖关系,求出掩模精化所影响的几何元素,而后在几何模型中仅仅更新所影响的几何元素;对于所对应的几何模型存在拓扑突变等情况,该方法采用参数限定或局部几何模拟进行更新。实例分析表明,提出的几何建模方法能快速有效地响应掩模精化,从而有效地促进MEMS器件设计。
- 赵晓霞李建华凌浩刘玉生郭卫斌何高奇
- 关键词：计算机辅助设计微机电系统
- 基于区域标记的动态分代垃圾收集算法被引量：2
- 2011年
- 提出了一种基于区域标记的动态分代垃圾收集算法。通过动态分代技术更好地处理了占位垃圾问题,通过在年轻分代中采用区域标记技术,提高了空间利用率和代码的局部性。仿真实验结果表明,基于区域标记的动态分代垃圾收集算法在一定程度上提高了垃圾收集的效率。
- 郑磊张欢欢李建华
- 关键词：垃圾收集虚拟机
- 基于体素的快速MEMS工艺模拟
- 2009年
- 为了快速生成MEMS模型和实现加工的过程模拟,给出一种基于体素的快速MEMS工艺模拟方法。该方法利用MEMS材料属性和体素表示的特性,利用布尔运算快速生成所需要的模拟过程和最终结果。最后给出了具体实现,并给出了测试实例。
- 李建华罗勇军
- 关键词：CAD微机电系统体素
- 基于FeaVer的MINIX3验证和改进被引量：1
- 2010年
- 使用FeaVer对MINIX3文件系统源代码进行形式化验证,并找到其中的错误代码。在验证的过程中引入测试用具的概念,它的特点是高效性和可复用性。在验证结果的基础上对原来的验证模型进行修改,并建立新的模型。经验证新模型符合应有的正确性属性。以新模型为依据对MINIX3的源代码进行改进,使操作系统达到一个更可靠的状态。
- 全嘉辉张欢欢
- 关键词：形式化验证MINIX
- 表面微加工MEMS三维模型的局部变动
- 2011年
- 现有的微机电系统(MEMS)设计中缺乏面向优化的MEMS器件变动方法。针对表面微加工MEMS,在可制造性分析的基础上提出了表面微加工MEMS三维模型的局部变动方法。该方法首先在表面微加工MEMS三维模型上选定设计关注面,设计人员对所选定的设计关注面进行变动操作;变动设计后根据变动类型基于可制造性分析自动映射和传播变动到表面微加工MEMS三维模型;在三维模型更新后,通过传播定位了该变动操作所要修改的掩模,更新该掩模文件,实现工艺模型和几何模型的一致性。实例测试结果表明:该方法能够有效地实现三维模型的局部变动,从而提高了MEMS设计人员的效率。
- 凌浩李建华刘玉生郭卫斌何高奇
- 关键词：微机电系统
- 基于ArcGIS的燃气行业信息管理系统被引量：2
- 2011年
- 分析现代燃气行业的具体应用需求,利用ArcGIS平台开发燃气行业信息管理系统(GasGIS),实现按站点类型/选定区域/道路位置/排管时间(组合)查询、统一地图服务、三维空间分析、抢险调度决策、地图数据的转换和导入导出等功能。实验结果表明,空间数据的可视化效果能够满足系统用户的需求。
- 盛俊文何高奇阮彤郭卫斌李建华
- 关键词：地理信息系统三维可视化
