中介时序逻辑系统MTL的模型论性质

时序逻辑作为一种把时间概念直接引入其形式系统的逻辑系统,它具有较强的表达能力,近年来在计算机科学领域获得了广泛的应用.基于中介逻辑对时序逻辑进行多值扩充,建立了一种中介时序逻辑系统MTL(Medium Temporal Logic).讨论了它的形式系统和语义解释,但未论及其完备性.本文对MTL系统作进一步的讨论.在一可传结构下,讨论了它的可传、连通和过滤等模型论性质,为进一步讨论MTL系统的完备性作了理论上的准备.     

基于中介逻辑的多模态逻辑系统

多模态逻辑作为模态逻辑的扩充，是模态逻辑进行时态和动态扩充的基础。中介逻辑是一个新的逻辑系统，自创立后得到了很大发展，并在数理逻辑及计算机科学领域中得到广泛应用。为将中介逻辑进行时态和动态扩充，本文构造了一种基于中介逻辑的多模态逻辑系统ＭＭＫ，讨论了它的推理规则和语义解释，并证明了ＭＭＫ的可靠性和完备性，在此基础上给出了一种基于中介逻辑的时态逻辑系统ＭＴ，对它的可靠性和完备性进行了讨论。最后，分析了相应的经典多模态逻辑系统与ＭＭＫ系统及经典时态逻辑系统和ＭＴ系统之间的关系。     

柱面菲涅耳太阳聚光透镜的光学设计和光学效率

研究了柱面线聚焦菲涅耳太阳聚光透镜的光学设计和光学效率。依据理论分析，对透镜参数进行了优化设计，成功地研制出了柱面线聚焦菲涅耳聚光透镜。还分析了透镜相对孔径（F数）和成型模具等因素对透镜光学效率的影响。     

微重力下管肋式空间辐射器的整体优化分析

建立了向一重力环境下管肋式空间辐射器传热过程的数学模型，并以单质量散热量最大和热载体驱动功率最小为优化目标，对管式空间辐射器进行了优化分析。     

无刷直流电动机的新型自适应模糊神经控制

 为无刷直流电动机提出了一种自适应模糊神经控制方法.这是一种建立在开关控制、模糊控制和自适应控制相结合基础上的控制方法,并用神经网络实现了模糊控制器和自适应机构.在无刷直流电动机的双闭环调速系统中,电流控制器是PI控制器;转速控制器是由1个开关控制器和1个包括自适应机构在内的模糊控制器相结合组成的,且用1个3层前向神经网络离线学习实现了模糊控制器,学习算法采用的是改进的BP算法.用1个单神经元通过在系统运行过程中的动态学习实现了自适应机构,学习算法选用了有监督的Hebb学习算法.由电机所处的运行阶段决定哪一个控制器工作.此控制算法的仿真结果说明,它使系统具有良好的动、静态特性和自适应性.     

Air route network optimization in fragmented airspace based on cellular automata

Air route network optimization,one of the essential parts of the airspace planning,is an effective way to optimize airspace resources,increase airspace capacity,and alleviate air traffic con gestion.However,little has been done on the optimization of air route network in the fragmented airspace caused by prohibited,restricted,and dangerous areas (PRDs).In this paper,an air route network optimization model is developed with the total operational cost as the objective function while airspace restriction,air route network capacity,and non-straight-line factors (NSLF) are taken as major constraints.A square grid cellular space,Moore neighbors,a fixed boundary,together with a set of rules for solving the route network optimization model are designed based on cellular automata.The empirical traffic of airports with the largest traffic volume in each of the 9 flight information regions in mainland China is collected as the origin-destination (OD) air port pair demands.Based on traffic patterns,the model generates 35 air routes which successfully avoids 144 PRDs.Compared with the current air route network structure,the number of nodes decreases by 41.67％,while the total length of flight segments and air routes drop by 32.03％ and 5.82％ respectively.The NSLF decreases by 5.82％ with changes in the total length of the air route network.More importantly,the total operational cost of the whole network decreases by 6.22％.The computational results show the potential benefits of the model and the advantage of the algorithm.Optimization of air route network can significantly reduce operational cost while ensuring operation safety.     

基于等效板的含离散源损伤机翼结构分析

研究离散源损伤对机翼结构的影响,可以大幅度提高飞机在不良损伤事故下的生存能力.由于机翼内部结构复杂,很难对含离散源损伤机翼结构进行精确分析,而且精确的建模和仿真在建模与计算过程中往往也非常耗时.因此,以含离散源损伤机翼为对象,采用有限元优化设计方法,确立了一种机翼结构等效板模型的建模方法.建立的等效板模型可对含离散源损伤机翼实现快速、准确的静力学和动力学分析.     

MIDACO software performance on interplanetary trajectory benchmarks

A numerical study of the MIDACO optimization software on the well known GTOP benchmark set, published by the European Space Agency (ESA), is presented. The GTOP database provides trajectory models of real-world interplanetary space missions such as Cassini, Messenger or Rosetta. The trajectory models are formulated as constrained nonlinear optimization problems and are known to be difficult to solve.     

基于SP-ABC算法的数控铣削参数优化

针对铣削加工中成本最低的优化问题,采用一种改进的人工蜂群(SP-ABC)算法对铣削参数进行优化.在基本ABC算法的基础上,嵌入粒子群(PSO)算法,以提高算法的局部寻优能力.此外,不同于传统的单工序优化,建立的优化目标模型,在考虑实际生产过程中的各种约束条件下,可同时对粗、精两个阶段多道工序同步进行优化.计算机仿真结果表明,相较其他的基本算法,该算法能够找到更优的铣削参数组合,从而实现铣削加工过程的成本最低化.     

A novel biased proportional navigation guidance law for close approach phase

A novel biased proportional navigation guidance (BPNG) law is proposed for the close approach phase, which aims to make the spacecraft rendezvous with the target in specific relative range and direction. Firstly, in order to describe the special guidance requirements, the concept of zero effort miss vector is proposed and the dangerous area where there exists collision risk for safety consideration is defined. Secondly, the BPNG, which decouples the range control and direc-tion control, is designed in the line-of-sight (LOS) rotation coordinate system. The theoretical anal-ysis proves that BPNG meets guidance requirements quite well. Thirdly, for the consideration of fuel consumption, the optimal biased proportional navigation guidance (OBPNG) law is derived by solving the Schwartz inequality. Finally, simulation results show that BPNG is effective for the close approach with the ability of evading the dangerous area and OBPNG consumes less fuel compared with BPNG.