• 충청수학회지
• /
• 제26권1호
• /
• pp.37-44
• /
• 2013

Let R be a commutative semiring with $1_R{\neq}0_R$. Characterization of subsemimodules, prime subsemimodules and primary subsemimodules which are subtractive extensions of Q-subsemimodules in R-semimodules are investigated.

• 한국지능시스템학회논문지
• /
• 제22권4호
• /
• pp.500-506
• /
• 2012

좌심실보조장치의 모델과 안전한 장치 구동을 위한 흡입현상 검출을 위한 방법을 제안한다. 좌심실보조장치인 축류혈액펌프는 심장에 문제가 있는 환자를 보조하기 위하여 사용되어 왔다. 축류혈액펌프는 비맥동성 펌프이며, 맥동성 펌프에 비하여 작은 크기와 효율성과 같은 장점이 있으나, 안전한 펌프 운전 조건을 결정하는 데 어려움이 있다. 축류혈액펌프는 정상상태와 흡입상태와 같은 상이한 펌프 동작 상태를 가지며, 이는 좌심실에서 흡입현상 발생여부에 좌우된다. 퍼지 subtractive 클러스터링 기법을 이용하여, 이와 같은 동작 특성을 가지는 축류혈액펌프 모델을 개발하며, 개발한 펌프 모델을 이용하여 흡입현상 발생 전후의 펌프 혈류량을 추정한다. 또한 퍼지 subtractive 클러스터링 기법을 이용하여 좌심실에서 흡입현상 발생여부를 감지할 수 있는 흡입현상 검출 모델을 개발한다.

• 한국정보디스플레이학회:학술대회논문집
• /
• 한국정보디스플레이학회 2004년도 Asia Display / IMID 04
• /
• pp.975-977
• /
• 2004

According to thin and light form-factor and additional function of today's electronic devices, it is required to decrease the pattern pitch of FPC. The high density demand is more and more important trend especially, for small size LCD module. Based on this requirement, the manufacturing process is advancing from subtractive method to super subtractive method.

• Kyungpook Mathematical Journal
• /
• 제50권2호
• /
• pp.329-336
• /
• 2010

In this paper, we introduce a partitioning subsemimodule of a semimodule over a semiring which is useful to develop the quotient structure of semimodule. Indeed we prove : 1) The quotient semimodule M=N(Q) is essentially independent of choice of Q. 2) If f : M ${\rightarrow}$ M' is a maximal R-semimodule homomorphism, then $M/kerf_{(Q)}\;\cong\;M'$. 3) Every partitioning subsemimodule is subtractive. 4) Let N be a Q-subsemimodule of an R-semimodule M. Then A is a subtractive subsemimodule of M with $N{\subseteq}A$ if and only if $A/N_{(Q{\cap}A)}\;=\;\{q+N:q{\in}Q{\cap}A\}$ is a subtractive subsemimodule of $M/N_{(Q)}$.

• Kyungpook Mathematical Journal
• /
• 제51권1호
• /
• pp.69-76
• /
• 2011

In this paper, we introduce a partitioning ideal of a ternary semiring which is useful to develop the quotient structure of ternary semiring. Indeed we prove : 1) The quotient ternary semiring S/$I_{(Q)}$ is essentially independent of choice of Q. 2) If f : S ${\rightarrow}$ S' is a maximal ternary semiring homomorphism, then S/ker $f_{(Q)}$ ${\cong}$ S'. 3) Every partitioning ideal is subtractive. 4) Let I be a Q-ideal of a ternary semiring S. Then A is a subtractive ideal of S with I ${\subseteq}$ A if and only if A/$I_{(Q{\cap}A)}$ = {q + I : q ${\in}$ Q ${\cap}$ A} is a subtractive idea of S/$I_{(Q)}$.

• 한국기계가공학회지
• /
• 제20권2호
• /
• pp.45-50
• /
• 2021

In the recent fourth industrial revolution, the demand for additive processes has emerged rapidly in many mechanical industries, including the aircraft and automobile industries. Additive processes, in contrast to subtractive processes, can be used to produce complex-shaped products, such as three-dimensional cooling systems and aircraft parts that are difficult to produce using conventional production technologies. However, the limitations of additive processes include nonuniform surface quality, which necessitates the use of post-processing techniques such as subtractive methods and grinding. This has led to the need for hybrid machines that combine additive and subtractive processes. A hybrid machine uses additional additive and subtractive modules, so product deformation, for instance, deflection, is likely to occur. Therefore, structural analysis and design optimization of hybrid machines are essential because these defects cause multiple problems, such as reduced workpiece precision during processing. In this study, structural analysis was conducted before the development of an additive/subtractive hybrid processing machine. In addition, structural optimization was performed to improve the stability of the hybrid machine.

• BMB Reports
• /
• 제34권1호
• /
• pp.59-65
• /
• 2001

In subtractive hybridization, target sequences in the tester are enriched by hybridizing with an excess amount of driver, followed by removing the tester hybridized with the driver. All of existing subtractive cloning methods are designed to remove the tester/driver hybrid. The removal of hybrid, however, is often unsatisfactory For various reasons. In this study we developed a subtractive enrichment protocol in which the tester/driver can be completely removed by selecting only the tester/tester after hybridization. In this protocol both the tester and driver DNAs are ligated with same linker DNAs and amplified by polymerase chain reaction (PCR). The tester DNA is then digested with two different enzymes and used in subsequent hybridization with an excess driver. After hybridization, the DNA is ligated with the adaptor that is only compatible with the tester/tester. Since only the tester/tester can have the new adaptor, no tester/driver can be amplified by PCR in this protocol. Unlike other methods, a 100% subtraction efficiency can be achieved even though the enzymatic treatments used in the enrichment procedure are incomplete. Furthermore, only the hybridized tester DNA can have the new adaptor and be amplified by PCR, resulting in 100% denaturation in effect. The efficacy of this novel method was verified with the model system in which a known amount of the target sequence is included.

• Kyungpook Mathematical Journal
• /
• 제46권2호
• /
• pp.181-184
• /
• 2006

We prove the following results: (1) Let R be a strongly euclidean semiring. Then an ideal A of $R_{n{\times}n}$ is a partitioning ideal if and only if it is a subtractive ideal. (2) A monic ideal M of R[$x$], where R is a strongly euclidean semiring, is a partitioning ideal if and only if it is a subtractive ideal.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2008년도 학술대회 논문집 정보 및 제어부문
• /
• pp.239-240
• /
• 2008

본 논문에서는 Subtractive clustering 알고리즘을 이용한 Fuzzy Radial Basis Function Neural Network (FRBFNN)의 규칙 수를 자동적으로 생성하는 방법을 제시한다. FRBFNN은 멤버쉽 함수로써 기존 RBFNN에서 가우시안이나 타원형 형태의 특정 RBF를 사용하는 구조와 달리 Fuzzy C-Means clustering 알고리즘에서 사용하는 거리에 기한 멤버쉽 함수를 사용하여 전반부의 공간 분할 및 활성화 레벨을 결정하는 구조이다. 본 논문에서는 데이터의 밀집도에 기반을 두어 클러스터링을 하는 Subtractive clustering 알고리즘을 사용하여 퍼지 규칙의 수와 같은 의미를 갖는 분할할 입력공간의 수와 분할된 입력공간의 중심값을 동정하며, Least Square Estimator (LSE) 알고리즘을 사용하여 후반부 다항식의 계수를 추정 한다.

• 한국지능시스템학회:학술대회논문집
• /
• 한국퍼지및지능시스템학회 1997년도 추계학술대회 학술발표 논문집
• /
• pp.87-90
• /
• 1997

Mountain Method의 다른 형태인 Subtractive 클러스터링 알고리듬은 계산이 간단하고 기존의 클러스터링 방법들과는 달리 초기 클러스터 중심의 개수 선정이 필요 없기 때문에 클러스터를 추정하는데 효과적인 알고리듬이다. 또한 클러스터의 간격을 결정하는 파라미터의 값에 따라 클러스터의 개수를 다르게 할 수 있다. 그러나 이 파라미터에 의해 동일한 그룹(Class)내에서 여러 개의 클러스터 중심이 발생될 수도 있다. 본 논문에서는 Subtractive HyperBox 알고리듬을 사용하여 이 파라미터의 영향을 줄이고 발생한 클러스터 중심이 속한 그룹의 경계를 판정함으로서 같은 그룹내에서 하나의 클러스터만 발생하도록 하고, 순차적으로 클러스터링 한 후 결과를 Subtractive 클러스터링 알고리듬과 비교하여 보았다.