计算机辅助针灸诊疗专家系统-ZES及其壳体-KZES

本文论述ZES的功能和开发技术。描述了系统中推理的数学模型及其理论基础,最后阐述了ZES的外壳可用作建造中医专家系统的工具。     

基于动态模糊逻辑的数值化推理方法研究

基于动态模糊逻辑,提出了数值化推理方法。     

英汉语序差异对比与学生的语序误用实例分析

从理论和实践两方面入手,对英汉语序主要差异进行了对比和探讨,同时,对学生翻译中常见的语序语用失误加以归类和分析,以求找到错误的原因,帮助学生更快地提高英语写作和翻译能力。     

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

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

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

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

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

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

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

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

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

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

关联理论的交际观对翻译行为的诠释

翻译已越来越多地被看成是人类行为的一种过程,一种形式.翻译研究逐步意识到对这一认知过程研究的重要性.关联理论的明示-推理模式从认知的角度出发,对交际做了新的诠释,该交际模式下所包含的认知语境、信息意图、交际意图、最佳关联等内容都对翻译产生了影响,并合理地解释了翻译过程、翻译策略的选定、翻译批判原则的界定等经常被论述的命题.     

关于话语内含的准确理解

为了准确把握话语内含,成功地臆测对方的言外之意,交际双方不但要有不受语境假设影响的共知,还必须掌握每一项有关的语境信息。在跨文化交际中尤其需要利用对语境及其功能的认识,才能避免语用失误,准确地理解对方和表达自己。