• International Journal of Fuzzy Logic and Intelligent Systems
• /
• 제6권1호
• /
• pp.70-76
• /
• 2006

Some Stampacchia type of generalized weak vector quasivariational-like inequalities for fuzzy mappings was introduced and the existence of solutions to them under non-compact assumption was considered using the particular form of the generalized Ky Fan's section theorem due to Park [15]. As a corollary, Stampacchia type of generalized vector quasivariational-like inequalities for fuzzy mappings was studied under compact assumption using Ky Fan's section theorem [7].

• 대한수학회논문집
• /
• 제30권4호
• /
• pp.493-504
• /
• 2015

The aim of this paper is to present some properties of sT-continuous functions. Moreover, we obtain a characterization and preserving theorems of semi-compact, S-closed and s-closed spaces.

• 한국통신학회논문지
• /
• 제34권5A호
• /
• pp.347-354
• /
• 2009

In this paper, we propose a new transmit diversity technique for multiple-input multiple-output (MIMO) systems to improve the link level performance of open-loop systems. By cyclically applying a predetermined set of preceding weight vectors, artificially induced fluctuation is created to achieve additional diversity gain in flat fading channels. To design the set of the precoding vectors, we exploit the knowledge on the distribution of near optimum Preceding vectors observed in a beamforming scheme based on the rotation transformations. Simulation results demonstrate that the proposed open-loop diversity scheme with an arbitrary number of transmit antennas achieves a full diversity gain with computational complexity comparable to a single-input single-output (SISO) system.

• Journal of information and communication convergence engineering
• /
• 제10권1호
• /
• pp.78-84
• /
• 2012

This paper presents a branch prediction algorithm and a 4-way set-associative cache for performance improvement of an embedded RISC core and a clock-gating algorithm with observability don’t care (ODC) operation to reduce the power consumption of the core. The branch prediction algorithm has a structure using a branch target buffer (BTB) and 4-way set associative cache that has a lower miss rate than a direct-mapped cache. Pseudo-least recently used (LRU) policy is used for reducing the number of LRU bits. The clock-gating algorithm reduces dynamic power consumption. As a result of estimation of the performance and the dynamic power, the performance of the OpenRISC core applied to the proposed architecture is improved about 29% and the dynamic power of the core with the Chartered 0.18 ${\mu}m$ technology library is reduced by 16%.

• 호남수학학술지
• /
• 제39권4호
• /
• pp.575-590
• /
• 2017

A new class of functions called $R_{\theta}$-supercontinuous functions is introduced. Their basic properties are studied and their place in the hierarchy of strong variants of continuity, which already exist in the literature, is elaborated. The class of $R_{\theta}$-supercontinuous functions properly contains the class of $R_z$-supercontinuous functions [39] which in turn properly contains the class of $R_{cl}$-supercontinuous functions [43] and so includes all cl-supercontinuous (clopen continuous) functions ([38], [34]) and is properly contained in the class of $R_{\delta}$-supercontinuous functions [24].

• 한국정보통신학회논문지
• /
• 제14권2호
• /
• pp.453-461
• /
• 2010

본 논문에서는 임베디드 RISC 코어의 성능 및 전력 소모 개선을 위해 동적 분기예측 구조, 4원 집합연관 캐쉬 구조, ODC 연산을 이용한 클록 게이팅 기법을 제시한다. 동적 분기 예측 구조는 분기 명령에 대해 다음에 실행될 명령에 대한 예측 주소를 저장하는 BTB (Branch Target Buffer)를 사용한다. 4원 집합연관 캐쉬는 네 개의 메모리 블록을 한 개의 캐쉬 블록에 사상되는 구조로서 직접사상 캐쉬에 비해 접근 실패율이 낮고 라인 교체 방식으로 Pseudo-LRU 방식을 채택하여 LRU 정보를 저장하는 비트 수를 감소시킨다. ODC를 이용한 클록게이팅 기법은 논리합성 개념인 무관조건의 입출력 ODC 조건을 찾아 클록 게이팅 로직을 삽입함으로써 동적 소비전력을 줄인다. 제시한 구조들을 임베디드 RISC 코어인 OpenRISC 코어에 적용하여 성능을 측정한 결과, 기존 OpenRISC 코어 대비 실행시간이 약 29% 향상 되었고, Chartered $0.18{\mu}m$ 라이브러리를 이용하여 동적 전력을 측정한 결과, 기존 OpenRISC 코어 대비 소비전력이 16% 이상 감소하였다.

• 대한수학회논문집
• /
• 제19권2호
• /
• pp.329-336
• /
• 2004

In this paper, we study relationships between zero characteristic properties and minimality of orbit closures or limit sets of points. Also, we characterize the set of points of zero characteristic properties. We show that the set of points of positive zero characteristic property in a compact spaces X is the intersection of negatively invariant open subsets of X.

• Journal of Advanced Research in Ocean Engineering
• /
• 제3권2호
• /
• pp.75-82
• /
• 2017

With the development of computational fluid dynamics (CFD), studies on shipbuilding and maritime issues including free-surface wave flow have been conducted. Although the volume of fluid (VOF) and level-set methods are widely used to study the free-surface wave flow, disadvantages exist. In particular, it takes a long time to obtain solutions. In this study, a free-surface capturing code is developed for ship and offshore structures. The developed code focuses on accuracy and computation time. Open source CFD libraries, termed OpenFOAM, are used to develop the code. The results obtained using the developed code are compared with those obtained using interFoam. The results show that the developed code could be used to capture the free-surface wave flow without numerical diffusion; moreover, the accuracy of the developed code is largely the same as that of interFoam.

• 한국생산제조학회지
• /
• 제19권5호
• /
• pp.596-602
• /
• 2010

In this study, a fmite element model was developed for analysis of feeding a structure in open loop control The finite element analysis (FEA) can simulate dynamic behavior of the structure of a machine tool rapidly traveling with a screw feeding driving system. The feeding mechanism was implemented with screw element of the FEA tool used in this study. The procedure was developed for the dynamic transient FEA. First, motion parameters such as jerk and velocity were introduced for the structure to be fed in open loop control When its traveling distance was determined, set-points for the distance were generated based on the motion parameters. The set-points were applied to the FE model constructed for the traveling structure. The FEA was executed and evaluated. In this study, the FEA procedure was applied to the column of a machine tool and the dynamic behavior of the column was evaluated. The FEA helps in evaluation of the motion characteristics of a structure. The convergence time of the structure vibration posterior to feeding termination can be estimated and the stiffness of the flexible structure is also evaluated against jerk, and acceleration. It provides the feeding force which is helpful in selection of the feeding motor.

• Structural Engineering and Mechanics
• /
• 제87권3호
• /
• pp.243-254
• /
• 2023

Engineering structures usually suffer from cracks. The crack geometry has an influence on the structural mechanical properties and subsequent crack propagations. However, as an extensively utilized method in fracture analysis, the extended finite element method provided by Abaqus fails to output the specific location and dimensions of fractures. In this study, a technique to capture the crack geometry is proposed. The technique is based on the invariant level set method (I-LSM), which can avoid updating the level set function during crack development. The solution is achieved by an open-source plug-in programmed by Python. Three examples were performed to verify the effectiveness and robustness of the program. The result shows that the developed program can accurately output the crack geometry in both the 2D and 3D models. The open-source plug-in codes are included as supplementary material.