设立消防服务中介机构之探讨

随着行政体制改革的深入,将公安消防机构部分技术监督职能转移到中介服务机构,有助于消防工作水平的整体提高。构想了消防服务中介机构的概念、业务范围、法律性质、设立条件、运行模式等,探讨了在运行中可能出现的问题及对策。     

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

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

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

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

基于.NET平台的IETM应用框架及数据应用

交互式电子技术手册是实现装备信息化保障的关键技术之一。用W eb开发平台,提出了基于.NET的IETM应用框架及数据应用,解决了IETM系统的信息共享和信息交互问题。     

反导防御与反导条约

以美国国家导弹防御计划为背景对美、俄所签订的反导条约作了分析 ,其中包括条约要点、条约修改和发展 ,从“修约”到单方“退约”等 ,最后对美退出反导条约背景及影响作了结论     

多轴随机激励振动控制技术研究

针对多轴随机激励的控制问题 ,从多输入多输出线性系统的假定出发 ,研究了均衡控制算法、驱动谱矩阵模拟以及控制系统设计等问题 ;在此基础上 ,提出了多轴随机激励的闭环控制算法 ,仿真运算结果证明了该算法的有效性。文章最后给出了控制系统软件与硬件的设计方案     

非线性转子系统碰摩现象的动力学仿真

针对一类非线性转子系统 ,建立了碰摩模型。在此基础上 ,通过模型的动力学仿真分析 ,研究了非线性碰摩转子系统的同频、倍频、分频、拟周期和混沌振动及其出现特点。其中揭示的振动特征对转子系统的状态识别与诊断具有一定的意义     

美新售台武器装备——“基德”级舰综述

文章对“基德”级舰进行了综述,对其作战性能作了分析并对舰上的主要装备作了介绍.     

有源消声技术与应用述评

近十几年来 ,有源消声技术成为噪声控制领域一个多学科交叉、渗透、延伸的研究热点 ,它以其体积小、重量轻、低频消声效果好等优点获得普遍的关注。本文简述有源消声的基本原理 ,对有源消声理论研究、实现技术、产品应用三个方面的国内外研究现状、进展和难点进行了详细的阐述和分析 ,较为完整地展示了当前该研究领域的全貌 ,最后进一步分析了有源消声走向工程化过程中存在的一些主要问题 ,提出了有源消声技术的几个重点发展方向     

航电综合化系统总线接口板研究设计

提出采用 MIL- STD- 15 5 3B协议芯片 BU- 6 15 80设计 MIL- STD- 15 5 3B总线接口板 ,所设计的总线接口板完全满足 MIL- STD- 15 5 3B标准 ,同时具有 BC、RT、MT的功能 ,使用灵活、方便 ,与计算机接口适用于各种个人计算机和兼容机。