基于一种扩展分层有限状态机模型的测试生成

为了解决分层有限状态机(HFSM)中数据和约束的问题,对扩展分层有限状态机(E-HFSM)给出了定义对其特征进行了分析,对基于其上的模型所面临的测试问题进行了讨论.考虑了在测试中遇到的控制流和数据流问题,针对其中一种模型(父子EHFSM间不存在数据依赖关系),结合现有的方法工具给出了一种一致性测试生成方法.     

Nd：YAG激光器的光泵效率比较实验研究

在利用IGBT斩波电路控制闪光灯放电波形的Nd:YAG脉冲激光器中,进行了分别采用双脉冲氙灯串联、双脉冲氪灯串联、单支脉冲氙灯和单支脉冲氪灯作为泵浦源的实验。实验结果表明,在储能电容初始放电电压为400V的条件下,采用单支脉冲氪灯泵浦的电光效率最高。     

微小卫星星务计算机系统模拟部件可靠性设计

为确保星务计算机系统长期在轨工作的稳定性,针对系统中数模转换器等不同模拟部件的特点,给出相应的可靠性设计方案。在模拟输入通道中采用中位值滤波和递推平均滤波的组合算法,来获取尽可能可靠的输入数据,在模拟输出通道中则采用中值表决电路通用模块实现正确的模拟输出。该方案已在原理样机研制中得到验证和完善。仿真和验证结果表明,本方案在兼顾微小卫星对功耗、质量等苛刻要求的同时,能够很好地满足系统的可靠性要求。     

人因工程在青岛世园会的应用分析

青岛世园会是第一次在山地举办的世园会,如何让游客方便、安全的游览是园区设施设计的目的,本文从色彩的应用、安全标志、说明标志、公共服务设施、无障碍设计等多个方面对世园会的设计进行了分析,解释了世园会按照人因工程原则进行设计的过程和细节,并分析了不足,为公共设施的设计提供了借鉴。     

马纳斯河流域民主参与式的水资源统一管理

本文针对玛纳斯河流域水资源管理存在逐利、水资源被分割管理,以及缺乏民主参与等问题,提出流域实行水资源统一管理,成立利益相关者参与的民主管理监督机构。     

LabVIEW和三维虚拟现实技术在物理实验中的应用研究

虚拟仪器技术主要倾向于数据处理的精确性,三维虚拟技术则倾向于形象的仪器展示.利用两者的优势,我们创造性地实现了三维虚拟现实技术与虚拟仪器技术的完美结合,并以"电子示波器的使用"为例,探讨LabVIEW技术和3D技术在物理实验中的应用.     

全桥变换器中磁通不平衡的抑制

分析了开关电源在采用全桥变换器的时候磁通不平衡现象的产生原因,并提出了实现抑制磁通不平衡的措施。着重介绍了应用阻隔电容实现磁通平衡的措施,同时进行了相关器件的设计与参数的计算。     

医用固体激光器脉冲式强预燃系统控制电路设计

根据激光医疗所需激光脉冲的特点,针对长脉冲Nd:YAG激光器泵浦闪光灯中脉冲式强预燃系统的控制电路展开研究,采用UCC3895芯片控制预燃电路工作状态的变化,提供所需的预燃电流,从而配合其他电路得到相应的激光脉冲。文中主要阐述以UCC3895为核心的脉冲式强预燃系统控制电路的工作原理,并且根据实验,最终验证了该套系统的可行性。     

金属磁记忆检测的机理及实现

现代工业的发展,离不开各种先进的无损检测(NDT)手段.但纵观传统的NDT方法,都是在部件缺陷发展形成以后才能被发现.金属磁记忆诊断技术是目前唯一能预测部件早期损伤的新方法.本文从晶体结构出发,在理论上和实验上分析了金属磁记忆检测的机理,并建立了系统模型.