• Journal of the Korean Mathematical Society
• /
• v.51 no.3
• /
• pp.527-543
• /
• 2014

The theory of random variable structures was first studied by Ben Yaacov in [2]. Ben Yaacov's axiomatization of the theory of random variable structures used an early result on the completeness theorem for Lukasiewicz's [0, 1]-valued propositional logic. In this paper, we give an elementary approach to axiomatizing the theory of random variable structures. Only well-known results from probability theory are required here.

• East Asian mathematical journal
• /
• v.21 no.2
• /
• pp.249-260
• /
• 2005

Experimentation using computer plays an important part in education and research in graph theory. The purpose of this paper is to develop the CAS techniques for the hands-on approach in graph theory specifically on the topic of constructing the spanning tree. This paper discusses the advantages of CAS as the software system for doing graph theory and introduces the software solutions integrating multimedia user interface developed by the author, which extend the functionality of the existing CAS-based graph theory software package.

• Journal of the korean Society of Automotive Engineers
• /
• v.13 no.3
• /
• pp.58-67
• /
• 1991

A theory of continuum damage mechanics based on the theory of materials of type N was developed and its nonlinear finite element approximation and numerical simulation was carried out. To solve the finite elastoplasticity problems, reasonable kinematics of large deformed solids was introduced and constitutive relations based on the theory of materials of type-N were derived. These highly nonlinear equations were reduced to the incremental weak formulation and approximated by the theory of nonlinear finite element method. Two types of problems, compression moulding problem and pure bending problem, were solved for aluminum 2024.

• Proceedings of the Korea Technology Innovation Society Conference
• /
• 1999.11c
• /
• pp.163-177
• /
• 1999

Science and technology are regarded as public goods and knowledge in traditional innovation theory. Also, linear innovation model and technological determinism are derived from its theory. This is changed, however, in new innovation theory. Social shaping of technology is emphasized and interaction, network, system characters of innovation process are involved in its theory.

• Cross-Cultural Studies
• /
• v.32
• /
• pp.167-179
• /
• 2013

This paper focuses on a sociologic approach, the theory of planned behavior (Ajzen 1991) and a sociolinguistic field, the language shift (Fishman 1991, Crystal 2000). It describes the theoretical background of language shift and briefly mentions the history of Hungarian language and Romanian language contacts. After presenting language use of the Hungarian minority students and explaining the theory of planned behavior, it turns to apply the theory of planned behavior to the language shift from the view of bilingual speaker(s). This paper wants to propose the application of the theory of planned behavior in language shift and open new perspective in bilingual research.

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

The recent work of Hopkins, Kuhn and Ravenel [H-K-R] indicates the Morava K-theory, $K(n)^*(-)$, occupy an important and fundamental place in homology theory. In particular $K(n)^*(BG)$ for classifying spaces of finite groups are studied by many authors [H-K-R], [R], [T-Y 1, 2] and [Hu].

• Korean Journal of Mathematics
• /
• v.17 no.3
• /
• pp.331-340
• /
• 2009

We show the existence of nonconstant periodic solution for the nonlinear Hamiltonian systems with some nonlinearity. We approach the variational method. We use the critical point theory and the variational linking theory for strongly indefinite functional.

• Communications of the Korean Mathematical Society
• /
• v.11 no.3
• /
• pp.585-593
• /
• 1996

We make the definition of hermitian K-theory for nonunital rings which makes as many senses as possible. We next show that the excision property in rational hermitian K-theory implies the nullity of rational $H B^-$-homology which is the antisymmetric part of Bar homology.

• Lingua Humanitatis
• /
• v.6
• /
• pp.33-48
• /
• 2004

Luce Irigaray, a French feminist psychoanalyst, criticizes the Lacanian psychoanalytic theory for its patriarchical basis on the masculine power and authority. In the article, we examine Lacanian psychoanalytic sexual differences at the standpoint of Irigaray's psychoanalytic theory. In contrast, we defend Lacanian theory from the perspective of semiotics.

• Publications of The Korean Astronomical Society
• /
• v.26 no.2
• /
• pp.55-70
• /
• 2011

Cosmological linear perturbation theory has fundamental importance in securing the current cosmological paradigm by connecting theories with observations. Here we present an explanation of the method used in relativistic cosmological perturbation theory and show the derivation of basic perturbation equations.