• Proceedings of the Korean Vacuum Society Conference
• /
• 2015.08a
• /
• pp.200.2-200.2
• /
• 2015

모바일 기기의 성장세로 인해 낸드 플래시 메모리에 대한 수요가 급격히 증가하면서 높은 집적도의 소자에 대한 요구가 커지고 있다. 그러나 소자의 크기가 작아지면서 비례 축소로 인한 게이트 누설 전류, 셀간 간섭, 단 채널 효과 등과 같은 문제들이 발생한다. 이에 따라 제한된 공간에서의 coupling ratio값이 증가해야 하는 문제가 주목 받으면서 얇은 절연층에 대한 많은 연구가 진행되고 있다. 본 연구에서는 절연층 구조를 비대칭으로 사용한 낸드 플래시 메모리의 누설전류의 변화와 coupling ratio값의 변화를 관찰하였다. 비대칭 절연층 구조를 가지는 낸드 플래시 메모리의 전기적 특성을 멀티 오리엔테이션 모델을 포함한 3차원 TCAD 시뮬레이션을 이용하여 계산하였다. 메모리 소자가 각 셀 간의 절연층을 가질 때 낮은 셀 간 간섭과 높은 coupling ratio 값을 가진다. 절연층의 구조 높이와 방향의 두께가 증가 할수록 게이트 누설 전류의 값이 크게 줄어들었다. 또한 비대칭 절연층 구조의 플래시 메모리에서 플로팅 게이트의 on-current 레벨과 전위 값이 기존의 플래시 메모리에 비해 크게 나타나는 시뮬레이션 결과값을 관찰하였다. 비대칭 절연층 구조를 가지는 플래시 메모리는 게이트 누설 전류에 영향을 미치는 절연층 주위의 전기장의 값이 기존 구조에 비해 약 30% 감소하였고 같은 프로그램 동작 전압에서 플로팅 게이트에 주입되는 전하의 양 또한 증가하였다. 이 연구 결과는 낸드 플래시 메모리 소자에서 게이트 누설 전류 문제를 감소시키고 프로그램 특성을 증진시키는데 도움이 된다.

• Computational Structural Engineering
• /
• v.10 no.3
• /
• pp.185-193
• /
• 1997

The order of the stress singularity that occurs at the termination of an interface between materials exhibiting bilinear stress-strain response under plane strain conditions has been calculated, The governing equation of elasticity together with traction-free boundary condition and interface continuity condition defines a two-point boundary value problem. The stress components near the free edge are assumed to be proportional to r/sup s-1/, with solutions existing only for certain values of s. Finding these values entails the solution of an eigenvalue problem. Because it has been impossible to integrate the differential equations analytically, the integration has been performed numerically with a shooting method coupled with a Newton improvement scheme.

• Review of KIISC
• /
• v.13 no.5
• /
• pp.113-122
• /
• 2003

현대는 인터넷과 컴퓨터 없이는 잠시도 운용될 수 없는 사회이지만 이를 불법적으로 이용한 범죄행위도 점차 증가하고 있다. 이들 컴퓨터 범죄는 익명성에 기반한 대담성을 보이고 있으며, 개인의 사회적 존재로써의 자각에 있어서도 탈개인화됨에 따라 더 많은 우려를 낳고 있다. 이에 따라 일반 컴퓨터 사용자들의 프라이버시 보호를 위한 방법으로 암호화 방법을 점점 더 많이 사용하고 있는데, 이에 비례해 범죄자들의 암호사용도 증가하고 있다. 그렇다면, 범죄자들이 암호를 사용해 자신들의 범죄증거를 숨기고 있는 경우, 이를 수사하기 위해 공권력 및 수사기관은 어떻게 해야 될 것인가\ulcorner 본 논문은 이러한 문제제기를 통해 새로운 환경에 의해 변화된 코드를 활용하는 새로운 법제도를 통한 적극적인 대비방안을 모색해 보고자 한다. KLS와 같은 신기술을 수사기관 및 법집행기관이 신중하게 사용하여 국가의 법 집행력과 프라이버시권이라는 두 가지 근본 가치의 균형을 이룰 수 있는 방안을 고려하여야 할 것이다. PRIVACY와 SECURITY라는 동전의 양면은 현실생활의 법제도를 그대로 옮겨놓는 것만으로는 한계가 있다. 현재 암호와 관련한 보든 논의는 공론화 되지 못하고있다. 좀 더 공개적으로 암호를 사용한 범죄 행위에 대한 현황과 또 이를 대처한 수사기관의 수사 활동에 대해 논의하고, 그 과정에서 어떤 문제점들이 발생되고 있으며, 이들 문제를 해결하기 위해 필요한 조치들이 무엇인지에 대해 논의하고, 해외 각 국은 이 문제를 해결하기 위해 어떠한 노력들을 기울이고 있는지 살펴본후 종합적인 안목으로 시의 적절한 대책을 세우는 시발점이 되었으면 한다.

• School Mathematics
• /
• v.12 no.4
• /
• pp.473-491
• /
• 2010

In the TIMSS assessment goal and open TIMSS 2007, Singapore recorded a lower overall achievement level compared with Korea; however, the excellent results shown by Singapore furnished an opportunity for various countries to research into the education in Singapore. This paper conducted a comparative analysis of the "Proportion, Proportional Expression, and Percentile" area out of the three topics involving "Fractions and Decimals", "Proportion, Proportional expression, and Percentile", and "Measurement", in all of which Singapore exhibited a higher percentage of correct answers than Korea. The paper was able to discover the following differences through a comparative analysis of how Korean and Singaporean textbooks deal with the open questions of TIMSS 2007 after looking into them according to four assessment goals. First, the Singaporean textbook introduced the concept of proportion one year ahead of the Korean textbook. Second, the Singaporean textbook repeatedly coped with the topic of "Proportion, Proportional Expression, and Percentile" in depth and by academic year, and its volume was larger than that of the Korean textbook. Third, there was a difference in the introduction and definition of the concept of proportion. Fourth, the way of introducing a proportional expression was also different, and the Singaporean textbook proposed many more questions that utilize this expression in ordinary life. Based on these differences, the paper suggested implications that could be applied to the Korean curriculum and textbook.

• Bulletin of the Society of Naval Architects of Korea
• /
• v.27 no.3
• /
• pp.38-46
• /
• 1990

A numerical solution method of the boundary integral equation for axisymmetric potential flows is presented. Those are represented by ring source and ring vorticity distribution. Strengths of ring source and ring vorticity are approximated by linear functions of a parameter $\zeta$ on a segment. The geometry of the body is represented by a cubic B-spline. Limiting integral expressions as the field point tends to the surface having ring source and ring vorticity distribution are derived upto the order of ${\zeta}ln{\zeta}$. In numerical calculations, the principal value integrals over the adjacent segments cancel each other exactly. Thus the singular part proportional to $\(\frac{1}{\zeta}\)$ can be subtracted off in the calculation of the induced velocity by singularities. And the terms proportional to $ln{\zeta}$ and ${\zeta}ln{\zeta}$ can be integrated analytically. Thus those are subtracted off in the numerical calculations and the numerical value obtained from the analytic integrations for $ln{\zeta}$ and ${\zeta}ln{\zeta}$ are added to the induced velocity. The four point Gaussian Quadrature formula was used to evaluate the higher order terms than ${\zeta}ln{\zeta}$ in the integration over the adjacent segments to the field points and the integral over the segments off the field points. The root mean square errors, $E_2$, are examined as a function of the number of nodes to determine convergence rates. The convergence rate of this method approaches 2.

• The Korean Journal of Air & Space Law and Policy
• /
• v.26 no.2
• /
• pp.3-39
• /
• 2011

People may operate unmanned aerial vehicles (UAVs or drones) thousands of miles from the drone's location. Drones were first used (like balloons) for surveillance. By 2001, the United States began arming drones with missiles and using them to strike targets during combat in Afghanistan. By mid-2010, over forty states and other entities possessed drones, many with the capability of launching missiles and dropping bombs. Each new development in military weapons technology invites assessment of the relevant international law. This Insight surveys the international law applicable to the recent innovation of weaponizing drones. In determining what international law rules govern drone use, the most salient feature is not the fact that drones are unmanned. The fact drones carry no human operator may be the most important new technological breakthrough, but the key feature for international law purposes is the type of weaponry drones carry. Whether law enforcement rules govern drone use depends on the situation and not necessarily who is operating the drone. Battlefield weapons may also be lawfully used before an armed conflict in the following situations: when initiating self-defense under Article 51 of the United Nations Charter; when authorized by the UN Security Council; when a government seeks to suppress internal armed conflict; and, perhaps, when a state is invited to assist a government in suppressing internal armed conflict. The rules governing resort to force in self-defense are found in Article 51 of the UN Charter and a number of decisions by international courts and tribunals. Commentators continue to debate whether drone technology represents the next revolution in military affairs. Regardless of the answer to that question, drones have not created a revolution in legal affairs. The current rules governing battlefield launch vehicles are adequate for regulating resort to drones. More research must be undertaken, however, to understand the psychological effects of deploying unmanned vehicles and the effects on drone operators of sustained, close visual contact with the aftermath of drone attacks.

• Journal of Korean Society of Transportation
• /
• v.17 no.4
• /
• pp.47-58
• /
• 1999

The Purpose of this Paper is to develop a multi-period bus scheduling model, in which a decomposition technique is applied. In general a bus scheduling requires a vast amount of calculation. Thus, a bus scheduling is a very complicated problem even with a single depot and is almost unable to obtain the optimal solution theoretically with many depots. In this paper in order to simplify the problem, the whole operating hours of a day are partitioned into several time periods. In one period, the same headways are maintained. For one period, the bus scheduling is simple and the solution applying the FIFO(First-In, First-Out) Principle is the optimal. However, connection between Periods remains as another scheduling Problem with a reduced problem size. This paper suggests how to connect bus schedules of consecutive periods efficiently, minimizing the operating cost. Through case studies for multiple routes with a single depot, this decomposition technique is proved to be effective practically.

• Journal of The Korean Association For Science Education
• /
• v.24 no.5
• /
• pp.977-986
• /
• 2004

The purpose of this study was to investigate the general transfer effects of Thinking Science program on the problem solving with compensational reasoning of the elementary school students. For this study, 156 5th grade and 138 6th grade students were selected from four elementary schools. The students were tested with SRT(Science Reasoning Task) and compensational reasoning task. Statistically significant gains on the development of compensational reasoning were shown by the experimental group implemented with Thinking Science activities compared to the group implemented with compensation activity only. The achievement of the experimental group was higher than that of the compensation activity group in solving problem with compensational reasoning, specially for the boys and students in both the mature concrete and the concrete generalization stage. The results of this study implied that implementation of Thinking Science program related to several formal reasoning were effective for the development of reasoning ability as a general-transfer.

• The Journal of Korean Philosophical History
• /
• no.35
• /
• pp.385-413
• /
• 2012

This thesis is a study on the relation of between Xiangshu Zhouyi Theory and mathematics, Zhouyi Theory as the one of the study of Chinese classics, was formed by Zhouyi' Eight Diagrams, the theory of Yinyangwuxing and the knowledge of natural science in Han dynasty. 'Xiangshu' had been regarded as the important concept and theory in the history of Zhouyi Theory From the beginning of Han dynasty to the end of Qing dynasty. At this developing of this Periodical Change, 'Xiangshu' had been endoded in the expression system of mathematics. This thesis considers binary system and surplus nembers, multiple and progression, magic square and circular constant, a proportional expression from Zhouyi Theory point of view. Xiangshu Zhouyi theory got the answer of these questions like the origin of Zhouyi, interpreting Guayao-word and Cosmology by using those expression systems of mathematics. Besides mathematics, Xiangshu Zhouyi theory was also related to astronomy, medicine, etc. Xiangshu Zhouyi theory had kept the pace with the general development of natural science. This thesis from the premise that Xiangshu Zhouyi theory kept the pace with natural science, summing up the mathematical expression system in the history of Zhouyi theory, proves that Xiangshu Zhouyi theory had developed according as the conditions of natural science.

• Proceedings of the Korea Institutes of Information Security and Cryptology Conference
• /
• 2003.07a
• /
• pp.17-20
• /
• 2003

안전하고 안정적인 그룹통신은 최근 그룹 및 그룹 구성원간의 협조가 필요한 응용 분야가 발전하면서 점차 그 필요성이 대두되고 있다. 이 중 가장 중요한 문제는 그룹내의 키 관리 문제이다. 중앙에 의존하는 키 관리 방식의 경우 대용량의 멀티캐스트 그룹에 어울리는 반면 중앙 센터 없이 구성원간의 협조에 의하여 이루어지는 그룹의 경우 분산키 관리 방법, 즉 그룹키 합의 방법이 필요하다. 기존의 그룹 키 합의 방법들은 계산량의 효율성에 치중한 연구만을 해왔다. 한 가지 예외로 STR 프로토콜［4］은 디피-헬만 프로토콜을 키 트리에 응용하고 키 트리가 한쪽으로 치우친 구조를 가지고 있어 통신량을 최적화하고 있다. 하지만 계산량에 있어서 그룹 멤버의 변경 시 현재 그룹 구성원의 수에 비례한 계산량이 필요하다. 본 논문에서는 pairing을 응용하여 STR 키 합의 방식에 계산량에 있어서 효율성을 제공하고 통신 효율성을 유지하며 그룹키를 인증할 수 있는 방식을 제시한다.