可重构的通用硬线逻辑电路算法验证平台的设计

介绍一种通用硬线逻辑算法验证平台的设计思路。在人机交互界面干预下,可通过高性能的PCI局部总线接口,从文件系统向算法验证平台系统分别传送构成待验证算法硬线逻辑的码流以及该算法运算所需的输入数据,并将该算法的运算结果向文件系统输出。利用这个平台,已验证基于小波变换和零树编码的先进的图像压缩/解压缩算法的硬线逻辑。本系统的框架也可用于验证其它用同类且规模类似的FPGA(CPLD)实现的硬线逻辑算法。因此,它是一个通用的算法验证平台框架     

基于FPGA实现遥测数据解扰分接的设计

为满足高码速率数据流的分接要求，提出了一种由现场可编程逻辑阵列（FPGA）实现遥测数据解扰分接的设计方案。该方案用-XILINX SpartanⅡ XC2S50芯片实现搜索帧同步、数据解扰和数据分接单元，用超高速集成电路硬件描述语言（VHDL）进行编程，可处理码速率768kb／s的数据流。因用单片FPGA实现。减小了电路体积。     

力伺服系统的模糊自适应控制

位置扰动型施力系统存在着多余力的问题,同时由于系统的非线性及参数时变等因素的影响,给系统的校正和优化带来了困难,为了消除位置扰动型施力系统中存在的多余力以及非线性,参数时变等因素的影响,采用在非线性前馈校正基础上的模糊自适应控制策略,可以较好地消除系统的多余力,同时克服了系统的非线性及参数时变等因素的影响,改善系统的动态品质,仿真研究的结果验证上述结论。     

分布式实时控制系统执行软件的研究与设计

 用“数据驱动”(Data-Driven)和“事件驱动”(Event-Driven)代替常规的“时间驱动”(Time-Driven)作为分布式实时控制系统执行软件的驱动机制,可以使系统中数据传输效率和系统的实时性都有较大的提高。本文所述的执行软件在这方面做了一些尝试,取得了较好的效果。     

从天到地——欧洲上空的新“野鼬鼠”

长期以来，美军驻欧洲的F-16战斗机群一直伴随F-15“鹰”式战斗机执行防空任务，他们的主要任务就是负责5000米以下的卒中安全，不让米格机和“逆火”从F-15无暇顾及的低空渗透。     

单片系统在星载计算机上的应用

小卫星的设计目标之一是低成本、轻质量以及研制周期短，使用商用现货的元器件和开发工具可以更好的支持这一思想。可编程单片系统是其中的一项关键技术。这种单片系统方案可以降低小卫星电子系统(比如数管，通信和控制系统)的体积、复杂度和成本。该文阐述了单片系统在航天器上的应用，并以一星载计算机的单片系统作为设计举证，包括一个微处理器软核、其他的外围接口设备软核及所采用的目标芯片，并对以微处理器软核为核心的片上系统如何实现进行描述，同时提供了通过片上总线集成外围接口设备软核的方法。     

中介逻辑的模型论性质

中介逻辑是朱梧槚与肖奚安合作创立的一个新的逻辑系统,该系统的创立有着很强的哲学背景,因此在创立后得到了很大的发展。但对于该系统语义的研究还不够广泛和深入。本文系统地研究了中介逻辑的模型论性质。第一部分系统地定义了中介逻辑模型论的一些概念:如语言、结构、解释、满足等,第二部分证明了对任一和谐理论,都可在其见证集的等价类上建立其模型。利用此定理,笔者证明了广义完全性定理,并由此证明了中介逻辑的可靠性与完备性。本文最后一部分讨论了中介模型论的其他重要性质。利用中介逻辑的完备性,本文证明了紧致性定理,即一理论有模型当且仅当其任一有穷子集有模型。文中还证明了中介逻辑的Lowenheim-Skolem-Tarski定理。     

新一代FPGA在星载嵌入式计算机中的应用

阐明了新一代现场可编程逻辑器件(FPGA)的特点，以及器件、内部模块、PowerPC405处理器的结构与组成。分析了其在星载嵌入式计算机中央处理器(CPU)结构设计中的应用，并给出了设计过程。采用最新的FPGA系列产品内嵌32位减少结构系统计算机(RISC)硬核和3．125Gb／S高速串行接口，可使星载嵌入式计算机的设计更为灵活，同时也提高了系统的可靠性。     

固体火箭发动机总体设计水平的模糊综合评判

基于模糊逻辑，建立了评判固体火箭发动机总体设计水平两级指标体系和模糊综合评判方法，采用给定满意区间的方法提高了可量化指标隶属度的准确性。算例表明，该方法较全面地反映了固体火箭发动机总体设计水平。