调整参数对喷射系统压力波特征参数的影响

用新研制的卡持式传感器及其测试系统,在高压油泵试验台上做了调整喷射系统喷油器循环喷油量、喷油开启压力和高压油泵转速的试验,测得了各种试验条件下的压力波、计算了压力波的特征值.在此基础上,研究了各调整参数对测量的电压波形及其特征参数的影响程度和规律;证明了外卡式传感器测量的电压波能真实地反映高压油管内的压力波动,可用于喷射系统各角度的动态测量.     

基于SAT的电路错误定位方法研究进展

随着VLSI芯片复杂度不断增加,功能验证与调试已占到整个芯片设计周期的60%以上。而错误的定位往往消耗大量的时间与精力,因此迫切需要一种高效的方法诊断与定位电路中的错误。针对近年来出现的许多电路错误定位方法,介绍了电路错误诊断方法的分类与工作流程,深入分析了基于SAT的错误定位方法的基本原理;对各种算法进行了概述评论,并简要介绍了在不可满足子式求解方面所做的一些研究工作,而不可满足子式能够显著提高错误定位效率与精度;讨论了电路错误定位技术所面临的主要挑战,并对今后的研究方向进行了展望。     

我院学报载文作者及引文统计分析

以2003~2004年《武警学院学报》为样本,对其论文年代、地区、主题、多产单位和作者发文量、核心作者、作者合作度、作者单位类型及引文的分布进行了统计分析,从一个侧面揭示了公安武警教育科研的趋势,指出了学报需提高的几个方面。     

多弹种快速供弹系统设计

在研究国内外供弹系统的基础上,借鉴它们的可取之处,通过机构上的综合和创新来建立一个有效的、可行的方案模型,确定供弹系统的结构形式与布置方式,对其进行详细设计,并在Solidworks中建立供弹系统的实体模型。完成了方案的总体结构布置和时序设计。对弹鼓进行了结构和运动规律设计,完成了弹丸的运动过程分析,运用ADAMS对模型进行了仿真验证。为提高舰炮的射速和供弹系统的自动化以及多弹种快速转换能力提供了新的思路与构想。     

网络安全脆弱性分析与处置系统的研究与实现

在分析国内外研究现状的基础上,针对现有的漏洞库系统在漏洞信息的组织、使用等方面存在的不足,采用分布计算技术、数据库技术、Web技术实现了网络安全脆弱性分析与处置系统。该系统实现了基于Web的漏洞库(含补丁库)的访问与维护工具,便于获取相应漏洞的解决方案和下载相应的补丁程序,降低了系统维护的开销,提高了系统的可维护性;补丁推送程序实现了对系统补丁程序的远程推送、漏洞修补和补漏检测,提高了系统的自动化程度,为网络安全脆弱性处置提供了有力工具。     

基于深度优先搜索与增量式求解的极小一阶不可满足子式提取算法

随着寄存器传输级甚至行为级的硬件描述语言应用越来越广泛,基于一阶逻辑的可满足性模理论(Satisfiability Modulo Theories,SMT)逐渐替代布尔可满足性(Boolean Satisfiability,SAT),在VLSI形式化验证领域具有更加重要的应用价值。而极小不可满足子式能够帮助EDA工具迅速定位硬件中的逻辑错误。针对极小SMT不可满足子式的求解问题,采用深度优先搜索与增量式求解策略,提出了深度优先搜索的极小SMT不可满足子式求解算法。与目前最优的宽度优先搜索算法对比实验表明:该算法能够有效地求解极小不可满足子式,随着公式的规模逐渐增大时,深度优先搜索算法优于宽度优先搜索算法。     

广义A-调和张量的反向H?lder型不等式

基于微分形式A-调和方程的反向Hlder型不等式,是研究其解可积性的重要工具。本文将A-调和方程推广到拟线性方程的情形,在一定的条件下获得方程解的反向Hlder型不等式,所得结果可以退化到经典的情形,为研究此类调和方程的正则性与可积性奠定了基础。     

弹上信息处理器闭环模飞系统的研制

弹上信息处理器是导弹电子系统的关键部件,为满足弹上信息处理器研制过程中的闭环实时模飞需求,基于Vxworks实时操作系统技术,实现了基于PCI总线仪器的实时闭环模飞系统.为有效地提高仪器的集成度,仪器模块采用FPGA作为主控制器,基于可编程片上系统(SOPC)技术,实现了带有DMA控制器的PCI接口、HDLC串行通讯协议以及对输入输出开关量的控制.应用结果表明:该设计实现了高效灵活的闭环实时模飞系统,能满足弹上信息处理器不同研制阶段的测试需求,便于更新和扩展.