• Clean Technology
• /
• v.19 no.4
• /
• pp.476-480
• /
• 2013

The growth behavior of $CH_4$ and $SF_6$ mixture gas hydrate has been investigated by a combined approach of Raman spectroscopy and molecular modeling. Raman spectroscopy results presented that when $CH_4$ is used only, $CH_4$ guest molecule is inserted first into the large cavity of the host structure built by $H_2O$ molecules and then into the small cavity to stabilize the whole gas hydrate structure. In the other hand, when $SF_6$ is mixed together, $SF_6$ is favored over (or competing with) $CH_4$ in being inserted into the large cavity and the small cavity still prefers $CH_4$ insertion. The calculations of binding energies clearly supported this. While $SF_6$ has a binding energy of -26.9 kcal/mol a little lower than -24.2 kcal/mol of $CH_4$ in the large cavity, $SF_6$ and $CH_4$ has 1.2 kcal/mol and -22.0 kcal/mol, respectively, in the small cavity. It indicates that the sizable $SF_6$ is not preferred in the small cavity but has a relative energetic advantage over $CH_4$ in the large cavity.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.19 no.10
• /
• pp.410-417
• /
• 2018

System design errors are more likely to occur in modern systems because of their steadily increasing size and complexity. Failures due to system design errors can cause safety-related accidents in the system, resulting in extensive damage to people and property. Therefore, international standards organizations, such as the U.S. Department of Defense and the International Electrotechnical Commission, have established international safety standards to ensure system safety, and recommend that system design and safety activities should be integrated. Recently, the safety of a system has been verified by modeling through a model-based system design. On the other hand, system design and safety activities have not been integrated because the model for system design and the failure model for safety analysis and verification were developed using different modeling language platforms. Furthermore, studies using UML or SysML-based failure models for deriving safety requirements have shown that these models have limited applicability to safety analysis and verification. To solve this problem, it is essential to extend the existing methods for failure model implementation. First, an improved SysML-based failure model capable of integrating system design and safety verification activities should be produced. Next, this model should help verify whether the safety requirements derived via the failure model are reflected properly in the system design. Therefore, this paper presents the concept and method of developing a SysML-based failure model for an automotive system. In addition, the failure model was simulated to verify the safety of the automotive system. The results show that the improved SysML-based failure model can support the integration of system design and safety verification activities.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.15 no.12
• /
• pp.7430-7437
• /
• 2014

Owing to the increase in large and complex construction projects, the design paradigm of architecture and civil engineering projects has changed from 2D CAD to 3D CAD. For this reason, to meet the strong requirements of project contractors, various efforts have been made to adopt a Building Information Modeling (BIM) technology for effective construction management. On the other hand, compared to architectural projects, only a few civil engineering project cases have been conducted in the perspective of public contractors. This is because the characteristics of civil project contractors and the negative pursuit of adopting BIM technology due to the lack of a current BIM system and technologies. Recently, positive changes in adopting BIM technology for public projects were anticipated by public owners, such as the Public Procurement Service and the Ministry of Land, Infrastructure and Transport. In this regard, this study analyzed the current BIM technology status of public owners in Korea to adopt the BIM policies and guidelines of the Korean government. Strategies for adopting BIM technologies for Korean public owners are also discussed based on an analysis of civil engineering BIM project cases.

• The Journal of Engineering Geology
• /
• v.32 no.4
• /
• pp.643-659
• /
• 2022

Geologic sequestration technologies such as CCS (carbon capture and storage), EGS (enhanced geothermal systems), and EOR (enhanced oil recovery) have been widely implemented in recent years, prompting evaluation of the mechanical stability of storage sites. As fluid injection can stimulate mechanical instability in storage layers by perturbing the stress state and pore pressure, poroelastic models considering various injection scenarios are required. In this study, we calculate the pore pressure, stress distribution, and vertical displacement along a surface using commercial finite element software (COMSOL); fault slips are subsequently simulated using PyLith, an open-source finite element software. The displacement fields, are obtained from PyLith is transferred back to COMSOL to determine changes in coseismic stresses and surface displacements. Our sequential use of COMSOL-PyLith-COMSOL for poroelastic modeling of fluid-injection and induced-earthquakes reveals large variations of pore pressure, vertical displacement, and Coulomb failure stress change during injection periods. On the other hand, the residual stress diffuses into the remote field after injection stops. This flow pattern suggests the necessity of numerical modeling and long-term monitoring, even after injection has stopped. We found that the time at which the Coulomb failure stress reaches the critical point greatly varies with the hydraulic and poroelastic properties (e.g., permeability and Biot-Willis coefficient) of the fault and injection layer. We suggest that an understanding of the detailed physical properties of the surrounding layer is important in selecting the injection site. Our numerical results showing the surface displacement and deviatoric stress distribution with different amounts of fault slip highlight the need to test more variable fault slip scenarios.

• Journal of the Ergonomics Society of Korea
• /
• v.25 no.2
• /
• pp.135-146
• /
• 2006

Multimodal interfaces are recognition-based technologies that interpret and encode hand gestures, eye-gaze, movement pattern, speech, physical location and other natural human behaviors. Modality is the type of communication channel used for interaction. It also covers the way an idea is expressed or perceived, or the manner in which an action is performed. Multimodal Interfaces are the technologies that constitute multimodal interaction processes which occur consciously or unconsciously while communicating between human and computer. So input/output forms of multimodal interfaces assume different aspects from existing ones. Moreover, different people show different cognitive styles and individual preferences play a role in the selection of one input mode over another. Therefore to develop an effective design of multimodal user interfaces, input/output structure need to be formulated through the research of human cognition. This paper analyzes the characteristics of each human modality and suggests combination types of modalities, dual-coding for formulating multimodal interaction. Then it designs multimodal language and input synchronization method according to the granularity of input synchronization. To effectively guide the development of next-generation multimodal interfaces, substantially cognitive modeling will be needed to understand the temporal and semantic relations between different modalities, their joint functionality, and their overall potential for supporting computation in different forms. This paper is expected that it can show multimodal interface designers how to organize and integrate human input modalities while interacting with multimodal interfaces.

• Bulletin of the Korean Space Science Society
• /
• 2011.04a
• /
• pp.26.2-26.2
• /
• 2011

Flyby anomaly (unexpected energy increase during Earth Gravity Assists) indicates existence of an unknown non-conservative perturbation which affects hyperbolic trajectories. This presentation focuses on first order position and velocity perturbation formulas derived in terms of classical orbital element variations for hyperbolic orbit. By using both the perturbation formulas and numerical approach, we analyze effects of hypothetical acceleration models proposed by Hasse (2009), Lewis (2009), Gerrad and Sumner (2008), and Busack (2007). Based on analysis of perturbation effect on low earth orbit, we find that typical position perturbation is about 10m which is much larger than current orbit determination accuracy. From this, we deduce that anomalous acceleration only affects hyperbolic orbit or behaves differently in bound orbit. On the other hand, based on analysis of perturbation effects on hyperbolic trajectories, we find that position and velocity perturbations are highly different from acceleration models, and all of proposed models fail to explain observed range and Doppler data. Thus, it can be concluded that not only energy variations but also kinematics gives us crucial clues on the flyby anomaly, and kinematical characteristic should be considered in modeling flyby anomaly.

• Journal of the Korean Operations Research and Management Science Society
• /
• v.40 no.3
• /
• pp.63-72
• /
• 2015

This paper presents the issue that is predicting the movement of an agent in an enclosed space by using the MDP (Markov Decision Process). Recent researches on the optimal path finding are confined to derive the shortest path with the use of deterministic algorithm such as $A^*$ or Dijkstra. On the other hand, this study focuses in predicting the path that the agent chooses to escape the limited space as time passes, with the stochastic method. The MDP reward structure from GIS (Geographic Information System) data contributed this model to a feasible model. This model has been approved to have the high predictability after applied to the route of previous armed red guerilla.

• Journal of Electrical Engineering and Technology
• /
• v.10 no.4
• /
• pp.1453-1459
• /
• 2015

Loss of excitation (LOE) relay is prevalently used to protect synchronous generator. The widely used method for synchronous generator LOE protection is a negative offset mho relay with two zones. The basis of this relay is identical to mho impedance relay. In other words, this relay calculates impedance by measuring voltage and current at the generator terminal. On the other hand, the presence of series compensation, changes measured voltage and current signals during loss of excitation. This paper reveals that the presence of series compensators such as fixed series capacitors (FSCs) and static synchronous series compensator (SSSC) causes a significant delay on the performance of generator LOE relay. It is also shown that the presence of SSSC causes the LOE relay to be under-reached. Different operating modes of the power system, the SSSC and also different percentages of series capacitive compensations have been considered in the modeling. All the detailed simulations are carried out in the MATLAB/Simulink environment using the SimPowerSystems toolbox.

• Journal of Multimedia Information System
• /
• v.2 no.2
• /
• pp.223-232
• /
• 2015

In this system, mobile devices are not independent, they can communicate with each other, one device's change can affect the whole system or other devices. To achieve the above mentioned A Self-Reconfigurable System of Contents, through discover the device and connect process, to establish the connection between the mobile devices. After user assigns two dimension display type, the user can select content to input the system, contents are portioning and broadcast to devices. The system can self-reconfigure contents rapidly and exactly. This technique supports contents self-reconfiguration for devices remove, addition and position exchange. In this paper, when the user uses the hand contacts device, the device sends a signal to assist the system to detection device's position. The system does not need to get accurate devices moving direction, just according to all changed devices position to judge where the devices destination is. This research develops an application according to this technique, and the real machine tests the application using Android platform. Some communication protocols and mathematical modeling methods are proposed. These methods can also be used in other Internet of Things (IoT) fields, such as Drones Navigation, Smart Home, and Informational City management.

• Korean Journal of Child Studies
• /
• v.36 no.2
• /
• pp.17-37
• /
• 2015

The study examined the pathways from maternal reactions to children's negative emotions to children's peer relations through children's empathy and emotional regulation. The participants in this study comprised 463 elementary school 4th-6th graders. They completed questionnaires on maternal reactions to children's negative emotions, levels of children's empathy, maladaptive emotion regulation types and skill levels of children's peer relations. Data were analyzed by means of structural equation modeling. It was found that in the case of maternal emotion coaching reactions, when done indirectly, as well as directly, had an influence on their levels of peer relations. On the other hand, in the case of over-sensitive maternal reactions, when done indirectly, but not directly, had an influence on their levels of peer relations. Therefore, these results indicate that children's empathy mediated the effects of maternal emotion coaching and over-sensitive reactions on peer relations. It also found that there are distinct pathways from maternal reaction types to children's negative emotions to peer relations through empathy and maladaptive emotion regulation types.