• 대한수학회논문집
• /
• 제24권1호
• /
• pp.67-83
• /
• 2009

Several common fixed point theorems for a few contractive type mappings in complete metric spaces are established. As applications, the existence and uniqueness of common solutions for certain systems of functional equations arising in dynamic programming are discussed.

• East Asian mathematical journal
• /
• 제26권1호
• /
• pp.49-58
• /
• 2010

In this paper, we consider and study a new class of generalized vector quasi-variational type inequalities and obtain some existence theorems for both under compact and noncompact assumptions in topological vector spaces without using monotonicity. For the noncompact case, we use the concept of escaping sequences.

• 대한수학회보
• /
• 제31권1호
• /
• pp.45-54
• /
• 1994

Throughout this paper, the definitions and properities related to probabilistic normed spaces are followed as in [2]. Let R be the set of all real numbers. A mapping F:R .rarw. [0, 1] is called a distribution function on R if it is nondecreasing and left continuous with inf F = 0 and sup F = 1. We denote by L the set of all distribution functions on R.

• 한국건설관리학회:학술대회논문집
• /
• 한국건설관리학회 2003년도 학술대회지
• /
• pp.442-445
• /
• 2003

최근 도심지 고층건축공사가 증가하면서 건설자원의 효율적인 관리가 중요시되고 있으나 현재 국내 건설현장에서 건설자재의 공급에 대한 많은 문제점을 가지고 있다. 공정과 연계되지 못한 자재의 조달 및 양중은 현장 내 재고 증가 및 작업지연을 유발하면, 복잡한 정보전달 체계는 관련 작업의 의사결정의 지연의 원인으로 작용하여 결과적으로 공사기간에 절대적인 영향을 미치고 있다. 따라서 공정진행을 고려한 조달 및 양중작업에서 각 공사담당자간의 효율적인 정좌전달 체계의 구축은 효과적인 공사수행을 위해 필수적이다. 본 연구에서는 사례조사를 통해 건설자재의 조달 및 양중작업의 문제점을 분석하여 가치흐름분석을 통해 구체적인 낭비요소를 추출한 뒤, 공사참여자간의 의사소통 체계를 구축 및 양중계획 업무흐름 개선방안을 제시하였다. 개선방안은 web을 기반으로 한 조달 및 양중시스템의 전반적인 체계로서 활용될 것이다.

• 한국건설관리학회논문집
• /
• 제5권1호
• /
• pp.133-139
• /
• 2004

최근 도심지 고층건축공사가 증가하면서 건설자원의 효율적인 관리가 중요시되고 있으나 현재 국내 건설현장에서 건설자재의 공급에 대한 많은 문제점을 가지고 있다. 공정과 연계되지 못한 자재의 조달 및 양중은 현장 내 재고 증가 및 작업지연을 유발하며, 복잡한 정보전달 체계는 관련 작업의 의사결정의 지연의 원인으로 작용하여 결과적으로 공사기간에 절대적인 영향을 미치고 있다. 따라서 공정진행을 고려한 조달 및 양중작업에서 각 공사담당자간의 효율적인 정보전달 체계의 구축은 효과적인 공사수행을 위해 필수적이다. 본 연구에서는 사례조사를 통해 건설자재의 조달 및 양중작업의 문제점을 분석하여 가치흐름분석을 통해 구체적인 낭비요소를 추출한 뒤, 공사참여자간의 의사소통 체계를 구축 및 양중계획 업무흐름 개선방안을 제시하였다. 개선방안은 web을 기반으로 한 조달 및 양중시스템의 전반적인 체계로서 활용될 것이다.

• 대한원격탐사학회지
• /
• 제40권2호
• /
• pp.179-190
• /
• 2024

This study aims to compare supervised classification methods with phenology-based approaches, specifically pixel-based and segment-based methods, for accurate crop mapping in agricultural landscapes. We utilized Sentinel-2A imagery, which provides multispectral data for accurate crop mapping. 31 normalized difference vegetation index (NDVI) images were calculated from the Sentinel-2A data. Next, we employed phenology-based approaches to extract valuable information from the NDVI time series. A set of 10 phenology metrics was extracted from the NDVI data. For the supervised classification, we employed the maximum likelihood (MaxLike) algorithm. For the phenology-based approaches, we implemented both pixel-based and segment-based methods. The results indicate that phenology-based approaches outperformed the MaxLike algorithm in regions with frequent rainfall and cloudy conditions. The segment-based phenology approach demonstrated the highest kappa coefficient of 0.85, indicating a high level of agreement with the ground truth data. The pixel-based phenology approach also achieved a commendable kappa coefficient of 0.81, indicating its effectiveness in accurately classifying the crop types. On the other hand, the supervised classification method (MaxLike) yielded a lower kappa coefficient of 0.74. Our study suggests that segment-based phenology mapping is a suitable approach for regions like South Korea, where continuous cloud-free satellite images are scarce. However, establishing precise classification thresholds remains challenging due to the lack of adequately sampled NDVI data. Despite this limitation, the phenology-based approach demonstrates its potential in crop classification, particularly in regions with varying weather patterns.

• 한국콘텐츠학회논문지
• /
• 제19권11호
• /
• pp.262-269
• /
• 2019

학술논문의 말미에 기재하는 참고문헌은 저자가 연구윤리를 준수하고 독자들이 관련 선행연구를 참고할 수 있도록 돕는 정보이자 논문간의 인용과 피인용 관계를 연결시키는 데 유용한 정보이다. 계량서지학이 발전하면서 참고문헌 데이터는 국가, 기관, 개인의 학술 영향력을 평가하는 중요한 데이터로 활용되고 있다. 하지만 참고문헌 형식의 다양성, 학술지명과 저자명 축약 기재로 인한 정보 손실, 저자들의 오타 등으로 인해 참고문헌을 식별하여 연결하는 것은 쉽지 않다. 본 연구에서는 학술논문 참고문헌 데이터를 구축하고 매핑하는 과정에서 발생한 오류 사례를 분석함으로써 참고문헌 데이터 매핑율 제고 방안을 고찰하였다. 연구결과 참고문헌 식별 실패의 주요 원인은 유사 학술지명 식별 문제로 밝혀졌으며 식별과 매핑율 향상을 위한 방안으로 학술지명 전거파일 활용, 논문 DOI 등록율 제고를 제시하였다. 본 연구는 연구 대상 데이터에서 차별성이 있다. 국내에서 주로 구독, 이용, 출판, 인용되는 국내 및 해외 학술지 통합 데이터베이스를 대상으로 참고문헌 매핑을 시도하였다. 참고문헌 구축량 및 매핑율 향상을 통해 해외 인용색인 데이터베이스와는 차별화된 국내 상황을 반영한 인용 분석 및 서비스 기반 데이터베이스로 활용이 가능하다.

• Journal of Power Electronics
• /
• 제18권6호
• /
• pp.1771-1779
• /
• 2018

Modern trams with a super capacitor have gained a lot of attention in recent years due to its reliability, convenience, energy conservation and environmental friendliness. Because of its special charging characteristic, the traditional charging structure and control strategy cannot satisfy its charging requirements. This paper presents a new charging topology for fast charging modern trams with a super capacitor and it designs a controller using continuous control set model predictive control (CCS-MPC). There are three contributions in this paper. First, a new charging structure is designed and its mathematics model is derived. The cascade structure is adopted instead of the parallel structure to simplify the control process and to keep the rated power of the controllable part low. Second, a MPC control strategy is proposed to satisfy the charging characteristic. The optimal control signal can be obtained by solving the designed optimization problem. The optimal control signal is related to the discrete control action. In addition, mapping between the continuous control signal and the discrete control action is designed. Third, a semi-physical experimental platform is built to verify the proposed topology and control method. The simulation model and experiment platform are built to verify the correctness of the new structure and its control method. The results obtained show that the new topology can work effectively.

• Smart Structures and Systems
• /
• 제4권5호
• /
• pp.605-628
• /
• 2008

In bridge structures, damage may induce an additional deflection which may naturally contain essential information about the damage. However, inverse mapping from the damage-induced deflection to the actual damage location and severity is generally complex, particularly for statically indeterminate systems. In this paper, a new load concept, called the positive-bending-inspection-load (PBIL) is proposed to construct a simple inverse mapping from the damage-induced deflection to the actual damage location. A PBIL for an inspection region is defined as a load or a system of loads which guarantees the bending moment to be positive in the inspection region. From the theoretical investigations, it was proven that the damage-induced chord-wise deflection (DI-CD) has the maximum value with the abrupt change in its slope at the damage location under a PBIL. Hence, a novel damage localization method is proposed based on the DI-CD under a PBIL. The procedure may be summarized as: (1) identification of the modal flexibility matrices from acceleration measurements, (2) design for a PBIL for an inspection region of interest in a structure, (3) calculation of the chord-wise deflections for the PBIL using the modal flexibility matrices, and (4) damage localization by finding the location with the maximum DI-CD with the abrupt change in its slope within the inspection region. Procedures from (2)-(4) can be repeated for several inspection regions to cover the whole structure complementarily. Numerical verification studies were carried out on a simply supported beam and a three-span continuous beam model. Experimental verification study was also carried out on a two-span continuous beam structure with a steel box-girder. It was found that the proposed method can identify the damage existence and damage location for small damage cases with narrow cuts at the bottom flange.

• 정보과학회 컴퓨팅의 실제 논문지
• /
• 제21권7호
• /
• pp.488-493
• /
• 2015

컴포넌트기반 체계모의환경(AddSIM)은 고해상도 공학급 무기체계를 사용하여 체계의 성능 및 효과도를 예측 분석하기 위해 개발된 무기체계 통합 모의환경이다. AddSIM을 이용한 고해상도 교전 모의 분석을 위해서는 연속시스템으로 표현되는 무기체계 공학급 모델은 물론, 지휘 통제, 네트워크 제어 모델과 같이 DEVS 형식론으로 기술된 이산사건시스템 모델을 복합적으로 사용해야 한다. 본 논문에서는 DEVS 모델과 AddSIM 플레이어 모델의 함수 간 관계 매핑(mapping)을 통해 AddSIM에서 실행 가능한 DEVS 모델 변환방법을 제시한다. 제안한 방법은 우선, 계층적으로 구성된 DEVS 모델을 단일 계층으로 변환하고, DEVS의 네 가지 함수(외부천이, 내부천이, 출력, 시간진행함수)를 AddSIM 플레이어 함수로의 변환을 주요 내용으로 한다.