Common Lisp语言在Prolog／Lisp协处理器板上的实现

首先对Common Lisp语言和Prolog/Lisp(简称PLC)协处理器板的特点作一介绍,然后介绍了common Lisp在PLC上的数据表示、运行机制以及面向Common Lisp语言的指令集的设计,最后给出了PLC板在硬件设计上对CommonLisp语言的一些关键操作的硬件支持手段。模拟运行结果表明:PLC体系结构设计、指令集设计是合理的,其运行速度达到了设计要求。     

UML在软件可靠性测试数据自动生成中的运用

为了自动生成实时嵌入式软件的可靠性测试数据,利用UML(统一建模语言)提供的建模机 制,从软件可靠性测试的角度建立use-case剖面、接口模型和测试数据实现模型,然后根 据 这些模型的描述进行随机抽样,自动生成可靠性测试数据.利用该方法能够开发出相应的测 试数据自动生成工具,在软件可靠性测试领域有着较大的实用价值.     

Rhetorical shadows: The conceptual representation of incongruent shadows

ABSTRACT

This article addresses the topic of conceptual representation of shadows. We analyze several examples of contemporary imagery, taken from advertising and cartooning, to shed light on the way shadow depictions are used as rhetorical devices. Instead of being inserted as a natural phenomenon, rhetorical shadows invite the construction of meaning, and instead of being a mere natural companion of their casters, they reveal things about their casters. Three so-called “shadow incongruity types” are distinguished: (1) shadows revealing the “true nature” of their caster or the “hidden contents” of the caster’s mind; (2) shadows marking some transition their caster is involved in; and (3) shadows suggesting a certain quality attached to one of a shadow’s main ingredients (casting object, light source or surface). For each of these types of rhetorical shadows, we demonstrate that the way they convey meaning basically follows the principles of perceiving and understanding natural shadows.     

高级语言在数字飞行控制系统中的应用

为跟踪90年代由高级语言开发飞控实时软件的总趋势,本文综述了高级语言在飞控中应用前景;归纳了编译器效率指标、编译器与目标计算机、软件生产率等问题。还简要地以C语言开发某直升机数字飞行控制系统为例,对高级语言开发实时飞控软件作了初步探讨,叙述了方法步骤,仿真验证手段及其结论。     

论江泽民执政思想的特色与现实意义

第三代中央领导集体在长期的领导和执政实践中,励精图治,勤于探索,勇于创新,对中国共产党执政规律的认识更加深刻,最终形成以“三个代表”重要思想为核心、独具中国特色的执政思想,标志着中国共产党作为一个超大型的执政党在经历了五十年执政的风风雨雨后日趋成熟。     

伪随机时钟激励模块设计研究及应用

随着现场可编程逻辑器件（Field Programmable Gate Array,FPGA）验证水平的逐渐提高,对于测试平台（Testbench）中产生的时钟激励也提出越来越高的要求。目前,在Testbench中使用的时钟激励模块都是具有固定周期和固定占空比的激励信号,然而在现实条件下,时钟沿都具有一定的抖动,从而影响到时钟的占空比及瞬时频率。为了模拟时钟的这种实际特性,文章提出了一种基于伪随机算法实现的沿跳变的时钟激励模块,并将该模块用于高速计数器设计的实现验证,取得较好的验证效果。     

航天器控制高级语言的设计与实现

针对航天测控任务中存在的卫星控制人员手工操作多、任务准备周期长、自动化水平低等问题,在分析航天器控制流程的基础上,抽象出面向卫星控制人员的航天器控制高级语言,设计语言规范,描述Windows平台的编辑、编译、运行功能的设计与实现。该语言成功应用于某中心的卫星测控任务中,任务准备快速高效,大大减轻了卫星控制人员的工作量,任务过程自动执行,无需人工干预,提高了航天器控制过程的自动化水平。     

ARINC429总线接口设计与实现

ARINC429总线在航空电子系统领域被广泛的应用。本文分析了ARINC429总线的工作原理,根据其数据格式、接口电平要求,给出了由FPGA设计实现ARINC429总线的基本原理,并通过VHDL语言编程,实现了ARINC429总线协议部分,实现了接收和发送功能。采用FPGA器件设计集成ARINC429总线协议的通信芯片,可以有效地提高数据通信模块的处理能力和集成度。通过实际与通用型ARINC429总线芯片的通讯,验证了方案的正确性。     

Observing the Sun at 20–650 MHz at Thermopylae with Artemis

Fine structure of type IV radio solar bursts with a great variety and complexity often give much information in different ways and enable estimation of various coronal characteristics. In this work, we expose our new method for fine structure revealing and separation of two basic kinds of type IV fine structure, as fibers and pulsations. We also estimate frequency drift of fibers from dynamic spectra, clean from continuous background, with a prototype method using 2-D Fourier transform and we estimate periodicities of fibers as well as pulsations with continuous wavelet transform. Working with the last method we found periodicities close to 3 min umbral oscillations and 5 min global solar oscillations.     

自动测试系统的发展现状及前景

LXI(LAN extension for Instrument)是一种适用于自动测试系统的新一代基于LAN的模块化平台标准。自动测试系统的发展经历了3个阶段:专业型、积木型、集成型;LX I仪器总线标准为我国自动测试领域的发展带来了机遇和挑战,为自动测试系统的发展指明了新的方向。