• 대한수학회논문집
• /
• 제38권1호
• /
• pp.1-9
• /
• 2023

An le-module M over a commutative ring R is a complete lattice ordered additive monoid (M, ⩽, +) having the greatest element e together with a module like action of R. This article characterizes the le-modules _RM such that the pseudo-prime spectrum X_M endowed with the Zariski topology is a Noetherian topological space. If the ring R is Noetherian and the pseudo-prime radical of every submodule elements of _RM coincides with its Zariski radical, then X_M is a Noetherian topological space. Also we prove that if R is Noetherian and for every submodule element n of M there is an ideal I of R such that V (n) = V (Ie), then the topological space X_M is spectral.

• ETRI Journal
• /
• 제41권4호
• /
• pp.494-505
• /
• 2019

In this paper, we propose a new framework for detecting the unauthorized dumping of garbage in real-world surveillance camera. Although several action/behavior recognition methods have been investigated, these studies are hardly applicable to real-world scenarios because they are mainly focused on well-refined datasets. Because the dumping actions in the real-world take a variety of forms, building a new method to disclose the actions instead of exploiting previous approaches is a better strategy. We detected the dumping action by the change in relation between a person and the object being held by them. To find the person-held object of indefinite form, we used a background subtraction algorithm and human joint estimation. The person-held object was then tracked and the relation model between the joints and objects was built. Finally, the dumping action was detected through the voting-based decision module. In the experiments, we show the effectiveness of the proposed method by testing on real-world videos containing various dumping actions. In addition, the proposed framework is implemented in a real-time monitoring system through a fast online algorithm.

• 한국항해항만학회:학술대회논문집
• /
• 한국항해항만학회 2015년도 추계학술대회
• /
• pp.55-57
• /
• 2015

The tracking system plays a key role in accurate estimation and prediction of maneuvering vessel's position and velocity in a bid to enhance safety by taking avoiding action against collision. Therefore, in order to achieve this, many ocean- going vessels are equipped with radar and the ARPA system. However, the accuracy of prediction highly depends on the choice of the gain parameters, ${\alpha}$, ${\beta}$ and ${\gamma}$ employed in the tracking filter. P revious research of this paper was based on theoretically developing an algorithm for a tracking module. This research paper is hence a continuation by the authors to determine the optimal values of the gain parameters used in the tracking module. A tracking algorithm is developed using the ${\alpha}-{\beta}-{\gamma}$ filter to carry out prediction and smoothing of the positions and velocities. Numerical simulations are then performed to evaluate the optimal values of the smoothing parameters that will improve the performance of the tracking module and reduce measurement noise. The twice distance root mean square (2drms) is then calculated to determine error variation.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2003년도 하계학술대회 논문집 A
• /
• pp.181-183
• /
• 2003

This paper presents an operator training simulator for power system restoration against massive black-out. The system is designed especially focused on the generality and convenient setting up for initial condition of simulation. The former is accomplished by using on line calculation methodology, and PSS/E data is used to define the initial situation. The proposed simulator consists of three major components - the Power flow(PF) module, data conversion(CONV) module and CUI subsystem. PF module calculates power flow, and then checks overvoltage of buses and overflow of lines. CONV module composes an Y-Bus array and a data base at each restoration action. The initial Y-Bus array is constructed from PSS/E data. The user friendly GUI module is developed including graphic editor and built-in operation manual. As a result, the maximum processing time for one step operation is 15 seconds, which is adequate for training purpose. Comparison with PSS/E simulation proves the accuracy and reliability of the training system.

• 대한수학회논문집
• /
• 제13권2호
• /
• pp.225-232
• /
• 1998

Let H be a finite dimensional Hopf algebra over a field k, and A be an H-module algebra over k which the H-action on A is D-continuous. We show that $Q_{max}(A)$, the maximal ring or quotients of A, is an H-module algebra. This is used to prove that if H is a finite dimensional semisimple Hopf algebra and A is a semiprime right(left) Goldie algebra than $A#H$ is a semiprime right(left) Goldie algebra. Assume that Asi a semiprime H-module algebra Then $A^H$ is left Artinian if and only if A is left Artinian.

• 대한전기학회논문지
• /
• 제45권1호
• /
• pp.100-112
• /
• 1996

This paper presents a design experience of a control language for coordination of a multi-robot system. To effectively program job commands, a Petrinet-type Graphical Robot Language(PGRL) is proposed, where some functions, such as concurrency and synchronization, for coordination among tasks can be easily programmed.In our system, the proposed task commands of PGRL are implemented by employing formal model languages, which are composed of three modules, sensory, data handling, and action module. It is expected that by using our proposed PGRL and formal languages, one can easily describe a job or task, and hence can effectively operate a complex real-time and concurrent system. The control system is being implemented by using VME-based 32-bit microprocessor boards for supervisory, each module controller(arm, hand, leg, sensor data processing module) and a real time multi-tasking operating system(VxWorks). (author). 17 refs., 16 figs., 2 tabs.

• 대한수학회보
• /
• 제52권2호
• /
• pp.557-570
• /
• 2015

Let $\mathbb{G}$ be a von Neumann algebraic locally compact quantum group, in the sense of Kustermans and Vaes. In this paper, as a consequence of a notion of amenability for actions of Lau algebras, we show that $\hat{\mathbb{G}}$, the dual of $\mathbb{G}$, is co-amenable if and only if there is a state $m{\in}L^{\infty}(\hat{\mathbb{G}})^*$ which is invariant under a left module action of $L^1(\mathbb{G})$ on $L^{\infty}(\hat{\mathbb{G}})^*$. This is the quantum group version of a result by Stokke [17]. We also characterize amenable action of Lau algebras by several properties such as fixed point property. This yields in particular, a fixed point characterization of amenable groups and H-amenable representation of groups.

• 대한수학회지
• /
• 제45권2호
• /
• pp.575-585
• /
• 2008

Suppose that D is a $C^*$-discrete quantum group and $D_0$ a discrete quantum group associated with D. If there exists a continuous action of D on an operator algebra L(H) so that L(H) becomes a D-module algebra, and if the inner product on the Hilbert space H is D-invariant, there is a unique $C^*$-representation $\theta$ of D associated with the action. The fixed-point subspace under the action of D is a Von Neumann algebra, and furthermore, it is the commutant of $\theta$(D) in L(H).

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2000년도 추계학술발표논문집 (상)
• /
• pp.11-14
• /
• 2000

대부분 기존의 Multimedia 시스템은 응용프로그램이나 사용자에 의해 발생되는 Operation 을 수동적인 형태로 처리를 한다. 개발자는 시스템의 목적이나 전략에 따라 시스템을 구성하는 각각의 Module에 대해 작업을 해야 하지만 목적이나 전략이 변경되면 해당되는 각각의 Module을 찾아서 수정을 해야만 한다. 이러한 일은 상당히 번거롭고 Error를 발생시킬 수 있는 가능성을 내포하고 있다. 또한 Multimedia 시스템은 적절한 정보를 관리하고 다양한 응용프로그램을 지원하기 위해서 많은 기능을 가져야 한다. 이 논문은 Event-Condition-Action(ECA) rule의 Active특성을 Multimedia 시스템에 적용하는 것을 제안하고 있다. 이러한 접근 방법을 통해 코드를 효과적으로 관리할 수 있다. 또한, Operation으로부터 rule을 정의하고 관리하는 것을 분리함으로써 Multimedia 시스템에 대해 상위 계층의 새로운 개념을 제시한다. 이렇게 Multimedia 시스템 상에 Active Rule시스템을 계층화시킴으로써 진보된 Multimedia 서비스를 제공할 수 있다. 시스템의 모든 기능은 Event에 의해 발생되고 Rule의 Condition이 만족할 때 해당하는 Rule의 Action이 실행된다. 여기서 제안한 Interactive Group Teaching System (IGTS) 시스템은 Active Rule 시스템인 Active Rule Management System(ARMS) 상에서 구현되었고, Active 속성을 가진 IGTS 을 설계하는 것을 목적으로 하고 있다. 본 시스템은 ECA Rule 개념이 적용 가능함을 보여준다.

• 대한전기학회논문지:전력기술부문A
• /
• 제54권7호
• /
• pp.323-327
• /
• 2005

This paper presents an operator training simulator for power system restoration against massive black-out. The system is designed especially focused on the generality and convenient setting up for initial condition of simulation. The former is accomplished by using power flow calculation methodology, and PSS/E data is used to define the initial situation. The proposed simulator consists of three major components - the power flow(PF) module, data conversion(COW) module and GU subsystem. PF module calculates power flow, and then checks overvoltage of buses and overflow of lines. COW module composes an Y-Bus array and a data base at each restoration action. The initial Y-Bus array is constructed from PSS/E data. The user friendly GUI subsystem is developed including graphic editor and built-in operation manual. As a result, the maximum processing time for one step operation is 15 seconds, which is adequate for training purpose. Comparison with PSS/E simulation proves the accuracy and reliability of the training system.