• Journal of KIISE:Software and Applications
• /
• v.36 no.10
• /
• pp.800-815
• /
• 2009

Recently, Web services based service-oriented architecture is widely used to integrate effectively various applications distributed on the networks. In the service-oriented architecture BPEL as a standard modeling language for the business processes provides the way to integrate various services provided by applications. Over the past few years, some types of studies have been made on testing compatibility of services and on discriminating and tracing of the business processes in the services composition. Now a lot of studies about the services composition with BPEL are going on. However there were few efforts to solve the problems caused by the services composition. Especially, there is no effort to evaluate whether a composite service is reliable and whether it is robust against to exceptional situations. In this paper, we suggest a test framework and a testing method for robustness of the composite service written in WS-BPEL. For this, firstly we extract some information from the BPEL process and the participant services. Next, with the extracted information we construct the virtual testing environment that generates various faults and exceptional cases which may be raised within the real services. Finally the testing work for robustness of a composite service is performed on the test framework.

• Journal of the Korea Computer Graphics Society
• /
• v.24 no.2
• /
• pp.21-28
• /
• 2018

We present interactive methods for visualizing the cloud height data and the backscatter data collected from ceilometers in the three-dimensional virtual space. Because ceilometer data is high-dimensional, large-size data associated with both spatial and temporal information, it is highly improbable to exhibit the whole aspects of ceilometer data simply with static, two-dimensional images. Based on the three-dimensional rendering technology, our visualization methods allow the user to observe both the global variations and the local features of the three-dimensional representations of ceilometer data from various angles by interactively manipulating the timing and the view as desired. The cloud height data, coupled with the terrain data, is visualized as a realistic cloud animation in which many clouds are formed and dissipated over the terrain. The backscatter data is visualized as a three-dimensional terrain which effectively represents how the amount of backscatter changes according to the time and the altitude. Our system facilitates the multivariate analysis of ceilometer data by enabling the user to select the date to be examined, the level-of-detail of the terrain, and the additional data such as the planetary boundary layer height. We demonstrate the usefulness of our methods through various experiments with real ceilometer data collected from 93 sites scattered over the country.

• Information Systems Review
• /
• v.9 no.2
• /
• pp.15-39
• /
• 2007

Mobile games have emerged as the most innovative entertainment technology, adding new revenue streams, taking advantage of the potential of wireless applications and service offerings. Mobile games, like any other types of computer game, offer a unique value for users in providing an exciting digital experience in virtual worlds. In this paper, we attempt to investigate the demographic factors which play critical roles in determining the level of playing times; classify mobile gamers based on their motives for playing games; and empirically test differences in their demographic factors and mobile game usage. Statistical results show that significant differences in playing times exist, depending upon their age, gender, mobile device, mobile phone usage, mobile game experiences, and preferred games genres. Applying Factor analysis, we have identified Escape, Social interaction, Challenge and Competition, Fantasy, Diversion and Relaxation, Ease of Accessibility as key motivators for playing mobile games. Additional cluster analysis shows that the categorization of gamers, according to their usage habits and the key motivators for playing, can be made as follows: Multi-gamers, Communication-focused gamers and Mobile active-gamers. Further correlation of these grouping with socio-economic data shows the significant differences in gaming habits and patterns of mobile phone use.

• The Journal of the Institute of Internet, Broadcasting and Communication
• /
• v.13 no.2
• /
• pp.93-102
• /
• 2013

This paper proposes an algorithm designed to obtain the optimal solution for transportation problem. The transportation problem could be classified into balanced transportation where supply meets demand, and unbalanced transportation where supply and demand do not converge. The archetypal TSM (Transportation Simplex Method) for this optimal solution firstly converts the unbalanced problem into the balanced problem by adding dummy columns or rows. Then it obtains an initial solution through employment of various methods, including NCM, LCM, VAM, etc. Lastly, it verifies whether or not the initial solution is optimal by employing MODI. The abovementioned algorithm therefore carries out a handful of complicated steps to acquire the optimal solution. The proposed algorithm, on the other hand, skips the conversion stage for unbalanced transportation problem. It does not verify initial solution, either. The suggested algorithm firstly allocates resources so that supply meets demand, in the descending order of its loss cost. Secondly, it optimizes any surplus quantity (the amount by which the initially allocated quantity exceeds demand) in such a way that the loss cost could be minimized Once the above reallocation is terminated, an additional arrangement is carried out by transferring the allocated quantity in columns with the maximum cost to the rows with the minimum transportation cost. Upon application to 2 unbalanced transportation data and 13 balanced transportation data, the proposed algorithm has successfully obtained the optimal solution. Additionally, it generated the optimal solution for 4 data, whose solution the existing methods have failed to obtain. Consequently, the suggested algorithm could be universally applied to the transportation problem.

• Journal of Advanced Marine Engineering and Technology
• /
• v.40 no.7
• /
• pp.663-670
• /
• 2016

This paper introduces the concept of the computer-aided engineering(CAE) design method for a bypass valve in a system that is used for the safe lifting of mineral resources in deep-seabed mining. Although the bypass valve has a simple mechanism, its design is very difficult because of various influencing factors. This equipment, which has a complex design process, should be developed by CAE-based design method. The method can perform the design, design verification, and virtual experiment at the same time. In this study, the CAE-based method for the design of the bypass valve has been developed using fluid dynamics, multi-body dynamics, and optimization method.

• The Journal of the Acoustical Society of Korea
• /
• v.31 no.6
• /
• pp.373-383
• /
• 2012

The performance of underwater acoustic communication system is sensitive to the Doppler shift and ISI(Inter-Symbol Interference). Therefore, the simulation algorithm needs to consider time-spread due to multipath arrivals which cause the ISI, and time-varying Doppler shift along with moving source and receiver. For this purpose, VirTEX(Virtual Time series EXperiment) based on Ray model has been developed. In this paper, VirTEX is used to compare the characteristics of ocean waveguide from the experimental data and illustrate the performance. The CIR(Channel Impulse Response) that characterizes the multipath arrivals with representative time-spread due to multipath arrivals is compared between numerically simulated and experimental probe signal. Also, the communication performance analysis for BER(Bit Error Rate) is compared between numerically simulated and experimental data signal. As a result, VirTEX can be useful as a simulation tool for evaluating the performance of underwater acoustic communication system.

• Journal of the Korean Society of Marine Environment & Safety
• /
• v.20 no.5
• /
• pp.543-551
• /
• 2014

This study has searched to find a program in order to manage simply and practically use the expelled AtoN database from the AtoN Simulator and to support the idea decision for the AtoN placement. It examines a program that manages AtoN database through the hierarchy structure, history card and endowment with condition same as a scenario. And accomplishes this study's goal owing to realizing AtoN operational software that helps for visual, hearing sense, fixed amount verification upon AtoN placement project. The AtoN operational software contributes not only flexible control like a newly establishment, relocation etc, but also supports idea decision for AtoN placement plan through many functions such as condition search, virtual sailing and fixed amount appraisal result exhibition, etc. Through utilization of this, it is to help upon the presupposition of the impact to ship or sailor about many designs and in addition, upon the judgment of whether or not for the efficiency and appropriation of the design. It is expected to reduce possible failure costs and management costs due to AtoN design and placement plans, because to compare more various designs thru the easier verification method.

• Journal of Internet Computing and Services
• /
• v.10 no.6
• /
• pp.7-17
• /
• 2009

The development of wireless communication MAC layer is usually released as SoC which is a combination in hardware and software. In this system development environment, an environment for software development and verification is necessary because the hardware development takes a lot of time priori to completion. In integrated development of hardware and software, simulation environment of hardware and software provided by hardware modeling using HDL at RTL and ISS respectively. By increasing the development complexity of system, ESL design modeling systems at higher abstraction level than RTL has already prompted. The ESL design is divided untime model and time model. This paper present design and implementation of MCU for untime model simulation, not time model. Proposed MCU can optimize the system at early step of system development and move up the development completion time by verifying the system function easily and rapidly than part required exact time in untime model. In this paper, we present an MCU module based on SystemC and UC/OS-II Module providing real-time operate system.

• Journal of the Korea Society of Computer and Information
• /
• v.26 no.12
• /
• pp.151-158
• /
• 2021

Internet of Things (IoT) technology, which provides services by connecting various objects in the real world and objects in the virtual world based on the Internet, is emerging as a technology that enables a hyper-connected society in the era of the 4th industrial revolution. Since IoT technology is a convergence technology that encompasses devices, networks, platforms, and services, various studies are being conducted. Among these studies, studies on measures that can measure service quality provided by IoT software are still insufficient. IoT software has hardware parts of the Internet of Things, technologies based on them, features of embedded software, and network features. These features are used as elements defining IoT software quality measurement metrics. However, these features are considered in the metrics related to IoT software quality measurement so far. Therefore, this paper presents a metric for reusability measurement among various quality factors of IoT software in consideration of these factors. In particular, since IoT software is used through IoT devices, services in IoT software must be designed to be changed, replaced, or expanded, and metrics that can measure this are very necessary. In this paper, we propose three metrics: changeability, replaceability, and scalability that can measure and evaluate the reusability of IoT software services were presented, and the metrics presented through case studies were verified. It is expected that the service quality verification of IoT software will be carried out through the metrics presented in this paper, thereby contributing to the improvement of users' service satisfaction.

• Journal of Broadcast Engineering
• /
• v.25 no.6
• /
• pp.973-979
• /
• 2020

This study aims to objectively and quantitatively determine the social emotion of empathy by collecting pupillary response. 52 subjects (26 men and 26 women) voluntarily participated in the experiment. After the measurement of the reference of 30 seconds, the experiment was divided into the task of imitation and spontaneously self-expression. The two subjects were interacted through facial expressions, and the pupil images were recorded. The pupil data was processed through binarization and circular edge detection algorithm, and outlier detection and removal technique was used to reject eye-blinking. The pupil size according to the empathy was confirmed for statistical significance with test of normality and independent sample t-test. Statistical analysis results, the pupil size was significantly different between empathy (M ± SD = 0.050 ± 1.817)) and non-empathy (M ± SD = 1.659 ± 1.514) condition (t(92) = -4.629, p = 0.000). The rule of empathy according to the pupil size was defined through discriminant analysis, and the rule was verified (Estimation accuracy: 75%) new 12 subjects (6 men and 6 women, mean age ± SD = 22.84 ± 1.57 years). The method proposed in this study is non-contact camera technology and is expected to be utilized in various virtual reality with smart glasses.