CAJ | 학술논문

为了提高航天器测试效率及测试质量,研究了在无法给出航天器数学模型的情况下利用知识定义方法实现自动化测试的原理.通过对航天器静态测试和动态测试任务的分析,建立了航天器测试任务中测试业务的数学表示模型.基于有向图理论,建立了航天器测试过程的基本模型,提出了一种形式简单、易于理解、便于应用的表格方式航天器自动化测试语言(SATL),给出了SATL应用示例,开发了航天器自动化测试软件(SATS).SATL和SATS成功应用于"神舟"飞船及多颗卫星各阶段测试,实际应用表明了该方案具有较强的工程实用性.
위료제고항천기측시효솔급측시질량,연구료재무법급출항천기수학모형적정황하이용지식정의방법실현자동화측시적원리.통과대항천기정태측시화동태측시임무적분석,건립료항천기측시임무중측시업무적수학표시모형.기우유향도이론,건립료항천기측시과정적기본모형,제출료일충형식간단、역우리해、편우응용적표격방식항천기자동화측시어언(SATL),급출료SATL응용시례,개발료항천기자동화측시연건(SATS).SATL화SATS성공응용우"신주"비선급다과위성각계단측시,실제응용표명료해방안구유교강적공정실용성.
To improve spacecraft test efficiency and quality,the spaceeraft automated test principle by defining test information is studied that spacecraft mathematical model caonot be defined.Systematically discussed spacecraft static and dynamic test task,the mathematical representation model for basic test atom is constructed.Based on directed graph theory,the basic model for spacecraft test process is established.A simple,easy-to-understand,easy-to-apply spacecraft automated test language (SATL) based on tabular knowledge representation is presented.A test unit description example is given and spacecraft automated test software (SATS) based on SATL is developed.SATL and SATS are successfully applied in "ShenZhou" spaceship and many satellites test.Practical application proves that SATL and SATS are useful for engineering practicability.