ξ-逻辑度量空间中理论的开放度

在n值R0型命题逻辑系统的ξ-逻辑度量空间中,提出理论的ξ-开放度概念,研究理论的开放度与随机概率分布序列取值的关系,证明了理论的开放度依赖于随机概率分布序列的不同分布。     

随机逻辑度量空间的近似推理

以n 值命题逻辑系统的随机真度为基础,在 R0型n 值命题逻辑系统的随机度量空间中提出了三种不同类型的近似推理模式的概念,研究了这三种推理模式之间的关系.     

三值R0命题逻辑系统的条件真度理论

文章在三值命题逻辑系统中随机真度,随机度量空间的基础上,引入了命题的条件随机真度、条件相似度和条件伪距离的概念,研究了其性质,建立了条件随机度量空间。     

三值R0命题逻辑系统中理论的条件发散度

文章在三值命题逻辑系统中随机真度、随机度量空间以及条件随机真度、条件随机度量空间的基础上,引入条件随机发散度的概念,讨论条件随机真度与条件随机发散度之间的关系,得出了当理论Γ是随机全发散时,理论Γ必然是条件随机全发散的。     

一个理论的随机开放度的分布

在n值Lukasiewicz命题逻辑系统中展开研究,提出理论的p-随机开放度的概念,研究一个理论的随机开放度的分布情况,得出理论的p-随机开放度具有随机性,即和n维概率分布列的取值相关联,完全研究清楚了全体原子公式集S的p-随机开放度的分布情况,得出了依n维概率分布列p的不同取值,原子公式集S的随机开放度的分布可以充满整个（0,1]实数区间。     

逻辑无环流系统中逻辑控制器的设计

本文在给出逻辑无环流系统基础上,主要介绍关于DLC设计的有关问题.逻辑控制器DLC是系统的关键部件,必须保证可靠工作.通过实际验收,说明了设计的有效性.     

逻辑无环流系统中逻辑控制器的设计

本文在给出逻辑无环流系统基础上，主要介绍关于DLC设计的有关问题。逻辑控制器DLC是系统的关键部件，必须保证可靠工作。通过实际验收，说明了设计的有效性。     

逻辑函数中独立函数的研究

本文利用完整的逻辑代数的基本运算规则,找出了n变量可能组合的逻辑函数的总数目;同时还发现在n变量的逻辑函数系中存在着一组“独立函数”,并研究了独立函数的性质,提出了求找独立函数的方法;此外本文还讨论了独立函数与其该逻辑函数之间的关系及逻辑函数本身的特点。在研究中发现独立函数与该逻辑函数系之间的关系类似于Rademacher函数与Walsh函数之间的关系。本文的结论将使人们对逻辑函数的认识更加深入、全面和完整,同时也为Walsh函数在数字电路综合中的应用的“标准化”找到了理论依据。     

基于空间分割的影像条带噪声去除方法

光学遥感卫星影像中包含系统条带噪声和随机条带噪声,由于多种因素的干扰,即使进行系统条带噪声去除后,仍残留部分随机条带噪声。文章通过分析现有卫星遥感影像中的随机条带噪声特性,基于常规的随机条带噪声去除方法,提出一种新的基于空间分割的条带噪声去除算法。该方法以影像的均值、中值以及梯度值构建判定准则,将影像分为动态范围变化较小的多个区域,同时将地物边缘单独提取出来予以保留;然后采用标准矩匹配的方法对单独区域进行处理,在剔除噪声的同时抑制灰度畸变的产生;最后采用中巴地球资源卫星04星（CBERS-04）数据作为试验对象进行了随机噪声去除试验,试验结果表明新方法在去除随机条带噪声的同时很好的保持了原始影像的纹理信息。     

基于独立函数的通用逻辑模块

本文提出一种新型的通用逻辑模块(ULM),它以独立函数为核心(细胞),细胞之间以相同的方式——“异或”——相联结,可以生成全部2~(2n)个逻辑函数。它具有算法简单、使用灵活的特点。在伪随机信号的产生及自动控制中有着广阔的应用前景。     

基于时序逻辑的复杂环境下无人机运动规划算法

本文主要考虑基于时序逻辑的无人机运动规划问题。一般地，解决该问题的算法包括两个阶段:上层综合阶段生成一条可行的离散规划;低级综合阶段结合离散任务规划设计无人机的控制输入。但是当第一阶段失败时，即线性时序逻辑(LTL)任务在当前环境中无法实现时，我们希望系统能够进行一定的调整。本文提出了一种任务重规划算法，在深入理解模型检查原理的基础上，利用初始任务自动机生成一个松弛乘积自动机，进而获取有效的离散任务规划;同时设计一个自动机的权重函数，确保该规划在最小程度上违背初始任务所提出的约束。本文提出的重规划算法解决了时序逻辑在复杂环境中无法实现的难题，扩大了时序逻辑在无人机运动规划中的应用范围，同时增加了系统的鲁棒性。     

高速空间光通信系统的研究动态

文章介绍了高速空间光通信系统在大气光通信和卫星光通信领域的研究发展动态,分析了高速空间光通信系统中有关关键技术,尤其是提高数据速率的DWDM、IOM以及EDFA等器件在长距离通信中的应用等技术,同时还涉及了自由空间光通信中大气光通信系统的可行性问题。     

自适应RBF Terminal在精密实时跟踪控制中的应用研究

进行空间对接、空间光通信以及空间对抗等,需要在卫星间实现精确的捕获跟踪瞄准( Acquisition, Tracking, Pointing, ATP)。提出了用自适应RBF变结构控制方法实现捕获跟 踪瞄准系统中跟踪子系统的精密实时跟踪控制,以提高系统的性能。首先由Terminal滑模变 结构控制器实现快速稳定的跟踪,然后,通过自适应RBF神经网络对系统中不确定干扰的上 界进行估计。并且用李亚普诺夫方法证明了系统的稳定性和对参数变化的鲁棒性。最后,仿 真结果证明了方法的有效性。     

逻辑函数之谱的新运算法则

为了谱技术(方法)在数字电路综合中的应用,必须先求出逻辑函数系中的独立函数及其在Rademacher/Walsh变换域中的谱系数。本文根据独立函数的性质,提出了独立函数的谱系数在R/W变换域中的运算法则,这是对原有谱的运算法则的补充,从而使逻辑函数之谱的运算法则更加完整。     

光纤惯导角度随机游走误差传播特性研究

角度随机游走是光纤陀螺的一个重要技术指标,也是高精度光纤惯导系统的一项重要误差源。为了深入了解角度随机游走误差对系统精度的影响,从统计角度研究了该误差在导航过程中的传播特性。通过将角度随机游走对系统的影响等效为不相关的随机脉冲序列激励下的系统输出,推导了角度随机游走作用下导航误差的理论公式并进行了仿真验证。结果表明,所给出的理论表达式能够很好地描述角度随机游走误差的传播规律。通过解析表达式,可以在任意时间段对任何一只陀螺角度随机游走造成的系统误差进行定量分析,这对于系统性能评估、误差分析和设计工作都具有重要意义。     

基于点源阵列的星载面阵CMOS相机静态PSF测量

点扩散函数(Point Spread Function,PSF)能够完整表征物空间一点发出的光经过相机系统在像空间的分布特性,是空域图像复原、图像超分等处理的关键先验信息。针对基于点源的星载面阵CMOS相机静态点扩散函数PSF测量受点源相位影响、采样点少的问题,分析了相位模型,建立了相位理论模型模板库,提出了基于相似性度量函数模板匹配的相位确定方法,首次形成一套点源阵列靶标设计及数据处理方法,并对该PSF测量方法进行蒙特卡洛仿真,结果表明文章提出的方法对信噪比变化不敏感,具有较强稳定性,以二维高斯分布标准差衡量,测量精度达到95%。将该方法用于"高分四号"卫星全色CMOS相机的静态PSF测试,证明了该方法在星载面阵CMOS相机静态PSF测试工程应用中的可行性。     

导弹控制系统的随机混合自适应方案研究

本文提出了一种新的适用于战术导弹控制系统的随机系统控制方案——最小方差混合自校正控制。在这种方案中,具有随机干扰噪声的控制对象保持连续时间状态,而控制参数的估计和调整是离散的,控制规律则是连续和离散变量的混合,整个系统为混合随机系统。由于这类系统具有连续系统和离散系统二者的优点,因而是一种很有前途的控制系统。文中介绍了这种控制方案的基本原理,并以地空导弹自动驾驶仪作为例子进行了数字仿真。仿真结果表明,这种混合自适应方案的跟踪性能优于相类似的全离散自适应方案。当系统阻尼较小时,即在导弹飞行的高空段,这一优点显得尤为突出。     

AIAA空间即插即用标准研究

空间即插即用技术是卫星模块化设计的关键技术,能够支撑卫星快速研制、快速总装、快速测试,缩短卫星的研制周期。通过对AIAA (American Institute of Aeronautics and Astronautics,美国航空航天学会)发布的即插即用网络、逻辑接口、物理接口、 28V电源服务、系统时间、本体、试验旁路扩展、系统能力、空间线路子网适应等空间即插即用标准的解读分析,提出我国空间即插即用技术和标准研究的建议。     

与-或/异或型逻辑函数的化简

本文提出求找逻辑函数系中独立函数的新方法,揭示了它的实质;同时利用“异或”的特殊性质,提出了“与-或/异或”型逻辑函数的化简方法。为数字系统中该类型逻辑函数的化简提供了理论依据及完整方法,同时也为模块的逻辑设计提供新的途径。     

基于PCA-IMD的加注泵融合式健康监测研究

针对加注系统中加注泵的健康监测问题,提出一种基于主成分分析(Principal Component Analysis,PCA)与改进马氏距离(Improved Mahalanobis Distance,IMD)相融合的健康度量模型。对系统健康度、健康度量等相关概念进行研究,选用距离测度中的马氏距离作为度量加注泵健康状态的标准。基于PCA对测试样本进行优化,降低测试样本属性维数,采用IMD计算优化后得到的主成分样本矩阵改进马氏距离,以平均IMD值表征待评估系统的健康状态变化情况。通过加注泵加注过程中实际测试数据验证了该方案的准确性。