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

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

中介公理集合论系统与经典公理集合论系统的关系——形式证明部分

在中介公理集合论系统（ＭＳ）中重新定义了良集的概念，讨论了它的性质。证明良集完全满足经典公理集合论系统（ＺＦＣ－：ＺＦＣ系统中去掉正则公理）的全部公理，且其配套的逻辑系统恰为中介逻辑的二值子系统ＦＩ＊ＭＬ，说明整个经典数学也能奠基于ＭＳ之上，从而最终回答了中介数学与经典数学的包含关系问题。     

悬臂空心梁式加速度计的设计

分析证明:悬臂梁式加速度计的灵敏度与它的谐振频率的平方成反比。因此,欲展宽频带而保持灵敏度不变就很困难。利用应力集中的方法可以有效地解决这一问题。采用空心梁结构不仅能产生应力集中而且能减少梁的自身质量带来的影响,可以有效地展宽频带。文中给出了几种梁的刚度计算。     

符合CCSDS标准的RS(255,223)码译码器的FPGA实现及其性能测试

RS（Reed-Solomon)码是差错控制领域中一种性能优异的非二进制分组循环码，由于它具有很强的随机错误和突发错误的纠错能力，被CCSDS，NASA，ESA等空间组织接受，广泛应用于深空探测中．本文采用改进的Berlekamp算法，用FPGA实现了符合CCSDS标准的RS(255，223)码译码器；介绍了该译码器的实现流程、性能测试方法和基于PCI总线接口的测试平台；给出了测试结果，并且对理论上RS(255，223)译码器的误码性能与实际测试的误码率结果进行了比较和分析．验证结果证明该译码器能工作在400Mbps以上的码率，使用FPGA资源180000门，译码效果与理论上译码效果一致．     

编队飞行卫星群构型保持及初始化

导出了基于相对轨道要素的编队飞行卫星群轨道相对运动控制的轨道机动方程；提出了编队飞行卫星群轨道相对运动控制的轨道机动控制策略，利用不同方向的脉冲控制相对运动的轨道参数，包括轨道平面内机动和轨道平面外机动控制。根据相对轨道要素的变轨机动控制，进行编队飞行卫星群构型的初始化。这样的构型初始化可以视作一次特殊的变轨机动控制，很容易实现编队飞行构型的初始化机动。     

A coupling VWM/CFD/CSD method for rotor airload prediction

A coupling fluid-structure method with a combination of viscous wake model(VWM),computational fluid dynamics(CFD) and comprehensive structural dynamics(CSD) modules is developed in this paper for rotor unsteady airload prediction. The hybrid VWM/CFD solver is employed to model the nonlinear aerodynamic phenomena and complicated rotor wake dynamics;the moderate deflection beam theory is implemented to predict the blade structural deformation; the loose coupling strategy based on the ‘delt method' is used to couple the fluid and structure solvers.Several cases of Helishape 7A rotor are performed first to investigate the effect of elastic deformation on airloads. Then, two challenging forward flight conditions of UH-60 A helicopter rotor are investigated, and the simulated results of wake geometry, chordwise pressure distribution and sectional normal force show excellent agreement with available test data; a comparison with traditional CFD/CSD method is also presented to illustrate the efficiency of the developed method.     

火箭橇体进水现象研究

在考核过载承受能力的火箭橇试验后,橇体内发现有水,从空气动力学的角度,对火箭橇体进水现象进行了初步分析,并利用FLUENT软件对进水原因进行了初步研究,通过分析,发现结构在穿越跨音速阶段时,由于内外压差的变化将导致内部或外部产生水汽。该发现为结构设计提供有益的建议。     

Global ionospheric scintillations revealed by GPS radio occultation data with FY3C satellite before midnight during the March 2015 storm

Global observations of S4 amplitude scintillation index by the GPS Occultation Sounder (GNOS) on FengYun-3 C (FY3C) satellite reveal global dynamic patterns of a strong pre-midnight scintillations in F-region of the ionosphere during the St. Patrick’s Day geomagnetic super storm of 17–19 March 2015. The observed strong scintillations mainly occurred in the low latitudes, caused by equatorial plasma bubbles. During the main storm phase (March 17), the scintillations were first triggered in the New Zealand sector near 160°E longitudes, extending beyond 40°S dip latitude. They were also enhanced in the Indian sector, but significantly suppressed in East Asia near 120°E longitude and in Africa around 30°E longitude. During the initial recovery phase (March 18–19), the global scintillations were seldom observed in GNOS data. During the later recovery phase (after March 19), the scintillations recovered to the pre-storm level in Indian, African, and American sectors, but not in East Asian and any of Pacific sectors. These results closely correlate with observations of the density depletion structures by the Communication/Navigation Outage Forecasting System (C/NOFS) satellite, and ground-based instruments. Such consistency indicates reliability of our scintillation sensing approach even in a case-by-case comparison study. The prompt penetration electric field and disturbance dynamo electric field are suggested as the main factors that control the enhancement and inhibition of the scintillations during the storm, respectively.     

Genetic differentiation induced by spaceflight treatment of Cistanche deserticola and identification of inter-simple sequence repeat markers associated with its medicinal constituent contents

The dried, fleshy stems of Cistanche deserticola (Orobanchaceae) are popular tonics in Traditional Chinese Medicine (TCM) to treat the inability of kidney in expelling extra fluid in the body, causing fluid retention, and reform reproductive system. However, the wild plants of C. deserticola have become endangered due to habitat downsizing and over-harvesting for its medicinal usages. The present research was carried out for the following purposes: (1) promoting the space-breeding research; (2) providing molecular evidence for agricultural selective breeding; and (3) protecting this endangered herbal medicine and conserving its genetic resources.     

消费者创新性对手机银行使用意愿的影响研究

探索消费者创新性对手机银行使用意愿的影响,基于技术接受模型,构建了消费者创新性影响手机银行使用意愿的假设模型,依据假设模型开展了问卷调查。通过AMOS17.0软件对调查数据和假设模型进行了结构方程模型检验。研究结果表明,消费者创新性对手机银行使用意向具有显著影响,其影响机制是通过消费者对手机银行易用性和有用性的感知影响消费者对手机银行的使用态度,进而影响手机银行使用意向。在此基础上对商业银行发展手机银行提出了实践建议。