船舶柴油机智能控制技术研究进展

船舶柴油机智能控制技术是将人工智能算法引入到船舶柴油机控制领域,提高复杂时变非线性系统的控制性能。重点针对基于智能控制算法设计的柴油机子系统控制器研究和基于非线性模型预测架构的柴油机在线性能优化研究,对船舶柴油机智能控制技术的研究现状和进展进行了综述,并分析了此研究领域所涉及的主要理论和方法。根据船舶柴油机智能控制不同应用需求,重点介绍了智能控制方法在船舶推进柴油机新型燃烧、复杂气系统、转速跟踪等控制问题中的应用,分析了智能控制方法的优缺点,讨论了在船舶柴油机控制领域中智能控制技术的未来研究方向和面临的挑战。     

测角技术国内外发展概况

叙述了国内外近年来角度测量技术最新发展动态。以列表的形式给出了各种测角技术的技术指标，表中给出的技术指标是指目前同类测角仪的最高水平。将测角技术（测角传感器）分为三大类，即机械式、光学式、电磁式，并在每一大类中又进行了详细分类。在每类测角技术（测角传感器）中，重点叙述了各种测角技术近年来的发展情况，包括技术特点、达到的技术指标。以同类型测角技术的国内发展情况作了对比叙述。给出了有关参考文献供读者参阅。     

归纳推理和归纳进程

分析了归纳推理与演绎推理的区别, 给出了归纳推理的形式化规则,定义了重构和归纳进程(序列)的概念.同时还给出了一个产生归纳序列的归纳过程模式,并证明:若已知模型M的全体实例集合ε_M,则可以从任一给定的理论出发, 使用此归纳过程模式所产生的所有归纳序列都收敛于同一极限,这个极限就是模型M的全部真语句. 这说明了归纳推理规则的合理性.     

智能交通系统(ITS)的发展 及其模型化研究

智能交通系统在欧洲也称道路交通信息通讯系统,是基于系统工程、电子、通信、信息等多种高新技术,并已渗透到航空、水运、铁路交通领域的新型交通系统.ITS的建立可以提高路网通行能力和服务水平,改善环保质量,提高能源利用率.介绍其基本概念以及国内外发展的概况后,提出了智能交通系统的学科体系模型、服务功能模型和网络层次模型,并简要分析了模型化的意义.最后,对系统的标准化问题及模型化研究对标准化的作用作了简单地介绍.     

Multi precursors analysis associated with the powerful Ecuador (MW = 7.8) earthquake of 16 April 2016 using Swarm satellites data in conjunction with other multi-platform satellite and ground data

After DEMETER satellite mission (2004–2010), the launch of the Swarm satellites (Alpha (A), Bravo (B) and Charlie (C)) has created a new opportunity in the study of earthquake ionospheric precursors. Nowadays, there is no doubt that multi precursors analysis is a necessary phase to better understand the LAIC (Lithosphere Atmosphere Ionosphere Coupling) mechanism before large earthquakes. In this study, using absolute scalar magnetometer, vector field magnetometer and electric field instrument on board Swarm satellites, GPS (Global Positioning System) measurements, MODIS-Aqua satellite and ECMWF (European Centre for Medium-Range Weather Forecasts) data, the variations of the electron density and temperature, magnetic field, TEC (Total Electron Content), LST (Land Surface Temperature), AOD (Aerosol Optical Depth) and SKT (SKin Temperature) have been surveyed to find the potential seismic anomalies around the strong Ecuador (M_w = 7.8) earthquake of 16 April 2016. The four solar and geomagnetic indices: F10.7, D_st, K_p and a_p were investigated to distinguish whether the preliminary detected anomalies might be associated with the solar-geomagnetic activities instead of the seismo-ionospheric anomalies. The Swarm satellites (A, B and C) data analysis indicate the anomalies in time series of electron density variations on 7, 11 and 12 days before the event; the unusual variations in time series of electron temperature on 8 days preceding the earthquake; the analysis of the magnetic field scalar and vectors data show the considerable anomalies 52, 48, 23, 16, 11, 9 and 7 days before the main shock. A striking anomaly is detected in TEC variations on 1 day before earthquake at 9:00 UTC. The analysis of MODIS-Aqua night-time images shows that LST increase unusually on 11 days prior to main shock. In addition, the AOD variations obtained from MODIS measurements reach the maximum value on 10 days before the earthquake. The SKT around epicentral region presents anomalous higher value about 40 days before the earthquake. It should be noted that the different lead times of the observed anomalies could be acknowledged based on a reasonable LAIC earthquake mechanism. Our results emphasize that the Swarm satellites measurements play an undeniable role in progress the studies of the ionospheric precursors.     

Can an impulsive variation of the solar wind plasma pressure trigger a plasma bubble? A case study based on CSES,Swarm and THEMIS data

During the August 25, 2018 geomagnetic storm, the new borne CSES-01 satellite and the Swarm A satellite detected a really large equatorial plasma bubble (EPB) in the post-midnight sector over western Africa. We investigated the features of this deep ionospheric plasma depletion using data from the Langmuir probes on-board CSES-01 and Swarm A satellites, and data from the high-precision magnetometer and the electric field detector instruments on-board CSES-01. Using also plasma and magnetic field data from THEMIS-E satellite we found that, during the passage of the magnetic cloud that drove the geomagnetic storm, an impulsive variation lasting about ten minutes characterized the solar wind (SW) pressure. The analysis of the delay time, between the occurrence of such impulsive variation and the detection of the plasma bubble, suggests a possible link between the SW pressure impulsive variation as identified by THEMIS-E and the generation of the EPB as detected by CSES-01 and Swarm A. We put forward the hypothesis that the SW pressure impulsive variation might have triggered an eastward prompt penetrating electric field that propagated from high to equatorial latitudes, overlapping in the nightside region to the zonal westward electric field, causing either a reduction or an inversion, at the base of the EPB triggering.     

大流量航空发动机高空模拟进气压力智能与复合控制技术

在航空发动机高空模拟过渡态考核试验中,要同时实现进气压力的稳定和快速控制非常困难.针对系统实际工况及被控对象的特点,本项目成功开展了进气压力智能与复合控制技术专项研究,并进行了关键技术总结.实际结果表明,采用该技术后,进气压力控制系统能实现高精度和快速度的高效统一.     

人工智能航天领域应用参考模型

针对人工智能在航天领域的发展和应用问题,梳理了人工智能涉及的技术内涵和技术范畴,分析了在航天领域应用人工智能的近期迫切需求,给出了人类自然智能功能结构,构建了"信息感知、记忆思维、学习适应、行动驱动"的人工智能模型。从基础设施、基础技术、应用技术、产品与系统等层次,给出了人工智能技术参考模型,对需要发展的核心关键技术进行了描述。该参考模型可为明确航天领域的人工智能技术发展重点、建立标准体系提供参考。     

从天基战略侦察向天基战术侦察的发展

在简述天基情报侦察发展历史的基础上,较为详细地分析了战术天基情报侦察的基本要求,并在此基础上给出了战术天基情报侦察的体系结构。最后列举了美国的"战术卫星-3"系统,用以说明战术天基情报侦察的发展趋势。     

知识表示的F-K系统

对经典知识表示系统（多系统）进行了扩充，引入一个刻划“大概知道”的模态词“Ｆ”，并建立了相应的公理系统Ｆ－Ｋ，该公理系统除包含“Ｆ”外也包含经典模态词“Ｋ”。同时，基于滤子对经典Ｋｒｉｐｋｅ框架及模型进行了扩充，从而给出了“Ｆ”的语义，并证明了该语义下Ｆ－Ｋ的完备性与可靠性。