http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
엄태호(Taeho Eom),권기현(Gihwon Kwon),김태훈(Taihoon Kim) 한국정보과학회 2003 한국정보과학회 학술발표논문집 Vol.30 No.1B
본 연구에서는 만족성 검사기를 이용하여 두 유한 상태 기계의 행위가 동치인지를 검사한다. 기존의 동치 검사는 대부분 BDD 를 기반으로 했었기 때문에 변수 순서 배영 및 내부 BDD 노드 폭발 문제에 시달렸었다. 하지만 여기서는 BDD 대신 명제 논리를 이용하기 때문에 위와 같은 문제점을 피할 수 있다. 하지만 논리식을 만족성 검사기의 입력 형태인 논리곱 정규형으로 변환하는 과정에서 질의 크기는 식의 크기에 지수적으로 증가 하였다.
성형작약 제트를 이용한 Ammonium DiNitramide (ADN) 단일추진제 추력기 성능 분석
엄태호 ( Tae Ho Eom ),김익태 ( Ick Tae Kim ),이창열 ( Chang Yull Lee ) 조선대학교 공학기술연구원 2020 공학기술논문지 Vol.13 No.3
A performance analysis using CFD (Computational Fluid Dynamics) simulation was carried out for the solid propellant engine based on shaped charge jet. The purpose of this study is to find the optimal thrust efficiency geometry according to the change of propellants and nozzle shapes. In order to improve the thrust efficiency in relation to weight, the shape and weight of the engine were modified with the shaped charge principle. The thrusters of various shapes were modeled, and thrust performance was analyzed through CFD simulations. The results show that the shape of the propellants and nozzles using the shaped charge jet was the efficient thruster modeling relative to weight.