分析了描述逻辑循环术语集的研究现状和存在的问题,在F.Baader工作的基础上进一步研究了描述逻辑εL混合循环术语集的LCS(least common subsumer)和MSC(most specific concept)推理问题.给出了εL混合循环术语集的语法和语义.针对εL混...分析了描述逻辑循环术语集的研究现状和存在的问题,在F.Baader工作的基础上进一步研究了描述逻辑εL混合循环术语集的LCS(least common subsumer)和MSC(most specific concept)推理问题.给出了εL混合循环术语集的语法和语义.针对εL混合循环术语集LCS和MSC推理的需要,提出了TBox-完全的概念,并重新定义了描述图.使用描述图和TBox-完全给出了最大不动点语义下εL混合循环术语集LCS和MSC的推理算法,证明了推理算法的正确性,并证明了推理算法是多项式时间复杂的.该推理算法为εL混合循环术语集的LCS和MSC推理提供了理论基础.展开更多
在Window环境下,以PATRAN为平台,利用二次开发语言PCL(patran command language)把气动加热工程计算方法与NASTRAN进行实时耦合,通过客户化、增设特定的命令和窗体等技术开发了飞行器气动加热/结构热响应耦合分析程序CASRAS(couple up a...在Window环境下,以PATRAN为平台,利用二次开发语言PCL(patran command language)把气动加热工程计算方法与NASTRAN进行实时耦合,通过客户化、增设特定的命令和窗体等技术开发了飞行器气动加热/结构热响应耦合分析程序CASRAS(couple up aeroheating&structural response analysis program system)。该程序可对高超声速飞行器热防护系统进行快速隔热性能评估,对高超声速飞行器内部电子设备环境温度进行快速预估。通过物理模型归一化处理,能够对热试验方案的制定提供技术支持,从而将试验与理论分析有机的结合在一起,对热结构设计和结构热试验有很高的实用价值。展开更多
文摘分析了描述逻辑循环术语集的研究现状和存在的问题,在F.Baader工作的基础上进一步研究了描述逻辑εL混合循环术语集的LCS(least common subsumer)和MSC(most specific concept)推理问题.给出了εL混合循环术语集的语法和语义.针对εL混合循环术语集LCS和MSC推理的需要,提出了TBox-完全的概念,并重新定义了描述图.使用描述图和TBox-完全给出了最大不动点语义下εL混合循环术语集LCS和MSC的推理算法,证明了推理算法的正确性,并证明了推理算法是多项式时间复杂的.该推理算法为εL混合循环术语集的LCS和MSC推理提供了理论基础.
文摘在Window环境下,以PATRAN为平台,利用二次开发语言PCL(patran command language)把气动加热工程计算方法与NASTRAN进行实时耦合,通过客户化、增设特定的命令和窗体等技术开发了飞行器气动加热/结构热响应耦合分析程序CASRAS(couple up aeroheating&structural response analysis program system)。该程序可对高超声速飞行器热防护系统进行快速隔热性能评估,对高超声速飞行器内部电子设备环境温度进行快速预估。通过物理模型归一化处理,能够对热试验方案的制定提供技术支持,从而将试验与理论分析有机的结合在一起,对热结构设计和结构热试验有很高的实用价值。
