• Environmental and Resource Economics Review
• /
• v.19 no.3
• /
• pp.597-632
• /
• 2010

There is general agreement that global warming is occurring and that the main contributor to this probably is the buildup of green house gasses, GHG, in the atmosphere. Two main contributors are the utilization of fossil fuels and the deforestation of many regions of the world. The burning of fossil fuels increases atmospheric carbon while the burning of fuel-wood reducing fossil fuel consumption along with its forest source maintain an atmospheric carbon level. The standing timber in the forests is a carbon sink, as are wood buildings and structures, and fossil fuel in the ground. This paper is designed to examine a number of current issues related to mitigating the global warming problem through forestry. For this purpose, we develop a modeling approach by integrating timber market, fossil fuel market and carbon cycling model. We use discrete time optimal control theory to identify optimal time paths, the laws of motion, and stationary stats solutions of endogenous variables in the model. On the basis of these results, we identify the optimal amounts of subsidies to be provided or taxes to be imposed by the regulatory agency to mitigate atmospheric carbon accumulation. We also present a numerical example to help illustrate the characteristics of variables in the model when the social cost for atmospheric carbon incrementally shifts upward. A surprising result is that the social cost function for atmospheric carbon has a very smaller impact on the optimal rotation period than previous literature suggested.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.25 no.4B
• /
• pp.771-782
• /
• 2000

In this paper, an H.263 video codec is implemented by adopting the concept of hardware and software co-design. Each module of the codec is investigated to find which approach between hardware and software is better to achieve real-time processing speed as well as flexibility. The hardware portion includes motion-related engines, such as motion estimation and compensation, and a memory control part. The remaining portion of theH.263 video codec is implemented in software using a RISC processor. This paper also introduces efficient design methods for hardware and software modules. In hardware, an area-efficient architecture for the motion estimator of a multi-resolution block matching algorithm using multiple candidates and spatial correlation in motion vector fields (MRMCS), is suggested to reduce the chip size. Software optimization techniques are also explored by using the statistics of transformed coefficients and the minimum sum of absolute difference (SAD)obtained from the motion estimator.

• 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.

• The Journal of the Korea Contents Association
• /
• v.9 no.12
• /
• pp.656-664
• /
• 2009

The purposes of this study were to examine whether aquatic exercise has influence on the neuroplasticity and vestibulo-motor function in diffuse brain injury rats. 80 Sprague-Dawley rats were assigned to four groups; Group I: control group (n=20), Group II: aquatic exercise (n=20), Group III: treadmill exercise with change of velocity and inclination (n=20), Group IV: simple treadmill exercise (n=20). And we applied exercise each groups for 3 weeks except Group I. Before the rats were sacrificed to identify immunohistochemistry study at each time of measurement day, Rota-Rod test was given to assess changes in vestibulomotor function. then, the immunohistochemistry study of GAP-43 in discrete regions of the rat brain was performed to measure changes in neuroplasticity. The results demonstrate that aquatic exercise group is more effective than other groups. expression of GAP-43 and vestibulo-motor function were increased most in aquatic exercise group. Therefore, this study suggest that aquatic exercise may effective therapeutic approach to increase neuroplasticity and vestibulo-motor function in traumatic brain injury.

• Journal of the Korea Society for Simulation
• /
• v.25 no.2
• /
• pp.41-49
• /
• 2016

Counter Fire Operations can be characterized as having a system of systems that key features include situational awareness, command and control systems and highly responsive strike achieved by precision weapons. Current modeling methodology cannot provide an appropriate methodology for a system of systems and utilizes modeling and simulation tools to implement analytic options which can be time consuming and expensive. We explain developing methodology and tools for the effectiveness analysis of the counter fire operations under Network Centric Warfare Environment and suggest how to support a efficient decision making with the methodology and tools. Theater Counter Fire Operations tools consist of Enemy block, ISR block, C2 block and Shooter block. For the convenience of using by domain expert or non simulation expert, it is composed of the environments that each parameter and algorithm easily can be altered by user.

• Structural Engineering and Mechanics
• /
• v.64 no.4
• /
• pp.449-459
• /
• 2017

High-rise buildings are generally sensitive to strong winds. The evaluation of wind loads for the structural design, structural health monitoring (SHM), and vibration control of high-rise buildings is of primary importance. Nevertheless, it is difficult or even infeasible to measure the wind loads on an existing building directly. In this regard, a new inverse method for evaluating wind loads on high-rise buildings is developed in this study based on a discrete-time Kalman filter. The unknown structural responses are identified in conjunction with the wind loads on the basis of limited structural response measurements. The algorithm is applicable for estimating wind loads using different types of wind-induced response. The performance of the method is comprehensively investigated based on wind tunnel testing results of two high-rise buildings with typical external shapes. The stability of the proposed algorithm is evaluated. Furthermore, the effects of crucial factors such as cross-section shapes of building, the wind-induced response type, errors of structural modal parameters, covariance matrix of noise, noise levels in the response measurements and number of vibration modes on the identification accuracy are examined through a detailed parametric study. The research outputs of the proposed study will provide valuable information to enhance our understanding of the effects of wind on high-rise buildings and improve codes of practice.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.37C no.11
• /
• pp.1162-1169
• /
• 2012

One of the important operational requirements for mission critical Ethernet networked system is having the fault tolerant capability. Such capability can be obtained by equipping multiport Network Interface Card (NIC) in each node in the system. Conventional NIC uses two or more Media Access Controls (MACs) and a co-processor for the MAC switching whenever an active port fails. Since firmware is needed for the co-processor, longer fail-over switching and degraded throughput can be generally expected. Furthermore the system upgrading requiring the firmware revision in each tactical node demands high cost. In this paper we propose a novel single MAC based NIC that does not use a co-processor, but just use general discrete building blocks such as MAC chip and switching chip, which results in better performances than conventional method. Experimental results validate our scheme.

• Explosives and Blasting
• /
• v.22 no.4
• /
• pp.7-15
• /
• 2004

An explosion modeling technique was developed by using the spherical discrete element code, PFC3D, which can be used to model the dynamic stress wave propagation phenomenon. The modeling technique is simply based on an idea that the explosion pressure should be applied to a PFC3D particle assembly not in the form of an external force (body force), but in the form of a contact force (surface force). According to this concept, the explosion pressure is applied to the wall particles by the scheme of radius expansion/contraction of inner-hole particles. The output wall force is compared to the input hole pressure in every time step, and a correction routine is activated to control the radius multiplier of the inner-hole particles. A comparative blast simulation far a cement mortar block of $80\times90\times80mm$ was conducted by using the conventional explosion modeling method and the new one. The results of the simulation are presented in a qualitative fashion.

• Nuclear Engineering and Technology
• /
• v.14 no.4
• /
• pp.196-203
• /
• 1982

To transport the spent fuel assemblies of Korea Nuclear Unit 1, which is a Westinghouse type two loop pressurized water reactor, it has been found that steel is the most appropriate material for the design of a shipping cask in comparison with lead and depleted uranium. The proposed shipping cask will transport nine fuel assemblies at the same time and is well within the weight limit of transportation by unrestricted rail car. The cask requires 33cm thick steel shield and 27cm thick water region to satisfy the 3 feet apart dose rate limit set forth in 10 CFR 71, and 1.27cm thick steel boron fuel basket to hold the fuel elements inside the cask and control the effective multiplication factor. As a safety analysis, the fuel cladding and centerline temperatures were calculated under the accident condition of complete loss of water coolant, and it was found that the temperature was much lower than the limit of the melting point. k$_{eff}$ was calculated with fresh fuel assemblies, which was found to be well lower than 0.95. For shielding computation, the multipurpose Monte Carlo code MORSE-CG and one dimensional discrete ordinates transport code ANISN were used, and the Monte Carlo codes KENO and MORSE-CG were used for criticality calculation. The radiation source terms were calculated using ORIGEN-79.9.

• Journal of the Korea Society for Simulation
• /
• v.22 no.1
• /
• pp.21-30
• /
• 2013

A hybrid system is a combination of sub systems which have different types of state and time: a typical example is a combination of discrete event and continuous systems. A HDEVS(Hybrid DEVS) formalism was proposed for modeling and analyzing a hybrid system. The HDEVS formalism allows modelers to construct a hierarchical and modular model based on the mathematical set theory. Because the HDEVS formalism was applied to the distributed and interoperated simulators, modelers should make several heterogenous models dividing a target system. Hence, this paper proposes an extended hybrid coupled model of HDEVS formalism and an integrated hybrid modeling methodology in contrast to the existing simulation framework on interoperable simulators. By applying the proposed modeling method, a target system can be translated to a hybrid model in a similar form as the target system. This paper also contains a simulation engine design for the proposed modeling methodlogy and a case study which simulates water tank control systems.