• Bulletin of the Korean Mathematical Society
• /
• v.60 no.6
• /
• pp.1453-1461
• /
• 2023

Let R be a one-dimensional Noetherian domain with quotient field K and T be the integral closure of R in K. In this note we prove that if the conductor ideal (R :_K T) is a nonzero prime ideal, then every finitely generated reflexive (and hence finitely generated G-projective) R-module is isomorphic to a direct sum of some ideals.

• Journal of the Korea Institute of Military Science and Technology
• /
• v.20 no.5
• /
• pp.647-653
• /
• 2017

In this paper, we deal with the experimental verification of 1D virtual force field algorithm based reflexive local path planning on uneven and dusty environment. The existing obstacle detection method on uneven and dusty environment and 1D virtual force field based reflexive local path planning algorithm simply are introduced. Although the 1D virtual force field algorithm is verified by various simulations, additional efforts are needed to verify this algorithm in the real-world. The introduced methods are combined with each other, installed to real mobile platforms and verified by various real experiments.

• Korean Institute of Interior Design Journal
• /
• v.19 no.1
• /
• pp.63-74
• /
• 2010

The purpose of this research aims to retrieve the communication which is the essential publicness in the built environment design and the self-management which is the original value in terms of sociology. To examine this, the way in which the characters of the design of the publicness have been changed will be concentrated on in the public area since 1980s, Particularly, this research has been focused on the Second modernity design which is against the aggressive utopia - oriented modernization and Reflexive Modernization which has been mentioned by Anthony Giddens, Ulich Beck, and especially Scott Lash. Also, to understand Reflexive Modernization, the realism art in the view point of the objective recognition of modernity and identity emphasized by Scott Lash will be examined. Through the analysis of the Nene Sachlichkeit which is a part of the realism art, how the reflection of the design can be the function of the design will be addressed and some examples will be analyzed in terms of communications and self-education in the design of the publicness. Thus, Contemporary Built Environment Design features are categorized into universality, objectivity, and rationality; it reaches that the past Neue Sachlichkeit meets the spirit of art; it concludes that the efforts of the reflection of the modernity, intensity and development in design are the challenges for the purpose of the design of the publicness.

• Proceedings of the Korean Society for Language and Information Conference
• /
• 1983.02a
• /
• pp.77-108
• /
• 1983

• Journal of computational fluids engineering
• /
• v.11 no.3 s.34
• /
• pp.14-21
• /
• 2006

A numerical simulation of the binary collision dynamics of water drops for size ratios of 1 and 0.75, for the Weber number range of 5 to 100, and for all impact parameter is reported. Two different types of separating collisions, namely reflexive and stretching separations, are identified. A numerical method is based on a fractional-step method with a finite volume formulation and the interface is tracked with Volume of Fluid(VOF) method, including surface tension. Numerical results for size ratios 1 and 0.75 are reasonablely compared with Ashgriz and Poo's experimental results.

• Proceedings of the KIEE Conference
• /
• 1991.07a
• /
• pp.888-891
• /
• 1991

In this paper, we have shown a new approach of neural networks for mobile robot motion control under an indoor refracted environment. The vehicle has two powered wheels and four passive casters which support a free motion. And it also uses sonar sensors, infrared sensors, Internal odometer, and contact sensors. Two experiments were conducted to demonstrate our objectives. The first one is that the vehicle executes a reflexive motor control to maintain a constant distance to the boundary. The second one is that as well as the boundary following, the vehicle makes a block obstacle avoidance during its path. Without prior knowledge of external environment. we have accomplished the tasks by employing a simple, reactive stimulus-response neural network scheme associating sensor data with the vehicle's action.

• Journal of applied mathematics & informatics
• /
• v.28 no.1_2
• /
• pp.99-107
• /
• 2010

This paper is a study about the relationships among topologies and intuitionistic fuzzy topology induced, respectively, by approximation operators and an intuitionistic fuzzy approximation operator associated with an approximation space (X, R), when the relation R on X is precisely reflexive and transitive. In particular, we consider an intuitionistic fuzzy approximation operator on an approximation space X (i.e., a set X with a reflexive and transitive relation on it), which turns out to be an intuitionistic fuzzy closure operator. This intuitionistic fuzzy closure operator gives rise to two saturated fuzzy topologies on X and it turns out that all the level topologies of one of the fuzzy topology coincide and equal to the topology analogously induced on X by a crisp approximation operator. These observations are then applied to intuitionistic fuzzy automata.

• Honam Mathematical Journal
• /
• v.29 no.4
• /
• pp.523-533
• /
• 2007

Let $\cal{B}$ be a reflexive Banach space of functions analytic on the open unit disc and M be an invariant subspace of the multiplication operator by the independent variable, $M_z$. Suppose that $\varphi\;\in\;\cal{H}^{\infty}$ and $M_{\varphi}$ : M ${\rightarrow}$ M, defined by $M_{\varphi}f={\varphi}f$, is the operator of multiplication by ${\varphi}$. We would like to investigate the spectrum and the essential spectrum of $M_{\varphi}$ and we are looking for the necessary and sufficient conditions for $M_{\varphi}$ to be a Fredholm operator. Also we give a sufficient condition for a sequence $\{w_n\}$ to be an interpolating sequence for $\cal{B}$. At last the commutant of $M_{\varphi}$ under certain conditions on M and ${\varphi}$ is determined.

• Korean Journal of English Language and Linguistics
• /
• v.4 no.1
• /
• pp.61-81
• /
• 2004

This paper will look at some grammatical phenomena which will illustrate some of the questions that can be addressed with a corpus-based approach. We will use this approach to investigate the following subjects in English grammar: number ambiguity, subject-verb concord, concord with measure expressions, and (reflexive) pronoun choice in coordinated noun phrases. We will emphasize the distinctive features of the corpus-based approach, particularly its strengths in investigating language use, as opposed to traditional descriptions or prescriptions of structure in English grammar. This paper will show that a corpus-based approach has made it possible to conduct new kinds of investigations into grammar in use and to expand the scope of earlier investigations. Native speakers rarely have accurate information about frequency of use. A large representative corpus (i.e., The British National Corpus) is one of the most reliable sources of frequency information. It is important to base an analysis of language on real data rather than intuition. Any description of grammar is more complete and accurate if it is based on a body of real data.

• Journal of the Korean Institute of Telematics and Electronics B
• /
• v.33B no.9
• /
• pp.1-12
• /
• 1996

In this paper, we propose an adaptive gait by which a quadruped walking robot can walk against external disturbances. This adaptive gait mechanism makes it possible for a quadruped walking robot to change its gait and accommodate external disturbances form various external environmental factors. Under the assumption that external disturbances can be converted to an external force acting on the body of a quadruped walking robot, we propose a new criterion for the stability margin of a waling robot by using an effective mass center based on the zero moment point under unknown external force. And for a solution of an adaptive gait against external disturbances, an method of altitude control and reflexive direction control is suggested. An algorithmic search method for an optimal stride of the quadruped mehtod, the gait stability margin of a quadruped walking robot is optimized in changing its direction at any instance for and after the reflexive direction control. To verify the efficiency of the proposed approach, some simulaton results are provided.