• The Pure and Applied Mathematics
• /
• v.25 no.3
• /
• pp.203-218
• /
• 2018

An old result of Whitehead says that the set of derivations of a group with values in a crossed G-module has a natural monoid structure. In this paper we introduce derivation of crossed polymodule and actor crossed polymodules by using Lue's and Norrie's constructions. We prove that the set of derivations of a crossed polygroup has a semihypergroup structure with identity. Then, we consider the polygroup of invertible and reversible elements of it and we obtain actor crossed polymodule.

• Journal for History of Mathematics
• /
• v.12 no.1
• /
• pp.32-44
• /
• 1999

This paper is a sequel to [8]. Development of modern logic was initiated by Boole and Morgan. Boolean logic is one of their completed works. Cantor created the set theory along with cardinal and ordinal numbers. His theory on infinite sets brought about a remarkable development on modern mathematical theory, but generated many paradoxes (e.g. Russell Paradox) that in turn motivated mathematicians to solve them. Further, mathematicians attempted to construct sound foundations for Mathematics. As a result three important schools of thought were formed in relation to fundamentals of mathematics for the resolution of paradoxes of set theory, namely logicism developed by Russell and Whitehead, intuitionism lead by Brouwer and formalism contended by Hilbert and Bernays. In this paper, we examine the logic for intuitionism which is originated by Brouwer in 1908 and study Heyting algebra.

• Molecules and Cells
• /
• v.26 no.3
• /
• pp.308-313
• /
• 2008

In animals, microRNAs (miRNAs) and small interfering RNAs (siRNAs) repress expression of protein coding genes by assembling distinct RNA-induced silencing complexes (RISCs). It has previously been shown that passenger-strand cleavage is the predominant mechanism when siRNA duplexes are loaded into Argonaute2 (Ago2)-containing RISC, while an unwinding bypass mechanism is favored for miRNA duplexes with mismatches. Here I present experimental data indicating that some mammalian miRNAs are assembled into Ago2-containing RISC by cleaving their corresponding miRNA star strands. This phenomenon may depend on the secondary structure near the scissile phosphate of the miRNA duplex. In addition, I show that ATP is not required for star-strand cleavage in this process. Taken together, the data here provide insight into the miRNA-loading mechanisms in mammals.

• Korean Institute of Interior Design Journal
• /
• v.20 no.6
• /
• pp.79-87
• /
• 2011

Spatial perception and spatial structure that focus on psychological effects produce a real force through the medium of space that can control human actions, even their psychology. The job of understanding the characteristics and effects of architectural spaces that recognize the relationship between architecture and human beings, including the psychological dimension, is an alternative search for quality spaces that can increase the mutual relationship between space and human beings. This paper introduces two propositions called "space" and "psychology" in order to discover a meta-pattern connecting space and the human mind with the aim of systematizing that internal network and establishing a new architectural system concerning space and human beings. This paper also proposes a method of accessing physical spaces that can affect psychological states through a conceptual substitution called "extension," with the aim of discovering the implications inherent in such extensive relationships and proposing a methodology of organizing psychological spaces based on the characteristics of that extensive connection. The means of extensively connecting psychological spaces were classified into the three categories of memory system, sensory system, and motor system, and their corresponding extensive connection characteristics called "simultaneous relativity," "non-mediated immediacy," and "purification process" were also derived. These characteristics accelerate the changes in psychological intensity and function as principles that organize psychological space.

• Journal of Korean Public Health Nursing
• /
• v.34 no.1
• /
• pp.99-111
• /
• 2020

Purpose: This study was conducted to verify model for predicting health promotion behavior and the health status of child care teachers based on Pender's health promotion model and Dahlgren and Whitehead's health determinants model. Methods: The data was collected from January to February 2018 from 205 child care teachers in day care centers in Seoul. Results: This model was suitable to explain the health status and health promotion behavior of child care teachers. In this study, health promotion behavior had the most direct affect on the health status of child care teachers. Health promotion behavior was directly affected by social support, self-efficacy, and depression. Job stress had an indirect affect on health promotion behavior. Conclusion: Considering the factors identified in this study that influence the health promotion behavior of child care teachers, we propose the development of interventions to improve the health status of child care teachers.

• Journal of the Korean housing association
• /
• v.16 no.2
• /
• pp.55-65
• /
• 2005

'Movement System' is made of the interaction of user and architectural spaces related to each other in order. 'Movement' meant in movement system is possible only in the status of user and architectural space together. Movement created and disappeared by the user is not subordinated to the existing architectural space but becomes the main element of formating movement system. It is required that movement conception applied to architecture should be derived from the essence of movement and this study presents the movement system. To explain the formating process of movement system, A. N. Whitehead's process philosophy theory is at the basis and transformed in architectural aspects. On basis of these theoretical backgrounds, the process of making movement system can be explained. There are unit movement, unit object, and elements for movement process as the basic requirements for movement system, each unit is apprehended by individual operation and the nexus is composed by associative operation of apprehended units. This nexus becomes the object of a new subject and forms multiple nexus. Relation of unit movement and unit object and nexus are apprehended as the continuation and extensive continuum is made. At that time, movement with multiple phases set inbetween systems and extended multiplied. Through above study, movement system is applied to Korean traditional houses.

• Transactions of the Korean Society for Noise and Vibration Engineering
• /
• v.15 no.6 s.99
• /
• pp.687-696
• /
• 2005

Acoustic power spectrum of the upstream and downstream sound field due to an isotropic frozen turbulent gust impinging on a cascade of flat plate airfoils are computed by using a analytic formulation derived from Smith's method, and Whitehead's LINSUB codes. A parametric study of the effects on sound power of the number of blades and turbulence length scale is performed with an emphasis on analyzing the characteristics of sound power spectrum. Through the comparison of the computed results of sound power, it is found that acoustic power spectrum from the 2-D cascade subject to a ingested turbulence can be categorized into two distinct regions. one is lower frequency region where some spectral components of turbulence do not contribute to the cut-on acoustic modes and therefore the effect of the cascade geometry is more dominant ; the other is higher frequency region where all of spectral components of turbulence make contributions to cut-on acoustic modes and thus acoustic power is approximately proportional to the blade number.

• Korean Journal of Microbiology
• /
• v.32 no.1
• /
• pp.12-19
• /
• 1994

KEM1 is known to control the spindle pole body or microtubule function, probably in response to the cellular nutritional conditions in Saccharomyces cerevisiae. Transposon insertions were performed in the cloned KEM1 gene using mini-Tn10-LUK element carrying E. coli ${\beta}$-galactosidase structural gene. A collection of ranfom Tn10-LUK insertions defined an approximately 3.5 kb region required for the KEM1 function. From this collection functional KEM1::lacZ protein fusions were identified. Indirect immunofluorescence using anti-${\beta}$-galacatosidase antibodies localized the KEM1::lacZ fusion protein to the periphery of the nucleus.

• Journal for History of Mathematics
• /
• v.30 no.6
• /
• pp.341-351
• /
• 2017

In the 21st century, the era of artificial intelligence, it is demanded to make a change of the paradigm of education by the recent impact of the 4th industrial revolution. The education up to now has emphasized knowledge, meanwhile the human resources for the future are required to be armed with four C's: critical thinking, creativity, communication and collaboration capability, rather than being equipped with just knowledge. That is because the future society demands such abilities, especially the creativity of each individual. At this point, we are asked to consider the aim of education and teaching methods. In school education, students are to be respected and considered able to develop their potentials by themselves. They shouldn't be estimated by tests in the process of learning as they are now. We reconsider the aim of education here by taking a look at Whitehead's opinions and the present educational situations.

• Korean Journal of Logic
• /
• v.5 no.1
• /
• pp.147-157
• /
• 2001

In this study I try to show some numerical analogy between Leibniz's binary system anc I-ching's symbolic system of duo rerum principia, imagines quator, octo figurae am 64 hexagrams. But, there is really a formal logical accordance in their symbolic foundations, on which are based especially the Wittgenstein's 16 truth-tables in his Tractatus-logico-philosophicus(5.101) am 16 hexagrams, as long as we interpret with the binary values 0 am 1, i.e. the Bi-Polarity, the logical tradition from J. Boole, G. Frege through B. Russell and AN. Whitehead to R. Wittgenstein. So, I argue that the historical and theoretical root of that tradition goes back to the debate between Bouvet and Leibniz about the mathematical structure of I-ching' symbols and the Leibnizian binary arithmetic. In the letter on 4. 11. 1701 from Peking to Leibniz, Bouvet wrote that the I-Ching's symbolism has an analogous structure with Leibniz's binary arithmetic. Corresponding to his suggestion, but without exact knowledge, in the letter of 2. January 1967 to the duke August in Braunschweig-Lueneburg-Wolfenbuettel had Leibniz shown already an original idea for the creation of the world with imago Dei which comes from binary progression, dark and light on water.