本发明公开了一阶逻辑中基于扩展三角形的矛盾体分离演绎推理方法，该方法依次通过：对于一阶逻辑中的子句集构造扩展三角形标准矛盾体，形成标准矛盾体分离式，根据标准矛盾体分离式判断子句集的不可满足性；如果能够判断子句集不可满足，则停止得到结论：...

本发明公开了命题逻辑中基于极大子句判定公式属性的方法，其步骤为：首先，根据子句集S中出现的所有命题变元集合V(S)，构造一个关于V(S)的极大子句D(k)，其次，在子句集S中将与子句～D(k)含有相同文字的子句删除，并将所得子句集记为S...

本发明公开了命题逻辑中基于矛盾体分离的多元动态自动演绎推理方法，对于命题逻辑中子句集S，在S中选出k个子句Cj1，Cj2，…，Cjk，满足Cj1，Cj2，…，Cjk含有矛盾体；第二步，在子句Cj1，Cj2，…，Cjk中删除矛盾体中的文字...

本发明提出了命题逻辑中基于标准延拓三角形的矛盾体分离演绎推理，该方法依次通过：构造基于标准延拓三角形矛盾体；形成矛盾体分离式；根据矛盾体分离式和子句的特点判定子句集属性，如果能够判断子句集不可满足或可满足，则停止；否则，将所得矛盾体分离...

本发明公开了命题逻辑中基于矛盾体分离式的逆向并行演绎推理方法，该方法步骤为：对命题逻辑中子句集S构造矛盾体并形成矛盾体分离式，根据矛盾体分离式判断S的不可满足性：如果判定S不可满足则停止，否则，基于矛盾体分离式构造逆向演绎子句集，得到t...

本发明公开了命题逻辑中基于矛盾体内部子句的逆向并行演绎推理方法，该方法步骤为：对命题逻辑中子句集S构造矛盾体并形成矛盾体分离式，根据矛盾体分离式判断演绎推理是否终止：若矛盾体分离式为空则停止，得到结论：S不可满足；否则，抽取矛盾体内部子句

本发明公开了命题逻辑中基于最大矛盾体的自动推理方法，其步骤为：首先，利用子句集S中出现的k个变元生成最大矛盾体，然后利用最大矛盾体找出矛盾体，删除矛盾体中的文字后，将全部剩余文字析取形成矛盾体分离式，最后利用矛盾体分离式判定子句集S的属...

一种格上支持细粒度属性撤销的分布式属性基加密方法，属于信息安全领域。其步骤主要是：系统初始化阶段对目标向量进行线性秘密共享，将子秘密分享值作为相应属性授权机构的私钥；属性授权机构为其管理的所有系统属性建立对应的二叉撤销树。用户属性密钥和...

本发明公开了一种实现细粒度属性撤销的属性基重加密方法，属于信息安全领域，其步骤主要是：A、系统初始化，B、加密，C、重加密：C1、用户撤销信息、C2、首次重加密，C3、后续重加密。本发明通过引入属性撤销列表，当系统发生属性撤销时，加密方...

本发明公开了一种相干光通信系统调制格式识别和光信噪比监控方法，包括：接收两个偏振态上的信号Ex和Ey，对两个信号进行色散补偿、并采用恒模算法进行信号的预均衡，得到预均衡后的信号E'x和E'y；将信号E'x和E'y映射于斯托克斯空间，分别...

本发明公开了一种基于DSSNN神经网络的铁路场景图像语义分割方法，包括以下步骤：步骤1：构建DSSNN神经网络；步骤2：获取铁路场景图像数据集，制作图像语义标签，采用标签图像和原始图像通过以TensorFlow为后端的Keras深度学习...

一种直线牵引电机无速度传感器控制系统速度估计方法，包括：根据次级反电动势信号的α、β分量计算次级反电动势信号的频率；在此基础上，利用前置滤波器滤除次级反电动势的低次谐波，将滤波后的d‑q轴反电动势分量幅值归一化处理，再变换到α‑β轴下进...

一种基于滑模观测器的直线牵引电机无速度传感器控制方法，包括：考虑动态边端效应对直线牵引电机的影响后，建立直线牵引电机的状态空间模型；在此基础上，建立直线牵引电机的滑模观测器模型，利用波波夫超稳定性理论得到速度估计与励磁电感辨识的算式。本...

本发明提供了一种复合锂基润滑脂，包括基础油70‑90份、硬脂酸4.5‑30.7份、二元酸0.8‑9.4份和LiOH水溶液0.3‑4.8份，该复合锂基润滑脂通过皂化、皂化脱水、高温炼制、冷却和均化等阶段制备而成。该制备方法可有效解决制备过...

一种用于二极管钳位三电平级联逆变器的系统重构方法，其中二极管钳位三电平级联逆变器N个功率模块中，每个功率模块的第一桥臂和第二桥臂对应的载波相位相差π，相邻两个功率模块中第一桥臂的对应载波之间移相角为

本发明公开了一种基于广义内模控制的单相PWM整流器控制方法，运用内模控制原理，将系统的标称控制器和鲁棒控制器的设计分开进行，使得系统在理想情况下能够取得标称控制器所能达到的优良性能，鲁棒控制器只有在存在模型误差、参数摄动、输入扰动的情况...

本发明公开了一种基于双闭环控制的双馈风机整流器阻抗计算方法，根据电路拓扑及控制框图建立电气量、控制量之间的关系式，推导出闭环阻抗的表达式并对其进行验证：根据电路拓扑建立电气量之间的关系式，分别包括占空比信号、直流侧电压、网侧电压和网侧电...

本发明公开了一种动车组车载自动过分相的车‑网模型构建方法，包括以下步骤：步骤1：对长编组动车组过分相暂态过程进行划分；步骤2：根据步骤1中划分的暂态过程得到车‑网耦合分布；步骤3：根据步骤2得到的车‑网耦合分布结果构建不同部分的车‑网系...

本发明提供一种GMA增材制造堆积道形态调控方法：建立堆积道形态和GMA送丝速度、外送丝速度、行走速度、基板表面温度的数学模型；建立三维模型，设定层片高度、堆积道宽度与搭接间距，规划层片内堆积道数，完成模型的分层切片；计算室温条件下的初始...

一种白光钙钛矿及其制备方法以及LED器件，涉及光学显示技术领域。白光钙钛矿的制备方法包括：将CsCO3与十八烯、油酸混合，在惰性气体氛围下加热到115～125℃反应后升温至145～155℃保温得到Cs酸前驱体。将PbBr2、MnCl2、...