• 충청수학회지
• /
• 제21권2호
• /
• pp.175-182
• /
• 2008

This paper is a revised version of [5]. In [5], we define' nearness between two points' in a topological space in many ways and show that a continuous function preserves one-sided nearness. We also show that a $T_1$-space is characterized by one-sided nearness exactly. In this paper, we introduce extremally disconnected spaces and show that the new topology generated by the set of equivalence classes as a base is extremally disconnected.

• 한국건축시공학회:학술대회논문집
• /
• 한국건축시공학회 2013년도 춘계 학술논문 발표대회
• /
• pp.96-97
• /
• 2013

Research and analysis on thermal insulation status of existing buildings are needed to make data for repair and rehabilitation caused by deterioration in insulating material performance. To do this, we have researched and analyzed the insulation status of existing buildings according to the balcony with measuring instruments in pre-set investigation conditions.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 2001년도 ICCAS
• /
• pp.27.4-27
• /
• 2001

A stabilizing control method for linear systems with model uncertainties and hard input constraints is developed, which does not require on-line optimizations. This work is motivated by the constrained robust MPC(CRMPC) approach [3] which adopts the dual mode prediction strategy (i.e. free control moves and invariant set) and minimizes a worst case performance criterion. Based on the observation that, a feasible control sequence for a particular state can be found as a linear combination of feasible sequences for other states, we suggest a stabilizing control algorithm providing sub-optimal and feasible control sequences using pre-computed optimal sequences for some canonical states. The on-line computation of the proposed method reduces to simple matrix multiplication.

• 한국정밀공학회지
• /
• 제10권4호
• /
• pp.236-247
• /
• 1993

An davanced method for the automatic generation of parametric models in computer- aided design systems is required for most of two-dimensional model which is represented as a set of geometric elements, and constraining scheme formulas. The development system uses geometric constraints and support of topology parameters from feature recognition and grouping the design entities into optimal ones from pre-designed drawings. The aim of this paper is to present guidelines for the application and development of parametric design modules for the standard parts in mechanical system, the basic constitutional part of mold base, and other 2D features.

• 한국산학기술학회논문지
• /
• 제15권4호
• /
• pp.2469-2475
• /
• 2014

1990년대 들어서, 국내 건물의 리모델링, 보수 및 유지관리의 증가에 따라 앵커의 사용량도 서서히 증가하고 있다. 콘크리트 앵커볼트의 설계에 $45^{\circ}$ 콘파괴 이론이 그동안 적용되어 왔으나, 2000년 이후부터 CCD(concrete capacity design) 방법이 새로운 설계법으로 도입되었다. 그러나 본 방법은 주로 선설치 콘크리트 앵커볼트에 대한 실험 결과에 근거한 관계로 모든 앵커볼트에 적용하기에는 많은 한계를 갖고 있다. 본 연구에서는 연단거리, 앵커간격 및 콘크리트 강도를 변수로 한 후설치 콘크리트 세트앵커의 인발파괴실험을 통하여 무근콘크리트에 매입된 후설치 세트앵커의 인발특성에 미치는 영향을 규명하는 것을 그 목적으로 한다.

• 한국지능시스템학회:학술대회논문집
• /
• 한국퍼지및지능시스템학회 1998년도 The Third Asian Fuzzy Systems Symposium
• /
• pp.240-245
• /
• 1998

Fuzzy information retrieval which uses the concept of fuzzy relation is able to retrieve documents in the way based on not morphology but semantics, dissimilar to traditional information retrieval theories. Fuzzy information retrieval logically consists of three sets : the set of documents, the set of terms and the set of queries. It maintains a fuzzy relational matrix which describes the relationship between documents and terms and creates a thesaurus with fuzzy relational product. It also provides the user with documents which are relevant to his query. However, there are some problems on building a thesaurus with fuzzy relational product such that it has big time complexity and it uses fuzzy values to be processed with flating-point. Actually, fuzzy values have to be expressed and processed with floating-point. However, floating-point operations have complex logics and make the system be slow. If it is possible to exchange fuzzy values with binary values, we could expect sp eding up building the thesaurus. In addition, binary value expressions require just a bit of memory space, but floating -point expression needs couple of bytes. In this study, we suggest a new method of building a thesaurus, which accelerates the operation of the system by pre-applying an ${\alpha}$-cut. The experiments show the improvement of performance and reliability of the system.

• Journal of Communications and Networks
• /
• 제7권4호
• /
• pp.471-477
• /
• 2005

This paper proposes an efficient constraint-based optimization model for the design of 3G mobile networks, such as universal mobile telecommunications system (UMTS). The model concerns about finding a set of sites for locating radio network controllers (RNCs) from a set of pre-defined candidate sites, and at the same time optimally assigning node Bs to the selected RNCs. All these choices must satisfy a set of constraints and optimize an objective function. This problem is NP-hard and consequently cannot be practically solved by exact methods for real size networks. Thus, this paper proposes a hybrid search strategy for tackling this complex and combinatorial optimization problem. The proposed hybrid search strategy is composed of three phases: A constraint satisfaction method with an embedded problem-specific goal which guides the search for a good initial solution, an optimization phase using local search algorithms, such as tabu algorithm, and a post­optimization phase to improve solutions from the second phase by using a constraint optimization procedure. Computational results show that the proposed search strategy and the model are highly efficient. Optimal solutions are always obtained for small or medium sized problems. For large sized problems, the final results are on average within $5.77\%$ to $7.48\%$ of the lower bounds.

• Journal of information and communication convergence engineering
• /
• 제8권6호
• /
• pp.609-617
• /
• 2010

This paper is concerned with the use of a selforganizing map (SOM) to estimate the desired channel states of an unknown digital communication channel for blind equalization. The modification of SOM is accomplished by using the Bayesian likelihood fitness function and the relation between the desired channel states and channel output states. At the end of each clustering epoch, a set of estimated clusters for an unknown channel is chosen as a set of pre-defined desired channel states, and used to extract the channel output states. Next, all of the possible desired channel states are constructed by considering the combinations of extracted channel output states, and a set of the desired states characterized by the maximal value of the Bayesian fitness is subsequently selected for the next SOM clustering epoch. This modification of SOM makes it possible to search the optimal desired channel states of an unknown channel. In simulations, binary signals are generated at random with Gaussian noise, and both linear and nonlinear channels are evaluated. The performance of the proposed method is compared with those of the "conventional" SOM and an existing hybrid genetic algorithm. Relatively high accuracy and fast search speed have been achieved by using the proposed method.

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 2011년도 춘계학술대회 논문집
• /
• pp.261-262
• /
• 2011

Conventional automatic transmission system includes a hydrodynamic torque converter to transfer engine torque from an engine crank shaft to a rotatable input members, which are of complex design permitting them to serve several functions. These are clutches or brakes which couple the rotatable input member to member of a planetary gear set. The annulus gear for an automatic transmission is a monolithic gear having a set of gear teeth formed on an inner surface which is coupling with a set of planetary gear. In this study, the flow forming method is applied to the manufacturing of the annulus gear. This cold forming is proper method in order to manufacture dimensionally precise and round hollow components such as annulus gear. By pre-calculated amount of wall thickness reduction, the seamless tube of SAE1026 is compressed above its yield strength, plastically deformed and made to flow in several roll passes. According to this study, the desired geometry of the annulus gear can be achieved when the outer diameter and the thickness of the tube are properly decreased by compressed roll passes and the available material volume is easily forced to flow longitudinally over the shape of mandrel.

• Structural Engineering and Mechanics
• /
• 제83권4호
• /
• pp.495-513
• /
• 2022

This paper aims to study the fracture mechanism of rocks under the 'u'shape cutters considering the effects of crack (pre-existing crack) distances, crack spacing and crack inclination angles. The effects of loading rates on the rock fragmentation underneath these cutters have been also studied. For this purpose, nine experimental samples with dimensions of 5 cm×10 cm×10 cm consisting of the non-persistent cracks were prepared. The first three specimens' sets had one non-persistent crack (pre-existing crack) with a length of 2 cm and angularity of 0°, 45°, and 90°. The spacing between the crack and the "u" shape cutter was 2 cm. The second three specimens" set had one non-persistent crack with a length of 2 cm and angularity of 0°, 45°, and 90° but the spacing between pre-existing crack and the "u" shape cutter was 4 cm. The third three specimens'set has two non-persistent cracks with lengths of 2 cm and angularity of 0°, 45° and 90°. The spacing between the upper crack and the "u" shape cutter was 2 cm and the spacing between the lower crack and the upper crack was 2 cm. The samples were tested under a loading rate of 0.005 mm/s. concurrent with the experimental investigation. The numerical simulations were performed on the modeled samples with non-persistent cracks using PFC2D. These models were tested under three different loading rates of 0.005 mm/s, 0.01 mm/sec and 0.02 mm/sec. These results show that the crack number, crack spacing, crack angularity, and loading rate has important effects on the crack growth mechanism in the rocks underneath the "u" shape cutters. In addition, the failure modes and the fracture patterns in the experimental tests and numerical simulations are similar to one another showing the validity and accuracy of the current study.