• Journal of Environmental Science International
• /
• v.23 no.8
• /
• pp.1455-1462
• /
• 2014

The purpose of this study is to examine green consumer behavior (green product purchasing behavior and green consumption life) affected by demographical characteristics, and cognition degree of green life (cognition of a green indicator, a green life catalyst system, and environmental problems). It's also to promote strategy and suggest effective activation plans for the vitalization of green consumer behavior. To carry out the task, verification of credibility, multiple regression analysis, two-step cluster analysis, and multinomial logistic analysis were used. The results are as follows: First, the factors that effect green product purchasing behavior were gender, age, cognitive of a green indicator, carbon points system, electricity peak hour system, and seriousness of environmental damage due to lifestyle. Second, the factors that effect green lifestyle were gender, age, carbon grade indicator system, cognition of a green system, and the seriousness of environmental damage due to lifestyle. Third, the comparative group characteristic analysis showed low rates for careless green consumer behavior groups compared to the passive green consumer behavior groups in cognition of a green indicator, green system, and environmental problems. For active green consumer behavior groups, the analysis showed high rates in cognition of carbon grades, eco-labeling, electricity peak hour system, and environmental damage due to lifestyle. In order to encourage green consumer behavior, it's evident that cognition of a green indicator, a green life catalyst system, and environmental problems need to be improved through strategic education and continuous encouragement.

• International Journal of Advanced Culture Technology
• /
• v.8 no.1
• /
• pp.152-156
• /
• 2020

The study is to examine the mediating effect of psychological empowerment on the causal relationship between high-performance work system and organizational citizenship behavior. This study collected data from public organizations that are responsible for social welfare provision in Daegu, Gyeongsangbuk-Do, and Pusan in South Korea. This study employs confirmatory factor analysis in Amos 21 to find the discriminant validity of all constructs and regression analysis by Baron and Kenny (1986) to test that psychological empowerment is a mediator of the causal relationship between high-performance work system and organizational citizenship behavior. As the result of the analysis, psychological empowerment has a significant mediating effect on the relationship between high-performance work system and organizational citizenship behavior. The study suggests to the managers in social welfare organizations how they need to enhance organizational citizenship behavior through psychological empowerment themselves.

• Proceedings of the Korea Concrete Institute Conference
• /
• 2000.10a
• /
• pp.87-92
• /
• 2000

The real situation of an underground reinforced concrete(RC) structure with the surrounding soil medium subjected to seismic load is quite difficult to be simulated through an expensive work and, even if it is possible to arrange such an experiment, it will be too expensive. So development of analytical method can be applied usefully to seismic design and seismic retrofit through an analysis of seismic behavior and seismic performance evaluation. A path-dependent constitutive model for soil that can estimate the response of soil layer is indispensible for dealing with kinematic interaction of RC/soil entire system under seismic loads. And interface model which deals with the dynamic interaction of RC/soil entire system is also necessary. In this study, finite element analysis program that can consider path-dependent behavior of RC and soil, and interfacial behavior between RC and soil is developed for rational seismic analysis of RC/soil entire system. Using this program, nonlinear behavior of interface between RC and soil is analyzed, and the effect of interfacial behavior to entire system is investigated.

• Journal of Information Processing Systems
• /
• v.7 no.4
• /
• pp.707-716
• /
• 2011

It is important that desktop grids should be able to aggressively deal with the dynamic properties that arise from the volatility and heterogeneity of resources. Therefore, it is required that task scheduling be able to positively consider the execution behavior that is characterized by an individual resource. In this paper, we implement a log analysis system with REST web services, which can analyze the execution behavior by utilizing the actual log data of desktop grid systems. To verify the log analysis system, we conducted simulations and showed that the resource group-based task scheduling, based on the analysis of the execution behavior, offers a faster turnaround time than the existing one even if few resources are used.

• Proceedings of the KSR Conference
• /
• 2001.10a
• /
• pp.35.1-40
• /
• 2001

This study is on the behavior analysis which can define and verify a system requirement through a behavior diagram for High speed rail system. The model considered in this study is limited to the preconditioning control of the control system specification for HSRS. To build an executable model, requirements should be decomposed first into leaf node requirements. The behavior model is composed of input, output, and functions which are linked with leaf node requirements. It is important that a single requirement must specify a single Auction. Using the developed executable model and the traceability between requirements and functions, this study found out a lot of static and dynamic inconsistency, missed and derived requirements. This is to develop and executable behavior model to do functional analysis and be able to verify the integrity of a specification.

• Transactions of the Korean Society for Noise and Vibration Engineering
• /
• v.22 no.9
• /
• pp.889-895
• /
• 2012

A vertical launching system(VLS) is a system for holding and firing missiles on surface ships. When a missile is launched in VLS, relative motion between canister and missile and drag force induced by wind can cause initial unstability of a missile. Thus dynamic analysis of initial behavior of vertically launched missile should be performed to prevent collision with any structure of a ship. In this study, dynamic analyses of initial behavior of vertically launched missile are performed using Monte-Carlo simulation, which relys on random sampling and probabilistic distribution of variables. Each parameter related with dynamic behavior of a missile is modeled with probability variables and Recurdyn, a commercial software for multi body dynamic analysis, is used to perform Monte-Carlo simulation. As a result, initial behavior of a missile is evaluated with respect to various performance indexes in a probabilistic sense and sensitivity of the each parameters is calculated.

• Journal of Information Processing Systems
• /
• v.15 no.3
• /
• pp.570-592
• /
• 2019

The Event-B design pattern is an excellent way to quickly develop a formal model of the system. Researchers have proposed a number of Event-B design patterns, but they all lack formal behavior semantics. This makes the analysis, verification, and simulation of the behavior of the Event-B model very difficult, especially for the control-intensive systems. In this paper, we propose a novel method to transform the Event-B synchronous control flow design pattern into the labeled transition system (LTS) behavior model. Then we map the design pattern instantiation process of Event-B to the instantiation process of LTS model and get the LTS behavior semantic model of Event-B model of a multi-level complex control system. Finally, we verify the linear temporal logic behavior properties of the LTS model. The experimental results show that the analysis and simulation of system behavior become easier and the verification of the behavior properties of the system become convenient after the Event-B model is converted to the LTS model.

• Journal of applied mathematics & informatics
• /
• v.15 no.1_2
• /
• pp.405-414
• /
• 2004

This paper considers overload control in telecommunication networks. Markov-modulated Bernoulli process ( MMBP ) has been extensively used to model bursty traffics with time-correlation. Thus, we investigate the transient behavior of the queueing system MMBP/D/l/K queue with two thresholds. The model is analyzed recursively by using the generating function method. We obtain the transient queue length distribution and waiting time distribution at an arbitrary time. The transient behavior of the queueing system helps observing the temporary system behavior.

• Proceedings of the KSR Conference
• /
• 2009.05a
• /
• pp.2005-2009
• /
• 2009

Urban transit consists of signaling system, railway systems, power facilities systems, information and communication system and the other complicated facilities. There are many new technologies to analysis the requirement of for information and communication system. The more system is complicate, the more system design error occur frequently in development of information and communication system. Now, we need to reduce the error by analysis the behavior of the requirements of it. Thus in this paper, we suggest the way to analysis the behavior of the requirements by using the computer aided design tools.

• Journal of the Korea institute for structural maintenance and inspection
• /
• v.25 no.4
• /
• pp.1-11
• /
• 2021

The research intended to understand the lateral behavior in core and offset outrigger system. To achieve this goal, a structural analysis and design of 70 stories building was carried out by making use of MIDAS-Gen. And the primary parameters of this analysis were the stiffness of outrigger and the location of outrigger in plan. On the basis of the analysis results, we analyzed the lateral behavior of structural elements such as slab, outrigger and exterior columns in core and offset outrigger. In this analysis research, it is indicated that the stiffness of outrigger and the outrigger location in plan had an any impact on lateral behavior in outrigger system of tall building. Specially, slab stresses in core outrigger system were highly distributed in the slab near the outrigger system to connect shear walls and exterior columns while slab stresses in offset outrigger system were highly distributed in the slab between the outrigger system and shear walls. Also the study results can be of significant help to obtaining the engineering data for the reasonable structure design of the high-rise outrigger system.