• Advances in aircraft and spacecraft science
• /
• 제6권5호
• /
• pp.427-442
• /
• 2019

Small satellites represent an emerging opportunity to realize a wide range of space missions at lower cost and faster delivery, compared to traditional spacecraft. However, small platforms, such as CubeSats, shall increase their actual capabilities. Miniaturized electric propulsion systems can provide the satellite with the key capability of moving in space. The level of readiness of miniaturized electric propulsion systems is low although many concepts have been developed. The present research intends to build a flexible test platform for the assessment of selected small propulsion systems in relevant environment at laboratory level. Main goal of the research is to analyze the mechanical, electrical, magnetic, and chemical interactions of propulsion systems with the modern CubeSat-technology and to assess the performance of the integrated platform. The test platform is a 6U CubeSat hosting electric propulsion systems, providing mechanical, electrical and data interfaces, able to handle a variety of electric propulsion systems, thanks to the ability to regulate and distribute electric power, to exchange data according to several protocols, and to provide different mechanical layouts. The test platform is ready to start the first verification campaign. The paper describes the detailed design of the platform and the main results of the AIV activities.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제16권8호
• /
• pp.2507-2528
• /
• 2022

Blockchain interoperability, which refers in particular to the ability to access information across blockchain systems, plays the key role for different blockchains to communicate with each other, and further supports the superstructure built on top of the cross-chain mechanism. Nowadays, blockchain interoperability technology is still in its infancy. The existing cross-chain scheme such as BTCRelay requires that the smart contract in a blockchain to download and maintain block headers of the other blockchain, which is costly in maintenance and inefficient to use. In this paper, we propose a supervision mechanism between blockchains, called Surveillant. Specially, the new entities called dual-functional nodes are introduced to commit the real-time information from the blockchain under supervision to the supervising blockchain, which enables users to have efficient cross-chain verification. Furthermore, we introduce Merkle mountain range for blocks aggregation to deal with the large-scale committing data. We propose the design of long orphan branch counter to trace the bifurcations in the blockchain under supervision. The existing incentive mechanism is improved to encourage the behaviors of dual-functional nodes. In Surveillant, the analysis and experimental results demonstrate that users are able to have efficient cross-chain verification with low maintenance overhead.

• Journal of the Optical Society of Korea
• /
• 제8권2호
• /
• pp.65-71
• /
• 2004

In this paper, we analyze the limitation on the expressible depth range that is one major problem of integral imaging. We provide the explanation that exactly predicts the experimental results and the way to evaluate the expressible depth range numerically. We also give the design method for the multi-central depth plane integral imaging system. Finally, we will show the experimental results for verification.

• 한국정보통신학회:학술대회논문집
• /
• 한국해양정보통신학회 2003년도 춘계종합학술대회
• /
• pp.526-529
• /
• 2003

논 논문에서는 VHDL 모델을 검증하기 위하여 정지법을 사용할 때 클럭 사이클을 줄일 수 있는 2가지 방법을 제안한다. 첫 번째 방법은 세미랜덤변수를 정의하고, 정지법이 동작 중에 세미랜덤변수의 영역에 존재하는 데이터를 생략하여 정지점(stopping point)을 줄이고, 두 번째 방법은 정지법의 페이즈가 변화시에 베이지안 파라미터의 기존 간을 그대로 유지하여 클럭 사이클을 줄이는 방법이다. 제안된 방법의 효율성을 입증하기 위하여 12개의 VHDL 모델에 대하여 분기검출률에 관한 모의실험을 하였다.

• 한국응용과학기술학회지
• /
• 제24권4호
• /
• pp.332-338
• /
• 2007

Based on the experiment results of laboratory scale modified anoxic-oxic process for leachate treatment, biological nitrogen removal program was verified in terms of SS, COD, and TN concentration. These measured water qualities concentration could be predicted by biological nitrogen removal program with $R^2$ of 0.994, 0.987, 0.990, respectively. No error was occurred between water qualities concentration and quite wide range of water qualities concentration (i.e., 50-4200 mg/L) during the modelling. Each unit and final effluent of simulated concentration was kept good relationship with that of measured concentration therefore this biological nitrogen removal program for sewage or wastewater treatment plants has good reliance.

• 한국군사과학기술학회지
• /
• 제9권1호
• /
• pp.60-71
• /
• 2006

With the increased reliance on M & S(Modeling & Simulation) in military training, defense analysis, and system acquisition. The credibility of M & S becomes even more critical issue in the M & S application community. In this paper, we have introduced the VV & A(Verification, Validation and Accreditation) concept of M & S for the assurance of its credibility, and proposed the VV & A model applicable to a military simulator development with the illustrative example of MSAM(Medium range-Surface to Air Missile) system simulator.

• 디지털산업정보학회논문지
• /
• 제8권3호
• /
• pp.157-169
• /
• 2012

As of 2006. 3. the twitter offered in the USA has been one of the propaganda instrument used with ads and politics functioning speedy information diffusion on SNS communicated with others through 140 letters of short messages. and while twitter is using propaganda instrument, it keeps on trying to verify how it has an effect on. So, on the paper, I suggest new simulation model of information diffusion based on probability being able to predict the range of proliferation after it analyze the existing influence and the diffusion force on verification methods. It designed algorithm of verification and algorithm of prediction to use twitter's Open API with Python basement. It proved effectiveness on the model through the analysis to operate the twitter of practical local autonomous entity.

• 대한산업공학회지
• /
• 제42권3호
• /
• pp.165-172
• /
• 2016

The purpose of this study is to investigate the ergonomic verification of suitability of the 4-wheeled hand cart to prevent musculoskeletal problems in the firing test range. Because of the increasing amount of firing test, the needs to develop a projectile transferring device such as 4-wheeled hand cart has been increased. For the 4-wheeled hand cart, the lifting and carrying activity in the manual handling method were transformed to pushing activity. The risk of low back pain for lifting and carrying the projectile by manual was estimated by NLE and 3D SSPP. On the other hand, the risk for pushing the 4-wheeled hand cart was estimated by psychophysical and biomechanical method such as Mital's equation, Snook's table and 3D SSPP. It was shown that the 4-wheeled hand cart reduced the risk of low back pain drastically with higher efficiency and design compatibility.

• 한국정보통신학회논문지
• /
• 제26권3호
• /
• pp.422-429
• /
• 2022

본 논문에서는 현재 기술 개발 과제로 진행 중인 다중 공중 이동 및 검증을 위한 다채널 공중 중계 장치와 다수의 임무 장치로 구성된 네트워크 시스템 기반 기저대역부와 RF부간의 중간주파수 전송 신호 레벨을 기준 신호 레벨로 일정하게 유지하도록 하고, 상대방의 수신 입력 범위를 고려하여 단거리 장거리 무선 통신 환경 변화에도 RF부 내의 송수신 회로 상의 신호 탐지와 자동이득제어, 자동출력제어 기능을 통해 신호가 안정되고 신뢰성 있게 전송되도록 하는 다중 링크 보호, MLP-A 알고리즘을 제시한다. 그리고, MLP-A 알고리즘이 적용된 RF부를 설계, 제작, 구현하고 다중 공중 이동 및 검증 네트워크 구성으로 거리 산출 수식을 적용하여 단거리, 장거리 무선 환경을 고려한 실험 및 분석을 수행하였다. 이를 통해 안정적이고 신뢰성 있는 RF 통신 시스템 운용이 가능함을 확인하였다.

• Journal of Astronomy and Space Sciences
• /
• 제31권1호
• /
• pp.67-72
• /
• 2014

The next generation small satellite-1 (NEXTSat-1) program has been kicked off in 2012, and it will be launched in 2016 for the science missions and the verification of space core technologies. The payloads for these science missions are the Instrument for the Study of Space Storms (ISSS) and NIR Imaging Spectrometer for Star formation history (NISS). The ISSS and the NISS have been developed by Korea Advanced Institute of Science and Technology (KAIST) and Korea Astronomy and Space science Institute (KASI) respectively. The ISSS detects plasma densities and particle fluxes of 10 MeV energy range near the Earth and the NISS uses spectrometer. In order to verify the spacecraft core technologies in the space, the total of 7 space core technologies (SCT) will be applied to the NEXTSat-1 for space verification and those are under development. Thus, the operation modes for the ISSS and the NISS for space science missions and 7 SCTs for technology missions are analyzed for the required operation time during the NEXTSat-1's mission life time of 2 years. In this paper, the operational concept of the NEXTSat-1's science missions as well as the verification of space core technologies are presented considering constraints of volume, mass, and power after launch.