• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.13 no.8
• /
• pp.3779-3784
• /
• 2012

Real-time process monitoring and diagnosis of industrial processes is one of important operational tasks for quality and safety reasons. The objective of fault diagnosis or identification is to find process variables responsible for causing a specific fault in the process. This helps process operators to investigate root causes more effectively. This work assesses the applicability of combining a nonlinear statistical technique of kernel Fisher discriminant analysis with a preprocessing method as a tool of on-line fault identification. To compare its performance to existing linear principal component analysis (PCA) identification scheme, a case study on a benchmark process was performed to show that the fault identification scheme produced more reliable diagnosis results than linear method.

• Kyungpook Mathematical Journal
• /
• v.63 no.2
• /
• pp.235-250
• /
• 2023

Let 1 ≤ p, q < ∞ be fixed, and let R = [r_jk] be an infinite scalar matrix such that 1 ≤ r_jk < ∞ and sup_j,k r_jk < ∞. Let 𝓑(𝑙_p, 𝑙_q) be the set of all bounded linear operator from 𝑙_p into 𝑙_q. For a fixed Banach algebra 𝐁 with identity, we define a new vector space S^R_p,q(𝐁) of infinite matrices over 𝐁 and a paranorm G on S^R_p,q(𝐁) as follows: let $$S^R_{p,q}({\mathbf{B}})=\{A:A^{[R]}{\in}{\mathcal{B}}(l_p,l_q)\}$$ and $G(A)={\parallel}A^{[R]}{\parallel}^{\frac{1}{M}}_{p,q}$, where $A^{[R]}=[{\parallel}a_{jk}{\parallel}^{r_{jk}}]$ and M = max{1, sup_j,k r_jk}. The existance of S^R_p,q(𝐁) equipped with the paranorm G(·) including its completeness are studied. We also provide characterizations of β -dual of the paranormed space.

• Nonlinear Functional Analysis and Applications
• /
• v.29 no.1
• /
• pp.131-164
• /
• 2024

In this research, we study a modified relaxed Tseng method with a single projection approach for solving common solution to a fixed point problem involving finite family of τ-demimetric operators and a quasi-monotone variational inequalities in real Hilbert spaces with alternating inertial extrapolation steps and adaptive non-monotonic step sizes. Under some appropriate conditions that are imposed on the parameters, the weak and linear convergence results of the proposed iterative scheme are established. Furthermore, we present some numerical examples and application of our proposed methods in comparison with other existing iterative methods. In order to show the practical applicability of our method to real word problems, we show that our algorithm has better restoration efficiency than many well known methods in image restoration problem. Our proposed iterative method generalizes and extends many existing methods in the literature.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.8 no.3
• /
• pp.965-983
• /
• 2014

Concurrent behaviors of multithreaded programs cannot be described effectively by automata-based models. Thus, concurrent program intrusion attempts cannot be detected. To address this problem, we proposed the process algebra-based detection model for multithreaded programs (PADMP). We generate process expressions by static binary code analysis. We then add concurrency operators to process expressions and propose a model construction algorithm based on process algebra. We also present a definition of process equivalence and behavior detection rules. Experiments demonstrate that the proposed method can accurately detect errors in multithreaded programs and has linear space-time complexity. The proposed method provides effective support for concurrent behavior modeling and detection.

• Korean Journal of Mathematics
• /
• v.27 no.4
• /
• pp.969-976
• /
• 2019

Let ℬ(ℋ) be the algebra of all bounded linear operators on a complex Hilbert space ℋ and 𝒨 ⊆ ℬ(ℋ) be a von Neumann algebra without central abelian projections. Let ξ be a non-zero scalar. In this paper, it is proved that a mapping φ : 𝒨 → ℬ(ℋ) satisfies φ([A, B]^ξ_⁎)= [φ(A), B]^ξ_⁎+[A, φ(B)]^ξ_⁎ for all A, B ∈ 𝒨 if and only if φ is an additive ⁎-derivation and φ(ξA) = ξφ(A) for all A ∈ 𝒨.

• Culinary science and hospitality research
• /
• v.23 no.6
• /
• pp.89-98
• /
• 2017

This research focused on recognizing and empirically testing a relationship between brand personality congruence and brand extension, which can lead to effective marketing strategies for the hotel industry. The objective of this research was to identify how customer's brand personality congruence affect brand extension and to then address what the most appropriate brand extension types for hotel brands are. This study offered a better approach to assess the broader impact of extension strategy for the marketer managers. The methodology for achieving these objectives were described in the following sections: developing measurements based on extensive reviews of literature and analyzing data utilized a exploratory factor analysis and a series of simple linear regression analyses. The result of this study showed customer's brand personality congruence had a great impact on the customer's positive attitude toward core brand. However, customer's attitude toward core brand had no impact on the updated attitude. The findings provided some theoretical and managerial implications for hotel operators.

• Journal of the Korean Mathematical Society
• /
• v.42 no.5
• /
• pp.893-912
• /
• 2005

We discuss a certain geometric property $X_{{\theta},{\gamma}}$ of dual algebras generated by a polynomially bounded operator and property ($\mathbb{A}_{N_0,N_0}$; these are central to the study of $N_{0}\timesN_{0}$-systems of simultaneous equations of weak$^{*}$-continuous linear functionals on a dual algebra. In particular, we prove that if T $\in$ $\mathbb{A}$$^{M}$ satisfies a certain sequential property, then T $\in$ $\mathbb{A}^{M}_{N_0}(H) if and only if the algebra $A_{T}$ has property $X_{0, 1/M}$, which is an improvement of Li-Pearcy theorem in [8].

• Journal of the Korean Mathematical Society
• /
• v.45 no.4
• /
• pp.903-921
• /
• 2008

A continuous linear operator $T\;:\;X{\rightarrow}X$ is called hypercyclic if there exists an $x\;{\in}\;X$ such that the orbit ${T^nx}_{n{\geq}0}$ is dense. We consider the problem: given an operator $T\;:\;X{\rightarrow}X$, hypercyclic or not, is the restriction $T|y$ to some closed invariant subspace $y{\subset}X$ hypercyclic? In particular, it is well-known that any non-constant partial differential operator p(D) on $H({\mathbb{C}}^d)$ (entire functions) is hypercyclic. Now, if q(D) is another such operator, p(D) maps ker q(D) invariantly (by commutativity), and we obtain a necessary and sufficient condition on p and q in order that the restriction p(D) : ker q(D) $\rightarrow$ ker q(D) is hypercyclic. We also study hypercyclicity for other types of operators on subspaces of $H({\mathbb{C}}^d)$.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 2002.05a
• /
• pp.199-202
• /
• 2002

This parer concerns a design methodology of the observer-based output-feedback digital controller for Takagj-Sugeno (TS) fuzzy systems using intelligent digital redesign (IDR). The term of IDR involves converting an analog fuzzy-mode-based controller into an equivalent digital one in the sense of state-matching. The considered IDR problem is viewed as convex minimization problems of the norm distances between linear operators to be matched. The stability condition is easily embedded and the separations principle is explicitly shown.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 1998.06a
• /
• pp.264-267
• /
• 1998

We are dealing with the preliminary diagnosis from the information of headache interview chart. We quantify the qualitative information based on the interview chart by dual scaling. Prototype of fuzzy diagnostic sets and the neural linear regression methods are established with these quantified data, These new methods can be used to classify new patient's tone of diseases with certain degrees of belief and its concerned symptoms. We call these procedures as neural Fuzzy Differential Diagnosis of Headache (NFDDH-1). Also we investigate three measures to medical diagnosis, where relations between symptoms and diseases are described by intutionistic fuzzy set (IFS) data. Two measures are described by nin-max and max-min IFS operators, respectively. Another measure is the similarity degree, i.e., IFS distance between patient's symptoms and prototypes of diseases. We consider some reasonable criteria for three measures in order to determine the label of headache, We will establish hree measures in NFDDH-2 and combine two packages as NFDDH