• Asia pacific journal of information systems
• /
• v.4 no.2
• /
• pp.247-263
• /
• 1994

This paper reports the results of a field study investigating the effect of user participation and attitude on the success of information system implementation during the system development process. The theoretical framework for this research is based on the organizational change theory, in which the attitude affects the effects of user's participation. User participation and attitude were defined as independent variables and the performance of system implementation as dependent variable. User participation was defined as a direct participation by end users in the process of the new information system development. This was measured by user's participation/non-participation. User attitude refers to user's opinions or feelings before a new system is developed. This was measured by user's favor toward a system. The performance of system implementation was measured by the surrogate variable, the degree of individual satisfaction on developed system. To achieve the objective of this research, a field research method utilizing questionnaires were employed. They were distributed to 221 users present during and/or after system development. Among 185 questionnaires returned, 175 questionnaires were used for analysis. The major findings can be summarized as follows: First, there was no significant effect of user participation on user satisfaction. Second, there was a significant effect of user attitude on user satisfaction. Third, there was no significant interaction effect of user participation and attitude on user satisfaction. It is worth to note that the user's participation did not have any significant effect on the user's satisfaction. It seems the reason for the above result is due to user's involuntary participation. In fact, the user does not have much leverage in the process of system development, which may result in poor performance of user participation. Since user attitude is an important factor in the success of system implementation, however, a method to overcome unfavorable attitude of user should proceed all others.

• Journal of Gifted/Talented Education
• /
• v.24 no.5
• /
• pp.733-755
• /
• 2014

This study aims to develop and validate Creative Problem Solving Profile Inventory (CPSPI) which is a scale to measure the creative thinking style, based on the CPS theory. For redeeming the limits of existing scales, this study developed an inventory which includes an evaluation for cognitive ability as well as cognitive preference and the stage to share an idea with others and persuade (Persuasion & communication stage). At the early stage, 7 factors (stages) and 82 items were developed and finally, 5 factors and 39 items were selected through item analysis and validation of construct validity. In conclusion, CPSPI will be used as an educational tool for self-development by knowing own's strengths and weaknesses in the creative problem-solving process, and help in displaying cooperative creativity by understanding other people and interaction, based on creative thinking profiles of group members.

• Journal of Korean Society of Steel Construction
• /
• v.10 no.4 s.37
• /
• pp.759-767
• /
• 1998

Full-depth precast concrete deck bridge has shear pockets for shear connectors that give composite action with steel girder. Strength and shear stiffness of shear connection that is needed to design shear connectors in case that shear pockets are filled with nonshrink mortar are investigated. In case that simple span full-depth precast concrete deck bridge is designed by allowable stress design, distribution of shear connector is suggested and details of precast panel that is placed on the support are proposed. Appropriate distribution of shear connectors in strength design and fatigue design is investigated through parameter analyses using partial interaction theory. The effects of nonshrink mortar strength is studied using the results of experiments and analyses and adequate strength is proposed.

• Journal of the Computational Structural Engineering Institute of Korea
• /
• v.23 no.5
• /
• pp.493-499
• /
• 2010

In the sea-floating logistics port called mobile harbor a crane system with the different structure from the conventional above-ground container crane is installed. And, the dynamic stability of whole mobile harbor by the wave excitation is definitely affected by the crane positioned at the top. This paper is concerned with the dynamic rolling analysis of the mobile harbor subject to sea state 3 wave excitation, for which two-step analysis procedure composed of theoretical and numerical approaches is employed. First, the rigid rolling of mobile harbor is obtained according to the linear wave theory. And then, the dynamic rolling response of the flexible crane system caused by the rolling excitation of mobile harbor is analyzed by finite element analysis. The coupled interaction effect between the sea wave and the mobile harbor is taken into consideration by the added mass technique.

• Journal of KIISE:Computer Systems and Theory
• /
• v.26 no.12
• /
• pp.1485-1492
• /
• 1999

대규모 시스템 명세의 올바름을 검증하기 위한 유한 상태 LTS에 기반을 둔 CTL논리 적용에 있어 가장 큰 문제점은, 시스템 내부의 병렬 프로세스간의 상호작용으로 인한 상태폭발이다. 그러나 Modal mu-calculus 논리를 시스템 안전성 및 필연성 특성 명세에 사용하면, 행위에 의한 순환적 정의가 가능하므로 상태폭발 문제가 해결 가능하다. 본 논문에서는 LTS로 명세화된 통신 프로토콜 시스템 모델의 안전성 및 필연성 특성을 모형 검사 기법에 의해 검증함에 있어, 시제 논리로 사용된 Modal mu-calculus 안전성 및 필연성 논리식과 CTL 의 안전성 및 필연성 논리식의 극한값이 동일함을 두 논리식을 만족하는 상태 집합이 같다는 것을 보임으로써 증명한다. 증명된 결과는 I/O FSM 모델로 표현된 통신 프로토콜의 안전성 및 필연성 검사를 위해 이론적인 기반으로서, 컴퓨터를 이용한 모형검사 기법에 효과적인 방법으로 응용이 가능하다.Abstract In applying CTL-based model checking approach to correctness verification of large state transition system specifications, the major obstacle is the combinational explosion of the state space arising due to interaction of many loosely coupled parallel processes. If, however, the modal mu-calculus viewed as a CTL-based logic with recursion, is used to specify the safety and liveness property of a given system, it is possible to resolve this problem. In this paper, we discuss the problem of verifying communication protocol system specified in LTS, and prove that a logic expression specifying safety and liveness in modal mu-calculus is semantically identical to the maximum value of the expression in CTL. This relation is verified by the proof that the sets of states satisfying the two logic expressions are equivalent. The proof can be used as a theoretical basis for verifying safety and liveness of communication protocols represented as I/O FSM model.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.8 no.8
• /
• pp.1725-1731
• /
• 2004

The use of gestures provides an attractive alternate to cumbersome interface devices for human-computer interaction. This has motivated a very active research area concerned with computer vision-based analysis and interpretation of hand gestures. The most important issues in gesture recognition are the simplification of algorithm and the reduction of processing time. The mathematical morphology based on geometrical set theory is best used to perform the processing. A key idea of proposed algorithm in this paper is to apply morphological shape decomposition. The primitive elements extracted to a hand gesture include in very important information on the directivity of the hand gestures. Based on this characteristic, we proposed the morphological gesture recognition algorithm using feature vectors calculated to lines connecting the center points of a main-primitive element and sub-primitive elements. Through the experiment, we demonstrated the efficiency of proposed algorithm. Coupling natural interactions such as hand gesture with an appropriately designed interface is a valuable and powerful component in the building of TV switch navigating and video contents browsing system.

• Journal of KIISE:Computer Systems and Theory
• /
• v.33 no.3
• /
• pp.147-156
• /
• 2006

Physically-based simulation modeling is to simulate the real world by using physical laws such as Newton's second law of motion, while other modelings use only geometric Properties. In this paper, we present a real time simulation of stone skipping by using the physically-based modeling. We also describe interaction of a stone on the surface of water, and focus on calculating the path of the stone and the natural phenomena of water The path is decided by velocity of the stone and drag force from the water The motion is recalculated until the stone is immersing into the water surface. Our simulation provides a natural motion of stone skippings in real time. And the motion of stone skippings are generated by give interactive displays on the PC platforms. The techniques presented can easily be extended to simulate other interactive dynamics systems.

• Journal of the Korean Society of Costume
• /
• v.18
• /
• pp.351-359
• /
• 1992

The purpose of this study is to analyze the costume in $\ulcorner$The Goddess Abides$\lrcorner$ of Pearl S. Buck by applying "Dramaturgical Analysis" of Erving Goffman. The frame of analysis is the dramaturgical conception of Goffman that he expressed in $\ulcorner$The Presentation of self in Everyday Life (1959)$\lrcorner$. Among the conception, I analyzed by applying 'performance', 'technique of impression management', 'region and region behavior' which can be used for studying and costume behavior. The following is the summary of my study. First, the performance means the performer's behavior and the procedure of impression management if face to fact interaction, which includes personal front and setting. Setting is mainly a house on the Mt. in Vermont. The time is Winter. The personal front includes appearance and manner. actors and audiences form impression through persional front. And Istudied the performance of the actors (or actress), Edith, Jared, Edmond, Edwin, Amelia, June. As for technique of impression management, I cold observe that a varieth of that were being used, such as the most general one that Edith wants to look beautiful by making god appearance, or she sometimes try not to look beautiful And when Edith meets Jared, sometimes she changed her clothes, but other times she doesn't do that. As for region and region behavior, there appears the distinction of region and a lot of expressions about clothes related to the distinction. I could observe the expressions showing the movement from front to back and from back to front. Especially I could observe the behaviors that can be occured only in back region in everyday life, that is bathing, changing clothes, making up, checking their appearance before the mirror. Like above when I analyzed $\ulcorner$The Goddess Abides$\lrcorner$ of Pearl S. Buck by Goffman's Dramaturgical analysis, I could find out that the theory was very useful to the analysis of the costume behaviors of the characters.

• Journal of the Korean Operations Research and Management Science Society
• /
• v.38 no.1
• /
• pp.103-121
• /
• 2013

Since American Airlines's mileage program emerged in market, loyalty programs have gained popularity. Many companies have generated many kinds of reward cards in order to induce precious consumers. As a result, reward cards are very important in consumer goods market and become diversified. In spite of its importance, little is known about how these cards influence consumer's perception. The prior research has not focused on reward card types and psychological variables. Accordingly this research intends to investigate psychological variables such as transaction coupling and sunk cost perception. According to the theory of regulatory focus, promotion focus consumers would point to gain-nongain frame work, but prevention focus consumers would point to loss-nonloss frame work. The paper proved the effect of reward card types and regulatory focus on transaction coupling and sunk cost perception. Based on the results from 2(type of card : visible vs invisible) ${\times}$ 2(regulatory focus: promotion vs prevention) between-subjects factorial design experiments, we found that consumer's transaction coupling and sunk cost perception of visible reward card are better recognized than invisible reward card. In addition, the results show that there is a significant interaction effect between the type of reward card and regulatory focus. Specifically promotion focused consumers tend to reveal better perception than prevention focused consumers in use of invisible cards. However, prevention focused consumers tend to show better perception than promotion focused consumers in use of visible cards. These findings will contribute to significant academic development and practically useful help to marketing managers.

• Smart Structures and Systems
• /
• v.8 no.1
• /
• pp.17-37
• /
• 2011

The microcantilever (MCL) sensor is one of the most promising platforms for next-generation label-free biosensing applications. It outperforms conventional label-free detection methods in terms of portability and parallelization. In this paper, an overview of recent advances in our understanding of the coupling between biomolecular interactions and MCL responses is given. A dual compact optical MCL sensing platform was built to enable biosensing experiments both in gas-phase environments and in solutions. The thermal bimorph effect was found to be an effective nanomanipulator for the MCL platform calibration. The study of the alkanethiol self-assembly monolayer (SAM) chain length effect revealed that 1-octanethiol ($C_8H_{17}SH$) induced a larger deflection than that from 1-dodecanethiol ($C_{12}H_{25}SH$) in solutions. Using the clinically relevant biomarker C-reactive protein (CRP), we revealed that the analytical sensitivity of the MCL reached a diagnostic level of $1{\sim}500{\mu}g/ml$ within a 7% coefficient of variation. Using grazing incident x-ray diffractometer (GIXRD) analysis, we found that the gold surface was dominated by the (111) crystalline plane. Moreover, using X-ray photoelectron spectroscopy (XPS) analysis, we confirmed that the Au-S covalent bonds occurred in SAM adsorption whereas CRP molecular bindings occurred in protein analysis. First principles density functional theory (DFT) simulations were also used to examine biomolecular adsorption mechanisms. Multiscale modeling was then developed to connect the interactions at the molecular level with the MCL mechanical response. The alkanethiol SAM chain length effect in air was successfully predicted using the multiscale scheme.