• Proceedings of the Korea Information Processing Society Conference
• /
• 2001.10a
• /
• pp.409-412
• /
• 2001

보안업무는 모든 군 업무를 최상위 수준에서 관할하는 업무이다. 하지만 지금까지 전산화를 이루지 못한 문제점을 갖고 있었다. 본 논문은 군 보안업무 전산화를 위해 개발 중인 보안업무 관리 시스템의 사용자 요구사항 분석과정을 다룬 것이다. 보안업무 관리 시스템의 요구사항 분석을 위해 객체 모델링의 쓰임새를 이용한 분석방법론을 적용하여, 사용자 요구사항 정의에서 시나리오 작성까지의 과정을 통해 적절히 요구사항을 분석함으로써, SMS의 시스템 모델을 제시하고 요구사항 분석에서 쓰임새 중심의 유효성을 증명하였다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2014.11a
• /
• pp.1177-1180
• /
• 2014

본 논문은 생산설비 PLC(Programmable logic Controller) 데이터의 실시간 공유 플랫폼을 설계한다. 이 플랫폼은 자동화 설비를 보유하고 운영 중인 수출집약 중소기업에서 FTA(Free Trade Agreement) 체결 수입 상대국의 원산지 증명을 위한 생산 시험성적서 제출에 활용할 수 있고, 생산설비의 OPC 서버가 갖는 실시간 데이터를 수집하는 라이브러리를 활용하여 MES(Manufacturing Execution System)에서 생성되는 다양한 실시간 데이터를 활용하여 그래프, 생산관리 모니터링 및 설비 관리를 가능케한다. 따라서 중소기업이 생산관리, 공정관리, PLC 데이터공유 등에 필요한 수준별 분야별로 실시간 제조운영관리 시스템의 확대 보급이 가능하고, 생산설비의 실시간 제어가 가능하도록 설계한다.

• Communications of Mathematical Education
• /
• v.23 no.4
• /
• pp.1059-1078
• /
• 2009

In this paper we study metric equalities related with distance between excenter and other points of triangle. Especially we find metric equalities between excenter and incenter, circumcenter, center of mass, orthocenter, vertex, prove these formulas, and transform these formulas into new formula containing another elements of triangle. We in detail describe proof process of these equalities, indicate references of some formulas that don't exist within secondary school curriculum.

• Communications of Mathematical Education
• /
• v.24 no.1
• /
• pp.145-158
• /
• 2010

In this paper we study tetrahedron's properties related with center of inscribed sphere using the center of mass. We show that the center of mass of four mass points (A,a), (B,b), (C,c), (D,d) coincide with center of tetrahedron's inscribed sphere, suggest equalities and inequalities related with center of inscribed sphere, and prove theses using the center of mass. Our results can be used in research and education programs, various types of gifted student education.

• Journal of Korea Multimedia Society
• /
• v.10 no.5
• /
• pp.631-641
• /
• 2007

The domestic game market is developmental in the form which is strange produces only the MMORPG. But the level of the intelligence elder brother character is coming to a standstill as ever. It uses a gene algorithm and the neural network from the dissertation which it sees and embodies the character which has a more superior intelligence the plan which to sleep and it presents it does. When also currently it is used complaring different artificial intelligence technologies and this algorism from the MMORPG, the efficiency proves is not turned over and explains the concrete algorithm it will be able to apply in the MMORPG and an embodiment method.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2009.04a
• /
• pp.950-953
• /
• 2009

컴퓨팅 및 네트워크 기술이 발전함에 따라 그리드 응용의 복잡도 및 컴퓨팅 요구사항이 커지게 되었으며, 이로 인해 그리드 워크플로우 관리 기술의 중요성이 더욱 부각되었다. 이러한 복잡한 그리드 응용을 위해 다양한 그리드 워크플로우 관리 시스템이 개발되었으나 사용자의 요구사항에 대한 고려, 안정성 그리고 사용자와의 상호작용 등의 기능이 부족하였으며 특히 자원관리 기능에 대한 지원이 부족하였다. 본 논문에서는 기존의 응용 친화적인 워크플로우 관리 시스템과 그리드 워크플로우 관리 시스템을 정책 기반 메커니즘을 이용, 통합하여 새로운 Hybrid 형태의 워크플로우 관리 시스템을 제안하였으며, 제안하는 방법이 어떻게 사용자의 요구수준을 만족시킬 수 있는지를 서술하고 이를 대사증후군을 위한 질병진단 시스템에 적용하여 실험적으로 증명하였다.

• Journal of Educational Research in Mathematics
• /
• v.13 no.2
• /
• pp.159-178
• /
• 2003

This study analyzes on the reasoning in the process of justification and mathematical problem solving in our primary mathematics textbooks. In our analyses, we found that the inductive reasoning based on the paradima-tic example whose justification is founnded en a local deductive reasoning is the most important characteristics in our textbooks. We also found that some propositions on the properties of various quadrangles impose a deductive reasoning on primary students, which is very difficult to them. The inductive reasoning based on enumeration is used in a few cases, and analogies based on the similarity between the mathematical structures and the concrete materials are frequntly found. The exposition based en a paradigmatic example, which is the most important characteristics, have a problematic aspect that the level of reasoning is relatively low In Miyazaki's or Semadeni's respects. And some propositions on quadrangles is very difficult in Piagetian respects. As a result of our study, we propose that the level of reasoning in primary mathematics is leveled up by degrees, and the increasing levels are following: empirical justification on a paradigmatic example, construction of conjecture based on the example, examination on the various examples of the conjecture's validity, construction of schema on the generality, basic experiences for the relation of implication.

• Journal of Life Science
• /
• v.27 no.5
• /
• pp.579-583
• /
• 2017

Tetragonia tetragonioides seems to be a promising antiulcer medicinal plant due to the presence of water-soluble polysaccharide and cerebroside as its major constituents. There have been no previous studies using T. tetragonioides polysaccharide extract (TPE) to assess its antidiabetic effect in streptozotocin (STZ)-induced diabetes in mice. This study was designed to evaluate the antidiabetic effect of TPE in diabetic mice, which was established by one-week intraperitoneal injection of 65 mg/kg STZ. After three weeks of TPE treatment at a dose of 100 mg/kg, a maintenance of body weight, a decrement in plasma glucose, and low levels of triglyceride, lactate dehydrogenase, alkaline phosphatase, and glutamic pyruvic transaminase were observed in diabetic mice. Furthermore, the ingestion of TPE lowered the blood glucose levels during the oral glucose tolerance test (OGTT) and restored most of the tested parameters to their normal levels. Therefore, the antidiabetic potential of T. tetragonioides has been demonstrated for the first time by our research.

• The Journal of the Korea Contents Association
• /
• v.11 no.5
• /
• pp.291-301
• /
• 2011

This research describes the comparison broker's role and its effectiveness measurement framework of comparison shopping. We verified seller-led comparison challenge method provide comparison information of products to buyers more efficiently. Buyer's satisfaction of purchase (S) can be defined as an interactive function between seller's competitiveness vector (P) of products that supplied to the market, and buyer's informed level vector (B) of products that is known from a lot of sources. Then the buyer's informed level can be changed through the information analysis among products by transformation process using comparison matrix (C). So the role of comparison shopping is to construct a comparison matrix and to serve it to the buyers, and to change the buyer's informed level. The changed informed level influences a buyer's satisfaction, that improved satisfaction of purchase is defined as the effectiveness of comparison shopping. As a perfect construction and usage of comparison matrix is impossible, a more efficient method for improving the comparison effectiveness is the comparison challenge. This research shows that comparison shopping makes 9.32% and comparison challenge makes 19.11% enhancement of comparison effectiveness through television market data experiments.

• Journal of Digital Convergence
• /
• v.16 no.1
• /
• pp.439-452
• /
• 2018

This study aims to empirically structure the patterns of consumption and their effects on depression among the employed baby-boomers who were born in 1955 to in 1963. We used the 5th wave of Korea Retirement and Income Study(KReIS) in 2013 (n=2,585). The Latent Profile Analysis(LPA) estimated the empirical patterns of consumption and then a multiple regression analyzed the effect of consumption patterns on depression. The LPA results showed that the consumption patterns consist of four groups: Basic life-oriented class, Social life-oriented class, Home-based lifestyle class, and Advanced consumption-oriented class. The working baby boomers' depression was associated with their consumption patterns. Specifically, the social life-oriented class showed significantly lower depression than the basic life-oriented class and advanced consumption-oriented class. Other associates with higher levels of depression were found as lower education, having no spouse, lower self-rated health, higher levels of physical limitation, having a diagnosed disability, lower satisfaction with leisure activities, lower income, and lower subjective economic status in this study. Based on the results of this study, we propose the need for specialized financial intervention better for baby-boomers' retirement preparation in Korea.