• School Mathematics
• /
• v.1 no.1
• /
• pp.95-107
• /
• 1999

In this study, we tried to make clear the meaning of implication, and inquired into Piaget's theory on the development of children's logical thinking focussing on implication. Because the progressive development of the notion of implication is very important to learn the meaning of conditional proposition, we searched a sequence for the learning implication on basis of Piaget's theory.

• International Journal of Safety
• /
• v.6 no.2
• /
• pp.13-16
• /
• 2007

This study focuses on the trends and issues of improving safety management of elevators in Korea. Frequency and severity of accidents in relation to conditional pass in periodic inspection, maintenance, market surveillance are analyzed based on the statistical data and social cost due to a variety of related fields in managing elevator safety was estimated first. The results of statistical analysis performed in this study will provide logical basis and future direction for improving the safety management system. The role of certification and supervision is particularly addressed to reduce the related accidents and the social cost. The effectiveness of such procedures can be found from the results of simple statistical analysis.

• Journal for History of Mathematics
• /
• v.24 no.4
• /
• pp.21-31
• /
• 2011

In this paper I claim that Lobachevsky's philosophy of mathematics is a kind of reservoir of contemporary philosophy of mathematics. I discuss how his philosophy contributed to the rise of non-Euclidean geometry.

• Bulletin of the Korean Mathematical Society
• /
• v.34 no.2
• /
• pp.193-198
• /
• 1997

In order to research the logical system whose propositional value is given in a lattice, Y. Xu [4] proposed the concept of lattice implication algebras, and discussed their some properties in [3] and [4]. Y. Xu and K. Qin [5] introduced the notions of filter and implicative filter in a lattice implication algebra, and investigated their properties. In this paper, in the first place, we give an equivalent condition of a filter, and provide some equivalent conditions that a filter is an implicative filter in a lattice implication algebra. By using these results, we construct an extension property for implicative filter.

• The Korean Journal of Applied Statistics
• /
• v.7 no.1
• /
• pp.113-119
• /
• 1994

Logical and frequency probabilities are computed with discussion on their conceptual difference for the case of '14-faces dice' which was excavated in a Unified Silla period pond Anap-chi located at Kyung-ju City, Korea. This wooden dice has eight triangular and six square faces.

• Proceedings of the IEEK Conference
• /
• 1998.06a
• /
• pp.883-886
• /
• 1998

We introduce a high level synthesis methodlogoy for automatic synthesis of asynchronous circuits form a language based on CSP. The input language is a high level concurrent algorithmic specification that can model complex concurrent control flow, logical and arithmetic computation and communications between them. This specification is translated into petri net which has actions. These actions are refined to synthesize the controllers and to allocate the data resources. We use the automatic synthesis through signal transition graphs (STGs) that allows to take advantage of logic synthsis methods to optimize the circuit.

• Proceedings of the Optical Society of Korea Conference
• /
• 2005.02a
• /
• pp.162-163
• /
• 2005

One of the most important things in EPON(Ethernet Passive Optical Network) is that ONUs(Optical Network Units) have to share a channel in upstream direction. We proposed a new algorithm of Dynamic Bandwidth Allocation using Multiple LLID(Logical Link IDentifier). We show how to allocate bandwidth in Queues for improving performance from Bandwidth using Multiple LLID.

• 제어로봇시스템학회:학술대회논문집
• /
• 1988.10a
• /
• pp.390-395
• /
• 1988

The implementation of MAP(Manufacturing Automation Protocol) NIU(network interface uint) is studied and presented in this paper. Hardwares and system softwares for network management, user interface, and medium access control are developed. Also LLC(Logical Link Control) protocol is implemented. Afterwards, The operations of NIU using self-test functions are tested. Compatibility between interfaces according to IEEE 802.4 standard is also tested.

• Journal of the Korean Home Economics Association
• /
• v.33 no.4
• /
• pp.235-249
• /
• 1995

The first purpose of this study was to review literatures on marital intimacy. The second purpose was to develop a theory-derived scale to measure marital intimacy. From an original lists of 32 items developed from literatures, the survey was practiced. The data were collected from 344 married adults who had been married more than 5 years. Through this process, a final lists of 19 item scale that were covering 4 different aspects of affectional, sexual, committed, cognitive marital intimacy yielded. reliability estimate assessed by Cronbach's coefficient is .903. Content Validity was evidenced by jury logical opinions. Construct Validity was tested in relation to Spanier's DAS scale.

• Proceedings of the Korea Society of Mathematical Education Conference
• /
• 2010.04a
• /
• pp.249-259
• /
• 2010

This report is intended to document beliefs that engineers working as senior high school teachers have in Mexico. Documents come from the analysis of answers provided for two tasks contained in a questionnaire: one of them is marking statements as true or false in relation to the derivative function; the second one is about solving different problems: calculation of derivative of piecewise functions and the calculation of maximum and minimum of a polynomial function. Results show the strengths, quasi-logical relations and grouping which are verified in their system of beliefs and knowledge.