一种基于几何推理、约束满足法的参数化设计系统的研究

提出了分阶段的、基于推理的、基于约束满足法的参数化设计方法:首先用草图方式输入原型图;其次增加结构约束、尺寸约束后分别进行推理,实现图形的变动设计.     

分离子函数法与求逻辑电路单故障全测试集

本文提出一种方法即分离子函数法和有关定理及推理,並用布尔差分的理论加以证明。用提出的定理,可以求出组合逻辑电路的单故障全测试集,其结果和布尔差分法与SPOOF法相同。但本文与文[4]提出的方法有两点优于布尔差分法和SPOOF法。 (1)笔算时,运算工作量约省50%左右方法简单,易掌握。 (2)有独到之处是可以编成程序供CAT(计算机辅助测试)之用。     

三维点云室内场景的语义实例联合分割网络

针对点云分割网络无法在复杂的室内场景中实现高精度分割的问题,本文设计了一种基于深度学习的语义实例联合分割网络,同时完成三维点云数据的语义分割和实例分割任务,主要包含多任务学习主干网络、特征融合模块和语义实例特征联合模块等。特征融合模块通过跳跃连接融合多个网络层,分别融合2个任务各自不同级别的特征,加强网络对数据中包含的信息的整合,并选取大型室内场景数据集S3DIS和部件分割数据集ShapeNet进行对比实验。实验结果显示,网络在数据集S3DIS的语义分割的总体准确率为86.5%,在数据集ShapeNet的语义分割类别交并比为83.1%,在数据集S3DIS的实例分割的平均精度为60.8%。语义实例特征联合模块通过多任务级的特征联合增加语义和实例的判别特征,提高了点云的语义分割和实例分割的准确率。     

基于Fuzzy推理的井壁稳定性预测系统

本文介绍了一个用于井壁稳定性预测的Fuzzy推理系统。该系统由动态数据库、知识库、Fuzzy推理和人机界面等组成。系统的有效性已为长庆油田定向斜井实例证实。     

科学推理能力和物理问题解决能力的对比研究

科学推理能力和物理问题解决能力在教育研究中占据重要位置。这两种能力都是理解和掌握科学知识,解决实际问题的关键因素。然而,这两种能力之间的关系和相互影响的程度仍未明确。本研究旨在通过定性和定量的分析方法对比科学推理能力和物理问题解决能力,揭示两者的异同点并探索二者的关联性。此外,研究还将探讨如何通过教学和学习策略来提高这两种能力。     

态势估计中一种模糊时间推理方法

时间推理是态势估计的一个重要组成部分,本文研究了当两个模糊时间点之间的时间间隔已知时,综合来自不同推理路径的推理结果方法,并建立了检验时间数据与专家知识模型符合程度的方法及时间网络的一致性检验方法。     

关于回归分析中目标函数极小化准则的探讨

本重点讨论了最小一乘准则或极小极大化准则下计算回归系散的线性规划方法,并且通过实例给出了不同极小化准则下计算结果的对比．     

基于压缩表示的实例分割方法

针对目前实例分割领域掩膜表示高复杂度的问题,提出一种新的图像实例掩膜表征方法,使用3个不依赖于任何先验信息的表征单元表示并预测掩膜,且以非线性解码的形式复原掩膜,该方法可显著降低图像实例掩膜的表示复杂度和推理运算量.基于这种表示方法,构建一个高效的单阶段实例分割模型,实验结果表明,相对于其他单阶段实例分割模型,该模型在保证时间开销基本相同的情况下能获得更好的性能.此外,将该表征方法以最小改动嵌入经典模型BlendMask以重建注意力图,改进的模型相对于原模型的推理速度更快,掩膜平均精度提升1.5%,表明该表征方法通用性较好.     

模糊区间矩阵的表示及其时态关系的传播

将区间代数及区间矩阵中有端点相等的基本关系去掉,只保留现实世界中真正可能发生的那些基本关系,这样表达能力丝毫没有减弱,但是问题的复杂性却大大降低了。区间代数从13个基本关系降为6个基本关系,在进行时态关系的传播运算时,将查表运算从13×13降到6×6,将5×5的矩阵运算降成了3×3的矩阵运算,大大提高了运算效率。     

基于案例推理的知识库系统设计

基于案例推理技术是近年出现的具有一定的代表性的推理技术,利用这种技术进行知识库系统设计可简化问题,提高效率。从基于案例推理机制入手,阐述了基于案例推理知识库系统的工作过程和原理,提出了系统设计的方法。