• Knowledge Management Research
• /
• v.2 no.1
• /
• pp.65-81
• /
• 2001

The aim of this study is classify knowledge work style management for knowledge management. It is based on the knowledge creation model of Nonaka by subdividing types of knowledge workers. It was designed to create a model for application to the actual environment of management. Nonaka suggested the process of socialization, externalization, combination, internalization that the knowledge of a person creates new knowledge through the interaction of implicit knowledge and explicit knowledge. This research demonstrated that knowledge worker of 16 forms by applying SECI model to the main function and the subordinate functions again. This study aims at achieving a higher outcome by applying the ability of existing knowledge worker to subdivided expert field efficiently. Suggested styles of knowledge worker in this research are classified into craftsman style, pragmatic style, combination style, developed style knowledge worker who creates knowledge by selecting socialization as the function and again by selecting externalization combination, internalization as subordinate functions. And they were classified into creation style, insight style, strategy style according to practical application worker and function which is selecting externalization as the main function and socialization as the subordinate functions. They were classified into future style, innovation style, analysis style, judgement style knowledge worker who are selecting combination as the main function and experiment style, intuition style, research style, learning style worker who are selecting internalization as the main function. They suggested the characteristics and cases of each type.

• Journal of the Computational Structural Engineering Institute of Korea
• /
• v.22 no.4
• /
• pp.315-322
• /
• 2009

This paper presents a novel numerical method based on the extended moving least squares finite difference method(MLS FDM) for solving 1-D Stefan problem. The MLS FDM is employed for easy numerical modelling of the moving boundary and Taylor polynomial is extended using wedge function for accurate capturing of interfacial singularity. Difference equations for the governing equations are constructed by implicit method which makes the numerical method stable. Numerical experiments prove that the extended MLS FDM show high accuracy and efficiency in solving semi-infinite melting, cylindrical solidification problems with moving interfacial boundary.

• Journal of applied mathematics & informatics
• /
• v.27 no.3_4
• /
• pp.819-827
• /
• 2009

In this paper, we introduce new pseudomonotonicity and proper quasimonotonicity with respect to a given function, and show some existence results for strong implicit vector variational inequalities by considering new generalized Minty's lemma. Our results generalize and extend some results in [1].

• International Journal of Fuzzy Logic and Intelligent Systems
• /
• v.11 no.3
• /
• pp.149-152
• /
• 2011

In this paper, we obtain common fixed point theorem for common property(E.A.) and weakly compatible functions in intuitionistic fuzzy metric space.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.28 no.8 s.227
• /
• pp.1140-1151
• /
• 2004

This paper reports on the finite elements analysis for die compaction process of cemented carbide tool parts. Experimental data were obtained under die compaction and triaxial compression with various loading conditions. The elastoplastic constitutive equations based on the yield function of Shima and Oyane were implemented into an explicit finite element program (ABAQUS/Explicit) and implicit finite element program (PMsolver/Compaction-3D) to simulate compaction response of cemented carbide powder during die compaction. For simulation of die compaction, the material parameters for Shima and Oyane model were obtained by uniaxial die compaction test. Explicit finite element results were compared with implicit results for cemented carbide powder.

• Communications of the Korean Mathematical Society
• /
• v.24 no.1
• /
• pp.41-55
• /
• 2009

A general common fixed point theorem for two pairs of weakly compatible mappings using an implicit function is proved without any continuity requirement which generalizes the result due to Popa [20, Theorem 3]. In process, several previously known results due to Fisher, Kannan, Jeong and Rhoades, Imdad and Ali, Imdad and Khan, Khan, Shahzad and others are derived as special cases. Some related results and illustrative examples are also discussed. As an application of our main result, we prove an existence theorem for the solution of simultaneous Hammerstein type integral equations.

• 제어로봇시스템학회:학술대회논문집
• /
• 1995.10a
• /
• pp.10-13
• /
• 1995

This paper considers the linear-quadratic optimal regulator problem for nonstandard singularly perturbed systems making use of the recursive technique. We first derive a generalized Riccati differential equation by the Hamilton-Jacobi equation. In order to obtain the feedback gain, we must solve the generalized algebraic Riccati equation. Using the recursive technique, we show that the solution of the generalized algebraic Riccati equation converges with the rate of convergence of O(.epsilon.). The existence of a bounded solution of error term can be proved by the implicit function theorem. It is enough to show that the corresponding Jacobian matrix is nonsingular at .epsilon. = 0. As a result, the solution of optimal regulator problem for nonstandard singularly perturbed systems can be obtained with an accuracy of O(.epsilon.$^{k}$ ). The proposed technique represents a significant improvement since the existing method for the standard singularly perturbed systems can not be applied to the nonstandard singularly perturbed systems.

• Structural Engineering and Mechanics
• /
• v.50 no.1
• /
• pp.37-52
• /
• 2014

The accurate determination of cable tension is important to the monitoring of the condition of a cable-stayed bridge. When applying a vibration-based formula to identify the tension of a real cable under sag, stiffness and boundary conditions, the resulting error must not be overlooked. In this work, by resolving the implicit frequency function of a real cable under the above conditions numerically, indirect methods of determining the cable force and a method to calculate the corresponding cable mode frequency are investigated. The error in the tension is studied by numerical simulation, and an empirical error correction formula is presented by fitting the relationship between the cable force error and cable parameters ${\lambda}^2$ and ${\xi}$. A case study on two real cables of the Shanghai Changjiang Bridge shows that employing the method proposed in this paper can increase the accuracy of the determined cable force and reduce the computing time relative to the time required for the finite element model.

• Journal of the Korean Mathematical Society
• /
• v.59 no.6
• /
• pp.1171-1184
• /
• 2022

We study the real-analytic continuation of local real-analytic solutions to the Cauchy problems of quasi-linear partial differential equations of first order for a scalar function. By making use of the first integrals of the characteristic vector field and the implicit function theorem we determine the maximal domain of the analytic extension of a local solution as a single-valued function. We present some examples including the scalar conservation laws that admit global first integrals so that our method is applicable.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.12 no.6
• /
• pp.71-80
• /
• 2002

To provide the confidentiality of messages transmitted over the network, the use of cryptographic system is increasing gradually and the hybrid cryptosystem, which combines the advantages of the symmetric cryptosystem and the public key cryptosystem is widely used. In this paper, we proposes a new hybrid cryptosystem capable of providing implicit authentication for the sender of the ciphertext by means of the 1-pass key distribution protocol that offers implicit key authentication, hash function and symmetric cryptosystem. Also, we describe some examples such as the Diffie-Hellman based system and the Nyberg-Ruppel based system. The proposed hybrid cryptosystem is an efficient more than general public key cryptosystems in the aspect of computation work and provides implicit authentication for the sender without additional increase of the communication overhead.