Direct microscale imprinting of Al at room temperature with Si inserts

For direct imprinting of metals, hard materials such as diamond and SiC have been used to construct mold inserts in preference to Si, despite the ease in fabricating Si-based micro-/nano- scale structures. In this communication, we demonstrate that micron scale Al structures can be replicated with good fidelity at room temperature by compression molding with Si inserts without incurring insert damage. We further report on results of a finite element analysis of the mechanics of the molding process. The finite element results provide some understanding of the observed lack of damage to the Si inserts.     

SoC测试访问机制和测试壳的蚁群联合优化

针对系统级芯片(SoC)测试壳优化和测试访问机制的测试总线划分问题,提出了基于蚁群算法的SoC Wrapper/TAM联合优化方法.构造蚁群算法时首先进行IP核的测试壳优化,用于缩短最长扫描链长度,减少单个IP核的测试时间;在此基础上进行TAM结构的蚁群优化,通过算法迭代逼近测试总线的最优划分,从而缩短SoC测试时间.对ITC2002基准SoC电路进行实验的结果表明,该方法能有效地解决SoC测试优化问题.     

基于改进遗传算法的舰船路径规划

遗传算法在解决非线性问题上具有良好的适用性,但是也存在着收敛性慢和局部最优解的缺陷,并且在实际应用中缺乏特定知识的利用.针对舰船路径规划的特点,对标准遗传算法进行了改进和优化,采用基于坐标的一维编码方式,设计了插入算子、删除算子、平滑算子和扰动算子,提高了进化效率.计算机仿真结果表明,该算法在收敛速度和输出全局最优解的概率相对于标准遗传算法都有了显著提高.     

UML2.0顺序图的形式化研究

在UML2.0规范中顺序图的语义仍然是以自然语言的形式描述的,为实现对顺序图的自动化分析和验证,必须为顺序图定义一种形式化的语义模型.为此首先给出了UML顺序图的一种符合BNF范式的形式化语法,然后为该语法中的非终止符定义转换规则,将UML顺序图中的基本动作转换为加标Petri网组件,最后定义了各种合成操作,利用这些合成操作可以将UML顺序图的加标Petri网组件转换为加标Petni网.     

基于AHP与SPC的软件过程性能分析方法的研究

通过软件过程改进提高和稳定其过程性能,是软件产品质量保证的基础.有效的软件过程性能分析方法可以提高定量过程管理的效率,也为成功地进行过程控制和改进提供了保障.在对项目目标的分解和分析基础上,运用层次分析(AHP)算法和统计过程控制技术(SPC),阐述了软件过程性能分析的过程.基于CMMI理念,针对项目目标、定量指标以及软件子过程逐级进行了映射,选择了实现项目目标的关键子过程.通过实现对项目的每一个关键子过程性能的量化分析,可以展现项目目标的完成情况,通过实例描述了具体应用.     

基于GMA的教育资源网格监控研究

实现全面资源共享、充分提高资源利用率是教育资源网格的主要研究目标,为了实现该目标,设计了ERGM(educa-tion resource grid monitor)监控模型,它具有采集的信息全面、良好的可扩展性和容错性等优点.通过它可以及时采集资源的状态信息为资源调度系统提供依据,使资源的利用更加合理,很好地满足了教育资源网格监控的需求.     

PSO算法在含一阶导数变分问题中的应用

变分问题是一个研究泛函极值的经典数学问题,寻求变分问题的直接解法具有重要的理论和现实意义.鉴于PSO算法在极值问题中的广泛应用,利用分段Hermite插值.建立了求解含一阶导数的变分问题优化模型,构造出了适应度函数,从而使得PSO算法成功应用到变分问题的求解当中.数值实验结果表明了方法的可行性,同时也拓展了PSO算法的应用领域.     

基于LabVIEW 8.0测定纯液体蒸发焓的虚拟仪器

将常规的数字温度仪与压力计通过串行口和计算机连接,构建基于LabVIEW 8.0测定纯液体蒸发焓的虚拟仪器,实现实验数据的动态采集、实时显示、自动绘制p～T曲线并显示曲线方程、自动数据处理和写成结果报告等。应用结果表明:基于LabVIEW构建的测定纯液体蒸发焓的虚拟仪器,免除人工操作的繁琐和人为误差,测定乙醇和苯蒸发焓的相对误差分别为0.86%、-2.97%,提高了测量结果的准确度,且具有界面友好,操作简便和功能易扩展等诸多优点。     

电离层延迟模型改进研究

由于电离层延迟会对卫星的定位精度产生很大的影响,传统的电离层延迟Klobuchar模型的预报精度不高,而且其对夜间电离层延迟以及对延迟峰值出现时刻的预报存在明显的不合理性。因此必须进行修正,根据实测电离层延迟数据的特点对传统的Klobuchar模型进行了改进,并利用非线性最小二乘迭代算法对两种模型进行参数拟合,采用拟合参数计算两种模型的拟合值。通过比较两种拟合值相对于实际测量值的精度,可以得出:改进模型比传统模型提高了电离层延迟预报的精度,并且改善了传统延迟模型预报中存在的不合理性。     

某型地空导弹半实物仿真训练评估系统接口电路设计

在开发某型地空导弹半实物仿真训练模拟系统时,实现系统硬件结构面临的主要难点之一是如何设计、实现其评估子系统的硬件接口电路,它主要用于为评估子系统采集需要的定量数据;评估子系统通过分析采集到的数据,来判断操作动作的准确性;结合某型地空导弹半实物仿真模拟训练系统的开发,以数字I/O卡PCL722为核心器件设计了该子系统的接口电路;运行结果表明,基于PCL722卡的接口电路符合评估子系统的要求,是可行、有效的。