微波电路中In/Au合金焊点的失效分析

本文针对微波电路元件焊接脱落问题,分析了In/Au合金焊点的微观结构及成分, 研究了In/Au芯片焊接的失效模式.找出了焊点脱落的主要原因:温度控制不当引起焊点的过热吃金或焊料的氧化引起的浸润不良,导致焊点的结合强度不够,致使焊点脱落.根据分析提出了严格控制温度及焊接时使用氮气保护的改进意见,较好的解决了In/Au合金焊接脱落问题,支撑了微波电路的生产工艺.     

潮流计算中牛顿法与拟牛顿法比较研究

牛顿-拉夫逊法是当前广泛采用的电力系统最优潮流的计算机算法,其收敛性好,但该法对初始值要求比较严格。拟牛顿法,它减小了牛顿法的计算量,同时保留了牛顿法的优点,在综合衡量一个算法各项指标的情况下,拟牛顿法的声誉很高。最后通过一个算列,验证了在潮流计算中拟牛顿法比牛顿法更具优越性。     

安全生产监督管理信息系统研究

为了实现对辖区内企业安全生产实时监控管理,提高安全管理效率,有效解决决策困难问题以及规范执法程序,运用计算机、数据库、地理信息、面向对象编程、移动通信等技术,开发符合实际、高效实用、便于学习操作的安全生产监管信息系统,包含基础数据、分级管理、分布管理、综合监管4个功能模块,阐述了各个模块的结构、功能以及实现的关键技术．     

翻转教学模式在程序设计语言中的实践

为提高学生的编程兴趣和编程能力,在借鉴翻转课堂教学模式的基础上,结合程序设计语言课程教学,设计出适合本课程的翻转教学模式。该模式预设课前学习任务,在课后收集课程的反馈信息,并将这些信息发布到学习平台上,供教师和学习人员参考。     

基于求积分卡尔曼滤波的交互式多模型算法

针对非线性系统中的多模型估计问题,将求积分卡尔曼滤波算法应用到交互式多模型算法过程中,提出一种基于求积分卡尔曼滤波的交互式多模型算法.该算法不需要求取非线性方程的雅可比矩阵,且能够获得比基于不敏卡尔曼滤波的交互式多模型方法更高的滤波精度.仿真结果证明了该算法的有效性.     

用于RTL设计验证的静态错误检测方法

为快速有效地对集成电路设计中潜在的常见错误进行检测,提出一种基于静态分析的错误检测方法。该方法可以自动地提取待测寄存器传输级(RTL)设计的行为信息,检测出设计中常见的错误,如状态机死锁、管脚配置错误。实验结果表明,静态检测相对于其他验证方法自动化程度高、检测速度快、检测准确度高、检测代码可重用,可以在模拟之前发现设计中的错误。     

再制造生产系统的库存缓冲与时间缓冲控制机制

从分析DBR用于解决再制造系统不确定性问题所存在的局限性入手,以发动机再制造生产系统为例,在定性分析比较库存缓冲和时间缓冲控制内涵、计算模型和适用条件的基础上,通过仿真实验对比分析了二者的实施效果。仿真实验表明:从DBR的缓冲控制原理和目标角度,二者具有高度的目标一致性,即两种缓冲控制机制均可使瓶颈工序资源利用率RU和系统单位时间产出量SP提高,瓶颈工序前平均在制品库存BW和总流程在制品库存TW减少;在缓冲效果、系统管理目标实现以及生产计划的可控性三个方面,后者性能均优于前者。     

基于改进粒子群算法的车间作业调度问题研究

针对现行的遗传算法存在过早收敛和进化速度过慢的局限,以及标准粒子群算法收敛精确度不高、易陷入局部极值点的缺点,通过分析原有算法的优化机理,提出一种惯性权重随粒子的进化代数增加而非线性减小的改进型粒子群算法,并将此算法应用于车间作业调度问题中.大量仿真实验结果表明,该算法在求解车间作业调度问题上具有可行性和有效性.     

软件可信复杂性及其动力学统计分析方法

可信软件已成为现代软件技术发展和应用的重要趋势和必然选择.目前,关于软件可信性度量与评测方法无法完全有效地对软件系统的安全可靠运行提供保障.基于动力系统理论,文中诠释了软件系统的行为特性及其可信复杂性的基本科学问题.分析和讨论了软件可信性的复杂性特征,提出了通过可信复杂性研究软件可信性度量的观点.利用动力学统计分析方法给出了软件系统可信性统计指标的不变测度评测方法,给出了软件系统不可信的动力学判据.通过实例,采用数值模拟与理论分析方法验证了动力学统计分析方法在软件可信性度量方面的可行性.