• 대한조선학회논문집
• /
• 제40권2호
• /
• pp.1-10
• /
• 2003

It is important to understand the flow characteristics such as wave and wake development around a ship for the design of the hull forms with better resistance and propulsive performance. The experimental results explicating the local flow characteristics are also invaluable for validation of the physical and numerical modeling of CFD codes, which are recently gaining acknowledgements as efficient tools for hull form evaluation This paper describes velocity and wave profiles measured in the towing tank for the KRISO 138K LNG Carrier (KLNG) model with propeller and rudder. The results contained in this paper can provide the valuable information on the effect of propeller and rudder on stern flow characteristics of the modern commercial hull form, furthermore, the present experimental data will provide important database for CFO validation.

• 한국산학기술학회논문지
• /
• 제2권2호
• /
• pp.81-89
• /
• 2001

우주 항공위성 시스템은 변하는 불확실한 우주항공 환경에(서) 운행되고 지상기지국으로부터의 원격통신 없이 장시간 동안 동작해야 할 자율적인 능력이 요구되고, 결함 없이 임무를 수행하여야 하며, 시스템에서 계측된 데이터의 신뢰성을 유지하기 위한 고장 상태 검출과 오류 수정 시스템을 차보하는 것이 중요하다. 본 논문에서는 확장 칼만 필터 기법을 적용한 동적모델 시뮬레이션 기법(High Fidelity, Dynamic Model-based Simulation)을 제안하였으며, 제안된 시스템은 비정상적인 데이터의 효과적인 검출과 대응이 가능해짐으로써 신뢰성 있는 우주항공위성시스템을 구축하도록 자동 상태 진단/데이터 시스템에 고장검출/오류수정 시스템을 적용하는 것이다. (Autonomous Spacecraft Health Monitoring/Data Validation Control System : ASHMDVCS).

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

국내 전자상거래의 표준으로 채택된 ebXML에 대한 관심이 집중되면서 국내외적으로 ebXML 솔루션들의 검증의뢰에 대한 대비책의 필요성이 대두되고 있다. 이 중 BPSS의 검증을 위한 시험도구는 국내외적으로 전무한 상태이다. 이에 ebXML에서 가장 중요하고 필요한 부분으로써 ebMS 표준적합성 및 상호운용성과 연계된 ebXML BPSS 검증 체계 확립이 절실히 요구된다. 본 논문에서는 ebXML BPSS 검증항목으로 작성된 케이스 항목에 따라서 문서의 적합성 여부를 평가하기 위한 시스템 모델을 제안하고자한다.

• 한국임상수의학회지
• /
• 제40권4호
• /
• pp.243-259
• /
• 2023

Machine learning and deep learning (ML/DL) algorithms have been successfully applied in medical practice. However, their application in veterinary medicine is relatively limited, possibly due to a lack in the quantity and quality of relevant research. Because the potential demands for ML/DL applications in veterinary clinics are significant, it is important to note the current gaps in the literature and explore the possible directions for advancement in this field. Thus, a scoping review was conducted as a situation analysis. We developed a search strategy following the Preferred Reporting Items for Systematic Reviews and Meta-Analyses guidelines. PubMed and Embase databases were used in the initial search. The identified items were screened based on predefined inclusion and exclusion criteria. Information regarding model development, quality of validation, and model performance was extracted from the included studies. The current review found 55 studies that passed the criteria. In terms of target animals, the number of studies on industrial animals was similar to that on companion animals. Quantitative scarcity of prediction studies (n = 11, including duplications) was revealed in both industrial and non-industrial animal studies compared to diagnostic studies (n = 45, including duplications). Qualitative limitations were also identified, especially regarding validation methodologies. Considering these gaps in the literature, future studies examining the prediction and validation processes, which employ a prospective and multi-center approach, are highly recommended. Veterinary practitioners should acknowledge the current limitations in this field and adopt a receptive and critical attitude towards these new technologies to avoid their abuse.

• International Journal of Computer Science & Network Security
• /
• 제23권11호
• /
• pp.190-194
• /
• 2023

By looking the importance of communication, data delivery and access in various sectors including governmental, business and individual for any kind of data, it becomes mandatory to identify faults and flaws during cyber communication. To protect personal, governmental and business data from being misused from numerous advanced attacks, there is the need of cyber security. The information security provides massive protection to both the host machine as well as network. The learning methods are used for analyzing as well as preventing various attacks. Machine learning is one of the branch of Artificial Intelligence that plays a potential learning techniques to detect the cyber-attacks. In the proposed methodology, the Decision Tree (DT) which is also a kind of supervised learning model, is combined with the different cross-validation method to determine the accuracy and the execution time to identify the cyber-attacks from a very recent dataset of different network attack activities of network traffic in the UNSW-NB15 dataset. It is a hybrid method in which different types of attributes including Gini Index and Entropy of DT model has been implemented separately to identify the most accurate procedure to detect intrusion with respect to the execution time. The different DT methodologies including DT using Gini Index, DT using train-split method and DT using information entropy along with their respective subdivision such as using K-Fold validation, using Stratified K-Fold validation are implemented.

• 분석과학
• /
• 제37권2호
• /
• pp.114-122
• /
• 2024

A transmission Raman spectroscopy-based quantitative model, which can analyze the content of a drug product containing naproxen sodium as its active pharmaceutical ingredient (API), was developed. Compared with the existing analytical method, i.e., high-performance liquid chromatography (HPLC), Raman spectroscopy exhibits high test efficiency owing to its shorter sample pre-treatment and measurement time. Raman spectroscopy is environmentally friendly since samples can be tested rapidly via a nondestructive method without sample preparation using solvent. Through this analysis method, rapid on-site analysis was possible and it could prevent the production of defective tablets with potency problems. The developed method was applied to the assays of the naproxen sodium of coated tablets that were manufactured in commercial scale and the content of naproxen sodium was accurately predicted by Raman spectroscopy and compared with the reference analytical method such as HPLC. The method validation of the new approach was also performed. Further, the specificity, linearity, accuracy, precision, and robustness tests were conducted, and all the results were within the criteria. The standard error of cross-validation and standard error of prediction values were determined as 0.949 % and 0.724 %, respectively.

• 한국항공우주학회지
• /
• 제45권6호
• /
• pp.508-516
• /
• 2017

항공우주 시스템 개발에 있어 M&S (Modeling and Simulation)의 광범위한 사용이 보편화되고 있고 인증(Certification) 혹은 인정 (Accreditation)을 통해 부적절한 M&S의 사용으로 인한 사고나 위험을 제도적으로 방지하려는 노력이 있어 왔다. 본 연구는 이와 관련된 M&S의 VV&A (Verification, Validation, and Accreditation) 활동을 다루었다. 항공우주 M&S는 항공우주시스템 개발에 활용을 목적으로 하고 대부분 물리법칙 기반의 모델링 기법을 사용한다. 또한, 시제제작 후 검증용 데이터가 비행시험을 통해 최종 확보된다는 점에서 여타의 M&S와는 다른 접근방법이 필요하다. 본 연구는 이러한 특성을 고려하여 M&S 개발과 VV&A의 시작점이라 할 수 있는 항공우주 시스템 개발에 적합한 M&S의 수명주기 모델과 개발 패러다임을 다양한 문헌 연구를 토대로 제안하였다.

• 정보보호학회논문지
• /
• 제19권4호
• /
• pp.91-103
• /
• 2009

암호알고리즘 및 암호함수를 하드웨어적 또는 소프트웨어적으로 구현한 암호모듈을 암호모듈검증체계 (Cryptographic Module Validation Program, CMVP) 내에서 시험 (또는 인증, 검증)을 받기 위해서는 암호모듈에 대한 유한상태모델(Finite State Model, FSM) 이 개발되고 제공되어야한다. 그러나 FSM을 체계적으로 모델링하고 분석하는 지침은 개발자와 시험자의 경험이므로 잘 알려져 있지 않다. 본 연구에서는 CMVP내에서 암호모듈의 검증을 위해 요구되는 FSM의 모델링, 분석지침, 천이시험경로 생성알고리즘을 제시하고 모델링도구인 CM-Statecharter를 개발하였다. FSM은 UML 2.0의 상태도를 이용해 모델링한다. 상태도는 FSM의 부족한 점 을 보완하고 암호모듈의 FSM을 정형적이고 쉽게 명세할 수 있는 모델이다.

• 대한원격탐사학회:학술대회논문집
• /
• 대한원격탐사학회 2004년도 Proceedings of ISRS 2004
• /
• pp.310-313
• /
• 2004

The aim of this study is to evaluate the hazard of landslides at Penang, Malaysia, using a Geographic Information System (GIS) and remote sensing. Landslide locations were identified in the study area from interpretation of aerial photographs and from field surveys. Topographical and geological data and satellite images were collected, processed, and constructed into a spatial database using GIS and image processing. The factors chosen that influence landslide occurrence were: topographic slope, topographic aspect, topographic curvature and distance from drainage, all from the topographic database; lithology and distance from lineament, taken from the geologic database; land use from TM satellite images; and the vegetation index value from SPOT satellite images. Landslide hazardous area were analysed and mapped using the landslide-occurrence factors by logistic regression model. The results of the analysis were verified using the landslide location data and compared with probabilistic model. The validation results showed that the logistic regression model is better prediction accuracy than probabilistic model.

• 한국소음진동공학회:학술대회논문집
• /
• 한국소음진동공학회 2000년도 춘계학술대회논문집
• /
• pp.990-995
• /
• 2000

This paper presents a dynamic model for escalators to be used for the analysis and design of low vibration escalators. The dynamic model is developed so as to reflect the physical observation on peculiar characteristics such as the difference between up moving and down moving, and the resonance affected by the load applied. For validation of the dynamic model developed, experimental results are compared with numerical results from the model. The numerical study shows that the developed model is useful for analysis and design of escalator systems.