• KIISE Transactions on Computing Practices
• /
• v.21 no.11
• /
• pp.689-698
• /
• 2015

Currently, the itemized box loading operation at the Agriculture Products Processing Center which distributes agricultural products for the region is carried out manually. The process of loading agricultural products requires great manpower and had been resolved through the part-time employment of the residents of farm villages. However, recently it has become quite difficult to secure manpower as the aging within the rural community has been intensified. Hence, the necessity for countermeasures such as facility automation or use of robots have become necessary. This study suggests an automatic robot system for the itemized loading of apple boxes at the Agriculture Products Processing Center. The suggested method is to design and develop equipment such as a conveyer, robot, and bar code reader. In addition, a sorting plan, operational control, generation of control information, and software module that could monitor the inside of the Agriculture Products Processing Center is needed. After test-operating and evaluating the developed system, the existing manual work would be replaced with the automated robot system in order to enhance work efficiency and resolve safety issues.

• The Transactions of the Korea Information Processing Society
• /
• v.6 no.7
• /
• pp.1789-1804
• /
• 1999

This paper presents a simulation-based system for verification and validation(V&V) of design implication of the Visual Real-time Object Model which is produced by existing object's behavior design method. This system can simulate the dynamic interactions using the executable Ada simulation machine, and can detect various logical and temporal problems in the visual real-time object model prior to the real implementation of the application systems. Also, the system can generate the Ada prototype code from the validated specification. This system is implemented by Visual C++ version 4.2. For simulation, this system is using the Ada language because Ada's real-time expression capabilities such as concurrent processes, rendezvous, temporal behavior expression, and etc, are competent compared to other languages. This work contributes to a tightly coupling of methodology-based visual models and formal-based simulation systems, and also contributes to a realization of automated specification V&V.

• The KIPS Transactions:PartA
• /
• v.9A no.4
• /
• pp.441-450
• /
• 2002

As the size of embedded system software increase bigger and bigger, and it's complexity is grower and grower, the usage of dynamic memory management scheme such collector also has been increased. Using the garbage collector, however, inherently lead us performance degradation. In order to resolve this kind of performance problem in the Java based embedded system. we introduce an explicit dynamic memory free method to the automated dynamic memory management environment. which can be performed by a programmer. In the worst case, the prosed scheme shows the same performance as the case of that only garbage collector is working, since the unclaimed garbage objects will eventually be collected later by the garbage collector. In the best case. our method is free from any runtime overhead because the applications can be implemented without any intervention of the garbage collector. Although the proposed method can be facilitated with all the existing garbage collection algorithms, it shows an outperform in the case of mark-and-sweep algorithm.

• Proceedings of the Technology Innovation Conference
• /
• 2002.02a
• /
• pp.133-149
• /
• 2002

This study aims to investigate the impact of wide use of digital technology, in particular, the Internet, on innovation process and corporate strategy in electronics industry. The introduction of digital technology has changed innovation process, business model and organizational structure of the electronics companies. With the introduction of digital technology, the entire value chain of electronics industry from procurement, sales, and marketing to R&D and manufacturing has been restructured. E-commerce has been a major agenda for e-business. Recently, collaboration among electronics companies through e-marketplace has emerged as an important issue. A web-based e-commerce standard, so called RosettaNet, has been developed for facilitating e-transactions of electronics firms. The development of digital technology has dramatically increased the processing speed and sophisticated the virtual reality technology. As simulation becomes easier and more effective, the uncertainty and risk involved in R&D has decreased significantly. Another positive impact is closer cooperation between R&D and manufacturing functions. Taking advantage of automated and flexible production technology, has a new type of firm, so called, EMS (Electronics Manufacturing Services) emerged, whose strategic focus is on manufacturing only. The EMS can be seen as a kind of innovative organization, that is, a modular organization for production function. Digital technology has made convergence of computer and communication possible at early years but right now the convergence has been accelerated in extensive areas of communication, broadcasting, information appliances, software, contents, and services. Firms' effort for an innovative product and service has been intensified and the competition for a new standard product and service has become severe in electronics industry. Business activities are always realized in a specific organizational context. Accordingly building up innovation-friendly organization has emerged as a critical concern. Due to the striking decrease of transaction cost, a network type of organization has proliferated, and a business function turns into a modular organization. As a whole, digital technology has pushed electronics firms into developing their own business model, which takes consideration of standardization of business platform and their core competency.

• KIPS Transactions on Software and Data Engineering
• /
• v.2 no.10
• /
• pp.679-690
• /
• 2013

Smartphones have features that users feel free to install/delete the program they want. Their emergence makes many developers rush into the Smartphone application development market. Thus, developing good applications quickly is becoming even more intense competition in the market. Because, however, the application development and deployment procedures are simple in the Android environments and anyone can participate in the development easily, applications not validated thoroughly are likely to be deployed. Therefore, a systematic approach that can verify Android-based applications with fewer burdens is required. In this paper, we propose a method that generates automatically GUI-based testing scenarios for the Android applications. The automated test scenario generation can reduce the time which the developer spends on testing, thus it can improve the productivity of the development in the testing phase.

• Smart Structures and Systems
• /
• v.19 no.1
• /
• pp.39-46
• /
• 2017

Finite element model updating is very effective procedure to determine the uncertainty parameters in structural model and minimize the differences between experimentally and numerically identified dynamic characteristics. This procedure can be practiced with manual and automatic model updating procedures. The manual model updating involves manual changes of geometry and analyses parameters by trial and error, guided by engineering judgement. Besides, the automated updating is performed by constructing a series of loops based on optimization procedures. This paper addresses the ambient vibration based finite element model updating of long span reinforced concrete highway bridges using manual model updating procedure. Birecik Highway Bridge located on the $81^{st}km$ of Şanliurfa-Gaziantep state highway over Firat River in Turkey is selected as a case study. The structural carrier system of the bridge consists of two main parts: Arch and Beam Compartments. In this part of the paper, the arch compartment is investigated. Three dimensional finite element model of the arch compartment of the bridge is constructed using SAP2000 software to determine the dynamic characteristics, numerically. Operational Modal Analysis method is used to extract dynamic characteristics using Enhanced Frequency Domain Decomposition method. Numerically and experimentally identified dynamic characteristics are compared with each other and finite element model of the arch compartment of the bridge is updated manually by changing some uncertain parameters such as section properties, damages, boundary conditions and material properties to reduce the difference between the results. It is demonstrated that the ambient vibration measurements are enough to identify the most significant modes of long span highway bridges. Maximum differences between the natural frequencies are reduced averagely from %49.1 to %0.6 by model updating. Also, a good harmony is found between mode shapes after finite element model updating.

• Journal of Advanced Navigation Technology
• /
• v.25 no.5
• /
• pp.377-383
• /
• 2021

In this paper, we describe the case of automatic test equipment development for hardware verification of stores management computer mounted on aircraft. Recently, the required functions of aircraft have been diversified and the related technologies of avionics equipment have developed, and the types and quantity of interfaces required for avionics equipment have increased. In addition to the existing old stores, the stores management computer also needs to control the interface in large quantities as the requirements for the new stores are added. For this reason, the time and manpower required for the inspection of avionic equipment are also increasing, and if the test process of avionic equipment can be automated and unmanned, more efficient inspection system operation will be possible. Therefore, this paper introduces the case of designing test software and test scenario to automate the structural design contents and verification process of test equipment required for the verification of hardware function of stores management computer.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.29 no.4
• /
• pp.807-819
• /
• 2019

Greybox fuzzing is known as an effective method to discover unknown security flaws reside in software and has been actively researched today. However, most of greybox fuzzing tools require an executable file. Because of this, a library, which cannot be executed by itself requires an additional executable file for greybox fuzzing. Generating such an executable file is challengeable because it requires both understanding of the library and fuzzing. In this research, we suggest the approach to generate an executable file automatically for a library and implement this approach as a tool based on the LLVM framework. This tool shows that executable files and seed files can be generated automatically by static/dynamic analysis of a unit test in the target project. A generated executable file is compatible with various greybox fuzzers like AFL because it has a common interface for greybox fuzzers. We show the performance of this tool as code coverage and discovered unknown security bugs using generated executable files and seed files from open source projects through this tool.

• Asian-Australasian Journal of Animal Sciences
• /
• v.32 no.2
• /
• pp.176-182
• /
• 2019

Objective: This study was conducted to investigate basic information on genetic structure and characteristics of Limousin population in Hungary. Obtained results will be taken into consideration when adopting the new breeding strategy by the Association of Hungarian Limousin and Blonde d'Aquitaine Breeders (AHLBB). Methods: Genetic diversity and phylogenetic relationship of 3,443 Limousin cattle from 16 different herds were investigated by performing genotyping using 18 microsatellite markers. Amplified DNA was genotyped using an automated genetic analyzer. Results: Mean of effective alleles ($n_e$) of the populations was 3.77. Population C had the lowest number of effective alleles (3.01) and the lowest inbreeding coefficient ($F_{IS}$) value (-0.15). Principal component analysis of estimated genetic distance ($F_{ST}$) values (p<0.000) revealed two herds (C and E) distinct from the majority of other Limousin herds. The pairwise $F_{ST}$ values of population C compared to the others (0.066 to 0.120) fell into the range of moderate genetic distance: 0.050 to 0.150, while population E displayed also moderate genetic distance ($F_{ST}$ values in range 0.052 to 0.064) but only to six populations (G, H, J, L, N, and P). $F_{ST(C-E)}$ was 0.148, all other pairs -excluding C and E herds- displayed low genetic distance ($F_{ST}$<0.049). Population D, F, I, J, K, L, N, O, and P carried private alleles, which alleles belonged to 1.1% of the individuals. Most probable number of clusters (K) were 2 and 7 determined by Structure and BAPS software. Conclusion: This study showed useful genetic diversity and phylogenetic relationship data that can be utilized for the development of a new breeding strategy by AHLBB. The results presented could also contribute to the proper selection of animals for further whole genome scan studies of Limousins.

• Journal of Convergence for Information Technology
• /
• v.9 no.7
• /
• pp.8-13
• /
• 2019

Recently, In line with the recent trend of the fourth industrial revolution, many companies and institutions have been increasingly applying automated technologies using artificial intelligence to various tasks. Particularly, due to the government's 52-hour workweek system, companies are increasingly struggling with manpower management. Therefore, they are interested in RPA (Robotic Process Automation) for office environment automation for efficient manpower management. It is being introduced in the back-office business in credit card companies, bank, insurance. These RPA solutions require AI-based recognition technology, scripting technology, business software API-related technologies, and various solutions such as Automate One, Automation Anywhere, UiPath, and Blue Prism are provided. This paper analyzes and describes the technology of RPA solution, the market trend, and the efficiency of RPA adoption.