• Honam Mathematical Journal
• /
• v.28 no.4
• /
• pp.533-541
• /
• 2006

let E be a Finsler modules over $C^*$-algebras. A with norm-map $\rho$ and L(E) set of all A-linear bonded operators on E. We show that the canonical homomorphism ${\phi}:L(E){\rightarrow}L(E_I)$ sending each operator T to its restriction $T|E_I$ is injective if and only if I is an essential ideal in the underlying $C^*$-algebra A. We also show that $T{\in}L(E)$ is a bounded below if and only if ${\mid}{\mid}x{\mid}{\mid}={\mid}{\mid}{\rho}{\prime}(x){\mid}{\mid}$ is complete, where ${\rho}{\prime}(x)={\rho}(Tx)$ for all $x{\in}E$. Also, we give a necessary and sufficient condition for the equivalence of the norms generated by the norm map.

• Kyungpook Mathematical Journal
• /
• v.56 no.4
• /
• pp.1141-1160
• /
• 2016

In this paper, a symbolic algorithm for solving a regular initial value problem (IVP) for a system of linear differential-algebraic equations (DAEs) with constant coeffcients has been presented. Algebra of integro-differential operators is employed to express the given system of DAEs. We compute a canonical form of the given system which produces another simple equivalent system. Algorithm includes computing the matrix Green's operator and the vector Green's function of a given IVP. Implementation of the proposed algorithm in Maple is also presented with sample computations.

• Journal of the Korean Mathematical Society
• /
• v.32 no.3
• /
• pp.531-540
• /
• 1995

There is much literature on the study of matrices over a finite Boolean algebra. But many results in Boolean matrix theory are stated only for binary Boolean matrices. This is due in part to a semiring isomorphism between the matrices over the Boolean algebra of subsets of a k element set and the k tuples of binary Boolean matrices. This isomorphism allows many questions concerning matrices over an arbitrary finite Boolean algebra to be answered using the binary Boolean case. However there are interesting results about the general (i.e. nonbinary) Boolean matrices that have not been mentioned and they differ somwhat from the binary case.

• The Transactions of the Korean Institute of Electrical Engineers D
• /
• v.50 no.7
• /
• pp.350-353
• /
• 2001

In general, the Least Square Error method is used for signal classification to measure distance in the $l^2$ metric or the $L^2$ metric space. A defect of the Least Square Error method is that it does not classify properly some waveforms, which is due to the property of the Least Square Error method: the global analysis. This paper proposes a new linear operator, the Integra-Normalizer, that removes the problem. The Integra-Normalizer possesses excellent property that measures the degree of relative similarity between signals by expanding the functional space with removing the restriction on the functional space inherited by the Least Square Error method. The Integra-Normalizer shows superiority to the Least Square Error method in measuring the relative similarity among one dimensional waveforms.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 2003.09a
• /
• pp.551-554
• /
• 2003

Aggregate operator which belongs to query operations are important in specialized systems such as geographic information system(GIS) and spatial database system. Most of data describing objects in the real world are characterized by space and time attributes. Till now, however, works on aggregate operations have only dealt with spatial or temporal aspect of object. The current demand of aggregate operations relates to spatiotemporal data which are contained both spatial and temporal data concurrently. Therefore, work on spatiotemporal operations is focused on database area. In this paper, we propose spatiotemporal aggregate functions that operate on spatiotemporal data. Above all, we support spatiotemporal aggregate functions on the basis of three dimensional spatiotemporal models that are defined with the linear one dimensional temporal domain. The proposed algorithms are evaluated through some implementation results. We are sure that the achievement of our work is useful and efficient.

• Genomics & Informatics
• /
• v.14 no.4
• /
• pp.149-159
• /
• 2016

With the success of the genome-wide association studies (GWASs), many candidate loci for complex human diseases have been reported in the GWAS catalog. Recently, many disease prediction models based on penalized regression or statistical learning methods were proposed using candidate causal variants from significant single-nucleotide polymorphisms of GWASs. However, there have been only a few systematic studies comparing existing methods. In this study, we first constructed risk prediction models, such as stepwise linear regression (SLR), least absolute shrinkage and selection operator (LASSO), and Elastic-Net (EN), using a GWAS chip and GWAS catalog. We then compared the prediction accuracy by calculating the mean square error (MSE) value on data from the Korea Association Resource (KARE) with body mass index. Our results show that SLR provides a smaller MSE value than the other methods, while the numbers of selected variables in each model were similar.

• The Pure and Applied Mathematics
• /
• v.23 no.1
• /
• pp.13-19
• /
• 2016

In this paper, we study some characterizations of unbounded domains. Among these, so-called G-domain is introduced by Cabre for the Aleksandrov-Bakelman-Pucci maximum principle of second order linear elliptic operator in a non-divergence form. This domain is generalized to wG-domain by Vitolo for the maximum principle of an unbounded domain, which contains G-domain. We study the properties of these domains and compare some other characterizations. We prove that sA-domain is wG-domain, but using the Cantor set, we are able to construct a example which is wG-domain but not sA-domain.

• Proceedings of the Korean Society of Coastal and Ocean Engineers Conference
• /
• 1996.10a
• /
• pp.109-114
• /
• 1996

In a linear dispersive system, the combined effect of water wave frnnsformations such as refraction, diffraction, shoaling, and reflection can be predicted by the mild-slope equation which was developed by Berkhoff (1972) using the Galerkin-eigenfunction method. In the derivation of the equation, he assumed a mild slope of the bottom $\nabla$h/kh << 1 (where $\nabla$ is the horizontal gradient operator, k is the wavenumber, and h is the water depth) and thus neglected second-order bottom effect terms proportional to O($\nabla$h)$^2$ and O($\nabla$$^2$h). (omitted)

• Journal of Biosystems Engineering
• /
• v.20 no.4
• /
• pp.368-375
• /
• 1995

A computer vision system was built to generate images of a stationary egg. This system includes a. CCD camera, a frame grabber, and an incandescent back lighting system An image processing algorithm was developed to accurately detect surface holes and surface cracks on eggs. With 20W of incandescent back light, the detection rate was shown to be the highest. The Sobel operator was found to be the best among various enhancing filters examined. The threshold value to distinguish between the crack and the translucent spots was found to be linear with the average gray level of a whole egg image. Those values of both gray level and area were used as criteria to detect holes in egg and those values of both area and roundness were used to detect cracks in egg. For a sample of 300 eggs, this system was able to correctly analyze an egg for the presence of a defect 97.5% of the time. On the average, it took 59.5 seconds to analyze an egg image and determine whether or not it was defected.

• Journal of Korean Institute of Industrial Engineers
• /
• v.43 no.3
• /
• pp.176-183
• /
• 2017

In recent years, studies about multitasking becomes more important. During multitasking, operators can feel frustration when they are interrupted during the task and frustration can affect operator's emotional state and performance. However there is no research on measuring the frustration quantitatively in multitasking environment. In this paper, we suggested quantitative measurement of frustration during multitasking. In order to measure the frustration, we made a mathematical representation with emotional decay model and the initial intensity of frustration based on cognitive closure theory. The amount of initial intensity could be represented as the ratio of actual remaining time to expected remaining time. By the experiment, we measured the frustration during the experiment and compared this values with values of frustration dimension of NASA-TLX. Finally we got the linear regression model with a good accuracy ($R^2=0.986$). This study contributes to measuring the emotion quantitatively by the relation of expected and actual remaining time in multitasking environment.