中介时序逻辑系统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进行反汇编的测试技术。     

基于非接触式测量的旋转叶片动应变重构方法

基于叶端定时非接触式测量和振动响应传递比的概念,开展高速旋转叶片动应变重构方法的研究。在频域内推导了叶片任意测点位移与任意测点动应变的传递比,给出了单模态共振下响应传递比关于位移和应变模态振型的解析表达式;建立旋转叶片的三维(3D)有限元模型,开展考虑旋转预应力效应的叶片模态分析,提取位移和应变模态振型,获得任意转速下叶端位移与叶根关键点动应变的传递比。开展高速旋转叶片叶端定时非接触式测量实验,采用周向傅里叶算法对叶端定时信号进行处理,获得叶片在不同转速单模态共振下的叶端位移,结合响应传递比,重构5个旋转叶片的关键点动应变。结果表明:旋转叶片在9000r/min和13000r/min转速下发生1阶共振时,与应变片实测结果相比,叶根处应力最大点、次大点和边缘点3个关键点的动应变平均重构误差均小于15%,验证了旋转叶片动应变重构方法的有效性。