测控站布局对区域卫星导航系统的影响

建立区域卫星导航系统的测控网是卫星导航系统要解决的关键问题之一。讨论国内测控站的布设问题,采用网格计算方法分析国内测控站对导航星座的可观测性。引入位置精度衰减因子PDOP和定轨中的法矩阵条件数,分析测控网对导航星座的观测几何结构强度以及测站位置分布对轨道确定精度的影响,仿真结果表明,利用我国有限的国土跨度和航天测控资源可以确保对导航卫星的测控任务的完成。对在国外布设测控站进行讨论和仿真,结果说明位于国外的测控站(如可在澳大利亚的珀斯设站)的加入能明显改善观测的几何结构强度、提高导航卫星的轨道精度。     

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

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

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

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

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

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

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

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

反导防御与反导条约

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

运用精细加工理论制作IBM-PC机“寻址方式”智能化个别指导课件

寻址方式是教育技术及相关专业课程《计算机系统原理》与《计算机接口技术》中的重点和难点 ,内容比较抽象 ,通过传统的课堂讲授 ,难以达到良好的教学效果。我们针对这一教学难点 ,在精细加工理论的指导下 ,制作了关于“寻址方式”的智能个别指导课件 ,在实际教学过程中进行了运用 ,收到了较好的效果     

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

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

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

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

军事信息资源的开发和利用

以信息技术为核心的新军事革命来势迅猛,对我军的信息化建设提出了迫切要求。本文分析了我军军事信息资源建设现状,提出了加速我军军事信息资源开发与利用的建议。