CROMEMCO LISP符号微分程序系统

本文说明了符号微分程序系统的一些特征、功能、设计思想和程序设计技术。 该系统是使用人工智能专用语言LISP写成的,并且已经在CROMEMCO系统Ⅲ微型计算机上正确地运行。文中还给出了在该机器上求出的一些复杂函数的符号微分实例。     

夏延ⅢA飞机起落架故障着陆的探讨

夏延ⅢＡ高教机在十年多的训练使用过程中 ,曾多次发生起落架收不上、放不下或放不到位等故障。特别是高教机单飞的实施 ,飞机落地次数的增加 ,起落架收放频繁 ,其系统的故障率更是明显增加。例如 ,笔者在今年带学员执行广汉到贵阳飞行训练中 ,飞机在高度 6 6 0 0ｍ巡航时 ,起落架收放信号灯中的红色信号灯亮 ,机组立即采取措施 ,及时减速到 172ｋｎ以下返航。正常放起落架落地后 ,机务人员排除了故障。起落架系统工作的好坏 ,直接影响着飞行安全。因此对夏延ⅢＡ飞机起落架故障着陆有一个清晰的认识 ,并了解该系统曾经和可能出现的故障 ,正…     

贝尔206BⅢ直升机主旋翼桨叶前缘梁防腐类型和方案

贝尔206BⅢ皿型直升机是美国贝尔公司生产的一种轻型多用途直升机,是世界上广泛使用的一种通用机型,在商务、旅游、航空摄影、运输、军事、公安、消防、医疗、航空教学等诸多领域都得到广泛使用并赢得良好声誉.它的主旋翼系统是二桨叶半刚性跷跷板型,桨叶是全金属蜂窝结构,主要由前缘梁、加强支架、蒙皮、蜂窝结构、后缘梁、平衡配重和调整片组成.     

汽轮机数字电液控制系统在大型火电机组中的应用

丰城电厂4×300MW单元机组汽机控制采用了以WDPF集散系统为基础而构成的汽轮机数字电液控制系统(DEH-Ⅲ)。以DEH-Ⅲ为例对数字电液系统的组成、系统功能、运行方式和保护控制进行了介绍。     

山地云雀

瑞士空军的SA316B“云雀”Ⅲ轻型救援直升机（近处一架）及其后继者——欧直EC635直升机。由于十分轻小，单发“云雀”Ⅲ在山地救援方面优势明显——请注意图中“云雀”使用了雪撬式起落架，提高了雪地适应性。     

混凝土氯离子扩散理论模型的研究Ⅱ——基于有限大体的非稳态齐次与非齐次扩散问题

针对Ⅰ维大平板、Ⅱ维长方柱体和Ⅲ维长方体等有限大扩散介质,以综合考虑氟离子结合能力、氯离子扩散系数的时间依赖性和结构微缺陷影响的实际混凝土氟离子扩散新方程为基础,在常数边界条件下推导出混凝土构件的氯离子扩散理论齐次模型,可以作为自然扩散法的计算模型使用。同时,在指数函数的边界条件下获得了Ⅰ维大平板、Ⅱ维长方柱体、Ⅲ维长方体和正交各向异性Ⅲ维长方体等混凝土构件的氯离子扩散理论非齐次模型,满足实际混凝土结构的多种体形和复杂边界条件。并用大量的实测数据验证了有限大体的Ⅱ维和Ⅲ维氯离子扩散理论齐次模型,探讨了有限大扩散和无限大扩散对混凝土结构寿命的影响。     

混凝土氯离子扩散理论模型的研究II——基于有限大体的非稳态齐次与非齐次扩散问题

针对I维大平板、Ⅱ雏长方柱体和Ⅲ维长方体等有限大扩散介质,以综合考虑氯离子结合能力、氯离子扩散系数的时间依赖性和结构微缺陷影响的实际混凝土氯离子扩散新方程为基础,在常数边界条件下推导出混凝土构件的氯离子扩散理论齐次模型,可以作为自然扩散法的计算模型使用.同时,在指数函数的边界条件下获得了I维大平板、Ⅱ维长方柱体、Ⅲ维长方体和正交各向异性Ⅲ维长方体等混凝土构件的氯离子扩散理论非齐次模型,满足实际混凝土结构的多种体形和复杂边界条件.并用大量的实测数据验证了有限大体的Ⅱ维和Ⅲ维氯离子扩散理论齐次模型,探讨了有限大扩散和无限大扩散对混凝土结构寿命的影响.     

人工智能产生式系统的分析(上)

产生式系统是一种问题求解系统,可用于人工智能的各个领域。本文从理论上详细地分析了产生式系统的三个重要组成部分,即一个综合数据库,一组产生式规则和一个控制系统;讨论了属于不同领域若干例题,如华容道游戏、皇后问题、机器人的积木世界、求最短路径问题,以及古老的梵塔问题。文章还附有用LISP语言编写的程序和在Cromemco系统Ⅲ计算机上求出的结果。     

使用 AD590作传感器的测温系统

AD590是一种新型集成化测温元件,它具有较高的线性度、稳定性与可靠性。本文在简要地介绍了测温传感器 AD590的主要特性之后,给出了测温系统的处理电路及参数计算公式,并针对实际使用的情况,概要地阐述了多路测温系统的原理及组成,还给出了一个六路巡检测温系统的原理电路图。文中对传感器的校准调试方法和使用经验也作了相应的介绍。本文所介绍的多路测温系统,将使用在磁悬浮风洞的激磁亥姆霍兹线圈上,通过测温控制系统,可以保持线圈温度和激磁电流稳定不变。当然,这个系统也可以使用在其它的测温场合。     

动态与简讯

测量仪表动态重量小于三磅的实时分析器Ivie电子声分析系统把一台实时分析器和一台精密声电平仪组装在一起构成一台小型的、有坚固外壳的仪器,重量只有2.9磅,适用于一个波段。IE-30 A具有三分之一倍频程实时分析田(Ⅲ类滤波     

基于ARM的无人机HEVC实时视频传输系统设计

针对目前无人机实时视频的实时性、低功耗、小型化需求,设计了一种基于ARM嵌入式的实时视频传输系统;该系统采用NXP i.MX6Q作为视频采集端的核心处理器;搭载嵌入式Linux操作系统,使用HEVC(高效率视频编码)标准进行视频编码,扩展了RTMP对HEVC的支持,在云服务器端使用Nginx搭建流媒体服务器,使用4G移动网络通过RTMP实时消息传输协议对视频实时推流。视频接收端使用FFplay实时显示。实验结果表明,系统运行稳定,视频显示平均延迟在900 ms以下,播放流畅,图像清晰。     

马尔科夫使用模型在仿真系统测试中的应用

基于马尔科夫使用模型的测试方法引入到仿真系统的测试中,给出了基于马尔科夫使用模型仿真系统测试的基本过程;分析了使用模型的构建,给出了一种测试充分性判断的分析方法;提出了一种基于马尔科夫使用模型的仿真系统可信度计算模型.实例证明了马尔科夫使用模型在仿真系统测试中的有效性,检验了可信度模型的合理性.     

夏延ⅢA全飞行模拟机高度警告系统失效故障的排除

运用共享数据库和线性插值校准的方法，通过对实时变量的驱动、监测和采集，掌握数据的规律。通过运用故障树图的运行分析方式，对夏延ⅢA全飞行模拟机高度警告系统的故障进行了分析和排除。     

基于Google Maps的模拟飞行轨迹显示系统的设计与实现

介绍了以Google Maps为平台的模拟飞行轨迹动态显示系统的设计与实现过程。首先对Google Maps以及所使用的模拟飞行训练系统进行了介绍,然后对系统实现过程中的主要使用技术作了说明。本文的重点是模拟飞行轨迹显示系统的动态功能的实现过程,其中对系统的主要功能以及系统运行流程进行了阐述,并对所使用的算法进行了分析。最后是模拟飞行轨迹显示系统的运行效果图。     

跨声速翼型风洞数据库管理系统

本文主要介绍在西北工业大学跨声速翼型风洞(TAWX)中的PC/XT微机上,采用数据库管理软件 C-dBAsE Ⅲ,对该风洞翼型实验数据、计算数据,几何数据和应用程序进行系统化管理的方法。文中着重说明了使用的情况,并针对该风洞的性能、特点,简单描述了所用数据库的结构框图,在此基础上较详细地叙述了实现风洞实验数据共享和存贮的具体过程,其中也涉及到了数据库的管理和维护措施。从文中可领略到使用数据库的好处和必要性。该数据库的建立和开发应用,解决了长期以来实验数据零散、管理困难、使用不便、资源无法共享等问题,提高了工作效率,为实现风洞-计算机一体化的宏伟目标迈出了第一步。     

电动静液作动器的建模与仿真

关于电动静液作动器(EHA)的建模是多电飞机研究的关键技术之一。通过借助Matlab/Simulink仿真工具对EHA系统进行建模与仿真实验,构建了一种全新的EHA系统模型。使用永磁同步电机(PMSM)取代目前使用的无刷电机作为EHA系统的驱动电机,分析了蓄能器的使用对系统带来的影响,并进行了基于Simulink液压工具箱的物理建模并且跟传统数学模型试验结果进行了对比。实验结果结论表明了永磁同步电机和蓄能器的使用可以减小系统脉动,提高控制精度,改善系统性能。这为下一步EHA的研发提供了新的思路。     

试论科技论文的语言特点

阐述了科技论文在现代社会中的重要地位和作用，着重探讨科技论文的语言特点。在科技论文中使用多语系语言，且除了使用自然语言符号系统以外，同时大量使用超自然语言符号系统。科技论文要求语言简明、精确，逻辑性强，并严格遵守有关的规范和标准；在语法上则多采用存在句、泛指句和析使句，常用第三人称。     

无人直升机目标定位系统设计

为了提高无人直升机在自主飞行作业时的精确性,本文设计了一套获取无人直升机相对于任务目标飞行状态的测量系统。该系统采用机载激光雷达对无人直升机周围环境进行扫描建模,使用STM32作为微控制器设计硬件电路实现系统功能。提出一种针对性算法,对扫描范围内的环境数据进行处理与分析并解算出飞行状态。此外,还使用Labview进行上位机软件的开发,可以实时显示该系统测量得到的状态结果。实际测试结果表明,该系统可以准确获取无人直升机相对于任务目标的距离和方位角。     

二维激光测速仪的精度标定及使用

本文介绍了作者在使用以美国 TSI 公司引进的《9100-7激光多普勒测速系统》(以下简称 LDV 系统)测量流体速度后所积累的一些实际经验和系统测试精度的标定方法,指出了使用 LDV 系统测量流场速度时必须具备的必要条件和充分条件。“大后掠三角翼空间流场”实验测得的数据,为涡的结构传播及其稳定性的研究提供了有力的依据。     

起落架系统的检查与维护

针对飞机起落架系统的故障机理及故障特点,总结分析了固定式起落架与可收放式起落架系统的故障类型,并概述了在日常检查和维护工作中所使用的方法及程序,为该系统的维护及检查提供了有力的依据。