• Bulletin of the Korean Mathematical Society
• /
• v.60 no.5
• /
• pp.1375-1390
• /
• 2023

In this note, we shall show that the generalized free products of subgroup separable groups amalgamating a subgroup which itself is a finite extension of a finitely generated normal subgroup of both the factor groups are weakly potent and cyclic subgroup separable. Then we apply our result to generalized free products of finite extensions of finitely generated torsion-free nilpotent groups. Finally, we shall show that their tree products are cyclic subgroup separable.

• Journal of Korean Ophthalmic Optics Society
• /
• v.21 no.1
• /
• pp.1-10
• /
• 2016

Purpose: The study was aimed to suggest the most effective color of the tinted lenses by evaluating the effect of the prescription with tinted lenses on the visual quality of the elderly at the age of the sixty or more. Methods: The visual acuity of fifty subjects at the age of sixty or more (17 males, 33 females with the averaged age of $71.0{\pm}6.3$) were corrected to have the visual acuity at a far distance of 0.5 or more using a trial lens frame, and non-tinted, brown-tinted, and gray-tinted lenses were randomly applied on the trial frame. The minimum legibility and minimum separability were measured at a far distance in the aspect of the visual acuity and calculated as LogMAR and then, the visual acuity was compared. The stereopsis and contrast sensitivity were also estimated at a near distance in the aspect of the visual function. The participants' preference for tinted lenses and their subjective symptoms of the visual perception and the movement were further surveyed. Results: The best minimum legibility and minimum separability was shown when wearing non-tinted lenses, and brown-tinted and gray-tinted lenses were in the next. The stereopsis and the contrast sensitivity at a near distance and the visual perception was the best when wearing brown-tinted lenses. It was surveyed that the subjective discomfort was the biggest when wearing gray-tinted lenses, and brown-tinted lenses were the best in the aspect of the subjective preference. Conclusions: As the result of this study, it was revealed that the visual acuity and visual function could be improved by the use of tinted ophthalmic lenses however, its change of visual acuity and visual function was not completely correlated with the subjective satisfaction. Therefore, the appropriate color of ophthalmic lenses should be selected in accordance with the individual visual perception and the main vision lifestyle in the elderly generation. From the present study, the use of non- or brown-tinted lens and brown- or gray-tinted lens can be recommended for distance work and near work, respectively, in the elderly generation under the illumination of about 1,000 lux.

• Resources Recycling
• /
• v.12 no.1
• /
• pp.55-64
• /
• 2003

Presently, the reuse of waste FCC catalysts, which generated from the refining process of crack oil, after the removal of con-taminated metallic impurities have not been attempted domestically yet because the separation technology f3r the impurities from waste catalysts has not been established. As a basic study far the reusable portion from the waste FCC catalysts and treatment of metallic impurities are assured, there will be invoked an significant contribution not only in the recycling of abandoned wastes up to date but also in the treatment efficiency of wastes and extraction of economical benefits from them. The magnetic separation of impurities such as Fe, Ni, and V, from waste FCC catalyst has been attempted with or without its pre-oxidation at high temperature for the purpose of its reuse. The results showed that the separability of impurities by magnetic force was high far non-preoxidized catalysts compared with preoxidized ones, and employment of screen-type matrix showed a higher separation efficiency than ball-type matrix. The separability increased with the strength of magnetic field, and the method of ball matrix has separation efficiency of maximum 51.10%. The amount of metallic impurities was in the decreasing order of V, Ni, and Fe depending upon ICP analysis.

• Journal of KIISE:Software and Applications
• /
• v.29 no.1_2
• /
• pp.80-90
• /
• 2002

Clustering is a useful technique for grouping data points such that points within a single group/cluster have similar characteristics. Many clustering algorithms have been developed and used in engineering applications including pattern recognition and image processing etc. Recently, it has drawn increasing attention as one of important techniques in data mining. However, clustering algorithms such as K-means and Fuzzy C-means suffer from difficulties. Those are the needs to determine the number of clusters apriori and the clustering results depending on the initial set of clusters which fails to gain desirable results. In this paper, we propose a new clustering algorithm, which solves mentioned problems. In our method we use evolutionary algorithm to solve the local optima problem that clustering converges to an undesirable state starting with an inappropriate set of clusters. We also adopt a new measure that represents how well data are clustered. The measure is determined in terms of both intra-cluster dispersion and inter-cluster separability. Using the measure, in our method the number of clusters is automatically determined as the result of optimization process. And also, we combine heuristic that is problem-specific knowledge with a evolutionary algorithm to speed evolutionary algorithm search. We have experimented our algorithm with several sets of multi-dimensional data and it has been shown that one algorithm outperforms the existing algorithms.

• Resources Recycling
• /
• v.28 no.3
• /
• pp.45-52
• /
• 2019

$TiO_2$ as a raw material for producing titanium can be produced by carbon reduction of natural ilmenite ores over 1823 K and acid leaching of the obtained titanium-rich slag. However, the conventional process can cause very high energy consumption and a large amount of leaching residues. In the present study, we proposed the sulfurization of $FeTiO_3$ with $Na_2SO_4$ at temperatures below 1573 K, which can separate Fe in $FeTiO_3$ as the FeS based sulfide phase and Ti as the $TiO_2-Na_2O$ based oxide phase. This study is a fundamental study for sulfurization of $FeTiO_3$ to investigate the influence of reducing atmosphere, reaction temperature and the sulfur/Fe ratio on the separability and distribution behaviors of of Fe, Ti, and Na between the oxide phase and the sulfurized phase. At 1573 K and carbon saturation condition, the Fe can be separated from $FeTiO_3$ as Fe-C-S metal and a part of FeS, and the concentration of Fe in oxide decreased to 4 mass% after sulfurization.

• Journal of Arbitration Studies
• /
• v.27 no.4
• /
• pp.91-113
• /
• 2017

UN Convention on International Sale of Goods (CISG) and International Commercial Arbitration aim at the promotion and facilitation of international trade. Both of them share similar general principles; i.e., party autonomy and pacta sunt servanda. Also they are often applied concurrently in the case of the international commercial trade. The purpose of this article is to investigate whether the CISG could apply the formation of the arbitration clause that is included in the main contract governed by CISG. Sellers and buyers have freedom of designating choice of law that is applied to their contracts. An international arbitration agreement is presumed to be separable from the contract in which it is found. However, arbitration clauses commonly form part of a general contract. Thus, the CISG is intended to be applied to dispute resolution clauses, including arbitration clause even if it is not completely suitable. Notably, there is a fundamental distinction between the CISG and arbitration. The CISG abolished the formalities of contract. New York convention requires Contracting States' Courts to enforce written international agreements to arbitrate.

• Journal of Biosystems Engineering
• /
• v.26 no.2
• /
• pp.131-140
• /
• 2001

This study was conducted to develop a garlic separator which could to reduce the labor in preparation of seeding. After consideration of the design criteria of a garlic separator such as no additional conveying device, simple construction and operation, enhancement of separating efficiency, reduction of damage, degree a rotating corn type garlic separator was designed. The effects of design parameters such as height and angle of the inner and outer corns, rotating speed of inner corn on the separating performance of the prototype were estimated. In performance was compared with manual work. The results are summarized as follows. 1. Garlic bulbs were separated by a spiral movement in the gap between inner rotating corn and outer fixed corn. At constant feed rate of garlic bulbs, the capacity of garlic separation increased with increase of rotating speed of inner corn. Especially, the capacity was very high at the rotating speeds of 300 and 400rpm. 2. The damage degree of separated garlics increased with rotating speed of corn within 10%. Above 300rpm, separability of Uisung garlic was about 100% and incomplete separation of Namdo garlic was within 2%. 3. The capacity of prototype garlic separator developed in this study was 30 times as large as that of human being.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.24 no.6B
• /
• pp.1191-1202
• /
• 1999

We propose an efficient vehicle detection and classification algorithm for an electronic toll collection using the feature which is robust to abrupt intensity change between consecutive frames. The local correlation coefficient between wavelet transformed input and reference images is used as such a feature, which takes advantage of textural similarity. The usefulness of the proposed feature is analyzed qualitatively by comparing the feature with the local variance of a difference image, and is verified by measuring the improvements in the separability of vehicle from shadowy or shadowless road for a real test image. Experimental results from field tests show that the proposed vehicle detection and classification algorithm performs well even under abrupt intensity change due to the characteristics of sensor and occurrence of shadow.

• Journal of KIISE:Software and Applications
• /
• v.35 no.8
• /
• pp.463-478
• /
• 2008

Due to the high dimensional problem, typically machine learning algorithms have relied on feature selection techniques in order to perform effective classification in microarray gene expression datasets. However, the large number of features compared to the number of samples makes the task of feature selection computationally inprohibitive and prone to errors. One of traditional feature selection approach was feature filtering; measuring one gene per one step. Then feature filtering was an univariate approach that cannot validate multivariate correlations. In this paper, we proposed a function for measuring both class separability and correlations. With this approach, we solved the problem related to feature filtering approach.

• Korean Institute of Interior Design Journal
• /
• v.22 no.3
• /
• pp.174-182
• /
• 2013

The purpose of this research is to find applicable design characteristics of communal spaces in multi-family houses. With this goal, international multi-family housing projects are selected and their communal spaces are identified. The purpose of study lies in analyzing on recent 10 years trends of shared space of multi-family houses in Europe, Japan, central America. The design characteristics of the communal spaces are analyzed with a special focus on the four Aspects such as Organization of space, access roads, parking, pedestrian movement In terms of the framework for analysis, community, rest, separability, rambling, territory, distribution, entrance, openness, view, prospect and aesthetic characteristics are reviewed. As a result, the communal space of the analysis are integrated in plans and sections throughout the multi-family houses. Openness and connection with surrounding urban environments are articulated by communal spaces. Communal identities and aesthetics are emphasized by various space for dweller and the other inhabitant. For a further research, it is necessary to combine a design method study with new multi-family houses for the future.