• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.9 no.6
• /
• pp.1333-1340
• /
• 2005

This paper is based on the study to reduce a system panic state. A panic state could be caused by a programmer or an administrator's careless mistake. The proposed hardening Operating System of this paper stops the process which is running in the kernel with an error. The error process for the value type and the address type of a certain variable have to be restored. Installed with kernel hardening, Operating System checks the recovery possibility of the process first and then restores the process which can be recovered. When it is possible to recover the kernel code with an error, it is to be recovered in ASSERT() function.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2006.05a
• /
• pp.1359-1362
• /
• 2006

본 논문은 리눅스 커널 운영체제에서 커널 개발자의 실수나 의도하지 않은 오류 및 시스템 오류로 인하여 발생되는 시스템 정지 현상을 줄이기 위한 커널 하드닝 기능을 설계한다. 본 논문에서 제안하는 커널 하드닝 기능은 문제가 발생한 커널 부분을 수행 중인 프로세스에 대한 동작을 정지시키는 기능과 오류가 발생한 코드에 대한 변수 값이나 주소 값이 가진 특정한 값을 복구시키는 기능을 가진다. 커널 하드닝 기능에서 문제가 있는 모든 프로세스를 무조건 복구하는 것이 아니라 복구 가능성을 판별하여, 복구 가능한 프로세스에 대해서만 복구 될 수 있도록 한다. 또한 오류가 발생한 커널 코드에 대해서 복구 가능한 경우에는 ASSERT() 함수에서 복구가 가능하도록 설계하였다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2003.05a
• /
• pp.431-434
• /
• 2003

본 논문에서는 Linux 운영체제에서의 kernel hardening을 설계한다. 커널 내에서 panic 이 발생할 경우 복구가 가능한 경우에는 정상적인 동작이 될 수 있도록 한다. 이렇게 함으로써 Linux Kernel Hardening 기능은 안정적인 커널의 동작을 보장한다. 본 논문에서 Linux Kernel Hardening을 보장하기 위하여 커널 내 ASSERT(), BUG() 함수를 중심으로 설계를 한다.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.21 no.1
• /
• pp.251-268
• /
• 1996

In this paper, a higher-order feedforward neural network called ridge polynomial network (RPN) which shows good approximation capability for nonlnear continuous functions defined on compact subsets in multi-dimensional Euclidean spaces, is presented. This network provides more efficient and regular structure as compared to ordinary higher-order feedforward networks based on Gabor-Kolmogrov polynomial expansions, while maintating their fast learning property. the ridge polynomial network is a generalization of the pi-sigma network (PSN) and uses a specialform of ridge polynomials. It is shown that any multivariate polynomial can be exactly represented in this form, and thus realized by a RPN. The approximation capability of the RPNs for arbitrary continuous functions is shown by this representation theorem and the classical weierstrass polynomial approximation theorem. The RPN provides a natural mechanism for incremental function approximation based on learning algorithm of the PSN. Simulation results on several applications such as multivariate function approximation and pattern classification assert nonlinear approximation capability of the RPN.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2003.11a
• /
• pp.357-360
• /
• 2003

본 논문에서는 Linux 운영체제에서의 kernel hardening을 설계 및 구현한다. 커널 내에서 panic 이 발생할 경우 복구가 가늠한 경우에는 정상적인 동작이 될 수 있도록 한다. 이렇게 함으로써 Linux Kernel Hardening 기능은 안정적인 커널의 동작을 보장한다. 본 논문에서 Lmux Kernel Hardening을 보장하기 위하여 커널 내 ASSERT() 함수를 중심으로 설계 및 구현을 한다.

• The KIPS Transactions:PartA
• /
• v.11A no.4
• /
• pp.227-234
• /
• 2004

A panic state is often caused by careless computer control. It could be also caused by a kernel programmer's mistake. When panic is occurred, the process of the panic state has to be checked, then if it can be restored, operating system restores it, but if not, operating system runs the panic function to stop the system in the kernel hardening O.S. To decide recovery of the process, the type of the panic for the present process should be checked. The value type and the address type have to restore the process. If the system process has a panic state, the system should be designed to shutdown hardening function in the Linux operating system.

• Journal of the Korea Society of Computer and Information
• /
• v.14 no.5
• /
• pp.183-193
• /
• 2009

Both On-Line Analytical Processing (OLAF) data cubes and Statistical Databases (SDBs) deal with multidimensional data sets. and both are concerned with statistical summarizations over the dimensions of the data sets. However, there is a distinction between the two that can be made. While SDBs are usually derived from other base data, OLAF data cubes often represent directly the base data. In other word, the base data of SDBs are the macro-data, whereas the core cubiod data in OLAF data cubes are the micro-data. The base table in OLAF is used to populate the data cube with values of the measure attribute, and each record in the base tables is used to populate a cell of the core cuboid. The fact that OLAF data cubes mostly represent the micro-data may make some records be absent in the base table. Some cells of the core cuboid remain empty, if corresponding records are absent in the base table. Wang and others proposed a method for securing OLAF data cubes against privacy breaches. They assert that the proposed method does not depend on specific types of aggregation functions. In this paper, however, it is found that their assertion on aggregate functions is wrong whenever any cell of the core cuboid remains empty. The objective of this study is to design an inference control process in OLAF data cubes which rectifying Wang's error.

• Journal of Educational Research in Mathematics
• /
• v.24 no.2
• /
• pp.269-283
• /
• 2014

Recently, 3S Mathematics Education (Storytelling mathematics education, SMART mathematics education, and STEAM mathematics education) is emphasized. Based on recently published report on Storytelling mathematics textbook, we propose executable expression based SMART storytelling mathematics related to the elementary mathematic curriculum on 3D building blocks. We designed letters and expressions to represent three dimensional shape of 3D building blocks, and we compare its characteristics with that of LEGO blocks. We assert that text-based executable expressions not only construct what students want to make but also teachers can read students thinking process and can support educational help based on students needs. We also present linear function, quadratic function, and function variable concepts using executable expressions based on 3D building block as an example of SMART storytelling mathematics. This research was supported by the collaborated creativity mentoring project between Siheung City and college of education at Seoul National University. We hope designed executable expressions can be used for the development of SMART storytelling mathematics education.

• The Transactions of the Korea Information Processing Society
• /
• v.1 no.4
• /
• pp.469-478
• /
• 1994

In this paper, a high speed, high resolution information processing digital- analog converter was designed for high definition color graphic, digital image signal processing, HDTV. For high speed operation, matrix type current cell array, latch which is not use pipelined, and two dimensional structure decoder using transmission gate were designed. It is adopted to fast-conversion, low-power implementation and exhibited high performance at linearity and accuracy. To reduce silicon area and to maintain resolution, current cell array composed of weighted and non-weighted current cells. In this paper, deglitching current cell design for high accuracy, new switching algorithm assert to reduce switching error. It's This circuit dissipates 130W with a 5-V power supply, and operate above 100MHz with 10 bit resolution.

• Journal for History of Mathematics
• /
• v.25 no.4
• /
• pp.37-51
• /
• 2012

By comparing the development history of rectangular coordinate system in Cartography and Mathematics, we assert in this manuscript that the rectangular coordinate system is not so much related to analytic geometry but comes from the space perceiving ability inherent in human beings. We arrived at this conclusion by the followings: First, although the Cartography have much influenced to various area of Mathematics such as trigonometry, logarithm, Geometry, Calculus, Statistics, and so on, which were developed or progressed around the advent of analytic geometry, the mathematical coordinate system itself had not been completely developed in using the origin or negative axis until 100 years and more had passed since Descartes' publication. Second, almost mathematicians who contributed to the invention of rectangular coordinate system had not focused their studying on rectangular coordinate system instead they used it freely on solving mathematical problem.