双向比对远距离时间同步技术

双向时间比对是实现远距离时间同步的一个重要途径，在卫星的时频系统中获得了广泛的应用，本文详细描述了其原理和关键技术，在精度分析的基础上，归纳了其典型特点。     

飞船电缆网数据库系统设计与开发

介绍了电缆网数据库建立的背景,并论述了电缆网数据库系统需求分析,重点描述了飞船电缆网数据库的设计与开发。     

军用小卫星的发展及其应用

微电子、微机械以及轻型材料等高新技术的发展 ,为减小卫星和有效载荷的重量和尺寸 ,实现卫星小型化奠定了基础。当今的小卫星再也不是那种简单的小卫星了 ,已具有全新的概念。主要介绍军用小卫星的发展及其应用概况。     

减少DDN设备中断恢复时间的探讨

在无线移动场合下，DDN中继信道的中断比固定场合下频繁得多，DDN设备中断恢复时间长的问题就变得突出起来，这使得DDN电路的可用性远小于DDN中继信道的可用性。本文基于航天测控通信系统使用的DDN设备，分析了DDN设备中断恢复时间长的原因，提出了减少DDN设备中断恢复时间的方法。     

浅谈场面监视雷达系统在北京首都机场的应用

为提高首都机场的运行保障能力，特别是涉及空中飞行器安全的空管设施的建设，经过十几年来的建设，首都机场已经建成了由卫星、数字微波网、光纤等先进技术组成的通信网，改善了数话通信质量，提高了效率，使雷达信息的传输、飞行情报传输和对空指挥通信畅通、便捷；机场导航设备也不断完善，配置了本场DVOR／DME，双向着陆方向都配备了仪表着陆系统，现运行的36R ILS已具备Ⅱ类开放标准；     

Petri网及其在FMS建模中的应用

本简要介绍了Petri网的原理，及其在FMS建模中的应用。     

基于知网的汉语语义实例库的建设与应用

为了解决有指导词义消歧任务中的知识源问题,提出并构建了一个基于知网的汉语词义实例库(CSIC),同时开发了一个语义标注平台(SenseTag)。该平台通过方便快捷的人机交互方式显著提高了实例库的建设效率和质量。利用条件随机场模型,从实例库中自动学习消歧知识,进行自动标准在随机选取的部分汉语高频多义词的词义消歧开放测试中,取得了平均正确率85%的较好效果。     

基于Petri网模型的规则库表示

Ｐｅｔｒｉ网是建立系统模型和分析系统的强有力工具。文中首先讨论了各种类型规则的Ｐｅｔｒｉ网表示，然后给出了一个规则库的Ｐｅｔｒｉ网模型表示，克服了产生式规则表示知识难以反映规则之间相互依赖关系的缺点，对于知识库的维护具有重要意义。     

离散事件系统的Petri网图仿真

1.前言 离散事件动态系统DEDS(Discrete Event Dynamic System)的传统分析方法——应用排队论和随机过程理论为离散事件动态系统建立排队网络模型,在很多情况下已不适用。新的理论和研究方法相继提出。其中之一是“皮特里网”(Petri Nets)理论。另一种比较成熟的方法是仿真法,但是,仿真法要以高昂的计算机设备的大量计算时间为代     

用于建立机械制造系统模型的扩展着色Petri网

着色Petri网是描述和分析并行系统的有力工具,近年来在机械制造系统中得到了广泛的应用。由于机械制造系统的自身特点,在表示着色Petri网结构的关联矩阵中含有许多零元素,从而导致着色Petri网占据数据空间大的缺陷,难以对复杂机械制造系统的规划设计与生产调度进行分析研究。 本文基于着色Petri网的基本原理,提出一种适用于建立机械制造系统模型的扩展着色Petri网理论,用于解决着色Petri网占据数据空间大的问题,为Petri网理论在机械制造系统建模方面的广泛应用提供理论基础。最后给出实例,说明减少数据空间的结果。