• KIPS Transactions on Software and Data Engineering
• /
• v.9 no.8
• /
• pp.229-234
• /
• 2020

This paper presents the design and the implementation of CRESTIVE-DX, a concolic testing tool that distribute the concolic testing process over the embedded target system and the host system for efficient test generation of a target embedded program. CRESTIVE-DX conducts the execution of a target program on the target embedded system to consider possible machine-dependent behaviors of a target program execution, and conducts machine-independent parts, such as search-strategy heuristics, constraint solving, on host systems with high-speed computation unit, and coordinates their concurrent executions. CRESTIVE-DX is implemented by extending an existing concolic testing tool for C programs CREST. We conducted experiments with a test bed that consists of an embedded target system in the Arm Cortex A54 architecture and host systems in the x86-64 architecture. The results of experiments with Unix utility programs Grep, Busybox Awk, and Busybox Ed show that test input generation of CRESTIVE-DX is 1.59 to 2.64 times faster than that of CREST.

• Journal of the Korea Fashion and Costume Design Association
• /
• v.24 no.3
• /
• pp.111-125
• /
• 2022

Recently, the MZ generation has been leading overall fashion trends, and fashion companies focus on design, marketing, and new products targeting the MZ generation. However, it is expected that a fit problem may occur if the M and Z generations are combined when producing clothing. Therefore, this study aims to analyze the differences between the two groups by comparing the body size according to the classification of the M and Z generations. In addition, this study analyzes whether the body shape of the MZ generation is different from the past generations and analyzes major changes in body size for clothing manufacturing through graphical visualization. As for the research method, a t-test was conducted to verify the significant difference between the measurements for each age group. Generation M was defined as those who are 27-39 years old, and Generation Z was defined as those who are 20-26 years old. In order to examine the changes in body measurements according to the measurement year, the 7th Size Korea and 8th Size Korea data were analyzed. In order to examine the visual changes according to the measurement year and age group, major measurements of clothing construction were analyzed. As a result, it was found that Generation M had a significantly higher height item than Generation Z. Also, in terms of circumference, width, and thickness, Generation M was larger than Generation Z. But the size of the bra cup was larger in Generation Z than Generation M. As a result of analyzing the body size changes, in the height item, the 8th Size Korea measurements were found to be significantly higher in shoulder height and navel level waist height. In the length and circumference items, the 8th Size Korea measurements were larger than the 7th. In the width, thickness, and other items, the 8th measurements were larger than the 7th.

• Journal of the Korean Society of Clothing and Textiles
• /
• v.36 no.1
• /
• pp.84-98
• /
• 2012

This study examines the children's wear purchasing behavior of younger generation women (the missy group) and in the new-silver generation (retired). The data collected in the study were examined with a view to establish effective marketing strategies within the children's wear market, a market where the age and characteristics of the actual purchasers of the products have become more diverse. A descriptive survey method using a self-administered questionnaire was employed. The sample consisted of 398 females between the ages of 28 and 64 residing in Seoul and the Gyeonggi-do area. Data collected were analyzed by frequency, t-test, ANOVA, factor analysis, cluster analysis, and Cronbach's alpha coefficients. Respondents were classified into 4 groups by their clothes shopping orientation: conformable/brand conscious purchasing type, planned purchasing/enjoy shopping type, store/brand loyal impulse-oriented type, and dependent/low shopping interest type. There were differences between the missy and the new- silver generations under consideration. It is clear from the study that, even though some individuals of the missy group and of new-silver group belonged to the same shopping orientation type, individuals still showed differences with regard to children's wear purchasing behavior.

• Proceedings of the KSRS Conference
• /
• 2005.10a
• /
• pp.454-457
• /
• 2005

Mining frequent patterns in transaction databases, time-series databases, and many other kinds of databases has been studied popularly in data mining research. Most of the previous studies adopt an Apriori-like candidate set generation-and-test approach. However, candidate set generation is still costly, especially when there exist prolific patterns and/or long patterns. And calendar based on temporal association rules proposes the discovery of association rules along with their temporal patterns in terms of calendar schemas, but this approach is also adopt an Apriori-like candidate set generation. In this paper, we propose an efficient temporal frequent pattern mining using TFP-tree (Temporal Frequent Pattern tree). This approach has three advantages: (1) this method separates many partitions by according to maximum size domain and only scans the transaction once for reducing the I/O cost. (2) This method maintains all of transactions using FP-trees. (3) We only have the FP-trees of I-star pattern and other star pattern nodes only link them step by step for efficient mining and the saving memory. Our performance study shows that the TFP-tree is efficient and scalable for mining, and is about an order of magnitude faster than the Apriori algorithm and also faster than calendar based on temporal frequent pattern mining methods.

• Proceedings of the Computational Structural Engineering Institute Conference
• /
• 1998.10a
• /
• pp.447-454
• /
• 1998

The paper describes the second half of the research for the development of Neural-Networks-based model for the generation of an Artificial earthquake and a Response Spectrum(NNARS). Based on the redefined traditional processes related to the generation of an earthquake acceleration response spectrum and design spectrum, four neural-networks-based models are proposed to substitute the traditional processes. RS_NN tries to directly generate acceleration response spectrum with basic data that are magnitude, epicentral distance, site conditions and focal depth. The test results of RS_NN are not good because of the characteristics of white noise, which is randomly generated. ARS_NN solve this problem by the introduction of the average concept. IARS_NN has a role to inverse the ARS_NN, so that is applied to generate a ground motion accelerogram compatible with the shape of a response spectrum. Additionally, DS_NN directly produces design spectrum with basic data. As these four neural networks are simulated as a step by step, the paper describes the methods to generate a response spectrum and a design spectrum using the neural networks.

• Journal of KIBIM
• /
• v.9 no.4
• /
• pp.41-50
• /
• 2019

Digital models for a cable-stayed bridge are defined considering data-driven engineering from design to construction. Algorithms for digital object generation of each component of the cable-stayed bridge were developed. Using these algorithms, Level-3 BIM practices can be realized from design stages. Based on previous practices, digital object library can be accumulated. Basic digital models are modified according to given design conditions by a designer. Once design models are planned, various applications using the models are linked the models such as estimation, drawings and mechanical properties. Federated bridge models are delivered to construction stages. In construction stage, the models can be efficiently revised according to the changed situations during construction phases. In this paper, measured coordinates are imported to the model generation algorithms and revised models are obtained. Augmented reality devices and their applications are proposed. AR simulations in construction site and in office condition are tested. From this pilot test of digital models, it can be said that Level-3 BIM practices can be realized by using in-house modeling algorithms according to different purposes.

• The Journal of the Acoustical Society of Korea
• /
• v.22 no.1
• /
• pp.42-47
• /
• 2003

This paper proposes the method to generate new test data using the sample shift of the start frame for SPRT(sequential probability ratio test) in speaker verification. The SPRT method is a effective algorithm that can reduce the test computational complexity. However, in making the decision procedure, SPRT can be executed on the assumption that the input samples are usually to be i.i.d. (Independent and Identically Distributed) samples from a probability density function (pdf), also it's not suitable method to apply for the short utterance. The proposed method can achieve SPRT regardless of the utterance length of the test data because it is method to generate the new test data through the sample shift of start frame. Also, the correlation property of data to be considered in the SPRT method can be effectively removed by employing the principal component analysis. Experimental results show that the proposed method increased the computational complexity of data for sample shift a little, but it has a good performance result more than a conventional method above the average 0.7% in EER (equal error rate).

• Journal of the Korea Institute of Military Science and Technology
• /
• v.19 no.4
• /
• pp.462-468
• /
• 2016

In this paper, we present the results of the numerical analysis employing CONWEP, LS-DYNA FSI(Fluid Structure Interaction), AUTODYN FSI, LS-DYNA ALE(Arbitrary Lagrange Eulerian) and combination of CONWEP and LS-DYNA ALE for blast door fracture and wave propagation through the tunnel by the external explosion. We compared the numerical analysis results with the subscale test data and selected combination of CONWEP and LS-DYNA ALE method as adequate data generation method for the FRM(Fast Running Model) software development. It is expected to save much time and costs by using the numerical simulation data for the various test conditions.

• Proceedings of the KIEE Conference
• /
• 2004.07e
• /
• pp.120-122
• /
• 2004

This paper describes the digital relay simulator by use of DSP for digital relay test. The simulator software has EMTP simulation data file conversion. user define simulation data generation. data analysis engine. etc. The simulator hardware design uses 32bit floating point DSP architecture to achivev flexibility and high speed operation.

• Proceedings of the KSME Conference
• /
• 2003.11a
• /
• pp.646-651
• /
• 2003

Quantitative performance test on the conventional 2D-PIV and the hybrid angular 3D-PIV (Stereoscopic PIV) was carried out. LES Data sets on an impinging jet which are provided on the webpage(http://www.vsj.or.jp/piv) for the PIV Standard Project were used for the generation of virtual images. The generated virtual images were used for the 2D-PIV and 3D-PIV measurements. The measurement results showed that the results obtained by 2D-PIV on average values are closer to the LES data than those obtained by 3D-PIV, but the turbulent properties obtained by 2D-PIV are largely underestimated than those obtained by 3D-PIV.