论文摘要：航天器机动化尝试本质的建立及运用

跟着我国航天器尝试范围渐渐实行机动化，机动化尝试体例和计划的连接完备，对那些搀杂的体例和计划中的资源和资源间的联系举行一致且容易领会的刻画具备格外要害的意旨。正文深刻领会航天器机动化尝试体例构造及其资源，建立了航天器机动化尝试范围的本质，实行了对航天器机动化尝试范围资源及其联系的语义层面包车型的士一致刻画，该本质的建立重要从静态资源和动静进程两个观点刻画航天器机动化尝试。正文在该本质的普通上建立范围的推导准则而且实行了鉴于该本质的运用东西，运用该东西将航天器机动化尝试本质和推导准则贯串运用于航天器机动化尝试。正文的重要处事和博得的功效如次：1. 对航天器机动化尝试范围的资源特性和资源间的联系举行了精细的调查研究和领会，对其举行了归结分门别类，并抽掏出那些资源包括的属性，接洽符合于航天器机动化尝试范围的本质建立模型本领。2. 运用本质对航天器机动化尝试范围资源举行语义层面包车型的士建立模型，建立了航天器机动化尝试范围的本质。在该本质的普通上，将航天器机动化尝试范围的交易准则运用SWRL谈话表白为推导准则，产生航天器机动化尝试范围的准则库。3. 在航天器机动化尝试本质的普通上建立该本质的运用东西扶助本质和准则的处置、查问和推导，并贯串航天器机动化尝试本质和推导准则运用于航天器机动化尝试各阶段，扶助航天器机动化尝试。正文对准搀杂的航天器机动化尝试资源建立其本质，刻画了航天器机动化尝试范围生存的资源、资源间的联系，更好的激动航天器机动化尝试范围的消息化树立和兴盛。