• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 1998년도 추계종합학술대회 논문집
• /
• pp.519-522
• /
• 1998

The Constructive Battle simulation Model is very important to the recent military training for the substitution of the field training. However, real battlefield systems operate under rea-time conditions, they are inherently distributed, concurrent and dynamic. In order to reflect these properties by the computer-based simulation systems which represent real world processes, we have been developing constructive simulation model for several years. The constructive simulation system is one of the famous real-time system software, nd the one common feature of all real-time systems is defined as the correctness of the system depend not only on the logical result of computation, but also on the time at which the results are produced. Conventionally, scheduling and resource allocation activities which have timing constraints are major problem of real-time computing systems. To overcome these constraints, we elaborated on these issues and developed the simulation system on commercially available hardware and operating system with lock-free resource allocation scheme and rae monotonic scheduling.

• Journal of Information Processing Systems
• /
• 제15권6호
• /
• pp.1462-1471
• /
• 2019

Real-time embedded systems have become pervasive in general industry. They also began to be applied in such domains as avionics, automotive, aerospace, healthcare, and industrial Internet. However, the system failure of such domains could result in catastrophic consequences. Runtime software testing is required in such domains that demands very high accuracy. Traditional runtime software testing based on handwork is very inefficient and time consuming. Hence, test automation methodologies in runtime is demanding. In this paper, we introduce a software testing system that translates a real-time software into a monitorable real-time software. The monitorable real-time software means the software provides the monitoring information in runtime. The monitoring target are time constraints of the input real-time software. We anticipate that our system lessens the burden of runtime software testing.

• 한국군사과학기술학회지
• /
• 제14권3호
• /
• pp.353-358
• /
• 2011

In this paper, we have introduced a Missile In the Loop Simulation(MILS) Software developed for the missile ground test, which is based on a commercial hard real-time operating system(OS) on Windows platform called as Real-Time eXtension(RTX). MILS software makes it possible to test overall system functions of a integrated missile on the ground in the flight conditions by real-time imitating its inertial data. By means of MILS, we have performed missiles ground tests, which result in successful real flight tests.

• 대한건축학회논문집:계획계
• /
• 제36권1호
• /
• pp.15-26
• /
• 2020

The purpose of this study is to develop every possible real-time evacuation scenarios for large-scale buildings which considering continuously changing conditions during the events. From the review of the previous studies on smartphone-based real-time evacuation systems, this study proposed the customized egress scenarios. The scenario considered the characteristics of facilities, disaster types, and individual factors of evacuees. This study verified the proposed process for real-time evacuation scenarios by applying the several actual fire cases happened recently in Korea. Based on the result of this research, necessary technologies for the real-time evacuation systems are identified and can be applied to develop the more effective evacuation system.

• 한국실천공학교육학회논문지
• /
• 제1권1호
• /
• pp.1-6
• /
• 2009

전통적으로 엔지니어의 역할은 주로 주어진 문제를 해결하는데 집중되어 왔으며, 공학교육 역시 문제해결에 초점을 맞추는 경향이 있었다. 따라서 문제를 철저히 분석하여 진짜문제를 정의하는 과정을 소홀히 하고, 쉽게 인식된 문제를 자신의 경험과 지식만으로 해결하려고 시도함으로써 많은 시행착오를 초래하게 된다. 이런 관점에서 문제해결에 앞서 진짜 문제를 정확히 정의하는 능력이 엔지니어에게 절실히 요구되고 있다. 본 연구에서는 시행착오를 최소화하면서 진짜문제를 효율적으로 정의할 수 있도록, 핵심영역의 도식화와 트리즈의 모순 및 이상해 개념 등을 이용해서 진짜문제 정의 프로세스를 제안하였다. 트리즈는 1946년부터 러시아의 기술자이자 과학자인 알트슐러가 정립한 창의적 문제해결 이론으로, 현재 많은 산업 분야에서 널리 활용되고 있으며, 이미 많은 분야에 적용되어 그 효율성이 증명된 이론이다. 따라서 공학교육에서 트리즈를 활용하는 것은 학생들의 창의적 사고력 개발 측면에 있어서도 매우 유용할 것으로 판단된다.

• 디지털융복합연구
• /
• 제11권11호
• /
• pp.59-70
• /
• 2013

디지털 경제를 맞이하여 대부분 자산을 부동산에 투자하고 있어 향후 부동산 가격에 많은 관심을 보이고 있다. 다양한 변수들이 주택 등 부동산 시장에 영향을 미치고 있다. 그 중 대표적으로 세대주와 생산가능인구, 금리, 주가지수 등 4가지 변수들을 선정하여 어느 변수가 서울아파트 가격에 얼마나 통계적으로 유의하게 영향을 미치는지 살펴보았다. 본 연구는 실증적으로 서울아파트가격의 결정모형을 구축하는데 목적이 있다. 분석결과 주가지수만 서울아파트와 통계적으로 유의한 것으로 분석되었다. 세대주나 생산가능인구는 기존의 연구처럼 서울아파트와 방향성은 동일하지만 통계적으로 유의하지 않은 것으로 분석되었다. 독립변수 중에서 서울아파트 가격의 결정요인으로 주가지수만 주요 변수로 선정되었다. 본 연구결과 향후 주택 등 부동산시장의 예측하기 위해서는 주식시장의 전망이 선행되어야 할 것이다.

• 한국융합학회논문지
• /
• 제8권9호
• /
• pp.249-254
• /
• 2017

본 연구는 모바일 부동산 서비스의 정보 품질과 허위매물의 개선방안을 검색 필터 서비스를 통해 성장 가능할 방안을 제공하였다. 현재 활발하게 사용 중인 각국의 대표적인 모바일 부동산 앱의 사례를 비교했으며 부동산 정보 탐색 시 가장 먼저 필요한 검색 필터 13개를 채택하여 사용성과 서비스 상태를 분석했다. 그 결과 모바일 부동산 서비스 정의 맞게 사용자들이 언제 어디서나 유기적으로 신속하며 신뢰성 있는 정보를 받기 위해서는 수준 높은 검색 필터 서비스 공급이 정보품질 개선을 위해 필수적이다. 결국, 허위매물에 대한 사후적인 대책 마련보다는 사전 검수가 야기되며 사용자의 니즈에 충족되어 보다 개선된 검색 필터 서비스를 제공하여 모바일 부동산 중개 서비스의 정의에 맞게 시간과 공간에 제약받지 않고 신뢰할 수 있는 정보품질의 서비스를 공급하는 것이 허위매물의 피해자를 사전적으로 예방하는 것이라 말할 수 있다.

• 인간식물환경학회지
• /
• 제22권2호
• /
• pp.127-143
• /
• 2019

This study investigates the color stimuli of two varieties of foliage plants by extracting electroencephalogram, electrocardiogram and physiology activity data from 30 participants in their 50s or older. Changes in the physiological activity of subjects against six color stimuli were examined. The stimulus to real green plants 'Silver Queen' was set as the control group, and was compared with other groups including the stimulus to real 'Angel' plants and four stimuli to artificial colors (two color images and color schemes of the same green and red plants). Compared to the five groups, the relative theta power spectrum (RT) and the ratio of alpha to high beta (RAHB) increased in the subjects exposed to real green plants. This result demonstrates that the green plant ('Silver Queen') increases the stability, relaxation, and internal concentration of subjects in a proper state of awakening. The result of this experiment showed a statistically significant difference in the level of RT when subjects were exposed to the groups of real green and red plants. This finding indicates that the green plant increases internal concentration more than the red plant. RT and the relative low beta power spectrum (RLB) in the groups of natural colors were higher than the groups of artificial colors when subjects focused their mind on the two types of real plants. However, the level of relative mid beta power spectrum (RMB), ratio of SMR to theta (RST), ratio of mid beta to theta (RMT), relative high beta power spectrum (RHB), and spectral edge frequency 95% were higher when subjects were exposed to the photos and colors scheme of plants than when they were exposed to real plants. The subjects experienced more "comfortable" emotions when they were looking at plants with green colors. Overall, it is recommended to use the natural colors of real plants in places where which stability and relaxation are required. On the contrary, the artificial colors of plants such as their photos and color schemes are useful in places where a high level of concentration is required in a short period of time.

• 대한수학회지
• /
• 제32권1호
• /
• pp.103-108
• /
• 1995

It is a well-known classical result of Mazur and Ulam that an isometry T from a real Banach space X onto a real Banach space Y with T(0) = 0 is automatically linear[5].

• 한국수학사학회지
• /
• 제11권2호
• /
• pp.55-62
• /
• 1998

This paper aims to analyze the phenomena of eighteenth-century mathematics and to find the "metaphysics" of the period which made them possible. It shows that mathematics in eighteenth-century was "mixed" and result-oriented and that eighteenth-century metaphysics emphasized the real and natural.he real and natural.