• Korean Journal of Mathematics
• /
• 제16권3호
• /
• pp.291-300
• /
• 2008

In this paper, we introduce several types of r-semi-generalized fuzzy compactness and fuzzy r-compactness in fuzzy topological spaces and investigate the relations between these compactness.

• Korean Journal of Mathematics
• /
• 제27권3호
• /
• pp.661-690
• /
• 2019

The soft compactness notion via soft topological spaces was first studied in [10,29]. In this work, soft semi-open sets are utilized to initiate seven new kinds of generalized soft semi-compactness, namely soft semi-$Lindel{\ddot{o}}fness$, almost (approximately, mildly) soft semi-compactness and almost (approximately, mildly) soft semi-$Lindel{\ddot{o}}fness$. The relationships among them are shown with the help of illustrative examples and the equivalent conditions of each one of them are investigated. Also, the behavior of these spaces under soft semi-irresolute maps are investigated. Furthermore, the enough conditions for the equivalence among the four sorts of soft semi-compact spaces and for the equivalence among the four sorts of soft semi-$Lindel{\ddot{o}}f$ spaces are explored. The relationships between enriched soft topological spaces and the initiated spaces are discussed in different cases. Finally, some properties which connect some of these spaces with some soft topological notions such as soft semi-connectedness, soft semi $T_2$-spaces and soft subspaces are obtained.

• 대한수학회보
• /
• 제48권4호
• /
• pp.813-838
• /
• 2011

In this paper, we prove sufficient conditions for controllability of second order semi-linear neutral impulsive differential inclusions on unbounded domain with infinite delay in Banach spaces using the theory of strongly continuous Cosine families. We shall rely on a fixed point theorem due to Ma for multi-valued maps. The controllability results in infinite dimensional space has been proved without compactness on the family of Cosine operators.

• East Asian mathematical journal
• /
• 제29권3호
• /
• pp.303-314
• /
• 2013

In this paper, we introduce an iterative scheme for finding a common element of the set of solutions of a generalized equilibrium problem and the set of common fixed points of a finite family of asymptotically ${\kappa}$-strict pseudo-contractions in Hilbert spaces. Weak and strong convergence theorems are established for the iterative scheme.

• 대한수학회논문집
• /
• 제30권3호
• /
• pp.209-219
• /
• 2015

In this article, we first give metric version of an iteration scheme of Agarwal et al. [1] and approximate fixed points of two finite families of nonexpansive mappings in hyperbolic spaces through this iteration scheme which is independent of but faster than Mann and Ishikawa scheme. Also we consider case of three finite families of nonexpansive mappings. But, we need an extra condition to get convergence. Our convergence theorems generalize and refine many know results in the current literature.

• 한국압력기기공학회 논문집
• /
• 제14권1호
• /
• pp.24-31
• /
• 2018

The mechanical design procedure is studied for the PCHE(printed circuit heat exchanger) with electrochemical etched flow channels. The effective heat transfer plates of PCHE are assembled by diffusion bonding to make a module. PCHE is widely used for industrial applications due to its compactness, cost efficiency, and serviceability at high pressure and/or temperature conditions. The limitations and technical barriers of PCHE are investigated for application to nuclear components. Rules for design and fabrication of PCHE are specified in ASME Section VIII but not in ASME Section III of nuclear components. Therefore, the calculation procedure of key dimensions of PCHE is defined based on ASME section VIII. The effective heat transfer region of PCHE is defined by several key dimensions such as the flow channel radius, edge width, wall thickness, and ridge width. The mechanical design procedure of key dimensions was incorporated into a program for easy use in the PCHE design. The effect of assumptions used in the key dimension calculation on stress values is numerically investigated. A comparative analysis is done by comparing finite element analysis results for the semi-circular flow channels with the formula based sizing calculation assuming rectangular cross sections.

• Progress in Superconductivity
• /
• 제10권1호
• /
• pp.60-67
• /
• 2008

We present domestic efforts for superconducting fault current limiter (SFCL) application in the Korea Electric Power Corporation (KEPCO) grid and pending points at issue. KEPCO's decision to upgrade the 154 kV/22.9 kV main transformer from 60 MVA to 100 MVA cast a problem of high fault current in the 22.9 kV distribution lines. The grid planners supported adopting an SFCL to control the fault current. This environment friendly to SFCL application must be highly dependent upon the successful development of SFCL having specifications that domestic utility required. The required conditions are (1) small size of not greater than twice of 22.9 kV gas insulated switch-gear (GIS), (2) sustainability of current limitation without the line breaking by circuit breakers (CB) for maximum 1.5 seconds. Also, optionally, recommended is (3) the reclosing capability. Conventional resistive SFCLs do not meet (1) $\sim$ (3) all together. A hybrid SFCL is an excellent solution to meet the conditions. The hybrid SFCL consists of HTS SFCL components for fault detection and line commutation, a fast switch (FS) to break the primary path, and a limiter. This characteristic structure not only enables excellent current limiting performances and the reclosing capability, but also allows drastic reduction of HTS volume and small size of the cryostat, resulting in economic feasibility and compactness of the equipment. External current limiter also enables long term limitation since it is far less sensitive to heat generation than HTS. Semi-active operation is another advantage of the hybrid structure. We will discuss more pending points at issues such as maintenance-free long term operation, small size to accommodate the in-house substation, passive and active control, back-up plans, diagnosis, and so on.

• Asian-Australasian Journal of Animal Sciences
• /
• 제32권9호
• /
• pp.1439-1447
• /
• 2019

Objective: The aim of this study was to evaluate the effect of dietary incorporation of tanninrich woody species on meat oxidative stability, carcass traits and meat quality in goats. Methods: Two tannin-rich species were tested using a three-treatments feeding trial, where treatments consisted of: Larrea divaricata and Acacia aroma both at 12.5% in dry matter basis of the diet and a control diet (alfalfa hay). All feeding diets were iso-protein and iso-energy. Carcass conformation, carcass compactness, carcass fatness and subcutaneous fat deposition were evaluated. Intake, liveweigh, Longissimus thoracis et lumborum muscles of goats were analyzed in order to evaluate quality parameters such as pH value, instrumental color evaluation, water holding capacity, total phenolic content, antioxidant activity, meat oxidative stability and fatty acid profiles in meat. Results: Feed intake, liveweight gain, carcass, and meat traits did not differ among treatments. Changes in meat lipid profile among treatments were observed for oleic and elaidic acid contents. Meat total phenolic content and antioxidant activity did not differ among treatments; although, meat oxidative status after storage at room temperature, as well as under refrigerated and frozen conditions were different between control and both supplemented groups. Conclusion: The inclusion of Acacia aroma and Larrea divaricata leaves in goat diet enhanced meat oxidative stability. Modulation of the ruminal biohydrogenation of fatty acids produced by condensed tannins of these plant species need to be further investigated.