• Korean Journal of Artificial Intelligence
• /
• v.12 no.1
• /
• pp.7-16
• /
• 2024

This study aims to explore driving factors of Artificial Intelligence application for city marketing strategy with perspectives of millennials and generation Z. This study proposed the following research questions: i) how perceived place branding factor, public service factor, affective factor, immersive experience factor, cognitive factor, cost benefit factor, social networking factor, and promotional value factor affect attitude toward AI application for city marketing; and ii) how attitude affect satisfaction and prospect toward AI application for city marketing? This study conducted an online survey with the assistance of a well-known research agency and applied factor and regression analysis to test hypotheses. The results found that effects of place branding, cognitive, social networking, and promotional value affect attitude significantly in the case of millennials, while effects of public service, affective, cost benefit, social networking, and promotional value affect attitude significantly in the case of generation Z. The results found that effects of attitude on satisfaction and prospect of AI showed significance. The results provide implications and different aspects for AI application of city marketing strategy with perspectives by generations, while millennials and generation Z perceived effects of promotional value as the most significant factor for AI application of city marketing strategy.

• 한국정보통신설비학회:학술대회논문집
• /
• 2007.08a
• /
• pp.264-268
• /
• 2007

This article presents the performance evaluation case study of circuit-switched WCDMA R5MSC(Mobile Switching Center) Server and CS-MGW(Circuit Switched Media Gateway) in 3'rd generation mobile telecommunication (UMTS : Universal Mobile Telecommunication System). The presented work adopted circuit switching scenarios recommended by 3GPP(Third Generation Partnership Project) and terrestrial spectrum calculation parameters and its values defined in ITU-R M.2023 and M.1390 to do the case study on performance evaluation of circuit switched system (R5 MSC Server and CS-MGW) in WCDMA core network. This paper describes test results by using simulator which substitutes for wireless section (MS, Node-B, RNC).

• Proceedings of the Korea Concrete Institute Conference
• /
• 1997.10a
• /
• pp.137-142
• /
• 1997

From the results of study on the electrical characteristics of heat-generation mortar used graphite as fine aggregates is summerized as following. The primary purpose of this study is the mixing ratio of graphite (35%, 50%/Sg), curing conditions (autoclave, steam, surface, underwater) and shape change (length, section of the electric heat-generation mortar). In case of the test condition with the steam curing condition appearance to most excellent heat-generation reproducibility. And temperature a coefficient of electric heat-generation mortar change from is in inverse proportion to the temperature a coefficient of direct proportion as the ratio of graphite mixing increased.

• The Transactions of the Korea Information Processing Society
• /
• v.6 no.3
• /
• pp.750-757
• /
• 1999

The protocol conformance testing is to check whether an implementation of a protocol conforms to its specification. And it is important to improve the interoperability of protocol and the efficiency of cost. In general, protocol is composed of the control flow representing observable behaviors and the data flow representing internally used variables. Until now, research for generation of test suite has been realized only consideration the control flow of protocol or separation control flow from data flow. Case of considering control flow, contents of test was simple and definite. Length of test was short. But it was of little application, and it didn't manage each kind errors in data flow. Therefore, we must generate test case that can manage control and data flow. So, anomaly of variable must be removed for efficient conformance testing. Therefore in this dissertation, we proposed algorithm which can remove anomaly of variable for efficient conformance testing. And it showed that anomaly of variable was got rid of applying this algorithm to real protocol.

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

As unit testing should be performed repeatedly and continuously, it is a high-cost software development activity. Although there are many studies on unit test automation, there are less studies on automated test case generation which are worthy of note. In this paper, we discuss a study on automated test data generation from source codes and indicate algorithms for each stage. We also show some issues of test data generation and introduce an automated test data generating tool: CUTIG. As CUTIG generates test data not from require specifications but from source codes, software developers could generate test data when specifications are insufficient or discord with real implementation. Moreover we hope that the tool could help software developers to reduce cost for test data preparation.

• KIPS Transactions on Software and Data Engineering
• /
• v.6 no.7
• /
• pp.361-370
• /
• 2017

This paper proposes the architecture of test case generator that can generate test cases, considering feedback signals from subsystems controlled by an embedded system. In general, a closed system decides the next test input to its subsystem under its control referencing feedback signals from its subsystem. In such systems, it is hard to use the typical test cases generated without referencing feedback. The architecture proposed in this paper re-produces test cases in real time using feedback signals. The architecture is implemented and its effectiveness is verified through experimenting a demo system.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.15 no.7
• /
• pp.2476-2495
• /
• 2021

Model-based software architecture verification and test scenarios generation are becoming more and more important in the software industry. Based on the existing temporal graph grammar, this paper proposes a new formalization method of the context-sensitive graph grammar for aiming at UML activity diagrams, which is called the UML Activity Graph Grammar, or UAGG. In the UAGG, there are new definitions and parsing algorithms. The proposed mechanisms are able to not only check the structural correctness of the UML activity diagram but also automatically generate the test scenario according to user constraints. Finally, a case study is discussed to illustrate how the UAGG and its algorithms work.

• KIPS Transactions on Software and Data Engineering
• /
• v.4 no.1
• /
• pp.19-30
• /
• 2015

Smart TV manufacturers have constructed automatic Smart TV execution environment for reducing cost of Smart TV testing. However, the conventional test methods still require high cost because of manual test script written by testers. Test scripts manully written have less reusability, and then less reusable scripts cannot be used for new TV models. In this paper, we propose constructing reusable test models for Smart TV and present a model-based Smart TV test script generation method using the modes. And we apply the method to NetCast Smart TV to confirm the effectiveness of enhancing reusability.

• 정보저장시스템학회:학술대회논문집
• /
• 2005.10a
• /
• pp.88-95
• /
• 2005

The head to disk spacing must be decreased to increase recording densities in hard disk drives. Recently, to decrease the head to disk spacing, smooth disk having no bumps onto the lading zone has used. In this research, we compared the number of particles generated in HDD with smooth and textured disks. We used a sampling method using a particle sampler and a CPC (condensation particle counter) to detect particles in HDD. First, we sampled and counted panicles generated with disk rotational speed and various rest times when the smooth disk and textured disks were used, then analyzed the sampled particles by SEM (scanning electron microscopy) and AES (auger electron spectroscopy). In results of measuring particles, more particles in case of LZT disk drive generated than that of the smooth disk drive in all test modes. The number of particles generated in the smooth disk was very low. The particle generation increased as the rest time increased (smooth/LZT disks) and more particles in case of LZT disk drive generated than that of the smooth disk drive. In results of analyzing particle components, Al, Ti, Si components were detected and we could not found differences between components in case of smooth/LZT disk drive.

• Transactions of the Society of Information Storage Systems
• /
• v.2 no.2
• /
• pp.123-129
• /
• 2006

The head to disk spacing must be decreased to increase recording densities in hard disk drives. Recently, to decrease the head to disk spacing, smooth disk having no bumps onto the lading zone has used. In this research, we compared the number of particles generated ill HDD with smooth and textured disks. We used a sampling method using a particle sampler and a CPC (condensation particle counter) to detect particles in HDD. First, we sampled and counted particles generated with disk rotational speed and various rest times when the smooth disk and textured disks were used, then analyzed the sampled particles by SEM (scanning electron microscopy) and AES (auger electron spectroscopy). In results of measuring particles, more particles in case of LZT disk drive generated than that of the smooth disk drive in all test modes. The number of particles generated in the smooth disk was very low. The particle generation increased as the rest time increased (smooth/LZT disks) and more particles in case of LZT disk drive generated than that of the smooth disk drive. In results of analyzing particle components, Al, Ti, Si components were detected and we could not found differences between components in case of smooth/LZT disk drive.