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

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

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

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

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

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

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

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

民航机场行李分拣系统的技术与应用

一、概述近年来,随着国内经济改革开放的不断深入,国内民航事业也获得了空前的发展,各地民航机场的基础设施的新建或改建也进入了新的阶段,许多大型的、现代化的机场不断地涌现出来。机场行李自动分拣系统近年来凭借其自动化程度高、处理量大、分拣准确、减少分拣人员工作强度等优点,逐渐在国内各民航机场中得到了广泛应用。行李自动分拣系统是一套面向大中型机场,对旅客行李进行集中统一的传送、分拣与处理的一套自动化系统,集计算机、工业控制网络、PLC及电     

基于CPLD的ARINC429总线手动发码器的设计

为了将机载设备的故障检测定位至器件级,研制了ARINC429手动发码器,通过以可编程逻辑器件为核心单元的硬件电路实现了ARINC429信息的输出,完成了样机设计,并已投入使用.     

基于ABEL-HDL硬件语言的GAL反汇编测试技术

为了更好地理解通用阵列逻辑GAL编程以后的功能，在没有熔丝图的状态下，以GAL22V10为例，介绍了一种基于ABEL－HDL层次化的硬件描述语言软件对GAL进行反汇编的测试技术。     

基于Bayes-模糊逻辑算子的小子样可靠性信息融合方法

为了解决航空航天复杂系统可靠性评定中样本量小而导致评估结果可信度不高的问题,引入模糊逻辑算子这一非线性模型对多源可靠性验前信息进行融合,并给出了其参数估计的第二类极大似然(ML-Ⅱ)估计方法,通过仿真示例说明了融合方法的有效性.      

大型飞机迎角/过载限制器设计

根据典型大型飞机迎角/过载限制器的特点,提出了两种采用积分控制来减小静态误差的大型飞机迎角/过载保护方法,即最大值切换逻辑和加权过渡逻辑方法,深入研究了如何设计迎角/过载限制器参数,探讨了采用以上两种不同方法来进行迎角与过载限制器切换的优劣,系统仿真结果证明了所设计的限制器的有效性。该项研究为我国未来大型飞机如何设计迎角/过载限制器提供了部分理论依据。     

X射线脉冲星导航硬件脉冲轮廓累积研究

为了在X射线脉冲星地面实验系统仿真源模拟产生X射线的基础上,能够快速稳定地得到脉冲轮廓,采用硬件历元叠加的方法获得脉冲轮廓。研究了用硬件实现历元叠加及其数据整合的算法,该算法首先在MATLAB现场可编程逻辑阵列(FPGA)中实现,再通过MATLAB硬件描述语言(HDL)代码生成模块把算法转换成HDL,经编译后获得配置硬件的Bit文件,最终在开发板FPGA上实现数据处理的硬件模块。一段时间内的光子到达时间数据通过MATLAB算法得到的脉冲轮廓数据与通过硬件模块处理后得到的数据结果存在误差,在单个时间窗口内误差最大值为2个光子数,误差平均值占光子数统计平均值的0.084%;两组统计的脉冲轮廓数据中不同数据占总数据个数的9.481%,这样的误差不影响后端模拟导航模块的导航。利用硬件实现的历元叠加及其数据整合模块具有处理速度快、设备紧凑、功耗低的特点,为航天器利用X射线脉冲星导航提供了一种可行的硬件数据处理技术上的支持。