• 한국환경과학회지
• /
• 제23권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
• /
• 제8권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.

• 한국콘크리트학회:학술대회논문집
• /
• 한국콘크리트학회 2000년도 가을 학술발표회논문집(I)
• /
• 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
• /
• 제7권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.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2001년도 추계학술대회 논문집
• /
• 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.

• 한국소음진동공학회논문집
• /
• 제22권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
• /
• 제15권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
• /
• 제15권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.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2009년도 춘계학술대회 논문집
• /
• 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.

• 한국구조물진단유지관리공학회 논문집
• /
• 제25권4호
• /
• pp.1-11
• /
• 2021

본 연구에서는 코어 및 오프셋 아웃리거 구조의 수평거동을 파악할 목적으로 70층 규모의 초고층 아웃리거 건물을 대상으로 MIDAS-Gen을 이용하여 구조해석 및 구조설계를 실시하였다. 그리고 본 해석의 주요한 변수는 아웃리거의 강성과 아웃리거의 평면상 위치로 설정하였다. 또한 본 해석결과에 근거하여 코어 및 오프셋 아웃리거 구조의 슬래브, 아웃리거, 외곽 기둥과 같은 구조요소들의 수평거동을 분석하였다. 본 해석연구의 결과에서는 아웃리거의 강성과 아웃리거의 평면상 위치가 초고층 아웃리거 구조시스템의 수평거동에 어떤 영향을 주는지를 분석하여 나타내었다. 특히 코어 아웃리거 구조에서는 전단벽과 외곽기둥을 연결하는 아웃리거가 위치하는 슬래브에 응력이 크게 작용하였고, 오프셋 아웃리거 구조에서는 전단벽과 아웃리거 사이에 위치한 슬래브에 응력이 크게 작용하였다. 또한 본 연구결과는 초고층 아웃리거 구조시스템의 합리적인 구조설계에 필요한 공학 데이터를 얻는데 중요한 도움이 된다고 사료된다.