黄河岸畔强武装——山西省保德县县委书记王继明关心武装工作记事

保德县县委书记、人武部党委第一书记王继明,在致力发展经济的同时始终没有忘记强武装、爱武装、用武装。在他的关爱和领导下,武装工作取得了可喜成绩,县人武部逐步跨入省市先进行列。他对武装工作那份热爱,对国防事业那份执著,赢得了广大人民群众的交口称赞。“经济抓上去了,国防建设更要加强”经济建设如火如荼,社会事业红红火火。保德人民生活富裕了,而一些人     

一种快速的矢量脱靶量测量算法

为了满足一些矢量脱靶量测量系统实时性的要求,提出了一种快速的矢量脱靶量测量算法.测量中使用了一个小型天线阵列,基于快速傅里叶变换算法,雷达回波的多普勒频率和不同天线接收信号的相位差能够快速地被估计出来,进一步利用非线性优化的方法估计出目标的矢量脱靶量参数.计算机仿真结果表明,该方法原理正确,能够满足实时要求.     

自办科技报 唱响增收曲

在山东省陵县丁庄乡,每户菜农都有一份叫做《蔬菜指南》的科技小报,别看报纸版面不大,作用却不小。去冬连续35天阴天,菜农们通过《蔬菜指南》介绍的技术及时采取了措施,大棚收入没有受到太大损失。     

CMP1协议的符号模型检验分析

提出采用模型检验方法研究电子商务协议的非否认性与公平性问题,建立了认证电子邮件协议CMP1的有限状态机模型,并用SMV检验工具对其非否认性与公平性进行了分析检验,经过分析发现了CMP1协议不满足公平性并对其进行了相应修改.结果表明,利用符号模型检验方法分析检验电子商务协议的新特性是行之有效的.     

一个新的电子发票协议及其公平性分析

在克服著名电子发票服务IBS协议缺陷的基础上,提出了一个新的电子发票服务协议.同时,采用新的基于扩展Kailar逻辑的分析方法对新协议进行了公平性形式化分析与修改,最终得到一个可以工作在不可靠信道上的公平电子发票服务协议.     

基于Simulink的履带车辆离合器动态仿真实现

以系统仿真软件MATLAB中的Simulink软件包为工具,通过对摩擦离合器工作过程特点的分析,在合理假设的基础上,建立了离合器工作过程中的动态仿真模型。得到的仿真结果对于离合器的实际测试及其故障检测分析有一定的参考作用。     

以对象Petri网为基础的C3I仿真系统的设计和实现

Petri网是描述具有分布、并发、异步特征的系统的有效工具.提出了对象Petri网(OPN)的概念,并对基于OPN的C3I仿真系统结构、设计及实现,作了较为详细的探讨.     

渠县组织万余民兵开展科技大练兵

四川渠县人武部围绕“打赢”,积极组织万余名民兵开展科技大练兵活动,收到了显著的成效。其做法是:     

明日战舰更灵巧的防空武器

海军防空导弹方面的进步再也不是简单地把一些高性能填鸭式地充塞到传统的舰对空导弹中。海军现在所追求的是比现有设计水平的“智能化”程度更高的导弹和系统。     

向信息战过渡

本文摘选《信息战,原理与操作》一书,介绍有关信息战的基本概念。该书原文400页,10章节,于1998年年初由Artech House.Inc出版。作者爱德华·华兹是国际ERIM公司信息科学与技术项目的负责人。