密码协议的π -网形式化描述和分析

π-网是一类模块化的、具有代数演算功能的高级Petri网.通过引入项、buffer库所和解密变迁等建模元素,本文在π-网中建立了密钥管理和加密信息的传输机制,形成了密码协议的Petri网形式化模型,而且对于任意的一个密码协议,都可以将其模块化,本文还提出了密码协议的鉴别性和安全性的验证机制.通过对Needham-Schroeder协议的实例分析,对密码协议的密钥交换和鉴别性,以及协议存在的漏洞,进行了有效的形式化描述和分析.     

地基防御雷达的有源假目标极化鉴别能力

研究了有源多假目标等欺骗性电子干扰对地基防御雷达系统的有效性问题。首先详细分析了任一椭圆极化天线有源假目标的极化特性,并探讨了典型雷达目标的极化散射特性。在此基础上,设计了有源多假目标的极化鉴别算法,计算机仿真表明,具有极化测量能力的地基防御雷达系统具有对有源多假目标进行鉴别的能力。     

基于多普勒谱的多目标鉴别技术

多目标鉴别是雷达信号处理中迫切需要解决的技术难题。针对Chirp脉冲雷达体制及其相参积累处理的原理和特点,利用多个目标的多普勒谱分布特性,提出了应用CLEAN算法的多普勒谱旁瓣抑制技术实现多目标鉴别。仿真结果表明了这种技术的有效性,且在信噪比较低的情况下仍然非常稳健。     

时—频信号分析与雷达的多目标分辨

对于编队飞行的目标，由于它们之间的间距很小，常规雷达无法直接从距离和方位上区别目标。但利用目标回波多普勒频率的差别是有可能分辨目标的，这—般需要较长的相关处理时间。在这期间，目标本身的多普勒频率又是变化着的。本文分析了编队飞行目标多普勒频率的变化规律，指出多普勒回波信号的变化可以用线性调频（ＬＦＭ）信号模型来表示。本文提出了用时－频分析的方法来分辨编队目标，并用短时付氏变换（ＳＴＦＴ），Ｗｉｇｎｅｒ分布（ＷＤ）以及我们提出的自适应谱图（ＡＤＳＰ）方法对实测的雷达数据进行了分析。实验结果表明，自适应谱图具有与Ｗｉｇｎｅｒ分布相近的自分量信号分辨能力而没有其交叉项。它在噪声背景下的分辨性能大大优于Ｗｉｇｎｅｒ分布和短时付氏变换，因而是一种有效的多目标分辨方法。     

一种有效的声信号特征提取算法及应用

针对复杂模式识别中的特征提取与选择问题,结合时间序列的参数模型和Fisher判别准则,提出了利用AR模型来拟合模式样本的时间序列,将模型参数作为原始特征矢量,然后在Fish—er鉴别准则函数取极大值的条件下,求得一组最佳鉴别矢量,最后再将高维原始特征矢量投影到这组矢量空间上来构成低维特征矢量的有效特征提取方法,对6类战场声目标的实测样本数据进行了实际的特征提取,分析了所提取特征的统计分布特性,并采用BP网络对用该算法所提取特征的有效性进行了检验,取得了令人满意的识别效果。     

基于边缘配准的印鉴自动鉴别方法

从图像处理和分析的角度出发,提出基于边缘配准的鉴别方法。该配准算法基于图像几何形状和统计特征,由快速形状检测算法和投影算法组成。     

朝鲜红参(高丽参)真伪鉴别

朝鲜人参为五加科植物人参 Panax genseng C.A.Mey.带根茎的根 ,现均系栽培品 ,其植物来源与国产人参相同。商品主要分为朝鲜红参与朝鲜白参 ,国内外所称的高丽参 ,一般指朝鲜红参 (系经加工蒸制而成 )。1　正品朝鲜红参 (高丽参 )的特征朝鲜红参呈长柱形 ,上半部均压制成不规则的类方柱形 ,长 7～ 1 5 cm,宽 1～ 2 cm,表面红棕色至深红棕色 ,有光泽 ,略透明 ,皮细腻显油润。顶端为根茎(参芦 ) ,短而粗壮 ,为单芦或双芦 ,凹窝状茎痕 (芦碗 )大。主根肩部 (即上部 )宽阔 ,参体上下近等粗或下部略细 ,有的残存黄色栓皮 (习称“黄马褂”) ,上…     

蒙医用达克沙的品种整理与生药学研究

对蒙药材达克沙进行了品种整理和生药学研究,内蒙古确使用该药材提供了科学依据。     

蒙成药镇刺六味丸的鉴别研究

为完善镇刺六味丸的质量标准 ,采用显微鉴别法和薄层色谱法对该制剂进行了鉴别研究 .结果表明 ,实验方法操作简便 ,重视性好 ,结果准确     

脉冲星是中子星还是奇异星

1900年,开尔文在一篇著名演讲中提出,物理学“晴空万里”,但只是有“两朵乌云”,其中一朵是“能量均分定理运用于黑体辐射时失效”,另一朵是“以太漂移测量的零结果”,对它们的研究,分别导致了本世纪两个最伟大的基本理论（量子论和相对论的出现。