建筑物仿真应用中,建筑物的建模、分析和仿真通常分布在不同的环境中,不仅造成了仿真流程的不连续性,而且数据在不同环境之间转换时,容易造成信息的流失。本文提出了统一抽象模型结构(Unified Abstract Model Structure,UAMS),基于此结...建筑物仿真应用中,建筑物的建模、分析和仿真通常分布在不同的环境中,不仅造成了仿真流程的不连续性,而且数据在不同环境之间转换时,容易造成信息的流失。本文提出了统一抽象模型结构(Unified Abstract Model Structure,UAMS),基于此结构构建统一的仿真运行平台,实现了建筑物层次化建模、结构分析以及仿真过程的一体化流程。此外,本文提出了一种快速重构算法,实现了有限元结果的简化和三维模型重构,保证了仿真过程及结果的实时三维显示。展开更多
Refutation methods based on the resolution principle are generally applied to a (finite) set of sentences, which must have a series of pre-transformations (prenex normalization, Skolemization and conjunction normaliza...Refutation methods based on the resolution principle are generally applied to a (finite) set of sentences, which must have a series of pre-transformations (prenex normalization, Skolemization and conjunction normalization) before starting the refutation. In this paper, the authors first generalize the concept of abatract consistency class to the most general form-universal abstract consistency class, and prove its universal unifying principle. Then, based on the R-refutation, a universal refutation method is proposed and its soundness and completeness are proved by means of the universal unifying principle. This method can be applied directly to any finite set of wffs without preprocessing the wffs at all so that the refutation procedure is more natural.展开更多
文摘建筑物仿真应用中,建筑物的建模、分析和仿真通常分布在不同的环境中,不仅造成了仿真流程的不连续性,而且数据在不同环境之间转换时,容易造成信息的流失。本文提出了统一抽象模型结构(Unified Abstract Model Structure,UAMS),基于此结构构建统一的仿真运行平台,实现了建筑物层次化建模、结构分析以及仿真过程的一体化流程。此外,本文提出了一种快速重构算法,实现了有限元结果的简化和三维模型重构,保证了仿真过程及结果的实时三维显示。
文摘Refutation methods based on the resolution principle are generally applied to a (finite) set of sentences, which must have a series of pre-transformations (prenex normalization, Skolemization and conjunction normalization) before starting the refutation. In this paper, the authors first generalize the concept of abatract consistency class to the most general form-universal abstract consistency class, and prove its universal unifying principle. Then, based on the R-refutation, a universal refutation method is proposed and its soundness and completeness are proved by means of the universal unifying principle. This method can be applied directly to any finite set of wffs without preprocessing the wffs at all so that the refutation procedure is more natural.
