摘要：针对现有实验设计方法难以对复杂系统进行高效实验设计的问题,本文提出了一种基于变分自编码器的实验设计方法,首先利用实验历史记录数据训练变分自编码器将复杂的实验样本空间编码到一个较为简单的隐变量空间,然后在该隐变量空间里进行取样,最后通过解码器还原产生新的实验样本,完成实验设计.通过对比本文方法与数种基准实验设计方法的结果在拟合直航鱼雷命中模型时的表现情况,表明在取相同样本数的情况下,本文方法可以优化实验设计,提高实验效率.

摘要：针对目前的扩展模糊描述逻辑缺乏TBox约束下的推理算法,提出TBox约束下扩展模糊描述逻辑EFALC截概念可满足性问题及其推理算法.该算法的设计参考用于经典描述逻辑的tab-leau算法;详细描述了EFALC的转化规则和推理算法的过程,并使用递归函数调用、分支裁减和引入中间结果集合这3种技术对算法进行优化.证明了该优化推理算法的最坏时间复杂性为指数,且具有完备性和正确性,同时证明了TBox约束下EFALC截概念可满足性问题的复杂性是指数时间完全的.

摘要："新工科"成为当前高等工程教育的重要内容,如何对"新工科"教育质量进行评估是一个值得研究的问题。现有的评估方法存在依赖专家经验且基本由人工完成、教育质量评估指标体系与支撑材料之间关联关系不够清晰等方面的不足。针对这些问题,本文分析了"新工科"教育质量评估方法现状,并着重从评估指标体系模型、支撑材料组织模型,以及二者间的关联关系等方面设计了教育质量评估模型,该模型具有一定通用性,适用于不同专业的质量评估,且有利于理顺高等工程教育评估方法的执行过程,为未来采用软件工具支持自动/半自动教育质量评估提供基础。