不同层显式格式及在微尺度热传导中的应用

基于指数拟合和牛顿插值多项式构造了用于数值计算偏微分方程的不同层显式格式,应用不同层显式格式可获得不同精度的数值计算结果,并将该算法应用于微结构热传导方程和薄膜强瞬态热传导方程中．     

功率集成电路中一种抗闩锁方法研究

在分析功率集成电路中闩锁效应的基础上,采取一种抗闩锁方法,即在高低压之间做一道接地的少子保护环.通过对环的电位、位置和宽度的研究,利用软件工具Tsuprem4和Medici进行模拟比较,并应用于实际版图中进行流片.这种保护结构可以将闩锁的触发电压提高一个数量级,在实际的闩锁静态测试中得到验证.     

纳米零价铁去除水体中砷的效能与机理

全球超过一亿人受到高毒性、难处理的砷污染引发的饮用水安全的威胁,解决砷污染问题迫在眉睫而又任重道远。纳米零价铁(nZVI)能高效去除重(类)金属、硝酸盐、磷酸盐、高氯酸盐、卤代物、多环芳烃、偶氮染料和苯酚等污染物,成为广泛应用的工程纳米材料之一,在全球已有近60例的环境原位修复和废水处理工程案例。其独特的纳米级核壳结构和表面性质使其能够通过吸附、还原和沉淀等多种作用高效去砷。本文综述了近年来nZVI及其改性材料去除水中砷的研究进展,探讨了nZVI去除水中As(Ⅲ)和As(Ⅴ)的反应机理,归纳了不同反应条件(初始pH值、反应时间、nZVI投加量、砷初始浓度、共存离子和有机质)对去除效果的影响,总结了nZVI改性材料(多孔材料负载改性nZVI、金属掺杂改性nZVI、表面稳定剂改性nZVI和绿色合成nZVI)对砷的去除效率,展望了纳米零价铁去除砷的发展方向和所面临的挑战。     

平板显示器功率驱动芯片的Latch-up及克服方法

详细分析了平板显示器驱动芯片中的Latch-up现象,在此基础上采用了一种克服Latch-up的方法:在低压部分增加多子保护环,在高低压之间增加少子保护环。借助TCAD软件详细研究了少子环位置及宽度对抗Latch-up效果的影响。实验结果证明,采用该方法可以有效地克服功率集成电路的Latch-up现象。     

数字图像相关技术的综合算法及其在断裂力学中的应用

鉴于散斑图的随机噪声和相关搜索运算过程仍是当今影响相关图像技术所获结果精度与计算速度两大有待研究解决的主要问题,提出一种基于小波变换、序惯相似度检测和统计相关算法三者相结合的新算法。其基本原理是应用小波变换对变形前后的散斑图进行滤波平滑处理;利用序惯相似度检测算法进行粗搜索,找到可能的匹配点;在可能的匹配点应用统计相关法进行细搜索,最终找到匹配点的位置。基本实验、计算和应用表明,这种算法在消除噪声和提高运算速度等方面,取得了良好的效果。     

激光全息实验计算机辅助系统的研究

本文介绍了针对激光全息照相实验的计算机辅助系统的研究,其中主要包括系统硬件的建立、用于离面位移显示和计算的处理软件编制。     

基于Event-B的一种联锁逻辑的形式化建模研究

铁路车站信号联锁逻辑的形式化描述无论对计算机联锁软件的研发,还是对联锁软件的第三方测试都是非常重要的。基于Event-B方法,利用自动机模型和形式化语言对车站的一种信号联锁逻辑进行建模研究,并通过逐步精化的方法扩展联锁功能,依赖不变式技术形式化地保证了该模型的安全性。所建模型通过Rodin平台的验证,结果表明它们是安全的。     

非线性系统的任意项精细积分外插多步法及其在混沌数值分析中的应用

对非线性系统提出了高精度的精细积分任意项外插多步法的计算公式.本方法只需增加插值 项数即可提高计算精度，同时不会增加过大的计算量，发展完善了精细积分法.将本方法应 用于混沌方程中，取得了较好的效果.数值计算结果表明，该方法是一种高精度、高效率的 方法，在求解混沌系统上比传统方法有很大的优势. 关键词： 非线性系统 任意项精细积分多步法 混沌系统     

直线往返搜索中巡逻线优化分析

直线往返搜索是实际作战中常用的巡逻搜索或警戒方式,为探索运用中巡逻线划设长度问题,通过建模分析,重点研究了巡逻线长度与最大有效搜索宽度、持续接触时间之间的关系,给出了具体算式,以及三者之间的函数关系,为具体巡逻线划设提供了参考依据。     

十字路口场景下路侧单元节能调度算法设计

针对十字路口场景下,部署的多个路侧单元能量消耗严重的问题,提出了一种路侧单元调度算法,称为最近最快算法(nearest and fastest,NFEST).在NFEST算法中,路侧单元覆盖范围内的所有车辆,优先分配距离路侧单元最近的车辆进行数据传输,这样能保证路侧单元对车辆进行下行数据传输能耗最低;若两车与路侧单元的...