• Journal of the Korean Institute of Intelligent Systems
• /
• v.13 no.1
• /
• pp.114-118
• /
• 2003

We study some relations between separability in fuzzy topological spaces and one in fuzzy hyperspaces. And we investigate some properties of axiom of countability in fuzzy hyperspaces.

• Journal of Industrial Technology
• /
• v.18
• /
• pp.439-442
• /
• 1998

In this paper, we firstly suggested C&D (Common mode and Differential mode) model for the representation of a stereophonic signal. Then a measure of stereophonic channel separability is defined as the ratio of differential mode energy to total energy in frequency domain. After that, a new channel separability enhancement scheme is proposed by the control of common mode rejection. Finally, some experimental results are presented in order to verify our scheme.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 2002.12a
• /
• pp.67-70
• /
• 2002

We study some relations between separability in fuzzy topological spaces and one in fuzzy hyperspaces. And we investigate some properties of axiom of countability in fuzzy hyperspaces.

• Bulletin of the Korean Mathematical Society
• /
• v.45 no.4
• /
• pp.681-687
• /
• 2008

We give a characterization of trans-separability for the function spaces ($C_b(X,\;E)$, $\beta$), (C(X, E), k) and ($C_b(X,\;E)$, u) in the case of E any general topological vector space.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.6 no.10
• /
• pp.2692-2707
• /
• 2012

A separable identity-based ring signature scheme has been constructed as a fundamental cryptographic primitive for protecting user privacy. Using the separability property, ring members can be selected from arbitrary domains, thereby, giving a signer a wide range of ways to control privacy. In this paper we propose a generic method to construct efficient identity-based ring signature schemes with various levels of separability. We first describe a method to efficiently construct an identity-based ring signature scheme for a single domain, in which a signer can select ring identities by choosing from identities defined only for the domain. Next, we present a generic method for linking ring signatures constructed for a single domain. Using this method, an identity-based ring signature scheme with a compact structure, supporting multiple arbitrary domains can be designed. We show that our method outperforms the best known schemes in terms of signature size and computational costs, and that the security model based on the separability of identity-based ring signatures, presented in this paper, is highly refined and effective by demonstrating the security of all of the proposed schemes, using a model with random oracles.

• Journal of KIISE:Software and Applications
• /
• v.31 no.5
• /
• pp.658-666
• /
• 2004

Separable systems are defined in term rewriting systems, respecting the notion of separability in the λ-calculus. In this research, we generalize separable systems of term rewriting systems, which was studied in restrictive systems such as constructive systems. We also associate separability with index-transitivity and with forward branching Separability is identified with forward branching, and strong sequentiality with index-transitivity satisfies separability. These are such good properties that enable us to describe the procedure of pattern-matching as an index tree, which is a sort of automata, and to transform separable systems into a constructor system with a simple pattern. Separable systems, in particular, can be translated into the λ-calculus. This research can serve a theoretical basis which allows functional languages to be explained by the λ-calculus, since functional languages such as ML and Haskell belong to a subclass of separable systems.

• Journal of the Korean Society of Surveying, Geodesy, Photogrammetry and Cartography
• /
• v.26 no.4
• /
• pp.333-340
• /
• 2008

This paper shows that the use of prior probabilities of the involved classes improve the accuracy of classification in case of poor separability between classes. Three cases of experiments are designed with two LiDAR datasets while considering three different classes (building, tree, and flat grass area). Moreover, random sampling method with human interpretation is used to achieve the approximate prior probabilities in this research. Based on the experimental results, Bayesian classification with the appropriate prior probability makes the improved classification results comparing with the case of non-prior probability when the ratio of prior probability of one class to that of the other is significantly different to 1.0.

• Phonetics and Speech Sciences
• /
• v.3 no.1
• /
• pp.45-50
• /
• 2011

Formant structure of speech associated with five different emotions (anger, fear, happiness, neutral, sadness) was analysed. Acoustic separability of vowels (or emotions) associated with a specific emotion (or vowel) was estimated using F-ratio. According to the results, neutral showed the highest separability of vowels followed by anger, happiness, fear, and sadness in descending order. Vowel /A/ showed the highest separability of emotions followed by /U/, /O/, /I/ and /E/ in descending order. The acoustic results were interpreted and explained in the context of previous articulatory and perceptual studies. Suggestions for the performance improvement of an automatic emotion recognition system and automatic speech recognition system were made.

• Journal of the Korean Society for Precision Engineering
• /
• v.12 no.1
• /
• pp.132-141
• /
• 1995

This paper presents a choosing method of turning devices for stable robotic assembly based on verification of a base assembly motion instability. In flexible assembly application, the base assembly needs to be maintained in its assembled state without being taken apart. Therefore, the instability of the base assembly motion should be considered when determining the guide line of choosing turning devices by evaluating a degree of the motion instability of the base assembly. To derive the instability, first we inference collision free assembly directions by extracting separable directions for the mating parts and calculate the separability which gives informations as to how the parts can be essily separated. Using these results, we determine the instability evaluated by summing all the modified separabilites of each component part within base assembly.

• Bulletin of the Korean Mathematical Society
• /
• v.37 no.4
• /
• pp.811-827
• /
• 2000

We find some conditions to derive the conjugacy separability of the free product of conjugacy separable split extensions amalgamated along cyclic retracts. These conditions hold for any double coset separable groups and free-by-cyclic groups with nontrivial center. It was known that free-by-finite, polycyclic-by-finite, and fuchsian groups are double coset separable. Hence free products of those groups amalgamated along cyclic retracts are conjugacy separable.