• 대한수학회보
• /
• 제30권2호
• /
• pp.285-293
• /
• 1993

In [4], Baumslag and Tretkoff proved a residual finiteness criterion for HNN extensions (Theorem 1.2, below). This result has been used extensively in the study of the residual finiteness of HNN extensions. Note that every one-relator group can be embedded in a one-relator group whose relator has zero exponent sum on a generator, and the latter group can be considered as an HNN extension. Hence the properties of an HNN extension play an important role in the study of one-relator groups [3], [2]. In this paper we prove a criterion for HNN extensions to be .pi.$_{c}$(Theorem 2.2). Moreover, we can prove that certain one-relator groups, known to be residually finite, are actually .pi.$_{c}$. It was known by Mostowski [10] that the word problem is solvable for finitely presented, residually finite groups. In the same way, the power problem is solvable for finitely presented .pi.$_{c}$ groups. Another application of subgroup separability with respect to special subgroups was mentioned by Thurston [12, Problem 15].m 15].

• 한국멀티미디어학회논문지
• /
• 제18권9호
• /
• pp.1039-1046
• /
• 2015

We propose a feature generation method for low-resolution face recognition. For this, we first generate new features from the input features (pixels) of a low-resolution face image by adding the higher-order terms. Then, we evaluate the separability of both of the original input features and new features by computing the discriminant distance of each feature. Finally, new data sample used for recognition consists of the features with high separability. The experimental results for the FERET, CMU-PIE and Yale B databases show that the proposed method gives good recognition performance for low-resolution face images compared with other method.

• 품질경영학회지
• /
• 제36권2호
• /
• pp.36-44
• /
• 2008

In this paper a novel feature extraction and selection is carried out in order to improve the discriminating capability between healthy and damaged structure using vibration signals. Although many feature extraction and selection algorithms have been proposed for vibration signals, most proposed approaches don't consider the discriminating ability of features since they are usually in unsupervised manner. We proposed a novel feature extraction and selection algorithm selecting few wavelet coefficients with higher class discriminating capability for damage detection and class visualization. We applied three class separability measures to evaluate the features, i.e. T test statistics, divergence, and Bhattacharyya distance. Experiments with vibration signals from truss structure demonstrate that class separabilities are significantly enhanced using our proposed algorithm compared to other two algorithms with original time-based features and Fourier-based ones.

• 정보처리학회논문지C
• /
• 제12C권4호
• /
• pp.489-494
• /
• 2005

사용자 신원 정보를 공개키 값으로 이용하는 방법은 1985년 Shamir가 처음 개념을 소개한 이후, 공개키 기반 암호 시스템에서 사용자 공개 키 인증의 어려움을 해결할 수 있는 효과적인 방안 중 하나로 간주되고 있다. 특히, Dan Boneh가 Weil Paring을 이용한 새로운 기법을 소개한 후, 그 연구가 더욱 활발히 진행되어지고 있으며, 신원 정보 기반의 공개키 암호 시스템을 그룹 서명이나 Conference Key Distribution등 기존의 다양한 응용 기법에 적용하려는 시도가 계속되고 있다. 본 논문에서는 최근 Shundong Xia 등이 [1]에서 제안한 신원 정보를 이용한 그룹 서명 알고리즘의 취약점을 분석하고, 그 원인과 보완책을 제시한다.

• 한국정보과학회논문지:시스템및이론
• /
• 제35권4호
• /
• pp.178-185
• /
• 2008

본 연구에서는 패턴을 갖는 항 개서 체계(TRS, Term Rewriting Systems)의 룰을 람다 계산법으로 코딩하는 변환 방법을 제시한다. Böhm의 분리성 이론에 따라 차별화된 룰 패턴을 갖는 분리 시스템은 람다 계산법으로 변환될 수 있음을 보인다. 또한, Böhm 동등 부류의 특성을 적용함으로써, 이 변환은 디폴트 룰로 된 개서 시스템을 코딩할 수 있으며 TRS의 '의미 없는 팀'들을 동일한 람다 팀으로 해석할 수 있도록 한다.

• 한국정밀공학회지
• /
• 제24권7호
• /
• pp.39-48
• /
• 2007

This paper presents a method of a line balanced assembly sequence generation based on the verification of a disassemblability and a work time. To derive the disassemblability for a part to be disassembled, first we inference collision free assembly directions by extracting separable directions fur the part. And we determine the disassemblability defined by the separability and stability cost. The separability cost represents a facility of the part disassembly operation, and the stability cost which represents a degree of the stability for the base assembly motion. Based upon the results, we propose a new approach of evaluating work time using neural networks. The proposed assembly sequence generation provides an effective means of solving the line balancing problem and gives a design guidance of planning assembly lay-out in flexible manufacturing application. Example study is given to illustrate the concepts and procedure of the proposed schemes.

• 대한기계학회논문집
• /
• 제10권6호
• /
• pp.959-965
• /
• 1986

본 논문에서는 모듀울 로봇은 공장 자동화를 달성하기 위한 경제적인 방법으 로 기대되고 있다. 모듀울 로봇을 구성하는 모듀울을 개발 설계하기 위해서는 먼저 유용한 로봇을 기본 구조를 연구하여야 한다. 일반적으로 로봇의 처음 3개의 관절은 로봇 손의 위치를 결정하는 데 쓰이고 나머지 관절은 로(positional maneuverability matrix)과 방향기동행열로 구성됨음을 보이고, 가분성(separability)의 조건을 제시하 였다.또한 희전관절이나 미끄름관절로 이루어진 3자유도 로봇 팔의 3차원 공간에서 의 기본형태는 12개임을 밝히고, 3자유도 손목이 3개 방향을 완전히 조정할 수 있기 위해서는 3개의 회전관절축이 서로 직교하여야 함을 보였다.

• 대한산업공학회지
• /
• 제33권3호
• /
• pp.355-363
• /
• 2007

This paper presents a method of an automatic work time evaluation based on the verification of a disassemblability and assembly configuration. Even though a work time evaluation is an important field of concern for planning assembly lay-out, there are some limitations using cumbersome user query or approximated work time data without considering assembly condition. To overcome such restriction, this paper presents a method to mathematically verify assembly conditions based on the disassemblability, which is defined by the separability and stability cost. The separability cost represents a facility of the part disassembly operation, and the stability cost which represents a degree of the stability for the base assembly motion. Based upon the results, we propose a new approach of evaluating work time using neural networks. The proposed method provides an effective means of solving the work time evaluation problem and gives a design guidance of planning assembly lay-out in flexible manufacturing application. Example study is given to illustrate the concepts and procedure of the proposed schemes.

• 한국중재학회지:중재연구
• /
• 제29권2호
• /
• pp.89-105
• /
• 2019

This paper reviews and analyzes the U.S. cases and statutes on the issue of party autonomy in arbitration agreement. Arbitration agreement has been interpreted somewhat differently from general contracts because its legal characteristics are not purely contractual by nature. For example, some legal scholars insist that an arbitration contract is more about an agreement on a process of dispute resolution than a creation of rights and obligations to avoid litigation. Party autonomy was discussed in diverse legal perspectives including contract of adhesion, VKI principle, and separability of arbitration clause. These three legal perspectives are discussed to set the legal relationship between party autonomy and protection of consumers in consumer arbitration. In addition, it was discussed how legal defects in the formation of an arbitration contract can influence the party autonomy. The legal defects that were discussed to analyze the relationship between arbitration agreement and party autonomy included misrepresentation, fraud, mistake, duress, and undue influence.

• 한국중재학회지:중재연구
• /
• 제30권1호
• /
• pp.39-66
• /
• 2020

Under the doctrine of separability, if the party did not specifically challenge the validity of the arbitration clause, then it is presumed valid, and arbitrators would still have authority to adjudicate disputes within the scope of the arbitration clause. Further, the Primerica and Spahr decisions address whether a court or an arbitrator should adjudicate a claim that a contract containing an arbitration clause is void ab initio due to mental incapacity. If the arbitration agreement is separable, as was found in Primerica, then the "making" of the agreement is not at issue when the challenge is directed at the entire contract and arbitrators may exercise authority. If an arbitration provision is not separable from the underlying contract, as in Spahr, a defense of mental incapacity necessarily goes against both the entire contract and the arbitration agreement, so the "making" of the agreement to arbitrate is at issue, and the claim is for courts to decide. Although no bright line rule can be established to deal with challenges of lack of mental capacity to an arbitration agreement, the rule in Prima Paint should not be extended to this defense. Extending the rule in Prima Paint would force an individual with a mental incapacity to elect between challenging the entire contract and challenging arbitration. Accordingly, there should be a special set of rules outside of the context of Prima Paint to address the situation of status-based defenses, specifically mental capacity defenses, to contracts containing arbitration provisions.