• 대한임베디드공학회논문지
• /
• 제13권4호
• /
• pp.187-194
• /
• 2018

The operating system for IoT should have a small memory footprint and provide low power state, real-time, multitasking, various network protocols, and security. Although the Zephyr kernel, an operating system for IoT, released by the Linux Foundation in February 2016, has these features but errors generated by the user code can generate fatal problems in the system because the Zephyr kernel adopts a single-space method that both the user code and kernel code execute in the same space. In this research, we propose a space separation method, which separates kernel space and user space, to solve this problem. The space separation that we propose consists of three modifications in Zephyr kernel. The first is the code separation that kernel code and user code execute in each space while using different stacks. The second is the kernel space protection that generates an exception by using the MPU (Memory Protection Unit) when the user code accesses the kernel space. The third is the SVC based system call that executes the system call using the SVC instruction that generates the exception. In this research, we implemented the space separation in Zephyr v1.8.0 and evaluated safety through abnormal execution of the user code. As the result, the kernel was not crashed by the errors generated by the user code and was normally executed.

• 대한임베디드공학회논문지
• /
• 제9권5호
• /
• pp.253-260
• /
• 2014

European Space Agency has recognized Integrated Modular Avionics and ARINC specification 653 as avionics computer system for space application. Integrated Modular Avionics specification reduces the space by integrating a system composed of many electronic devices into a computer. recent researches have been studying how to apply the ARINC 653 into an open source operating system, such as Linux. These studies have concentrated on partition scheduling for time separation. However, requirements to guarantee spatial separation should be further analyzed to ensure deterministic execution time. Therefore, memory management is needed to verify spatial isolation on Linux systems. This research proposes a new method to accomplish spatial isolation for the ARINC 653 specification in Linux. We have added new data structures and system calls to handle functionalities for spatial separation. They are used during the partition startup process. The proposed method was evaluated on the LEON4 processor, which is the next generation microprocessor to be used in the future space missions. All implementations confirm that spatial isolation of the ARINC 653 specification was accomplished.

• International Journal of Aeronautical and Space Sciences
• /
• 제2권2호
• /
• pp.1-18
• /
• 2001

A numerical technique for simulating the separation dynamics of strap-on boosters jettisoned in the dense atmosphere is presented. Six degree of freedom rigid body equations of motion are integrated into the three-dimensional unsteady Navier-Stokes solution procedure to determine the dynamic motions of strap-ons. An automated Chimera overlaid grid technique is introduced to achieve maximum efficiency for multi-body dynamic motion and a domain division technique is implemented in order to reduce the computational cost required to find interpolation points in the Chimera grids. The flow solver is validated by comparing the computed results around the Titan IV launch vehicle with experimental data. The complete analysis process is then applied to the. H-II launch vehicle, the central rocket in japans space program, the CZ-3C launch vehicle developed in China and the KSR-III, a three-stage sounding rocket being developed in Korea. From the analyses, separation trajectories of strap-on boosters are predicted and aerodynamic characteristics around the vehicles at every time interval are examined. In addition, separation-impulse devices generally introduced for safe separation of strap-ons are properly modeled in the present paper and the jettisoning force requirements are examined quantitatively.

• 천문학회보
• /
• 제40권2호
• /
• pp.57.4-58
• /
• 2015

Thanks to high cadence monitoring and high photometric accuracy of Korea Microlensing Telescope Network (KMTNet), we expect the detection of many events caused by wide-separation planets and free-floating planets, which is not easy due to the short event duration. Thus, it is important to understand wide-separation planetary lensing events. Several studies on the wide-separation events have been reported, but events caused by wide-separation planetary systems with a moon have not yet been studied. In this paper, we study the properties of events caused by planetary systems where wide-separation planets host a moon. We also study the effect of a finite background source star on the moon feature in the wide planetary-lensing events.

• 지식경영연구
• /
• 제15권4호
• /
• pp.15-34
• /
• 2014

Creative problem solving has become an important issue in many fields. Among problems, dilemma need creative solutions. New creative and innovative problem solving strategies are required to handle the contradiction relations of the dilemma problems because most creative and innovative cases solved contradictions inherent in the dilemmas. Among various kinds of problem solving theories, TRIZ provides the concept of physical contradiction as a common problem solving principle in inventions and patents. In TRIZ, 4 separation principles solve the physical contradictions of given problems. The 4 separation principles are separation in time, separation in space, separation within a whole and its parts, and separation upon conditions. Despite this attention, an accurate definitions of the separation principles of TRIZ is missing from the literature. Thus, there have been several different interpretations about the separation principles of TRIZ. The different interpretations make problems more ambiguous to solve when the problem solvers apply the 4 separation principles. This research aims to fill the gap in several ways. First, this paper classify the types of contradiction relations and the contradiction solving dimensions based on the Butterfly model for contradiction solving. Second, this paper compares and analyzes each contradiction relation type with the Butterfly diagram. The contributions of this paper lies in reducing the problem space by recognizing the structures and the types of contradiction problems exactly.

• 한국항공우주학회지
• /
• 제43권4호
• /
• pp.341-348
• /
• 2015

본 논문에서는 일반적인 발사체의 형상에 대하여 몬테카를로 시뮬레이션을 적용하여 분리 유격 분석을 수행하였다. 단 분리는 매우 짧은 시간동안 이루어지며, 매우 많은 운동 변수가 관계되고 충돌 발생시 발사 실패가 나타나는 매우 중요한 비행 이벤트이다. 다양한 오차요인이 무작위(random)로 발생하는 경우에도 설정된 유격조건 내에서 분리가 됨을 확인하기 위해 일반적인 발사체 형상에 대한 단 분리 분석을 수행하였다. 몬테카를로 분석 기법을 발사체 단 분리 분석에 적용함으로서 단 분리 운동시 확률적인 결과들을 제시하였다.

• 한국농촌건축학회논문집
• /
• 제12권3호
• /
• pp.35-46
• /
• 2010

The purpose of this study is to interpretate the Korean traditional Private Garden Pavilion -'byoul-seo(別墅)' in the view point of the architectural methodology - the separation of space in Honam province. It is presumed that nature union is archived through the 'yan-sang(玩賞)' which is ultimate state of knowledge that is base on the premises of opened signification in emancipation from narrow view point in the past and cognition of value. therefore, it is needed to know the unworldly point of space perception about the pavilion territory, furthermore to have conceptual method to distinct pavilion from the world. there are two methods in the distinct concept in this pavilion research: unworldly separation and meditative separation. As a result, the followings are conclusions; There two distinctive methods of planning of pavilion by use of the room and column. There are enclosement, turnaround, division of floor area in the room organization method, and it's modification of modulation, diversification of column height and diversification of column use in different space.

• ETRI Journal
• /
• 제38권1호
• /
• pp.112-122
• /
• 2016

This paper presents a set of candidate regulatory requirements for TV band devices (TVBDs) in the Rep. of Korea. To guarantee the protection of incumbent services, especially digital TV (DTV) and wireless microphones, in TV frequency bands, we suggest minimum separation distances of TVBDs from the noise-limited contour according to incumbent users and TVBD types. This paper also deals with multiple sets of separation distances of a co-channel TVBD network from a DTV protected contour on the basis of the radio propagation characteristics of different geographic areas to make good use of TV white space (TVWS) and safely protect the DTV service. We present a low-power transmission mode of TVBDs and the relevant separation distances for small-cell deployment. The service coverage reduction ratio of a TVBD network is investigated in the presence of DTV interference in four geographic areas. The TVWS field verification results, conducted on the island of Jeju (Rep. of Korea), show that incumbent services operate well without harmful interference from neighboring TVBDs with the proposed separation distances.

• 한국항공우주학회지
• /
• 제41권10호
• /
• pp.827-832
• /
• 2013

극초소형 위성으로 분류되는 큐브위성의 경우, 1U를 기준으로 $10cm{\times}10cm{\times}10cm$의 크기, 1kg 이하의 중량제한을 비롯해 폭발식 구속분리장치의 적용이 불가한 설계요구조건으로 인하여 열선 작동시 나일론선의 절단과 함께 구속을 해제하는 구속분리 방식이 일반적으로 적용되고 있으나 낮은 체결력과 다수 구조물의 구속 시 다수의 열선 적용을 필요로 하는 등 시스템 복잡화의 단점이 존재한다. 본 논문에서는 기존의 큐브위성에 적용되는 열선 절단방식의 단점을 극복하기 위하여 열선절단방식을 적용한 분리너트형 비폭발식 구속분리장치를 고안하였으며, 인증모델의 기능시험, 정하중시험 및 충격시험을 통해 설계 유효성을 입증하였다.

• 한국실내디자인학회논문집
• /
• 제14권3호
• /
• pp.84-94
• /
• 2005

The purpose of this study is to establish the identity of the traditional residential space in Korea and Japan as analyzing the spatial characteristics and sociocultural roles of the 'in-between space' shown in their traditional dwelling space. Although they share culture area, it is meaningful to clarify the identity of both countries with many differences as the point of localization In globalization and the point of presenting the current and future directions of residential culture in both countries. Records and field studies have been carried out for the spatial characteristics and the sociocultural role focused on Ma-dang and Dae-chung in case of the 'in-between space' in Korean traditional dwellings and Inner housing, Doma, and Engawa in Japan. According to these findings, the spatial characteristics in common between Korea and Japan are open, half-open, separation, mitigation, integration, variation, continuation, hierarchy, mediation, and expansion. The 'in-between space', built by the separate Chae and Kan, of Korean traditional dwellings shows the separation by closed walls and the exclusive use by the fixed walls. In case of Japan, the integrated in-between space built by the separation of Kan shows open and connective tendencies and the variableness of walls has the tendency making ambiguous space with spatial softness. The sociocultural role of the 'in-between space' in Korean traditional dwelling space functions as the mitigation between the interior and exterior of the house as well as the male and female. Because the conception for protecting the private life is too weak, the sociocultural role of the 'in-between space' in Japanese traditional dwelling space seldom forms the space for an individual or the specific person among family. The space to welcome a guest functions as the mitigation between residents and outsiders as it is located in the inside of the private dwelling space.