• Journal of Ocean Engineering and Technology
• /
• v.15 no.4
• /
• pp.101-107
• /
• 2001

This paper describes a fault diagnosis method by a T-invariance of Petri Net (PN). First, a complicated fault system with some failure is modeled into a PN graphic expressions. Next, the PN model is analyzed by using the backward chaining of T-invariance to find out causes of the faults. In this step, an inter-node search technique which is suggested in this paper is applied for reducing searching area in the fault system. Also, a novel idea to compose incidence matrices which have different dimension each other in PN model is proposed. As the new knowledges which is discovered newly about faults can be added easily to conventional systems, the diagnosis system will be very flexible. Finally, the proposed method is applied to the automobile fault diagnosis system to confirm the validity of the method.

• Proceedings of the Korea Committee for Ocean Resources and Engineering Conference
• /
• 2001.05a
• /
• pp.32-37
• /
• 2001

This paper describes a noble fault diagnosis method using inter node search technique in PN model. First, a complicated fault system is modeled as PN graphic expressions. Next, to find out sources for faults on which we focus, the PN model is analyzed using the backward chaining of T-invariance. In this step, the technique of inter node search is applied for reducing some range of sources in a fault. Also, colnposing method of incidence matrix in PN is proposed. Then, it makes the diagnosis system to very flelible system because new knowledges about the sources in a fault can be added easily to conventional systems. Finally, the proposed method is applied to the automobile trouble diagnosis system to confirm the validity of the method.

• Journal of the Chungcheong Mathematical Society
• /
• v.34 no.3
• /
• pp.259-269
• /
• 2021

We shall study the following. Let 𝜙 be an expansive flow on a compact TVS-cone metric space (X, d). First, we give some equivalent ways of defining expansiveness. Second, we show that expansiveness is conjugate invariance. Finally, we prove that lim sup ${\frac{1}{t}}$ log v(t) ≤ h(𝜙), where v(t) denotes the number of closed orbits of 𝜙 with a period 𝜏 ∈ [0, t] and h(𝜙) denotes the topological entropy. Remark that in 1972, R. Bowen and P. Walters had proved this three statements for an expansive flow on a compact metric space [?].

• Journal of the Korean Institute of Intelligent Systems
• /
• v.13 no.2
• /
• pp.231-236
• /
• 2003

Recently, Oussalah 〔Fuzzy Sets and Systems 128(2002) 247-260〕 investigated some theoretical results about some invariance properties concerning the relationships between the defuzzification outcomes and the arithmetic of fuzzy numbers. But, in this note we introduce some explicit calculations of the resulting fuzzy set or possibility distribution when the matter is the determination of the defuzzified value pertaining to the result of some manipulation of fuzzy quantities under t-norm based fuzzy arithmetic operations.

• Proceedings of the KIEE Conference
• /
• 1991.11a
• /
• pp.59-62
• /
• 1991

This paper describes an effective algorithm for evaluating the reliability indices and calculating the production cost for generation system with thermal, hydro and pumped storage plants. Using the Energy Invariance property, this algorithm doesn't need deconvolution process which gives large burden in computing time. In order to consider an adaptable load model, we consider the system load with forecasting uncertainty. The proposed algorithm is applied to the KEPCO system and its result shows high accuracy and less computing time.

• The Transactions of the Korea Information Processing Society
• /
• v.6 no.4
• /
• pp.1136-1142
• /
• 1999

A difficulty of the visual inspection for translated, magnified and rotated objects exists owing to the limitation of recognition rate. In this paper, we perform to define Integral Logarithm Transform(ILT), to consider its characteristic for implementation of Translation-, Magnification- and Rotation-invariant inspection system, and to compare with other methods in inspection error rate. By using magnification and rotation invariance properties of ILT, it makes easier than other methods to extract the rotation degree. The new method employs the ILT for the good/bad inspection of translated, magnified and rotated objects and experiment is performed to achieve translation, magnification and rotation invariance. In other methods both magnification and rotation invariance can't be available. As the result of he experiment, it is not better than the self-organizing map in the improvement of recognition rate, but it shows us the possibility to be used as a tool for the good/bad inspection system.

• Communications of the Korean Mathematical Society
• /
• v.23 no.1
• /
• pp.81-93
• /
• 2008

In [3, 9], using the theory of noncommutative Dirichlet forms in the sense of Cipriani [6] and the symmetric embedding map, authors constructed the KMS-symmetric Markovian semigroup $\{S_t\}_{t{\geq}0}$ on a von Neumann algebra $\cal{M}$ with an admissible function f and an operator $x\;{\in}\;{\cal{M}}$. We give a sufficient and necessary condition for x so that the semigroup $\{S_t\}_{t{\geq}0}$ acts separately on diagonal and off-diagonal operators with respect to a basis and study some results.

• Smart Media Journal
• /
• v.13 no.2
• /
• pp.85-94
• /
• 2024

Artificial Intelligence of Things (AIoT), which combines AI and the Internet of Things (IoT), has recently gained popularity. Deep neural networks (DNNs) have achieved great success in many applications. Deploying complex AI models on embedded boards, nevertheless, may be challenging due to computational limitations or intelligent model complexity. This paper focuses on an AIoT-based system for smart sewing automation using edge devices. Our technique included developing a detection model and a decision tree for a sufficient testing scenario. YOLOv5 set the stage for our defective sewing stitches detection model, to detect anomalies and classify the sewing patterns. According to the experimental testing, the proposed approach achieved a perfect score with accuracy and F1score of 1.0, False Positive Rate (FPR), False Negative Rate (FNR) of 0, and a speed of 0.07 seconds with file size 2.43MB.

• Journal of the Chungcheong Mathematical Society
• /
• v.22 no.3
• /
• pp.507-517
• /
• 2009

We prove a functional central limit theorem for a linear random field generated by negatively associated multi-dimensional random variables. Under finite second moment condition we extend the result in Kim, Ko and Choi[Kim,T.S, Ko,M.H and Choi, Y.K.,2008. The invariance principle for linear multi-parameter stochastic processes generated by associated fields. Statist. Probab. Lett. 78, 3298-3303] to the negatively associated case.

• Smart Media Journal
• /
• v.8 no.2
• /
• pp.94-98
• /
• 2019

In this paper, we developed the tools enabling to manage the IoT systems owned by managers. Since equipment agents consists based on open-source block-chain framework, we can secure the invariance on data and furthermore can locate the resources by searching the AP connected to the equipments. Also the manager can trace the connecting details on equipments from their block-chain accounts. In addition, we work on the possibility of protecting ARP poisoning attacks by removing the credibility on additional ARP requests being generated during the process of network creation.