• The Pure and Applied Mathematics
• /
• v.12 no.4 s.30
• /
• pp.253-274
• /
• 2005

An additive regular Semiring S is left inversive if the Set E+ (S) of all additive idempotents is left regular. The set LC(S) of all left inversive semiring congruences on an additive regular semiring S is a lattice. The relations $\theta$ and k (resp.), induced by tr. and ker (resp.), are congruences on LC(S) and each $\theta$-class p$\theta$ (resp. each k-class pk) is a complete modular sublattice with $p_{min}$ and $p_{max}$ (resp. With $p^{min}$ and $p^{max}$), as the least and greatest elements. $p_{min},\;p_{max},\;p^{min}$ and $p^{max}$, in particular ${\epsilon}_{max}$, the maximum additive idempotent separating congruence has been characterized explicitly. A semiring is quasi-inversive if and only if it is a subdirect product of a left inversive and a right inversive semiring.

• Proceedings of the Korea Multimedia Society Conference
• /
• 2004.05a
• /
• pp.175-178
• /
• 2004

본 연구는 디지털 합성(Composition)에 있어 포스트 프로덕션에서 해야될 작업 중 분리 렌더 시스템(Separating System)을 이용한 효과적인 합성 연구에 관한 것이다. 분리 렌더는 결과적으로 제작상의 시간과 경비를 절감시켜 줄 뿐만 아니라, 제작의 퀄리티(Quality)에 직접적으로 영향을 주기 때문에 이팩츠 합성(Effects Composition)이나 특수영상 제작에 있어 없어서는 안될 중요한 부분이다. 이 분리 렌더 시스템을 이용해서 현재 진행되는 작업상의 문제를 최소화 시킬 수 있다. 또한 영상효과 제작이나 특수영상 제작중에 발생 되어지는 여러 가지 복잡한 문제점(합성)들을 이를 통해 줄여줄 뿐만 아니라, 영상합성 단계에 있어 효과적인 디지털 영상과 렌더 테이터 관리를 동시에 만들어 주기 때문이다. 이러한 방법적 연구와 결과치의 자료들을 데이터화 한다면 디지털영상 산업계에 많은 이점을 줄 것으로 기대한다.

• Resources Recycling
• /
• v.6 no.2
• /
• pp.12-21
• /
• 1997

Plastics waste constitutes approximately 23% by volume of the municipal solid waste(MSW) generated in the U.S. each year, and have slow rate of degradation in the environment. Therefore, there is a great deal of public pressure to recycle plastics, and more than 100 million people participate in the curbside recycling programs. Despite the high level of public interest, only 3.5% of the plastic are recycled, which is substantially lower than the recycle rates of other materials such as paper fibers, glass, and iron. Although a large part of the reason is due to the low price of virgin polymers, which in turn is due to the low price of oil, it is possible to make the plastics recycling as a profitable business by developing advanced technologies. In this communication, various methods of separating pplastics from metals and from each other are discussed.

• Journal of the Korea Institute of Military Science and Technology
• /
• v.22 no.4
• /
• pp.441-451
• /
• 2019

When a store is launched, the umbilical plug should be separated from the launcher without any physical interference and fragments. In order to satisfy these conditions, an umbilical plug and an umbilical separating device were designed. The plug is separated from the receptacle of the store while moving along inclined planes by the store thrust and the spring force connected from the launcher to the plug. As a result of the prototype test, the hanger on the store collided with the plug. Several tests were conducted after some actions were taken to prevent the collision. However, not only the same phenomenon was repeated, but also fragmentation occurred. In this study, the non-colliding conditions were analyzed through rigid and flexible multi-body dynamics analysis.

• Journal of Information Processing Systems
• /
• v.18 no.4
• /
• pp.524-534
• /
• 2022

In this paper, we produce Trash Object Detection (TOD) dataset to solve trash detection problems. A well-organized dataset of sufficient size is essential to train object detection models and apply them to specific tasks. However, existing trash datasets have only a few hundred images, which are not sufficient to train deep neural networks. Most datasets are classification datasets that simply classify categories without location information. In addition, existing datasets differ from the actual guidelines for separating and discharging recyclables because the category definition is primarily the shape of the object. To address these issues, we build and experiment with trash datasets larger than conventional trash datasets and have more than twice the resolution. It was intended for general household goods. And annotated based on guidelines for separating and discharging recyclables from the Ministry of Environment. Our dataset has 10 categories, and around 33K objects were annotated for around 5K images with 1280×720 resolution. The dataset, as well as the pre-trained models, have been released at https://github.com/jms0923/tod.

• Communications of the Korean Mathematical Society
• /
• v.38 no.2
• /
• pp.469-485
• /
• 2023

Let 𝓐 be a unital Banach *-algebra and 𝓜 be a unital *-𝓐-bimodule. If W is a left separating point of 𝓜, we show that every *-derivable mapping at W is a Jordan derivation, and every *-left derivable mapping at W is a Jordan left derivation under the condition W𝓐 = 𝓐W. Moreover we give a complete description of linear mappings 𝛿 and 𝜏 from 𝓐 into 𝓜 satisfying 𝛿(A)B^* + A𝜏(B)^* = 0 for any A, B ∈ 𝓐 with AB^* = 0 or 𝛿(A)◦B^* + A◦𝜏(B)^* = 0 for any A, B ∈ 𝓐 with A◦B^* = 0, where A◦B = AB + BA is the Jordan product.

• Journal of the Chungcheong Mathematical Society
• /
• v.6 no.1
• /
• pp.65-69
• /
• 1993

In this paper, we show that the module derivation D is continuous on the Banach algebra and the Silov algebra, and also that the derivation restricted by separating space and the radical on the semi prime Banach algebra is continuous.

• Kyungpook Mathematical Journal
• /
• v.61 no.4
• /
• pp.737-744
• /
• 2021

In this paper, among other things, we show that under special hypotheses every [pseudo] (n + 1)-Jordan homomorphism is a [pseudo] n-Jordan homomorphism and vice versa.

• Journal of Korean Society of Transportation
• /
• v.33 no.2
• /
• pp.204-213
• /
• 2015

The congestion of pedestrians impedes the utilization efficiency of a subway station. Conflicts among pedestrians due to unseparated pedestrian flows not only increase the impedance of pedestrian mobility but also negatively affect on pedestrian safety. This paper analyzes the travel characteristics of bi-directional pedestrian flow based on microscopic movements, and evaluates the operation efficiency on separating the traffic line. The subway station was simulated in a 2-D grid structure by applying Discrete Element Method, and the movement is organized in each cell of the grid. As a result, the model explicates that separating the traffic line and encouraging the 'Keep right rule' would be mostly effective for the conflicting flows. Therefore, applying the 'Walking Guidance System' would be efficient to improve the pedestrian convenience and mobility.

• Korean Journal of Food Science and Technology
• /
• v.36 no.1
• /
• pp.58-63
• /
• 2004

Cell-separating enzymes were used to investigate enzymatic maceration of watermelon and muskmelon containing single cells. Watermelon and muskmelon were macerated with Macerozyme A and Sumyzyme MC for 30-120min. Changes in maceration properties such as yields, color, viscosity, total sugar, total pectin, total polyphenol, particle size distribution, minerals, and free amino acids of suspensions after enzymatic disintegration were investigated. Contents of biochemical components in the supernatant of suspensions increased with increasing treatment time. Suspensions containing single cells showed good thermal stability without affecting original qualities. Mineral content of single-cell suspension was higher than those of watermelon and muskmelon juices. Potassium contents of single-cell suspension and juice were 240.8 and 172.7 mg%, respectively. Results suggest single-cell suspensions of watermelon and muskmelon can he utilized as ingredients for new beverages.