计算机简化逻辑代数式

本文的目的是用计算机对数字电路、模糊数学领域及其他技术领域中广泛使用的逻辑代数式进行简化,以前简化逻辑代数式的方法一般采用公式法、真值图法、观察法及其他方法处理,但是随着科学技术的飞跃发展,逻辑中所含的变量数目越来越多,给人们的简化工作带来了困难。本文为此对逻辑代数式的规律进行分析,提出用计算机计算的公式,并提出减小计算工作量的方法。     

Past, present and future implications of human supervisory control in space missions

Achieving the United States’ Vision for future Space Exploration will necessitate far greater collaboration between humans and automated technology than previous space initiatives. However, the development of methodologies to optimize this collaboration currently lags behind development of the technologies themselves, thus potentially decreasing mission safety, efficiency and probability of success. This paper discusses the human supervisory control (HSC) implications for use in space, and outlines several areas of current automated space technology in which the function allocation between humans and machines/automation is sub-optimal or under dispute, including automated spacecraft landings, Mission Control, and wearable extra-vehicular activity computers. Based on these case studies, we show that a more robust HSC research program will be crucial to achieving the Vision for Space Exploration, especially given the limited resources under which it must be accomplished.     

民航VHF地空通信干扰对策研究

民航VHF地空通信干扰是近年来困扰中国民航的难点问题。通过对中国某机场干扰情况的深入调查和研究，明确了主要干扰源及其产生机理。同时结合中国电磁环境的实际情况和民航自身的特点，提出了从民航自身入手、加强管理、建立监控体系和应急VHF通信接收系统的解决思路。     

机场客运CBT教学系统的设计和实现

本文介绍了北方航空公司机场客运CBT教学系统的总体结构，特点及其各部分功能，并介绍了系统的实现及性能维护。     

涡轮增压器监控系统与PIC单片机的串行通讯

依托Borland C 5.0集成开发环境和MPLAB IDE（PIC集成开发环境），使用Windows应用程序接口（API）函数和PIC单片机14位的精简指令（RISC）系统，开发了涡轮增压器监控系统和PIC单片机民控单元。监控系统采用C语言模块化程度设计；电控单元采用PIC精简指令系统汇编语言编程。简要介绍了涡轮增压器控制系统的组成，并给出了监控系统同PIC电控单元的双机通讯软件设计实例。     

规则海浪情况下直升机着舰速度研究

从直升机和舰船运动方程出发，主要对直升机的着舰速度进行了研究，确定了在规则海浪情况下，着舰速度与舰船横摇角、侧向伴移、升沉之间的关系。最后，对直升机的着舰过程进行了模拟，所得结论可为直升机起落架强度设计和飞行员正确操纵直升机着舰提供参考。     

分布式电能计量与计费系统中通信信道特性与实现方案的研究

本文介绍了分布式电能计量与计费系统中低压电力线作为载波通信信道时的信道特性，给出了实验数据和特性曲线，并选择了通信的基本方案。     

分形图形的计算机生成

本文基于羊齿叶的特定形状，通过对分形集及其性质的讨论，给出了利用计算机生成分形集的一般途径及方法，并运用ＩＦＳ方法建立了计算机生成羊齿叶的数学模型。     

计算机辅助喷丸工艺规程设计研究与应用

传统喷丸工艺规程的设计方法是由工艺人员根据他们从事工厂生产活动而积累起来的经验，以手工方式进行的，缺乏一致性，还存在着大量的重复劳动。计算机辅助喷丸工艺规程设计（ＳＰ－ＣＡＰＰ）是专门为从事喷丸工艺规程编制工作的技术人员所设计的计算机软件系统。它具有操作简便、功能强大、用户界面丰富多彩、容错性良好和高度自动化等特点，是使喷丸工艺规程设计工作高质量、高效率、集成化和规范化的有力工具。     

煤气站有毒气体的计算机安全监控系统

本文为重大危险源的实时安全监测控制提供了一个先进通用的范例。系统首先通过传感器实时接收ＣＯ泄漏数据，当浓度超标后，系统将在工作现场及几个有关场所分别进行声、光报警和语音报警，并自动控制通风设备进行事故排风。此餐，可用工控机对所有的监测数据进行自动存储、统计、分析、查询、作图、打印等。该系统已在１３２厂得到了成功的应用，在国内居领先水平。其监控原理适用于其它有毒气体及燃烧爆炸场所的泄漏监控，具有广泛