跑道入侵防御灯光控制指令决策方法

为避免跑道入侵的发生,提出一种基于Petri网的灯光控制指令自动决策方法.首先根据跑道静态模型和运行过程,利用Petri网建立跑道区域受控运行模型,然后结合跑道管制规则给出线性不等式约束模型和优先等级约束模型.综合跑道运行约束模型、跑道当前标识信息和观测器信息,给出控制策略,确定受控运行模型中变迁的使能状态.在此基础上,提出基于变迁使能状态决策灯光控制指令的方法,最后通过算例证明决策方法的有效性.     

人机标准陆空通话系统

陆空通话是航指挥的基本功，它为航管人员与飞行员信息勾通架起一座桥梁。本文介绍利用计算机多媒体技术开发的人机标准陆空通话自学习系统，它可以根据学员自身的学习效果，控制学习进度。该系统可以有效地促进、提高学员的听说能力。     

预制语块理论在外语低起点学习者口语教学中的应用研究

通过设置实验组和对照组,对某高职院校2012级会计班的英语预制语块教学改革展开研究。结果表明,尽管低起点学习者的语言水平、课堂学习积极性以及对新方法的配合程度对口语教学质量构成一定影响,但整体来说,这一理论的运用对低起点英语学习者口语表达能力的提高有帮助。对教学改革的启示是,教师能够通过一系列有趣的、行之有效的教学新理论和监督指导策略帮助部分低起点学习者找到好的学习方法,重拾学习兴趣,树立学好英语的信心。     

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

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

多媒体课件写作环境MCAE的设计与实现

ＭＣＡＥ是一个基于多媒体数据库的课件写作环境，它以多媒体数据库为基础并在其上建立一组开发工具形成的一个开放的，集成化的课件开发环境，开发工具主要有写作工具、查询导航工具，数据输入输出工具等。     

边界扫描结构和IEEE 1149.1标准

介绍了边界扫描的基本结构、边界扫描测试操作流程、测试接口和IEEE1149.1标准规定的数据寄存器和指令寄存器,以及IEEE1149.1标准规定必须的3个指令。     

时差测向近场测试误差分析

以短基线时差测向原理为基础,对入射波引起的测向误差进行了分析和计算,旨在为正确评估电子战侦察设备整体性能提供帮助。     

用于交互式计算机图形显示的教学软件系统

人和计算机之间的直观会话是CAD/CAM技术的基础。因此,交互式计算机图形显示这一课程教学乃是CAD/CAM技术教育的重要组成部分之一。本文所提供的教学软件系统包括了交互式计算机图形显示的基本内容。该软件系统不仅可以用于技术演示,而且可供学员自己进行实验学习,并具有方便和直观的特点。这个教学软件系统运行于IBM-PC微机及其兼容机,易于推广普及。     

基于神经网络的ICAI软件的设计与实现

介绍了一个在Ｗｉｎｄｏｗｓ９５平台上用ＶｉｓｕａｌＣ＋＋５．０开发的基于神经网络的信号与系统课程的智能化计算机辅助教学（ＩＣＡＩ）软件设计的基本原理及其关键技术的实现。该软件针对人类教学过程中的智能模拟问题,将神经网络和专家系统两大先进技术相互融合在一起采用面向对象的设计是界面友好、算法透明、程序易于维护、是计算机辅助教学课题的一个成功实例。     

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

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