An IPC-based Prolog design pattern for integrating backward chaining inference into applications or embedded systems

Prolog is one of the most important candidates to build expert systems and AI-related programs and has potential applications in embedded systems. However, Prolog is not suitable to develop many kinds of components, such as data acquisition and task scheduling, which are also crucial. To make the best use of the advantages and bypass the disadvantages, it is attractive to integrate Prolog with programs developed by other languages. In this paper, an IPC-based method is used to integrate backward chaining inference implemented by Prolog into applications or embedded systems. A Prolog design pattern is derived from the method for reuse, whose principle and definition are provided in detail. Additionally, the design pattern is applied to a target system, which is free software, to verify its feasibility. The detailed implementation of the application is given to clarify the design pattern. The design pattern can be further applied to wide range applications and embedded systems and the method described in this paper can also be adopted for other logic programming languages.     

基于加权全变差最小化的中子外部CT重建算法

针对中子外部CT检测需求，提出了基于加权方向全变差（WDTV）最小化的中子外部CT重建算法。首先，利用平行束数据对称性原理将正弦图中旋转中心另一侧缺失的投影数据进行补充；其次，采用传统FBP算法进行了外部CT扫描模式下的CT重建。为了抑制传统FBP、SART算法重建图像中径向边缘伪影，采用WDTV算法计算沿径向和周向方向的局部方向差分并作加权和。另外，在重建模型的WDTV项中引入2个权重参数以控制径向边缘和切向边缘的不同响应强度。最后，采用所提算法研究了重建图像质量与投影数据量的关系。计算机仿真和真实冷中子实验表明:基于WDTV最小化的中子外部CT重建算法能够有效抑制径向边缘伪影，获得高质量重建图像。      

The influence of orbital maneuver on autonomous orbit determination of an extended satellite navigation constellation

The right ascension of the ascending node is unobservable if only the inter-satellite ranging is used for autonomous orbit determination (AOD) of an Earth navigation constellation. However, if an Earth-Moon libration point satellite is added to the Earth navigation constellation to construct an extended navigation constellation, all the orbital elements can be determined with only the inter-satellite ranging. Furthermore, the extended navigation constellation can provide navigation information for interplanetary probes. For such an extended navigation constellation, orbital control needs to be considered due to the instability of the libration-point satellite orbit. This study concerns the influence of satellite orbital maneuver on the AOD of the extended navigation constellation. An AOD method under orbital maneuver is proposed. A low thrust controller is designed to achieve libration point satellite autonomous orbit maintenance by using AOD results. A navigation constellation consisting of three GPS satellites and one libration point satellite are designed for simulation. The simulation results show that libration point satellites can achieve autonomous navigation and autonomous orbit maintenance by only using inter-satellite ranging information. The rotation drift error of the Earth navigation constellation is also suppressed.     

基于单参数迭代的TAEM在线轨迹生成方法

针对大升力体轨道再入飞行器末端能量管理（TAEM）段制导控制能力强、末端约束不惟一的问题，将TAEM段分为动压跟踪和着陆预备2个阶段，设计了不同的纵向轨迹剖面，从而将TAEM段在线轨迹生成问题转化为单参数搜索问题。第1阶段设计标称动压剖面为纵向参考轨迹，使得飞行器过程约束得到保证。第2阶段纵向剖面设计为标称高度剖面，从而使得末端点高度和倾角约束得到保证。根据末端动压误差设计修正律，迭代修正第一阶段动压剖面，从而使得最终的纵向轨迹满足所有的状态约束。在线轨迹递推采用以时间为自变量的数值积分，递推过程引入闭环制导律，通过实时修正攻角跟踪纵向剖面，修正倾侧角跟踪地面轨迹，从而保证在线生成的轨迹符合物理特性，降低闭环制导难度。在考虑初期再入末端大范围状态散布情况下，数值仿真显示了所提算法的鲁棒性。     

关于图论中Woodall猜想的研究

本文通过对图论中Ｗｏｏｄａｌｌ提出的一个问题进行研究。     

水下测试基阵机械扫描装置的设计

介绍了水下测试基阵机械扫描装置的设计实例,对基阵架的杆部连接进行了有限元分析。根据碳纤维杆的受力变形情况进行了无拉杆状态、有两根拉杆状态及有四根拉杆状态下的有限元分析,并对其进行了实验验证,为设计提供必要的理论支持。     

分布式数据采集控制系统的现状及发展趋势

综述了ＤＣＳ系统的形成，现状及今后的发展方向，阐明了应用远智能Ｉ／Ｏ改进ＤＣＳ系统的优越性及向ＦＣＳ系统的过渡。     

基于态势认知的无人机集群围捕方法

无人机集群围捕是智能无人机“蜂群”作战的一种重要任务方式。现有集群围捕方法大多建立在环境已知的基础上，面对未知的任务环境时围捕策略经常性失效。针对此问题，提出了基于态势认知的发育模型，探索一种对环境适应性较佳的围捕方法。首先，对集群围捕行为分解，将围捕离散化；然后，基于深度Q神经网络（DQN），设计一种围捕策略的生成方法；最后，建立状态-策略知识库，并通过大量有效数据的训练，针对不同环境获得不同的策略，对知识库进行发育。仿真结果表明:提出的基于态势认知的发育模型，能够有效适应不同环境，完成不同环境下的围捕。      

一种红外焦平面阵列相对光谱响应自动测试系统

目前测试红外焦平面阵列相对光谱响应参数时，需要人工测量波段中每个波长点的光谱响应，针对测试过程繁琐和测试时间长的问题，在基于现有的不同开发平台开发的单色仪和数据采集系统的基础上，利用动态链接库技术，研制了一种红外焦平面阵列相对光谱响应自动测试系统，该系统测试过程简化，自动化程度提高。经过对比分析，自动测试与人工测试结果具有较好的一致性，自动测试比人工测试更加可靠。