• The Journal of Korean Institute of Electromagnetic Engineering and Science
• /
• v.8 no.6
• /
• pp.363-644
• /
• 1997

This paper presents the design and fabrication of a shaped-beam array antenna which will be used for a PCS basestation using structure that is coupled to a microstrip line by an aperture on the interening ground plane. The shaped-beam pattern is obtained by an antenna synthesis method. An array antenna considering the mutual coupling between array elements patches) and a feeding network are designed by CAD tools. The feeding network is designed by using the Wilkinson power divider to obtain the optimized shaped-beam. The designed results are compared with the measured data.

• 대한정형외과스포츠의학회:학술대회논문집
• /
• 2004.04a
• /
• pp.5-14
• /
• 2004

[ $\cdot$ ] 일주일에 3${\~}$5회 $\cdot$ 1번에 30분 이상 $\cdot$ $60{\~}80\%$의 운동 강도 $\cdot$ 조금씩 강도 증가 $\cdot$ 땀이 날 때까지, 조금 힘들게 느껴 질 때 까지

• Journal of the Korean Orthopaedic Association
• /
• v.56 no.3
• /
• pp.191-199
• /
• 2021

Osteonecrosis of the femoral head usually affects young or middle-aged adults and frequently leading to femoral head collapse and hip arthritis. This review reports the updated treatments of the disease.

• Journal of KIISE:Computing Practices and Letters
• /
• v.12 no.2
• /
• pp.141-148
• /
• 2006

This paper suggests method of safe security S/W by verifying and its result of formal verification tool. We will survey many formal verification tools and compare features of these tools. And we will suggest what tool is appropriate and methodogoly of developing safe security S/W. The Z/EVES is the most appropriate tool. This paper proposes formal verification of ACS by using RoZ tool which is formal verification tool to create UML model. The specification and verification are executed using Z/EVES tool. These procedures can find weak or wrong point of developed S/W.

• Journal of KIISE:Software and Applications
• /
• v.31 no.7
• /
• pp.883-900
• /
• 2004

As object-oriented development technology that increases extensibility and reusability has been widely spread, it can shorten development period and enhance quality by reusing verified object-oriented artifacts. Thus we can construct high quality component-based system at short time transforming component-based model using verified object-oriented artifacts. In this paper, we propose techniques to transform available object-oriented design model into component-based model using formal specification techniques in order to increase accuracy of transformation. First, formal specification language for component is defined for formal specification of component-based design. And, techniques for formal specification of object-oriented design using Object-Z, a formal specification language, is proposed in structural, functional, and dynamic aspects. Next, we present techniques for transforming formal specification of object-oriented design into formal specification of component-based design. Through a case study we apply the proposed transformation techniques and show the transformation process of object-oriented formal specification into component-based formal specification.

• Journal of Korean Electronics
• /
• v.4 no.1
• /
• pp.123-135
• /
• 1984

• Journal of Korean Electronics
• /
• v.3 no.12
• /
• pp.77-82
• /
• 1983

• Journal of the Institute of Electronics Engineers of Korea TE
• /
• v.37 no.3
• /
• pp.114-122
• /
• 2000

This paper proposes a classification method using an amorphous Prototype to minimize classification error caused by such fixed-Prototype-based methods as Fuzzy C-Means, Nearest Neighborring Classification, FMMCNN, and Fuzzy-ART. For this method, a new fuzzy neural network is introduced, in which a convex polytope is generated or adaptively reshaped to classify the given datum into a proper group. Thus, this method contains a function to classify sequential data set. To show the validity of this method, various numerical experiments including comparison results with FMMCNN are presented

• Proceedings of the Korea Water Resources Association Conference
• /
• 2020.06a
• /
• pp.317-317
• /
• 2020

수재해는 수자원 인프라의 부족 및 관리 미흡 등 많은 요인들이 있지만 강우의 유무와 크기가 가장 원초적인 요인들 중 하나이다. 정확한 강우량 추정 및 강우발생시간 예측은 수재해로 인한 피해를 예방하고 빠르게 대처할 수 있다. 그러나 강우예측에는 많은 불확실성을 내포하고 있기 때문에 이러한 불확실성을 이해하고 줄여 나가는 것이 필요하다. 최근 컴퓨터의 성능의 발전에 비례해 강우 예측 자료들도 점진적으로 발전을 거듭하고 있다. 이를 강우-유출 모형에 적용시 유출량 예측의 정확성 또한 비례하여 한층 더 발전할 수 있을 것이다. 하지만 신뢰성이 낮은 입력자료를 대상으로 하는 유출해석 모형은 많은 불확실성을 내포할 것이다. 따라서 본 연구에서는 위천 유역에 대해 LENS(Limited area ENsemble prediction System) 강우앙상블 예측자료의 적용성을 검토하고 그리드 기반 강우 유출 모델 GRM(Grid based Rainfall-runoff Model) 에 적용하여 유출예측의 불확실성을 평가하고자 하였다. 또한 강우예측 및 유출예측은 수 많은 매개변수를 포함하며 최종적인 예측은 더 큰 불확실한 범위로 산출될 수 있다. 이에 따라 본 연구에서는 Python3 기반 코딩으로 LENS 자료 구축 및 GRM 모형의 매개변수 보정을 각 2000회 씩에 걸쳐 총 2회 실시하여 수문학적, 지형학적 인자에 따른 불확실성 범위를 보정하고자 하였다. 매개변수의 보정은 비정형우도(Informal likelihood) NSE, 정형우도(Formal likelihood) Lognormal(Log-likelihood function)의 우도에 따른 행위모델을 산정하여 보정하였다. 따라서 본 연구에서는 선행연구들을 참고한 정형, 비정형 우도의 임계치를 이용한 불확실성해석에 적용하였으며 이는 사용자의 행위모델선정 임계치 범위 선정으로 인한 불확실성을 줄여나감에 기여할 수 있을것으로 사료된다.

• Journal of the Korean Orthopaedic Association
• /
• v.55 no.6
• /
• pp.487-494
• /
• 2020

Purpose: No attempt has been made to identify the relationship between the study characteristics and citation rates of articles published in the Journal of the Korean Orthopaedic Association (JKOA). This study classified the study characteristics of articles in the JKOA and analyzed the relationship between the study characteristics and citation rates. Materials and Methods: A cohort study was conducted on all articles published from February 2001 to December 2015. Three independent reviewers classified the articles according to the article type, material, time of the study, design, clinical categories, number of authors, and number of cases. The citation numbers of each article by other journals were taken in January 2020. Univariate analyses were conducted to assess the effect of each characteristic, and multivariate linear regression analysis was performed to analyze the overall relationship between the characteristics and the citation rates. Results: A total of 1,640 articles were published from 2001 to 2015, and 724 articles were cited more than once. The articles published in 2009 had the highest average number of citations. Original articles had the highest citation rates, followed in descending order by surgical techniques and reviews, instructional course lectures, and case reports (p<0.001). Among the case reports, articles dealing with general trauma scored significantly higher average citations (mean=1.5, p=0.006). Among the original articles, articles on general orthopedics had the highest citation rates, followed in order by clinical articles and experimental articles. Among the clinical articles, epidemiologic studies (mean=5.0, p<0.001) and studies on the spine (mean=1.7, p<0.001) recorded significantly higher citation rates than the others. Conclusion: Of all the articles published in the JKOA from 2001 to 2015, articles dealing with general trauma had the highest citation rates among case reports. Among the original articles, epidemiologic studies and studies concerning the spine were cited significantly more than others.