空地对抗马尔可夫链随机服务模型

将空地对抗动态作战过程视为一个随机排队服务系统．利用马尔可夫链随机服务理论分析了空地对抗动态作战过程，在基本假设的前提下给出了该随机服务系统在各种条件下的系统状态传递率图，最后根据统计平衡原则建立了空地对抗随机服务模型，比较真实地反映了实际作战过程。     

基于北斗的连续运行卫星定位综合服务平台设计及其应用

面向北斗导航卫星系统的应用,提出建设基于北斗的连续运行卫星定位综合服务平台(BeidouCORS),该平台具有多种工作模式,是北斗导航卫星系统重要的地面应用和有效补充。给出了平台的总体框架结构和通信链路的设计方案,论述了RTK,RTD和PPP等多种服务模式下的系统工作流程,介绍了参考站、控制与数据中心和数据处理算法等关键部分的建设。基于提出的平台建设框架,结合上海区域特点,给出了上海北斗连续运行卫星定位综合服务平台的示范应用,并设想了平台未来的发展和应用前景。     

廊坊市现代服务业发展现状与对策研究

现代服务业的发展水平是一个城市经济结构、国际竞争力、现代化程度的标志,它的又好又快发展是现代城市能级提升和转变经济发展方式的需要。本文对廊坊现代服务业发展现状进行分析,就进一步发展全市现代服务业提出了建议和思路。     

一种AOS遥测源包多路调度算法

高级在轨系统（AOS）体制的核心是调度策略,文章针对我国航天器遥测数据及信道特点,提出了一种高效的AOS遥测源包调度算法,该算法基于优先级调度,对各种数据可以设计不同的优先级,在调度时满足了低速数据的传送要求以及突发数据等高实时性的要求,尤其是信道空闲时算法在优先调度高优先级源包的同时,也兼顾了低优先级源包的下传需求。...     

基于DoDAF的在轨维护与服务系统需求分析

基于DoDAF标准,对在轨维护与服务系统进行需求分析,增强系统使用者和开发者之间理解的一致性,为系统的分析、设计及扩展提供有利条件.选定典型的在轨维护与服务活动,应用DoDAF标准进行需求分析,得出在该活动下的系统需求,集成不同活动的需求便可以完成在轨维护与服务系统的整体需求.以在轨装配为例说明了具体的分析过程.基于D...     

Xilinx SRAM型FPGA抗辐射设计技术研究

针对Xilinx SRAM型FPGA在空间应用中的可行性，分析了Xilinx SRAM型FPGA的结构，以及空间辐射效应对这种结构FPGA的影响，指出SRAM型的FPGA随着工艺水平的提高、器件规模的增大和核电压的降低，抗总剂量效应不断提高，抵抗单粒子效应，尤其是单粒子翻转和单粒子瞬态脉冲的能力降低。分析了FPGA综合后常见的Half-latch在辐射环境中的影响并结合实际工程实践给出了解决上述问题的一些有用办法和注意事项，如，冗余设计、同步设计、算术逻辑运算结果校验、白检等。最后还提出一种基于COTS器件的“由顶到底”的星载信号处理平台结构，分析了这种结构在抵抗辐射效应时的优势。有关FPGA抗辐射的可靠性设计方法已经在某卫星通信载道中成功应用，并通过了各种卫星环境试验，该技术可以为有关航天电子设备设计提供参考。     

浅谈如何以内部审计工作促进企业管理水平的提高

本文从内部审计的职能、作用入手,在强调审计监督职能的基础上,突出内部审计工作对企业经营管理的服务职能,试图建立以内部审计管理为核心的企业管理模式,促进企业管理水平的提高。     

超声-回弹综合法对服役钢筋混凝土结构的健康诊测

基于超声-回弹综合法检测混凝土强度技术规程,论述了超声-回弹综合法测强原理、影响因素和测试方法,对服役结构混凝土检测时采用钻芯法进行校准,同时对修正用芯样数量和测试精度进行了理论分析。以廊坊市某工程为例,采用钻芯-超声-回弹综合法推定结构混凝土抗压强度,并对检测数据进行分析,供钢筋混凝土结构检测鉴定参考。     

单粒子锁定极端敏感器件的试验及对我国航天安全的警示

随着半导体特征工艺尺寸减小、集成度提高,静态存储器(SRAM)对单粒子锁定呈现出极其敏感的现象和趋势,为此国际航天界开展了大量的试验评估工作,剔除和杜绝了一些极端敏感器件在空间的应用.结合国内外空间应用背景,文章利用脉冲激光实验装置和重离子加速器,分别对三星公司新旧两种型号的4 M位SRAM芯片进行了单粒子锁定试验评估.试验测得两型号芯片的单粒子锁定阈值差异巨大,新型号芯片的锁定阈值低于1.5MeV·cm2/mg,而老型号芯片的锁定阈值高于39.6MeV·cm2/mg.这种对单粒子锁定极端敏感的芯片若应用于空间,将会发生0.008～0.04次/天的频繁锁定事件,极大地威胁航天器的安全和可靠.为应对这种单粒子锁定极端敏感的现象和趋势,提出了加强我国航天产品设计、元器件采购、筛选、试验等的规范、技术和条件的建议.     

一种基于余代数单子的Web服务形式化模型

为拓展服务计算的形式化研究视野、手段和方法,建立并实现了一种针对Web服务的服务计算形式化模型。鉴于开放环境下的服务实体主要来源于不同的第三方提供者,将软件实体抽象成余代数单子,从而以一种黑盒方式给出软件服务的语义模型。给出了余代数单子的一般性定义,在此基础上对软件服务进行单子描述,进而提出一种基于余代数方法和单子技术的Web服务参考模型。最后,实现了一个基于单子的Web服务计算平台原型系统,可支持从遗留系统中进行服务抽取、发布、发现和度量等。