• The Transactions of the Korea Information Processing Society
• /
• v.3 no.7
• /
• pp.1739-1752
• /
• 1996

Software reengineering involves improving the software maintenance process and improving existing systems by applying new technologies and software tools. Software reengineering can help us understand existing systems and discover software components that are common across systems. In the paper, we discuss the program analysis and environment to assist reengineering. Program analysis takesan existing program as input and generates information about structured part and object-oriented part. It is used to restructure the information by extracting code through reengineering methodology. These restructuring informations with object-oriented archilccture are mapping prolog form to query by using direct reation and summary relation.

• Proceedings of the Korean Information Science Society Conference
• /
• 2006.10d
• /
• pp.370-374
• /
• 2006

Ad-hoc 환경의 응용은 재난구조나 회의실 또는 강의실에서의 정보 교환과 같은 그룹 통에서 이용된다. Ad-hoc 환경은 무선 채널을 이용하므로 상대적인 낮은 대역폭과 높은 오류 발생률을 가지게 된다. 따라서 Ad-hoc 네트워크에서는 신뢰적인 전송이 요구된다. 이동 노드는 상대적으로 낮은 성능과 에너지의 제한으로 인해 유선 환경과 같은 신뢰적인 전송 기법을 Ad-hoc 환경에 적용하기에는 문제가 발생한다. Ad-hoc 환경의 무선 채널이 가지는 보안적인 취약성과 높은 에러율을 극복하는 신뢰적인 그룹 키 전송을 위한 재전송 기법을 제안한다. 신뢰적인 트리 형성하기 위해 n차 트리 구조를 이용한다. 손실 감지를 위한 ACK 메시지를 이용하고 손실 복구를 위한 재전송 기법에 대해 연구를 한다. 제안한 신뢰적인 그룹 키 전송을 위한 재전송 기법은 트리의 깊이의 차수가 루트 관리 노드, 서브 관리 노드와 로컬 멤버 노드로 구성되기 때문에 손실 감지와 손실 복구에 대한 연산의 오버헤드가 적다. 루트 관리 노드는 멤버 노드로부터 받은 개인키 정보를 이용하여 그룹 키를 생성하고 그룹 키 부분 정보를 서브 관리 노드에게 전송하고 서브 관리 노드에 대한 신뢰성을 책임진다. 서브 관리 노드는 루트 관리 노드로부터 받은 그룹 키 부분 정보를 로컬 멤버 노드에게 전송하고 로컬 멤버 노드에 대한 신뢰성을 책임진다. 루트 관리 노드와 서브 관리 노드를 관리 노드라 한다. 관리 노드가 신뢰적인 전송을 위해 관리하는 멤버 노드는 전체 그룹에 독립적으로 유지 가능하므로 확장성 및 효율성이 좋다. 관리 노드는 동적인 그룹에 따른 타이머를 설정함으로써 손실 감지에 대한 시간을 줄임으로써 효율적인 손실 감지 및 손실 복구를 한다. 임계값 설정으로 인한 중복 수신에 대한 오버헤드를 줄일 수 있다.신뢰성을 향상 시킬 수 있는 Load Balancing System을 제안한다.할 때 가장 효과적인 라우팅 프로토콜이라고 할 수 있다.iRNA 상의 의존관계를 분석할 수 있었다.수안보 등 지역에서 나타난다 이러한 이상대 주변에는 대개 온천이 발달되어 있었거나 새로 개발되어 있는 곳이다. 온천에 이용하고 있는 시추공의 자료는 배제하였으나 온천이응으로 직접적으로 영향을 받지 않은 시추공의 자료는 사용하였다 이러한 온천 주변 지역이라 하더라도 실제는 온천의 pumping 으로 인한 대류현상으로 주변 일대의 온도를 올려놓았기 때문에 비교적 높은 지열류량 값을 보인다. 한편 한반도 남동부 일대는 이번 추가된 자료에 의해 새로운 지열류량 분포 변화가 나타났다 강원 북부 오색온천지역 부근에서 높은 지열류량 분포를 보이며 또한 우리나라 대단층 중의 하나인 양산단층과 같은 방향으로 발달한 밀양단층, 모량단층, 동래단층 등 주변부로 NNE-SSW 방향의 지열류량 이상대가 발달한다. 이것으로 볼 때 지열류량은 지질구조와 무관하지 않음을 파악할 수 있다. 특히 이러한 단층대 주변은 지열수의 순환이 깊은 심도까지 가능하므로 이러한 대류현상으로 지표부근까지 높은 지온 전달이 되어 나타나는 것으로 판단된다.의 안정된 방사성표지효율을 보였다. $^{99m}Tc$-transferrin을 이용한 감염영상을 성공적으로 얻을 수 있었으며, $^{67}Ga$-citrate 영상과 비교하여 더 빠른 시간 안에 우수한 영상을 얻을 수 있었다. 그러므로 $^{99m}Tc$-transierrin이 감염 병소의 영상진단에 사용될 수 있을 것으로 기대된다.리를 정량화 하였다. 특히 선조체에서의 도파민 유리에 의한 수용체 결합능의 감소는 흡연에 의한 혈중 니코틴의 축

• Journal of the Institute of Electronics and Information Engineers
• /
• v.49 no.10
• /
• pp.181-186
• /
• 2012

In this paper, we describe the synthesis of robust and non-fragile Kalman filter design for a class of uncertain linear system with polytopic uncertainties and filter gain variations. The sufficient condition of filter existence, the design method of robust non-fragile filter, and the measure of non-fragility in filter are presented via LMIs(Linear Matrix Inequality) technique. And the obtained sufficient condition can be represented as PLMIs(parameterized linear matrix inequalities) that is, coefficients of LMIs are functions of a parameter confined to a compact set. Since PLMIs generate infinite LMIs, we use relaxation technique, find the finite solution for robust non-fragile filter, and show that the resulting filter guarantees the asymptotic stability with parameter uncertainties and filter fragility. Finally, a numerical example will be shown.

• KOMUNHWA
• /
• no.58
• /
• pp.25-84
• /
• 2001

This study investigated about the Panchuk Earth Wall that is the Hardened-Heaped Earth Wall, which was surveyed in the South Korea area. The Panchuk Earth Wall was classified into the 2 types depending on the existence and nonexistence of Seok-yeol(石列), t

• The Journal of Korea Institute of Information, Electronics, and Communication Technology
• /
• v.7 no.3
• /
• pp.132-136
• /
• 2014

We introduce a new architecture of TSK-based fuzzy inference system. The proposed model used fuzzy c-means clustering method(FCM) for efficient disposal of data. The premise part of fuzzy rules don't assume any membership function such as triangular, gaussian, ellipsoidal because we construct the premise part of fuzzy rules using FCM. As a result, we can reduce to architecture of model. In this paper, we are able to use four types of polynomials as consequence part of fuzzy rules such as simplified, linear, quadratic, modified quadratic. Weighed Least Square Estimator are used to estimates the coefficients of polynomial. The proposed model is evaluated with the use of Boston housing data called Machine Learning dataset.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.13 no.2
• /
• pp.81-89
• /
• 2003

With the rapid development of information and communication technology, online dissemination increases rapidly. So, It becomes more important to protect information. Recently the authentication system using public key infrastructure (PKI) is being utilized as an information protection infrastructure for electronic business transactions. And the smartcard system makes the most use of such an infrastructure. But because the certification based on the current PKI provides oかy basic user certification information, the use has to be limited in various application services that need the identification and authorization information as well as face-to-face information of the user. In order to protect a system from various kinds backings and related treats, we have proposed angular and private key multiplexing for prevention of smartcard forgery and alteration based on a photopolymer cryptosystem. When smartcard becomes prone to forgery and alteration, we should be able to verify it. Also, our parer proposes a new authentication system using multi authentication based on PKI. The smartcard has an excellent advantage in security and moving.

• Journal of KIISE:Computing Practices and Letters
• /
• v.11 no.6
• /
• pp.503-513
• /
• 2005

With the recognition of the importance of computational approach for protein-protein interaction prediction, many techniques have been developed to computationally predict protein-protein interactions. However, few techniques are actually implemented and announced in service form for general users to readily access and use the techniques. In this paper, we design and implement a protein interaction prediction service system based on the domain combination based protein-protein interaction prediction technique, which is known to show superior accuracy to other conventional computational protein-protein interaction prediction methods. In the prediction accuracy test of the method, high sensitivity($77\%$) and specificity($95\%$) are achieved for test protein pairs containing common domains with teaming sets of proteins in a Yeast. The stability of the method is also manifested through the testing over DIP CORE, HMS-PCI, and TAP data. Performance, openness and flexibility are the major design goals and they are achieved by adopting parallel execution techniques, web Services standards, and layered architecture respectively. In this paper, several representative user interfaces of the system are also introduced with comprehensive usage guides.

• Journal of the Computational Structural Engineering Institute of Korea
• /
• v.27 no.6
• /
• pp.635-642
• /
• 2014

In this paper, an efficient technique is developed to predict failure probability of three failure modes(case rupture, fracture and bolt breakage) related to solid rocket motor case due to the inner pressure during the mission flight. The overall procedure consists of the steps: 1) design parameters affecting the case failure are identified and their uncertainties are modelled by probability distribution, 2) combustion analysis in the interior of the case is carried out to obtain maximum expected operating pressure(MEOP), 3) stress and other structural performances are evaluated by finite element analysis(FEA), and 4) failure probabilities are calculated for the above mentioned failure modes. Axi-symmetric assumption for FEA is employed for simplification while contact between bolted joint is accounted for. Efficient procedure is developed to evaluate failure probability which consists of finding first an Most Probable Failure Point(MPP) using First-Order Reliability Method(FORM), next making a response surface model around the MPP using Latin Hypercube Sampling(LHS), and finally calculating failure probability by employing Importance Sampling.

• Proceedings of the Acoustical Society of Korea Conference
• /
• spring
• /
• pp.169-172
• /
• 2000

본 논문에서는 차량 환경에서 핸즈프리 단말기를 위한 잔향반향제거 방법을 제안한다. 제안된 방법은 기존의 음향반향제거와 잡음제거의 결합구조에 근거하며, 음성신호의 스펙트럼 특성을 배경잡음화함으로써 잔여 반향제거 성능을 향상시킨다. 일반적으로 음향반향제거에서 실제 충격응답보다 적은 차수의 적응필터를 이용할 경우 잔여반향의 전력이 증가하며, 잡음제거기법을 적용하여 잔여반향성분을 줄일 수 있다. 음성신호가 입력되는 음향반향제거기의 잔여반향을 효과적으로 제거하기 위해 음성신호의 AR 스펙트럼에 따른 역필터링을 수행함으로써 잡음제거기에 의한 잔여반향제거 성능을 향상시킬 수 있다. 제안된 기법은 현재 상용화되고 있는 이동통신용 음성부호화기에 포함된 잡음제거기법과 결합하여 사용할 경우 매우 적은 부가 계산량만으로 구현할 수 있다.

• Journal of Korean Tunnelling and Underground Space Association
• /
• v.17 no.5
• /
• pp.553-561
• /
• 2015

In this study, the performance assessment criterion for reasonable maintenance of shield TBM tunnel was presented. The performance assessment items such as crack, leakage, breakage, spalling, exfoliation/detachment, efflorescence, quality condition, exposure of steel, carbonation, faulting step, bolts condition, drainage condition, ground condition, contact section condition and conduit condition were selected by analyzing domestic and foreign performance assessment criterions and investigating segment lining deterioration cases through the site investigation and in-depth inspection analysis result on the shield TBM tunnel. In addition, the reasonable weight using AHP (Analytic Hierarchy Process) were estimated.