• Proceedings of the Speleological Society Conference
• /
• 1995.09a
• /
• pp.39-44
• /
• 1995

$\bigcirc$ 동굴생물은 식물과 동물, 미생물로 크게 구분되지만 태양광선이 완전히 차단된 동굴내 환경에서는 동굴 동물들이 주종을 이루고 있다. $\bigcirc$ 동굴내의 동물에 관한 연구는 1966년 고씨동굴, 용담굴을 시발로 고수굴, 천동굴, 노동굴, 백룡글, 대이굴, 환선굴 등 강원도내에 분포하는 동굴 중 약 30% 정도는 동물을 포함한 생물상이 조사되었다. $\bigcirc$ 강원도의 동굴동물로서 확인된 것은 9강 30목 141종이며 강별로는 곤충강이 9목 50종 주형강이 4목 49종 갑각강이 6목 18종의 순으로 우세하고 목별로는 거미목이 15과 39종, 톡토기목이 7과 20종, 딱정벌레목이 8과 15종으로 우세한 편이다(남, 1987). $\bigcirc$ 동굴생물에 관한 연구는 육상생태계와 격리된 환경에서 생리, 생태적 적응을 통한 종의 분화나 유전, 진화문제를 추구하며 지하생태계와 육상생태계의 생물적인 유연관계 규명에 중요한 분야로 인정되며 아울러 독특한 특성을 지닌 동굴생물의 생존을 위한 방안과 노력이 일부동굴의 개방 및 개발에 앞서 더욱 구체적으로 모색되고 증대되어야 한다. $\bigcirc$ 동굴환경의 주요 특성은 첫째 햇빛에 차단되어 암흑상태이며, 둘째 내부습도가 높고 기온이나 수온의 년중변화가 심하지 않고, 셋째 먹이연쇄에 필수적인 영양공급원이 제한되어 있다. 따라서 광합성작용으로 성장하는 녹색식물은 태양광선이 유입되는 곳이나 인공조명시설 지역을 제외한 곳에서는 서식이 불가능하고 대형동물이나 초식동물은 생존이 어렵다. $\bigcirc$ 동굴내에는 환경에 적응하는 종들만이 서식할 수 있고 이들을 생태적 특성에 따라 세가지로 구분 할 수 있다. 환경적응 요인으로는 광도, 습도, 온도 영양공급원과 섭식장소, 수중생물의 경우는 특히 수온, 수량 영양원등이다.(중략). 본 연구의 접근방법으로는 ASRS의 개념적인 Reference Model을 수립하고 이 Reference Model에 대한 Formal Model로 DEVS(Discrete Event System Specification)을 이용하여 시스템을 Modeling하였다. 이의 Computer Simulation을 위하여 DEVS형식론 환경에서의 Simulation Language인 DEVSim ++ⓒ를 이용하여 시스템을 구현하였다.. 실형 결과로는 먼저 선형 상미분방정식의 예로 mass-damper-spring system, 비선형 상미분방정식의 예로는 van der Pol 방정식, 연립 상미분방정식의 예로는 mixing tank problem 등을 보였으며, 그의 공학에서 일어나는 여러 가지 문제들도 다루었다.화물에 대한 방어력이 증가되어 나타난 결과로 여겨지며, 또한 혈청중의 ALT, ALP 및 LDH활성을 유의성있게 감소시키므로서 감잎 phenolic compounds가 에탄올에 의한 간세포 손상에 대한 해독 및 보호작용이 있는 것으로 사료된다.반적으로 홍삼 제조시 내공의 발생은 제조공정에서 나타나는 경우가 많으며, 내백의 경우는 홍삼으로 가공되면서 발생하는 경우가 있고, 인삼이 성장될 때 부분적인 영양상태의 불충분이나 기후 등에 따른 영향을 받을 수 있기 때문에 앞으로 이에 대한 많은 연구가 이루어져야할 것으로 판단된다.태에도 불구하고 [-wh]의미의 겹의문사는 병렬적 관계의 합성어가 아니라 내부구조를 지니지 않은 단순한 단어(minimal $X^{0}$ elements)로 가정한다. 즉, [+wh] 의미의 겹의문사는 동일한 구성요 소를 지닌 병렬적 합성어([$[W1]_{XO-}$ $[W1]_{XO}$ ]$_{XO}$)로 그리고 [-wh] 의미의 겹의문사는 중복된 발은을 지닌 한 단어로 ([W]$_{XO}$

• Proceedings of the Speleological Society Conference
• /
• 1994.05a
• /
• pp.106-110
• /
• 1994

$\bigcirc$ 동굴생물은 식물과 동물, 미생물로 크게 구분되지만 태양광선이 완전히 차단된 동굴내 환경에서는 동굴 동물들이 주종을 이루고 있다. $\bigcirc$ 동굴내의 동물에 관한 연구는 1966년 고씨동굴, 용담굴을 시발로 고수굴, 천동굴, 노동굴, 백룡굴, 대이굴, 환선굴 등 강원도내에 분포하는 동굴 중 약 30%정도는 동물을 포함한 생물상이 조사되었다. $\bigcirc$ 강원도의 동굴동물로서 확인된 것온 9종 30목141종이며 강별로는 곤충강이 9목 50종 주형강이 4목 49종 갑각강이 6목 18종의 순으로 우세하고 목별로는 거미목이 15과 39종, 톡토기목이 7과 20종, 딱정벌레목이 8과 15종으로 우세한 편이다 (남, 1987). $\bigcirc$ 동굴생물에 관한 연구는 육상생태계와 격리된 환경에서 생리, 생태적 적응을 통한 종의 분화나 유전, 진화문제를 추구하며 지하생태계와 육상생태계의 생물적인 유연관계 규명에 중요한 분야로 인정되며 아울러 독특한 특성을 지닌 동굴생물의 보존을 위한 방안과 노력이 일부동굴의 개방 및 개발에 앞서 더욱 구체적으로 모색되고 증대되어야 한다. $\bigcirc$ 동굴환경의 주요 특성은 첫째 햇빛이 차단되어 암흑상태이며, 둘째 내부습도가 높고 기온이나 수온의 연중변화가 심하지 않고, 셋째 먹이연쇄에 필수적인 영양공급원이 제한되어 있다. 따라서 광합성작용으로 성장하는 녹색식물은 태양광선이 유입되는 곳이나 인공조명시설 지역을 제외한 곳에서는 서식이 불가능하고 대형동물이나 초식동물은 생존이 어렵다. $\bigcirc$ 동굴내에는 환경에 적응하는 종들만이 서식할 수 있고 이들을 생태적 특성에 따라 세가지로 구분 할 수 있다. 환경적응 요인으로는 광도, 습도, 온도 영양공급원과 섭식장소, 수중생물의 경우는 특히 수온, 수량 영양원등이다.(중략)다. 본 연구의 접근방법으로는 ASRS의 개념적인 Reference Model을 수립하고 이 Reference Model에 대한 Formal Model로 DEVS(Discrete Event System Specification)을 이용하여 시스템을 Modeling하였다. 이의 Computer Simulation을 위하여 DEVS형식론 환경에서의 Simulation Language인 DEVSim ++ⓒ를 이용하여 시스템을 구현하였다.. 실형 결과로는 먼저 선형 상미분방정식의 예로 mass-damper-spring system, 비선형 상미분방정식의 예로는 van der Pol 방정식, 연립 상미분방정식의 예로는 mixing tank problem 등을 보였으며, 그의 공학에서 일어나는 여러 가지 문제들도 다루었다.화물에 대한 방어력이 증가되어 나타난 결과로 여겨지며, 또한 혈청중의 ALT, ALP 및 LDH활성을 유의성있게 감소시키므로서 감잎 phenolic compounds가 에탄올에 의한 간세포 손상에 대한 해독 및 보호작용이 있는 것으로 사료된다.반적으로 홍삼 제조시 내공의 발생은 제조공정에서 나타나는 경우가 많으며, 내백의 경우는 홍삼으로 가공되면서 발생하는 경우가 있고, 인삼이 성장될 때 부분적인 영양상태의 불충분이나 기후 등에 따른 영향을 받을 수 있기 때문에 앞으로 이에 대한 많은 연구가 이루어져야할 것으로 판단된다.태에도 불구하고 [-wh]의미의 겹의문사는 병렬적 관계의 합성어가 아니라 내부구조를 지니지 않은 단순한 단어(minimal $X^{0}$ elements)로 가정한다. 즉, [+wh] 의미의 겹의문사는 동일한 구성요 소를 지닌 병렬적 합성어([$[W1]_{XO-}$ $[W1]_{XO}$ ]$_{XO}$)로 그리고 [-wh] 의미의 겹의문사는 중복된 발은을 지닌 한 단어로 ([W]$_{XO}$

• Proceedings of the SCSK Conference
• /
• 1996.07a
• /
• pp.33-51
• /
• 1996

화장품의 변질요인은 크게 물리적 또는 화학적 변화에 의한 요인과 미생물오염으로 인한 각종 문제점으로 대별될 수 있다. 이 중에서 미생물 오염문제는 제품의 상품가치에 미치는 영향 뿐만 아니라 지속적인 사용에 의한 피부의 위생적 측면때문에 그 중요성에 대한 인식이 높아지고 있다. 따라서, 제품개발시는 화장품 처방중의 영양성분의 배합, pH, 유화형태, 방부제의 혼합, 분배계수 및 그 안정성을 고려하여야 함은 물론이고 처방중의 모든 원료의 각각에 대한 항균능 및 피부자극여부를 사전에 미리 조사하여 각 제품별로 적당한 방부체계를 선택하는 것은 매우 중요한일이다. 독성실험방법에 있어서 in vivo 실험에 대체할 수 있는 새로운 in vitro 실험방법 수립 즉, 동물실험을 하지 않고 in vitro 실험결과로부터 in vivo 결과를 예측할 수 있도록 새로운 in vitro 실험체계의 가능성을 실험하였다. 4종의 cell line중 transformed mouse fibroblast L929가 본 실험에서 사용하기에 배양상의 용이성과 안정성, 재현성의 관점에서 가장 알맞은 cell line이었다. transformed mouse fibroblast L929를 사용한 NR$_{50}$ assay와 Draize score간의 regression coefficient ${\gamma}$값은 0.91이었다. 혈청은 시험물질의 세포에 대한 민감성에 영향을 주었다. 따라서, modified serum-free method를 이용함으로써 regression coefficient가 증가된 즉, 상관성 및 재현성이 높은 결과를 얻을 수 있었다. 이러한 기술은 독성실험에 실험동물을 사용하지 않고 in vivo test에 대체 할 수 있고, 또한 화학물질에 대한 prescreening으로 이용할 수 있을 것으로 판단된다.원과 섭식장소, 수중생물의 경우는 특히 수온, 수량 영양원등이다.(중략). 본 연구의 접근방법으로는 ASRS의 개념적인 Reference Model을 수립하고 이 Reference Model에 대한 Formal Model로 DEVS(Discrete Event System Specification)을 이용하여 시스템을 Modeling하였다. 이의 Computer Simulation을 위하여 DEVS형식론 환경에서의 Simulation Language인 DEVSim ++ⓒ를 이용하여 시스템을 구현하였다.. 실형 결과로는 먼저 선형 상미분방정식의 예로 mass-damper-spring system, 비선형 상미분방정식의 예로는 van der Pol 방정식, 연립 상미분방정식의 예로는 mixing tank problem 등을 보였으며, 그의 공학에서 일어나는 여러 가지 문제들도 다루었다.화물에 대한 방어력이 증가되어 나타난 결과로 여겨지며, 또한 혈청중의 ALT, ALP 및 LDH활성을 유의성있게 감소시키므로서 감잎 phenolic compounds가 에탄올에 의한 간세포 손상에 대한 해독 및 보호작용이 있는 것으로 사료된다.반적으로 홍삼 제조시 내공의 발생은 제조공정에서 나타나는 경우가 많으며, 내백의 경우는 홍삼으로 가공되면서 발생하는 경우가 있고, 인삼이 성장될 때 부분적인 영양상태의 불충분이나 기후 등에 따른 영향을 받을 수 있기 때문에 앞으로 이에 대한 많은 연구가 이루어져야할 것으로 판단된다.태에도 불구하고 [-wh]의미의 겹의문사는 병렬적 관계의 합성어가 아니라 내부구조를 지니지 않은 단순한 단어(minimal $X^{0}$ elements)로 가정한다. 즉, [+wh] 의미의 겹의문사는 동일한 구성요 소를 지닌 병렬적 합성어([$[W1]_{XO-}$ $[W1]_{XO}$ ]

• Journal of Korea Multimedia Society
• /
• v.23 no.10
• /
• pp.1270-1285
• /
• 2020

As a representative concept of the fourth industrial revolution era where everything is digitized, digital twin means analyzing and optimizing a complex system using a simulation model synchronized with the system. In this paper, we propose a digital twin simulation model for the efficient operation of urban railways in Busan. Due to the geopolitical nature of Busan, where there are many mountains and narrow roads, the railways are more useful than other public transportation. However, this inversely results in a high level of congestion, which is an inconvenience to citizens and may be fatal to the spread of the virus, such as COVID19. Considering these characteristics, the proposed model analyzes the congestion level of the railways in Busan. The model is developed based on a mathematical formalism called discrete-event system specification and deduces the congestion level and the average waiting time of passengers depending on the train schedule. In addition, a new schedule to reduce the congestion level is derived through particle swarm optimization, which helps the efficient operation of the railways. Although the model is developed for the railways in Busan, it can also be used for railways in other cities where a high level of congestion is a problem.

• Journal of the Korea Society for Simulation
• /
• v.22 no.2
• /
• pp.11-19
• /
• 2013

This paper presents the battle space model, which is capable of propagating various types of emissions from platforms in underwater warfare simulation, predicting interesting encounters between pairs of platforms, and managing environmental information. The battle space model has four components: the logger, spatial encounter predictor (SEP), propagator, and geographic information system (GIS) models. The logger model stores brief data on all the platforms in the simulation, and the GIS model stores and updates environmental factors such as temperature and current speed. The SEP model infers an encounter among the platforms in the simulation, and progresses the simulation to the time when this encounter will happen. The propagator model receives various emissions from platforms and propagates these to other "within-range" platforms by considering the propagation losses and delays. The battle space model is based on the discrete event system specification (DEVS) and the discrete time system specification (DTSS) formalisms. To verify the battle space model, simple underwater warfare between a battleship and a submarine was simulated. The simulation results with the model were the same as the simulation results without the model.

• Journal of Digital Convergence
• /
• v.10 no.10
• /
• pp.539-544
• /
• 2012

Most of the man-made systems can be modeled as a hybrid system which consists of both the high-level and the low-level component model. High level model is responsible for decision-making and the low-level one takes control of the mechanical component parts. Since the two models requires different interpretation method according to their type, analysis of a hybrid system becomes a difficult job. For the Analysis of the high-level model, methods for discrete event system models such as FSM can be used. On the contrary, numerical analysis techniques are required for the low-level continuous-time system model. Since it becomes a difficult thing for a modeller specifies and develops both the two-level models altogether, we propose an efficient hybrid simulation method which employs a game physics engine that has been widely and successfully used in the area of game industry.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.5 no.1
• /
• pp.83-104
• /
• 2011

Mobile grid is a combination of grid computing and mobile computing to build grid systems in a wireless mobile environment. The development of network technology is assisting in realizing mobile grid. Mobile grid based on established grid infrastructures needs effective resource management and reliable job scheduling because mobile grid utilizes not only static grid resources but also dynamic grid resources with mobility. However, mobile devices are considered as unavailable resources in traditional grids. Mobile resources should be integrated into existing grid sites. Therefore, this paper presents a mobile grid middleware interconnecting existing grid infrastructures with mobile resources and a mobile service agent installed on the mobile resources. This paper also proposes a mobile resource reliability-based job scheduling model in order to overcome the unreliability of wireless mobile devices and guarantee stable and reliable job processing. In the proposed job scheduling model, the mobile service agent calculates the mobile resource reliability of each resource by using diverse reliability metrics and predicts it. The mobile grid middleware allocated jobs to mobile resources by predicted mobile resource reliability. We implemented a simulation model that simplifies various functions of the proposed job scheduling model by using the DEVS (Discrete Event System Specification) which is the formalism for modeling and analyzing a general system. We also conducted diverse experiments for performance evaluation. Experimental results demonstrate that the proposed model can assist in improving the performance of mobile grid in comparison with existing job scheduling models.

• Journal of the Korea Society for Simulation
• /
• v.17 no.1
• /
• pp.33-42
• /
• 2008

In general, simulation is to predict or evaluate some systems that are hard to be executed in real world, and so usually the target systems to be modeled are large and complex. Trying to observe the dynamics of the systems results in similar level of animation complexity, the model and animation has the same complexity as the system. Trying to display all the graphic objects representing the dynamics of the models being simulated, however, causes the distraction of focus, which results in solving the above listed problems difficult. The redundant graphic objects also increase the computer computation overhead. To solve the problem, a research about a hierarchical animation environment has been proposed a few years ago. In the research, the users can have better focus on the dynamics of system components by selectively choosing the hierarchical level and components within a level of the hierarchically structured model. However, the research has not a modeling methodology for modelers to describe systematically animation part corresponding to dynamics of simulation in a model. This research has defined the modeling methodology of DESHA and defined DESHA-C++, improving the previous research output, as an execution environment of DESHA models. In addition, to use hierarchical animation environment in various problems, this research proposed and developed the distributed simulation modeling environment that connects DESHA environment and HLA.

• Journal of the Korea Society for Simulation
• /
• v.24 no.2
• /
• pp.19-29
• /
• 2015

M&S techniques are utilized for various purposes on the national defense, and its importance is increasing than ever. For analyzing RAM (Reliability, Availability and Maintainability) of weapon system, using M&S techniques can be more effective and practical way than deterministic approach, because M&S approach can consider uncertain variables and various constraints in the ILS (Integrated Logistics support) field. For design of ILS M&S, we first set up a purpose of M&S, attributes of real system and other similar ILS M&S tool. Then, we convert real system into model which consists of mathematical formula and logical expression. In this thesis, we introduce modeling procedures of M&S that describes total life cycle of 'OO guided weapon system' and the contents proposed in this paper can provide references for developing other M&S tool.

• Journal of the Korea Institute of Military Science and Technology
• /
• v.25 no.6
• /
• pp.617-627
• /
• 2022

Military training is an essential item for the fundamental problem of war. However, there has always been a problem that many resources are consumed, causing spatial and environmental pollution. The concepts of defense modeling and simulation and CGF(Computer Generated Force) using computer technology began to appear to improve this problem. The Naval Operations, Resources Analysis Model(NORAM) developed by the Republic of Korea Navy is also a DEVS(Discrete Event Simulation)-based naval virtual force analysis model. The current NORAM is a battle experiment conducted by an operator, and parameter values such as maneuver and armament operation for individual objects for each situation are evaluated. In spite of our research conducted evolutionary, supervised, reinforcement learning, in this paper, we introduce our design of a scenario creation model based on evolutionary learning using genetic algorithms. For verification, the NORAM is loaded with our model to analyze wartime engagements. Human-level tactical scenario creation capability is secured by automatically generating enemy tactical scenarios for human-designed Blue Army tactical scenarios.