基于Event-B和Rodin开展形式化软件工程教学

形式化软件工程是软件工程的重要组成部分。Event-B方法是一种软件形式化开发方法,Rodin是支持Event-B方法的开放工具集。基于Event-B方法和Rodin开展形式化软件工程教学,有益于学生正确理解精化等重要的软件工程概念,理解并掌握开发可信软件的方法,是软件工程教学的重要补充。     

DC-DC开关变换器的混沌现象及其应用

目前,DC-DC开关功率变换器的非线性现象的研究已发展到了混沌的控制与应用研究.本文论述了对DC-DC开关变换器的混沌现象及其应用,并展望了混沌开关变换器的应用前景.     

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.     

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

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

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

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

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

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

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

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

电离层延迟模型改进研究

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

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

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