公钥密码体制下认证协议的形式化分析方法研究

本文通过对形式化方法中最广泛使用的类BAN逻辑进行研究发现，此方法更侧重于对称密码体制下认证协议的分析，而在分析基于公钥体制的认证协议时，该方法有很大的局限性。因此，文中针对公角密码的特点对类BAN逻辑进行了扩展。扩展后的逻辑方法能够更好地应用于分析公钥认证协议。     

受限工作模式下航迹融合多目标跟踪算法研究

针对实际目标跟踪系统中，传感器工作常常受到限制，以满足跟踪精度和隐蔽性双重 要求的工程应用问题．研究了杂波环境下，采用红外(主传感器)始终工作、雷达(辅传感器) 间歇工作的特殊传感器工作模式，红外\雷达双传感器航迹融合多目标跟踪算法及实现．仿 真表明可以达到跟踪精度与隐蔽能力兼顾的系统要求．     

热释电红外传感器在防盗系统中的应用

介绍一种自动防盗报警系统。该系统由热释电红外传感器、电话和检控电路组成。若有人体在警戒范围内移动 ,红外传感器检测出信号 ,检控电路使电话自动拨号 (如 110 ) ,并通过其中的语言电路报告现场地址。     

向量空间模型中特征词的区分度的定量研究

本文提出了关于一个词的文本类间频率的概念,给出一个词在文本分类中的区分度的定义,讨论了区分度的性质,提出了选择特词新的方法,定义了特征词的权重,建立了向量空间模型的一套加权距离分类规则。实验结果表明,本文的方法是有效和有用的。     

产品试验信息管理系统设计与开发

分析了试验信息的重要性及特点 ,介绍了试验信息管理系统的设计思想及系统的总体结构、主要功能和特点     

产品试验信息系统中图像信息的管理方法研究

简要分析了产品试验信息中图像信息的重要性和Forms中图像信息的处理方法。针对数据库外存储的情况 ,实现了一种与文本信息的管理方法一致 ,适合多列图像信息的输入、查询、更改及删除等的自动管理功能。     

两种不同阴极材料的固体氧化物燃料电池

研制了两种不同阴极材料的固体氧化物燃料电池Pt|YSZ|Ag和LSM |YSZ|Ag ,并测试了电池的开路电压与运行温度的变化关系。由实验可知 ,随着温度的升高电池的开路电压增大 ,它们的变化趋势不仅受温度的影响 ,还与阴极材料的结构、导电性能和反应机制有关。Pt|YSZ|Ag中电池Pt阴极具有电子导电性 ,电化学反应有效区域局限在三相界面 ,但Pt催化活性高 ,Pt|YSZ|Ag具有较好的中温输出性能。LSM |YSZ|Ag电池中LSM阴极具有电子 离子混合导电性 ,其电化学反应有效区域由三相界面扩展到两相界面 ,但在温度较低时LSM催化活性较低 ,在较高温度下才有高催化活性 ,因而LSM |YSZ|Ag在高温下输出性能明显提高     

液压脉动去除600MW汽轮发电机护环宏观残余应力

本文介绍了用油压脉冲试验的方法去除护环的宏观残余应力。试验发现，这种方法可以大幅度地降低护环中的宏观残余应力。     

变尺度混沌优化方法在电站经济运行中的应用

变尺度混沌优化方法（Ｍｕｔａｔｉｖ Ｓｃａｌｅ Ｃｈａｏｓ Ｏｐｔｉｍｉｚａｔｉｏｎ Ａｌｇｏｒｉｔｈｅｍ,ＭＳＣＯＡ）利用混沌现象的特点,把混沌变量映射到待寻优变量区间,不断缩小优化变量的搜索空间和提高搜索精度,从而有较高的搜索效率。对几个测试函数的优化计算验证了该方法有的效性。电站经济运行问题是一个具有整型变量、连续变量及非线性函数的混合整数非线性规划,本语文将变尺度混沌优化方法首次应用到电站     

分布式不确定性系统状态估计

研究了分布式不确定性系统的状态估计。以两部雷达构成的分布式系统为对象，考虑杂波环境、量测噪声和目标不确定性机动下的多目标跟踪。针对其中的两类不确定性问题，提出了机动目标自回归统计模型，并将它与联合概率数据关联相结合，给出了一种新的分布式多目标跟踪算法。仿真结果证明了其快速性和自适应性。