• 천문학회지
• /
• 제47권3호
• /
• pp.115-122
• /
• 2014

The New Vacuum Solar Telescope (NVST) is a 1-meter vacuum solar telescope that aims to observe the fine structures of active regions on the Sun. The main tasks of the NVST are high resolution imaging and spectral observations, including the measurements of the solar magnetic field. The NVST has been collecting more than 20 million FITS files since it began routine observations in 2012 and produces maximum observational records of 120 thousand files in a day. Given the large amount of files, the effective archiving and retrieval of files becomes a critical and urgent problem. In this study, we implement a new data archiving system for the NVST based on the Fastbit Not Only Structured Query Language (NoSQL) database. Comparing to the relational database (i.e., MySQL; My Structured Query Language), the Fastbit database manifests distinctive advantages on indexing and querying performance. In a large scale database of 40 million records, the multi-field combined query response time of Fastbit database is about 15 times faster and fully meets the requirements of the NVST. Our slestudy brings a new idea for massive astronomical data archiving and would contribute to the design of data management systems for other astronomical telescopes.

• 융합보안논문지
• /
• 제15권6_1호
• /
• pp.3-16
• /
• 2015

우수 부사관 획득이라는 목적 아래 육군과 대학의 협력으로 육군 부사관 협약제도가 시행된 지 10년이 지났으며, 이제 매년 4천여명씩 배출되는 협약학과 출신이 하사~중사까지 중추적 임무수행을 하고 있는 시점이다. 이에 협약학과 출신 부사관의 직무수행능력, 직무수행태도가 우수한 지에 대하여 상사급 이상 100명을 대상으로 협약학과 부사관과 민간 출신 부사관을 비교하는 설문을 통하여 이 협약제도가 목적을 달성하고 있는지에 대한 효과성을 평가하였다. 그 결과, 협약학과 출신 부사관은 직무수행능력의 전문성과 직무수행태도의 적극성, 책임성이 더 양호한 것으로 분석되었으나, 다른 분야는 의미 있는 차이가 없는 것으로 나타났다. 향후 우수한 부사관 인력을 획득하기 위해서는 학군제휴 협약학과 학생의 선발 제도 개선과 아울러, 부사관 관련 학과에 우수한 고등학생들이 입학할 수 있도록 육군의 제도적 지원이 필요한 것으로 제언한다.

• 천문학논총
• /
• 제26권2호
• /
• pp.71-87
• /
• 2011

Gravitational waves are predicted by the Einstein's theory of General Relativity. The direct detection of gravitational waves is one of the most challenging tasks in modern science and engineering due to the 'weak' nature of gravity. Recent development of the laser interferometer technology, however, makes it possible to build a detector on Earth that is sensitive up to 100-1000 Mpc for strong sources. It implies an expected detection rate of neutron star mergers, which are one of the most important targets for ground-based detectors, ranges between a few to a few hundred per year. Therefore, we expect that the gravitational-wave observation will be routine within several years. Strongest gravitational-wave sources include tight binaries composed of compact objects, supernova explosions, gamma-ray bursts, mergers of supermassive black holes, etc. Together with the electromagnetic waves, the gravitational wave observation will allow us to explore the most exotic nature of astrophysical objects as well as the very early evolution of the universe. This review provides a comprehensive overview of the theory of gravitational waves, principles of detections, gravitational-wave detectors, astrophysical sources of gravitational waves, and future prospects.

• 한국게임학회 논문지
• /
• 제10권3호
• /
• pp.15-24
• /
• 2010

웹을 기반으로 한 전략 시뮬레이션은 클라이언트 기반의 일반 온라인 게임과 변별되는 특징들을 갖고 있다. 첫째, 웹 기반 MMORTS는 게임 과정이 그래픽적 표현과 텍스트적 표현의 복합으로 재현된다. 둘째, 게임의 주체는 플레이어, 전략 거점으로서의 마을 캐릭터라는 시차적 주체로서 존재한다. 본고는 이러한 요소들을 중심으로 웹 기반 MMORTS의 스토리텔링을 분석하는 것을 목적으로 하며 이노게임즈(Innogames)사의 <부족전쟁(Tribal War)>을 연구대상으로 선택하였다. 분석결과, 웹기반 MMORTS <부족전쟁>의 플레이어는 로그아웃 된 동안에 벌어진 수동적 AI 캐릭터의 경험까지도 로그인 후 시차를 두고 받아들임으로써 고유의 사용자 서사를 경험하게 됨을 알 수 있었다. 본 연구는 일상적인 업무와 병치가 가능하고 여타 플랫폼과 연계될 수 있는 웹 기반 가상세계가 갖는 잠재력을 논했다는 점에서 의의를 갖는다.

• 한국산업정보학회논문지
• /
• 제8권3호
• /
• pp.76-84
• /
• 2003

소프트웨어 에이전트에 의해서, 일상 업무는 자동화 되어왔으며, 그에 따라 사람이 담당하는 업무는 특정 업무범위로 축소되고 있다. 그러나 아직까지 대부분의 에이전트는 전체 업무 프로세스의 일부 단계에서만 그 역할을 수행할 뿐이다. 자동화 업무에서의 주요 단계에서 사용자들을 지원하기 위하여 특정 방향으로 협상 당사자들을 설득하는 데 있어서 소프트웨어 에이전트의 역할은 필수적이다. 사용되는 협상의 종류는 매우 여러 가지 이지만, 본 논문은 '협상에 기초한 경쟁적 비즈니스 환경' 과 같은 특정 협상행위에 중점을 두고 있다. 이러한 환경에서의 협상을 위해서 자율적 에이전트는 환경적 변수(예: 협상 경쟁자 수, 각 협상 참여자 수, 협상업무가 완료되는 최대한의 시간, 사용자의 선호도)를 중점적으로 고려하고 있다. 경쟁적 비즈니스 환경에서는 협상진행 중에 끼어 들어 계약을 성사시키는 잠재 협상 경쟁자들이 있지만 자동화된 협상을 위하여 제안된 이전의 협상 결정함수들은 단지 시간이나 정해진 수의 협상참여자들만을 변수로 사용해왔다. 따라서 본 논문은 경쟁적 시장환경에서 잠재적 경쟁자에 대한 고려가 포함된 협상 결정 함수와 그러한 고려사항이 포함되지 않은 협상 결정 함수에 대한 기능의 평가를 시도했다. 이 평가를 위해서 본 논문은 다수의 구매자와 판매자가 제한된 자원을 위해 한 공간에서 경쟁하는 전자상거래 시장을 적용 범위로 선택했다.

• 한국지반공학회:학술대회논문집
• /
• 한국지반공학회 1995년도 가을 학술발표회 논문집
• /
• pp.15.2-22
• /
• 1995

Evaluating stiffness of near-surface materials has been one of the critically important tasks in many civil engineering works. It is the main goal of geotechnical characterization. The so-called deflection-response method evaluates the stiffness by measuring stress-strain behavior of the materials caused by static or dynamic load. This method, however, evaluates the overall stiffness and the stiffness variation with depth cannot be obtained. Furthermore, evaluation of a large-area geotechnical site by this method can be time-consuming, expensive, and damaging to many surface points of the site. Wave-propagation method, on the other hand, measures seismic velocities at different depths and stiffness profile (stiffness change with depth) can be obtained from the measured velocity data. The stiffness profile is often expressed by shear-wave (S-wave) velocity change with depth because S-wave velocity is proportional to the shear modulus. that is a direct indicator of stiffiiess. The crosshole and downhole method measures the seismic velocity by placing sources and receivers (geophones) at different depths in a borehole. Requirement of borehole installation makes this method also time-consuming, expensive, and damaging to the sites. Spectral-Analysis-of-Surface-Waves (SASW) method places both source and receivers at the surface, and records horizontally-propagating surface waves. Based upon the theory of surfacewave dispersion, the seismic velocities at different depths are calculated by analyzing the recorded surface-wave data. This method can be nondestructive to the sites. However, because only two receivers are used, the method requires multiple measurements with different field setups and, therefore, the method often becomes time-consuming and labor-intensive. Furthermore. the inclusion of noise wavefields cannot be handled properly, and this may cause the results by this method inaccurate. When multi-channel recording method is employed during the measurement of surface-waves, there are several benefits. First, usually single measurement is enough because multiple number (twelve or more) of receivers are used. Second, noise inclusion can be detected by coherency checking on the multi-channel data and handled properly so that it does not decrease the accuracy of the result. Third, various kinds of multi-channel processing techniques can be applied to f1lter unwanted noise wavefields and also to analyze the surface-wavefields more accurately and efficiently. In this way, the accuracy of the result by the method can be significantly improved. Fourth, the entire system of source, receivers, and recording-processing device can be tied into one unit, and the unit can be pulled by a small vehicle, making the survey speed very fast. In all these senses, multi-channel recording of surface waves is best suited for a routine method for geotechnical characterization in most of civil engineering works.

• 한국수학교육학회지시리즈A:수학교육
• /
• 제27권1호
• /
• pp.15-23
• /
• 1988

We are at the onset of a major revolution in education, a revolution unparalleled since the invention of the printing press. The computer will be the instrument of this revolution. Computers and computer application are everywhere these days. Everyone can't avoid the influence of the computer in today's world. The computer is no longer a magical, unfamiliar tool that is used only by researchers or scholars or scientists. The computer helps us do our jobs and even routine tasks more effectively and efficiently. More importantly, it gives us power never before available to solve complex problems. Mathematics instruction in secondary schools is frequently perceived to be more a amendable to the use of computers than are other areas of the school curriculum. This is based on the perception of mathematics as a subject with clearly defined objectives and outcomes that can be reliably measured by devices readily at hand or easily constructed by teachers or researchers. Because of this reason, the first large-scale computerized curriculum projects were in mathematics, and the first educational computer games were mathematics games. And now, the entire mathematics curriculum appears to be the first of the traditional school curriculum areas to be undergoing substantial trasformation because of computers. Recently, many research-Institutes of our country are going to study on computers in orders to use it in mathematics education, but the study is still start ing-step. In order to keep abreast of this trend necessity, and to enhance mathematics teaching/learning which is instructed lecture-based teaching/learning at the present time, this study aims to develop/present practical method of computer-using. This is devided into three methods. 1. Programming teaching/learning method This part is presented the following five types which can teach/learn the mathematical concepts and principle through concise program. (Type 1) Complete a program. (Type 2) Know the given program's content and predict the output. (Type 3) Write a program of the given flow-chart and solve the problem. (Type 4) Make an inference from an error message, find errors and correct them. (Type 5) Investigate complex mathematical fact through program and annotate a program. 2. Problem-solving teaching/learning method solving This part is illustrated how a computer can be used as a tool to help students solve realistic mathematical problems while simultaneously reinforcing their understanding of problem-solving processes. Here, four different problems are presented. For each problem, a four-stage problem-solving model of polya is given: Problem statement, Problem analysis, Computer program, and Looking back/Looking ahead. 3. CAI program teaching/learning method This part is developed/presented courseware of sine theorem section (Mathematics I for high school) in order to avail individualized learning or interactive learning with teacher. (Appendix I, II)

• 한국건설관리학회논문집
• /
• 제19권1호
• /
• pp.21-31
• /
• 2018

고령자 가구의 급격한 증가는 전 세계적 추세이며 의료비 등 사회적 비용 또한 급격히 증가할 것으로 예상된다. 치매와 같은 노인성 기능 질환의 경우 고령자의 일상생활 활동 (ADL) 패턴을 상시적으로 모니터링하고 평소와 다르거나 비정상적인 패턴이 발생하는 경우 이를 치매 조기진단의 근거로 활용할 수 있다. 그러나 사생활 침해의 우려가 큰 기존의 직접적 센싱 방식과 달리 간접적 센싱 방식 (Non-intrusive approach)을 활용하여 재실자의 최소한의 정보 (Coarse-grained data)만을 수집하고, 이를 통해 활동 정보를 추출하는 연구는 거의 이루어지지 않았다. 또한 추출된 활동 및 활동패턴을 이해하기 위해 활동의 맥락적 정보를 시각화하는 방법 또한 추가적인 연구가 필요하다. 이를 위해 본 연구에서는 재실자의 정보 중 시 공간 데이터 로그만을 활용하여 재실자의 수행 활동을 추출하고 컨텍스트화 된 행동 정보를 공간-활동 지도 (Space-Activity Map)로 시각화한다. 본 연구는 재실자의 일상생활 활동 패턴을 추출하는 데 기반이 되는 연구로서, 향후 고령자를 위한 상시적인 건강 모니터링 기술의 도입에 기여할 수 있다.

• 한국정보처리학회논문지
• /
• 제4권11호
• /
• pp.2874-2890
• /
• 1997

이 논문은 운영체제에 대한 호출들로 표현된 소프트웨어의 병렬성을 Ada로 번역하기 위한 방법론을 기술하고 있다. Legacy 소프트웨어들에 내재하는 병렬성은 주로 병렬 Process 또는 task들을 제어하는 운영체제 호출들로 표현된다. 본 논문에서 다루고 있는 예로서는 C 프로그램내부에서 사용하는 Unix 운영체제에 대한 호출과 더불어 CMS-2 프로그램에서 사용하는 ATES나 SDEX-20 운영체제의 Executive Service Routine들에 대한 호출들을 볼 수 있다. 소프트웨어 이해를 위한 다른 연구에서는 legacy 소프트웨어에 있는 운영체제호출을 또 다른 운영체제에 대한 호출로 번역하는 데에 역점을 두고 있다. 이런 연구에서는 소프트웨어를 이해하기 위해서 소프트웨어가 수행되는 운영체제에 대한 이해가 필수적으로 요구된다. 그런데 이런 운영체제는 보통 매우 복잡하거나 체계적으로 문서화되어 있지 않다. 본 논문에서의 연구는 legacy 소프트웨어에 있는 운영체제호출을 Ada 메커니즘을 이용한 동일한 프로토콜로 번역하는 데에 역점을 두고 있다. Ada로의 번역에 있어 이러한 호출들은 메시지에 기초한 kernel 중심 구조의scheme에 맞는 의미적으로 동일한 Ada 코드로 대표된다. 번역을 용이하게 하기 위하여 데이터 구조, task, Procedure, message들을 위해 library에 있는 template들을 사용한다. 이 방법론은 소프트웨어 재 ${\cdot}$ 역공학측면에서 운영체제를 Ada로 modeling하는 새로운 접근방식이다. 이 방식에는 소프트웨어 이해를 위하여 기존 운영 체제에 대한 지식이 필요하지 않다. 왜냐하면, legacy 소프트웨어에 내재했던 운영체제에 대한 종속성이 제거되었기 때문이다. 이렇게 번역된 Ada 소프트웨어는 여러 Ada실행환경 에서 이식이 가능하고 또한 소프트웨어들간에 상호작동성이 좋다. 이 방식은 다른 legacy 소프트웨어 시스템의 운영체제호출들도 처리할 수 있다．

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제5권6호
• /
• pp.727-737
• /
• 1999

프로세스 중심 소프트웨어 개발 환경(PSEE : Process-centered Software Engineering Environment)은 소프트웨어 개발자를 위한 여러가지 정보의 제공과 타스크의 수행, 소프트웨어 개발 도구의 수행 및 제어, 필수적인 규칙이나 업무의 수행등과 같은 다양한 행위를 제공하는 프로세스 모형의 수행을 통하여 소프트웨어 개발 행위를 지원한다. SEED(Software Engineering Environment for Development)는 효율적인 소프트웨어 개발과 프로세스 모형의 수행을 제어하기 위해 ETRI에서 개발된 PSEE이다.본 논문에서는 SEED에서 프로세스 모형을 설계하기 위해 사용되는 SimFlex 프로세스 프로그래밍 언어와, 수행지원시스템인 SEED Engine의 구현에 대하여 기술한다. SimFlex는 간단한 언어 구조를 가진 프로세스 프로그래밍 언어이며, 적절한 적합화를 통하여 다른 PSEE에서 사용될 수 있다. SimFlex 컴파일러는 SimFlex에 의해 기술된 프로세스 모형을 분석하고, 모형의 오류를 검사하며, SEED Engine에 의해 참조되는 중간 프로세스 모형을 생성한다. 중간 프로세스 모형을 사용하여 SEED Engine은 외부 모니터링 도구와 연관하여 사용자를 위한 유용한 정보뿐만 아니라 SimFlex에 의해 기술된 프로세스 모형의 자동적인 수행을 제공한다. SimFlex 언어와 수행지원 시스템의 지원을 통하여 소프트웨어 프로세스를 모형화하는데 드는 비용과 시간을 줄일 수 있으며, 편리하게 프로젝트를 관리하여 양질의 소프트웨어 생산물을 도출할 수 있다. Abstract Process-centered Software Engineering Environments(PSEEs) support software development activities through the enaction of process models, providing a variety of activities such as supply of various information for software developers, automation of routine tasks, invocation and control of software development tools, and enforcement of mandatory rules and practices. The SEED(Software Engineering Environment for Development) system is a PSEE which was developed for effective software process development and controlling the enactment of process models by ETRI.In this paper, we describe the implementation of the SimFlex process programming language used to design process models in SEED, and its runtime support system called by SEED Engine. SimFlex is a software process programming language to describe process models with simple language constructs, and it could be embedded into other PSEEs through appropriate customization. The SimFlex compiler analyzes process models described by SimFlex, check errors in the models, and produce intermediate process models referenced by the SEED Engine. Using the intermediate process models, the SEED Engine provides automatic enactment of the process models described by SimFlex as well as useful information for agents linked to the external monitoring tool. With the help of the SimFlex language and its runtime support system, we can reduce cost and time in modeling software processes and perform convenient project management, producing well-qualified software products.