• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.35 no.10
• /
• pp.859-867
• /
• 2007

The objective of this study is to develop and validate a numerical method which can handle the multi-rotor aerodynamic characteristics. For the purpose of power estimation, table look-up method is implemented to the existing unsteady panel code that is coupled with a time-marching free wake model. Also, the Reynolds number scaling is implemented for the application to various regions of Reynolds number. The computed results are validated against the available experimental data for coaxial and tandem rotors. In the validation case for the coaxial rotor, more accurate result is acquired when the thickness effect is considered. The wake instability problem occurs at a particular separation distance between the rotors for tandem rotors. The wake instability is avoided by setting the single-rotor wake geometry as the initial wake geometry for the multi-rotor analysis. The estimated result for rotor separation effect is compared with the result of the momentum theory.

• Journal of Korea Port Economic Association
• /
• v.23 no.2
• /
• pp.109-120
• /
• 2007

The purpose of this paper is to verify the two problems(normalization for the different inputs and outputs data, translation invariant for the negative data) which will be occurred in measuring the seaport DEA(data envelopment analysis) efficiency. The main result is as follow: Normalization and translation invariant in the BCC model for measuring the seaport efficiency by using 26 Korean seaport data in 1995 with two inputs(berthing capacity, cargo handling capacity) and three outputs(import cargo throughput, export cargo throughput, number of ship calls) was verified. The main policy implication of this paper is that the port management authority should collect the more specific data and publish these data on the inputs and outputs in the seaports with consideration of negative(ex. accident numbers in each seaport) and positive value for analyzing the efficiency by the scholars, because normalization and translation invariant in the data was verified.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2009.05a
• /
• pp.1850-1854
• /
• 2009

금강하구언 상류에 위치한 규암 지점은 배수영향을 받는 지점으로 2007년도에 ADVM (Acoustic Doppler Velocity Meter)방식 자동유량측정시설을 설치하여 운영 중에 있다. 본 연구에서는 규암 지점 자동유량측정 시설에서 측정된 유량측정성과를 분석하고 다양한 방법을 통해 이를 검증하였다. 그 결과 기존 수위-유량관 계곡선식으로 방류영향 지역의 유량변화를 잘 나타낸 결과를 보였으며, 유량의 경우 총 67회 측정한 검증자료와 평균오차 7.2%로 대체로 비슷하게 산정되었으며, 금강하구언의 방류량과 갑문개방기간 동안 규암 지점의 총 유출량을 비교한 결과 3.2%의 오차를 보여 규암 지점 자동유량측정시설의 측정결과에 큰 신뢰도를 보였다.

• Journal of the Korean Society for information Management
• /
• v.19 no.4
• /
• pp.258-296
• /
• 2002

This study is to consider varying factors of jnternal/external informational and operational environments in libraries, and develop a new evaluation indicators for university libraries in digital environments. The main research results are as follows. First, the results through the Delphi method that was to adopted to verify evaluation items and indicators determined by the literature review show that the repressed values for each evaluation category is greater than 3.00, overall average is 4.02, and standard deviation is ranged from 0.40 to 0.62 for each category. This means that the evaluation indicators are valid. Second, the factor analysis was performed to verify .the construct validity of evaluation indicators. As a result, the cumulative variance of evaluation indicators consisting of 11 dimensions per factor is 72.733%. In turn, this result shows that the validity of these indicators is very reliable. Third, t-test and one-way ANOVA are performed within significance probability 0.05 in order to verify differences in each librarians point of views for the degree of importance in evaluation indicators. Based on the Delphi study and our own analysis, we developed a new evaluation indicators that consists of 7 evaluation categories, 35 evaluation items, and 92 evaluation indicators.

• Journal of KIISE:Computer Systems and Theory
• /
• v.29 no.8
• /
• pp.484-492
• /
• 2002

We propose an efficient stream authentication scheme using tree authentication. To reduce the computation cost of the sender, we design the authentication tree whose height is very short. We appropriately distribute authentication information over packets so the receiver can verify data with high probability. Moreover, we provide mathematical analysis on the verification probability. For the proposed scheme and previous schemes, we measured the elapsed time for generating authentication information and the proposed scheme has equal to or slightly larger than that of GM's scheme, which has the lowest computation overhead. We performed simulations, which show that the verification probability of the proposed scheme is much higher than that of any other scheme.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.39 no.3
• /
• pp.291-301
• /
• 2015

Product regulations specify requirements or constraints for products that manufacturers must comply with across the entire product lifecycle, from design and manufacture, through operation and maintenance, to recycling and disposal. This paper suggests a system framework and its essential components for the verification of a pressure vessel design using the industrial standards of Korea. The authors also present methods to generate design template data from legacy design systems and to construct a regulation knowledge base. The proposed framework is demonstrated through experiments involving pressure vessel design verification using a prototype system.

• The KIPS Transactions:PartB
• /
• v.11B no.6
• /
• pp.645-652
• /
• 2004

Among the biometrics, signature shows more larger variation than the other biometrics such as fingerprint and iris. In order to overcome this problem, we propose a robust offline signature verification method based on PCA and LDA. Signature is projected to vertical and horizontal axes by new grid partition method. And then feature extraction and decision is performed by PCA and LDA. Experimental results show that the proposed offline signature verification has lower False Reject Rate(FRR) and False Acceptance Rate(FAR) which are 1.45% and 2.1%, respectively.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2022.05a
• /
• pp.535-538
• /
• 2022

근감소증은 영양부족, 운동량 감소 그리고 노화 등으로 정상적인 근육의 양과 근력 및 근 기능이 감소하는 질환을 말한다. 근감소증은 보편적으로 유럽 근감소증 실무그룹분석(EWGSOP)에서 정의한 측정 방법을 따른다. 본 논문에서는 근감소증 진단을 위한 영상 분할 모델을 개발하고 외부검증하는 방법에 대해서 제안한다. 우리는 CT 영상에서 L3 영역을 선별하여 자동으로 근육, 피하지방, 내장지방을 분할할 수 있는 인공지능 모델을 U-Net을 사용하여 개발하였다. 또한 모델의 성능을 평가하기 위해서 분할영역의 IOU(Intersection over Union)를 계산하여 내부검증을 진행하였으며, 타 병원의 데이터를 이용하여 같은 방법으로 외부검증을 진행한 결과를 보인다. 검증 결과를 토대로 문제점과 해결방안에 대해서 고찰하고 보완하고자 했다.

• Journal of rehabilitation welfare engineering & assistive technology
• /
• v.12 no.1
• /
• pp.53-62
• /
• 2018

In this study, we developed a smart 1RM system for national health management and physical fitness, which enables quantitative 1RM measurement in various types of exercise using digital pulley technology, and to test the effect on training by using it. We developed the smart 1RM system, which is composed of portable muscle strength measuring device, Bluetooth communication based mobile phone data transmission and circuit diagram, and height adjustable system body. We recruited the 30 participants with 20th aged and divided into training and non-performing groups with 15 participants randomly. The participants performed 5 sets of elbow, lumbar, knee extension / flexion 10 times using smart 1RM system and the experimental period was 3 days a week for a total of 8 weeks. The experimental results showed that the maximum strength of the elbow, lumbar, and knee joints was significantly improved before and after maximal muscle strength training in the training group. Oxygen intakes during 1RM exercise mode showed 10.91% than endurance. To verify the validity of the smart 1RM maximal strength data, the reliability was 0.895 (* p <0.00). This study can be applied to the early rehabilitation treatment of the elderly and rehabilitation patients more quantitatively using the national health care.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2022.05a
• /
• pp.41-41
• /
• 2022

홍수는 단기간의 사상이다. 평상시 유량은 일단위로 연속유량이라 한다. 홍수해석은 사상 모형을 이용하고, 물 이용의 용수계획에서는 연속 모형에 의한다. 평상시 유량을 홍수처럼 10분, 30분, 60분 단위로 해석할 수 있으면 여러 가지로 편리하다. 홍수기에는 홍수와 이수를 동시에 분석할 수 있는 이점이 있다. 평상시에는 수문자료가 생성되는 기본단위가 10분, 60분이기 때문에 이와 일치하여 유량을 해석할 수 있는 이점이 있다. 특히 저수지에서는 운영자료가 저수율 자료만 관리되고 있는 현실을 감안하면, 연속 홍수모의의 필요성은 매우 높다. 다목적댐도 그 편의성은 말로 형용할 수 없는 수준이다. 홍수모의는 첨두유량도 중요하고, 전체 누적유량도 중요하다. 여기서는 당초 일 단위로 개발된 ONE 모형으로 연속 홍수모의의 가능성을 타진했다. 모형의 검증은 홍수사상 마다 훨씬 긴 장기간의 댐의 유입량, 저수량 오차로 실시했다. 유입량이 누적되면 저수량이 되기 때문에 저수량을 비교하면 확실한 검증 방법이 된다. 유역면적 930.0km², 총저수량 8억1,500만m³인 용담댐과 유역면적 218.80km², 유효저수량 3,498만m³인 탑정지를 대상으로 60단위의 장기간 연속 홍수모의 결과를 제시한다. 첫째, 용담댐에 대해 2020년 3월1일부터 6월30일까지 연속유입량을 모의한 결과(ONE모형 매개변수 α=3.18), 면적우량은 최대 12.5mm, 총 371.2mm(3억4,522만m³)였고, 유입량은 최대 1,363.0m³/s, 총 1억8,326만m³로 유출률 53.1%였다, 관측 유입량은 최대 766.1m³/s, 총 2억9,152만m³로 유출률 84.4%로 나타났다. 관측 유입량이 높은 것으로 평가했는데 그 이유는 산정된 유입량이 넓은 수면적에서 오는 음유입량이 발생하는데 이를 0으로 처리하고, 음의 누적 값이 전체유량에 더해지는 계산의 한계에서 비롯한다. 이는 현실적 제한이며, 개선이 필요하다. 댐 수위로 검증한 결과는 관측수위는 EL.257.97~262.92m, 평균 EL.260.40m, 모의수위는 EL.257.22~262.88m, 평균 EL.260.02m로 나타났고, RMSE는 0.174, NSE는 0.959, R²는 0.968로 만족한 결과를 얻었다. 둘째, 탑정지에 대해 2020년 3월1일부터 6월30일까지 연속유입량을 모의한 결과(ONE모형 매개변수 α=3.18), 면적우량은 최대 18.5mm, 총 311.4mm(6,813만m³)였고, 유입량은 최대 187.8m³/s, 총 3,691만m³로 유출률 54.2%였다. 저수지 수위로 검증한 결과 관측수위는 EL.26.55~29.79m, 평균 EL.29.01m, 모의수위는 EL.26.16~29.92m, 평균 EL.29.07m로 나타났고, RMSE는 0.563, NSE는 0.877, R²는 0.943로 만족한 결과를 얻었다. 정리하면 2020년 4개월의 장기간 용담댐과 탑정지에 대한 1시간 간격의 연속 홍수모의의 결과는 그 활용 가능성이 충분하다고 말하고 있다. 이 결과로부터 평상시 댐과 저수지의 실시간 운영자료 검증 및 생산체제의 수문관측업무에 활용 가능한 것으로 평가했다.