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

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

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

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

基于多模态组合互补性学习的时尚兼容度预测模型研究

在时尚单品兼容度预测研究中,多模态特征间的互补性以及融合特征对于视觉特征的相关性问题未得到充分挖掘。针对这个问题,提出多模态组合互补性学习的时尚兼容度预测模型。该模型由四部分构成：特征提取网络使用ResNet18提取视觉特征和LSTM提取文本特征;然后使用联合表征网络将视觉特征与文本特征映射到相同的多模态嵌入空间中,减小模态间的差异性增强互补性;考虑到互补融合特征对于视觉特征的相关性问题,特征融合网络使用了组合模块分别组合了视觉特征和多模态特征;最后使用类别感知的映射方法将多模态特征映射进基于类别感知的嵌入空间中分析时尚服装的兼容度。实验仿真结果表明,该模型在消融实验以及在时尚兼容度预测的相关评价指标上均有提升和优化。     

中介逻辑的模型论性质

中介逻辑是朱梧槚与肖奚安合作创立的一个新的逻辑系统,该系统的创立有着很强的哲学背景,因此在创立后得到了很大的发展。但对于该系统语义的研究还不够广泛和深入。本文系统地研究了中介逻辑的模型论性质。第一部分系统地定义了中介逻辑模型论的一些概念:如语言、结构、解释、满足等,第二部分证明了对任一和谐理论,都可在其见证集的等价类上建立其模型。利用此定理,笔者证明了广义完全性定理,并由此证明了中介逻辑的可靠性与完备性。本文最后一部分讨论了中介模型论的其他重要性质。利用中介逻辑的完备性,本文证明了紧致性定理,即一理论有模型当且仅当其任一有穷子集有模型。文中还证明了中介逻辑的Lowenheim-Skolem-Tarski定理。     

现代教育技术下大学英语教师多模态教学调查研究

多媒体技术下,英语教学多模态的优化整合可以使英语课堂走出单一模态的现状,教师课堂多模态的应用可以增强课堂的丰富性和趣味性,从而提高教学效果。本文以调查问卷为研究工具,运用定量研究方法,对某高校担任大学英语教学的教师课堂多模态教学的现状,教师的多模态教学与提高学生积极性的关系进行调查研究和分析,探讨如何在大学英语教学课堂上实现多模态教学,提高学生英语学习的积极性。     

结合逻辑和决策论方法的Agent模型研究

分析了目前Agent模型与实现相分离的原因,将逻辑与决策论方法相结合,以自主为前提,面对个体自主性和群体交互的社会性要求,研究如何建立理性Agent以及理性Agent构成的多Agent社会。对Agent的信念、愿望、效用、约定和意图等心智状态之间的关系进行了直观的描述,阐明了理性行为的决策过程,并采用量化多模态逻辑对该模型进行了形式化描述。完善了Cohen和Levesque的BDI模型理论,使其能更准确地反映理性A-gent的行为,为多Agent系统设计与实现提供了理论基础。     

中介谓词演算系统ME与ME之间的化归算法及其应用

在经典二值逻辑中，带等词的谓词演算系统Ｆ１与Ｆ１＊的函词系统等价，在互推关系下这两个系统也等价，然而在中介逻辑中，带等词的中介谓词演算系统ＭＥ与ＭＥ＊函词系统不等价，本文定理１指出，在互推关系下，任何ＭＥ＊中的公式均可化为ＭＥ中的标准前束范式，因此在互推意义下两系统等价，在中介逻辑中，ＭＥ是一个较为特殊的子系统，它具有许多与二值逻辑相类似的性质，本文的结果为将这些性质进一步推广到ＭＥ＊上提供了基础     

中介命题扩张系统MP^＊推理规则集的简化

中介系统是以中介原则为基础，以中介逻辑演算为工具的一种新的数学理论系统。狭义的中介系统仅指中介逻辑ML，它由中介命题系统MP及其扩张系统MP^*、中介谓词演算系统MF及其扩张系统MF^*，以及带等词的中介谓词演算系统ME^*组成。本文讨论中介命题扩张系统MP^*推理规则集SA的简化。对于一个形式系统的推理规则而言，在保证其相容性、完备性和独立性的前提下，形式系统的推理规则集越简洁，使用越方便。本文对规则集SA进行了简化，方法是：如果SA中某条规则可由SA中其余规则推导出来，并且推导过程所用形式定理的证明未用到此规则，则此规则可被简化而不影响SA的效力。作者简化了SA中8条规则并且证明简化后的规则集与原规则集SA等价。     

基于模糊逻辑系统的空空导弹攻击区拟合

将空空导弹攻击区的拟合表示成一非线性逼近问题 ,从而利用模糊逻辑系统的万能逼近性质 ,并结合误差反向传播学习算法 (BP算法 )实现了对导弹攻击区的自动学习。在此基础上 ,提出了利用扩展的 T- S推理进行攻击区分组逼近与综合的方法。仿真结果表明该方法具有精度高、参数少、通用性强等优点。     

基于在系统可编程逻辑器件的实验仪的设计与实现

详细介绍基于在系统可编程逻辑器件的实验仪的设计与实现,并对在系统可编程逻辑器件的设计流程进行论述。     

MP＊中的等值完全析取范式

讨论中介逻辑命题演算扩张系统ＭＰ＊中在等值意义下的完全析取范式的存在性和唯一性。引入ＭＰ＊中等值全板范式的概念,并用分步构造法证明这种范式在等值意义下是存在的,且是唯一的。     

中介模态逻辑MS4的表推演系统

中介逻辑是一个新的逻辑系统，该系统的创立有明显的哲学背景，自创立后得到了很大的发展。在数理逻辑以及计算机科学领域已发展了中介模态逻辑以及ＭＩＬＬ等中介程序计设 语言，但对作为程序计设语言之逻辑基础之一的中介模态逻辑的自动推理理论与实现的研究还很不够。本文系统地讨论中介模态逻辑ＭＳ４的自动定理证明理论，构造了中介模态逻辑ＭＳ４的表推演系统，由于该系统采用“与或树”的表达方法，因而不产生“遗忘问题”；     

MS中的自然数系统

首先给出了中介逻辑ＭＬ的二值子系统Ｆ＾ＩＭＬ，说明了它与经典二值逻辑的子系统Ｆ＾Ｉ同构。其次，利用中介公理集合论ＭＳ的相关理论，构造了ＭＳ中的自然数系统，证明了Ｐｅａｎｏ５条公理为ＭＳ中的定理。最后指出以此五条性质为公理、并以Ｆ＾ＩＭ为配套逻辑，在ＭＳ中可推出自然数的所有性质。     

基于模糊逻辑的飞行/推力综合控制系统研究

对保持飞行恒定及保持飞行迎角恒定两种自动动力补偿系统所构成的飞行／推力综合控制进行了评估。在此基础上,提出了ＡＰＣＳ采用控制规则在线自调整及非线性参数优化的模糊控制。其设计思想是,从工程实现考虑,在油门控制律中省去法向加速度△ａｃ及舵偏△δｅ两种反馈信息,仅根据迎角误差叉△α及其变化率△α的大小,在线调整加权因子,以提高稳态控制精度,消除由于量化误差而引起的稳态振荡。利用非经一性优化控制算法,对Ａ     

基于模糊逻辑的航空发动机虚拟传感器

在双通道的发动机控制系统中，未超过故障阈值的传感器慢漂移故障难以隔离，且在故障检出前影响控制系统的反馈信号。引入机栽自校正实时模型作为第三通道的虚拟传感器，并提出模糊隶属度加权和动态阈值技术以获得可靠的传感器适应值，实现双余度系统中失效传感器的检测和隔离。仿真结果表明，这种方法能可靠地改进适应信号，将由于传感器故障引起的发动机控制系统扰动抑制到0．2％以内，并能避免失控。