• Journal of Digital Convergence
• /
• v.16 no.11
• /
• pp.159-166
• /
• 2018

The ICT convergence and intelligence information technology has many influences on the whole smart society in the $4^{th}$ industrial revolution era. However, preparations degree of our country is not high as for the intelligence information technology. It is not easy to adopt a new technology on education for cultivating the creative future human resources to match a pace with intelligent smart society. In addition, it is hard work to find and derive the appropriate technology for education because proper and effective proof includes much difficulties. Therefore, this study develop the e-learning standard technology framework through the derivation of educational standard technology element and the suggestion of medium and long term standardization framework for the intelligence information society.

• East Asian mathematical journal
• /
• v.16 no.1
• /
• pp.61-69
• /
• 2000

We show that the intersection of two standard torus knots of type (${\lambda}_1$, ${\lambda}_2$) and (${\beta}_1$, ${\beta}_2$) induces an automorphism of the cyclic group ${\mathbb{Z}}_d$, where d is the intersection number of the two torus knots and give an elementary proof of the fact that all non-trivial torus knots are strongly invertiable knots. We also show that the intersection of two standard knots on the 3-torus $S^1{\times}S^1{\times}S^1$ induces an isomorphism of cyclic groups.

• Journal of Digital Convergence
• /
• v.6 no.4
• /
• pp.105-112
• /
• 2008

Even though, many enterprises began to use management information system, they were not able to attain remarkable outcome. Thus, a purpose for this research is to explore effect that characteristics of information technology and executive support have on its user's confrontation In order to verify this purpose, we selected Nong-hyup's CRM as an object for a proof of effect that characteristics of information technology and executive support have on its user's confrontation. According to this research's conclusion, characteristics of information systems have notable influence on user's confrontation, while executive support did not have significant influence on it. Yet, this research has its limits by considering characteristics of information technology and support from board of directors as only variables among many other possible reasons for user's confrontation. Thus, in the future, there should be another research that considers more various reasons for user's confrontation.

• BMB Reports
• /
• v.50 no.11
• /
• pp.535-536
• /
• 2017

A novel approach has been used to identify functional interactions relevant to human disease. Using high-throughput human-yeast genetic interaction screens, a first draft of disease interactome was obtained. This was achieved by first searching for candidate human disease genes that confer toxicity in yeast, and second, identifying modulators of toxicity. This study found potentially disease-relevant interactions by analyzing the network of functional interactions and focusing on genes implicated in amyotrophic lateral sclerosis (ALS), for example. In the subsequent proof-of-concept study focused on ALS, similar functional relationships between a specific kinase and ALS-associated genes were observed in mammalian cells and zebrafish, supporting findings in human-yeast genetic interaction screens. Results of combined analyses highlighted MAP2K5 kinase as a potential therapeutic target in ALS.

• Journal of applied mathematics & informatics
• /
• v.32 no.5_6
• /
• pp.585-598
• /
• 2014

In this paper we consider the nonlinear parabolic problems with mixed boundary condition. Under comparatively mild conditions of the coefficients related to the problem, we construct the discontinuous Galerkin approximation of the solution to the nonlinear parabolic problem. We discretize spatial variables and construct the finite element spaces consisting of discontinuous piecewise polynomials of which the semidiscrete approximations are composed. We present the proof of the convergence of the semidiscrete approximations in $L^{\infty}(H^1)$ and $L^{\infty}(L^2)$ normed spaces.

• Bulletin of the Korean Mathematical Society
• /
• v.54 no.6
• /
• pp.2043-2051
• /
• 2017

Consider a sequence of compactly supported Hamiltonian diffeomorphisms ${\phi}_k$ of an exact symplectic manifold, all of which are "graphical" in the sense that their graphs are identified by a Darboux-Weinstein chart with the image of a one-form. We show by an elementary argument that if the ${\phi}_k$ $C^0$-converge to the identity, then their Calabi invariants converge to zero. This generalizes a result of Oh, in which the ambient manifold was the two-disk and an additional assumption was made on the Hamiltonians generating the ${\phi}_k$. We discuss connections to the open problem of whether the Calabi homomorphism extends to the Hamiltonian homeomorphism group. The proof is based on a relationship between the Calabi invariant of a $C^0$-small Hamiltonian diffeomorphism and the generalized phase function of its graph.

• 제어로봇시스템학회:학술대회논문집
• /
• 1993.10a
• /
• pp.14-19
• /
• 1993

In this paper, we proposed an indirect learning and direct adaptive control schemes using neural networks, i.e., composite adaptive neural control, for a class of continuous nonlinear systems. With the indirect learning method, the neural network learns the nonlinear basis of the system inverse dynamics by a modified backpropagation learning rule. The basis spans the local vector space of inverse dynamics with the direct adaptation method when the indirect learning result is within a prescribed error tolerance, as such this method is closely related to the adaptive control methods. Also hash addressing technique, similar to the CMAC functional architecture, is introduced for partitioning network hidden nodes according to the system states, so global neuro control properties can be organized by the local ones. For uniform stability, the sliding mode control is introduced when the neural network has not sufficiently learned the system dynamics. With proper assumptions on the controlled system, global stability and tracking error convergence proof can be given. The performance of the proposed control scheme is demonstrated with the simulation results of a nonlinear system.

• Proceedings of the KIEE Conference
• /
• 1999.07b
• /
• pp.862-864
• /
• 1999

Adaptive Fuzzy control system is very powerful in nonlinear system, but That system require exactly membership function and parameter. If the membership function and parameter are not exact, the system will generate chattering. Using the Pole assignment compensator can remove the chattering and steepest descent method can reduce the convergence time. In this Paper, this algorithm applicate to the Inverted pendulum, so save proof of algorithm that is to be vigorous.

• Kyungpook Mathematical Journal
• /
• v.51 no.2
• /
• pp.205-215
• /
• 2011

Given a knot diagram D, we construct a semi-threading circle of it which can be an axis of D as a closed braid depending on knot diagrams. In particular, we consider semi-threading circles of minimal diagrams of a knot with respect to overpasses which give us some information related to the braid index. By this notion, we try to give another proof of the fact that, for every nontrivial knot K, the braid index b(K) of K is not less than the minimum number l(K) of overpasses of diagrams. Also, they are the same for a torus knot.

• Journal of the Korean Statistical Society
• /
• v.25 no.2
• /
• pp.175-183
• /
• 1996

Let $S_n,n$ = 1, 2,... denote the partial sums of not necessarily in-dependent random variables. Let N(c) = min${ n ; S_n > c}$, c $\geq$ 0. Theorem 2 states that N (c), (suitably normalized), tends to 0 in p-mean, 1 $\leq$ p < 2, as c longrightarrow $\infty$ under mild conditions, which generalizes earlier result by Gut(1974). The proof follows by applying Theorem 1, which generalizes the known result $E$\mid$S_n$\mid$^p$ = o(n), 0 < p< 2, as n .rarw..inf. to randomly indexed partial sums.