• International journal of advanced smart convergence
• /
• v.9 no.3
• /
• pp.260-271
• /
• 2020

Smartphones provide blind users with screenreader as an accessibility tool. However, blind users often experience difficulties accessing online shopping malls via smartphones due to their inconsistent and image-based layouts. To enable screenreader users to get access to the detailed information about products while they are shopping online, we have developed BarrierFreeShop, an accessible mobile shopping application for people with visual impairments. BarrierFreeShop has three accessibility features: (1) layout automation, (2) review summarization, and (3) optical character recognition. We conducted a user study with 80 participants with visual impairments where they were asked to use BarrierFreeShop for a month. The findings revealed the effectiveness of our app in terms of speed and post interview feedback. We have also discovered typical shopping experiences that participants had during the test. This research suggests that computer vision technologies can improve accessibility issues in online shopping malls. In addition, we have confirmed that extracting contents from images help people with visual impairments to get better access to product information.

• Journal of Korea Game Society
• /
• v.20 no.1
• /
• pp.3-12
• /
• 2020

This paper proposes a structure based on a production method of concept art focused on the player's experience through a module by using the game aesthetics of the MDA framework. And also a partially automated process established in concept art production by using the 'Adobe Color image color extraction' as a tool in the work production process. This paper proposed a work process of not just a personal expression but a systematic molding expression to use, and this could see as the various possibilities of game concept art productions.

• IEMEK Journal of Embedded Systems and Applications
• /
• v.14 no.6
• /
• pp.329-338
• /
• 2019

Today's embedded software (SW) developments are mostly preceded by composing Software Requirement Specification (SRS). In particular, in the domain of weapon systems, it is essential to have a systematic method for the verification of the SW functionality. To be more specific, it is crucial to check if the SW functionality is implemented as described in SRS, so-called SW suitability verification. Unfortunately, existing static or dynamic SW testing methods are not sufficient to evaluate suitability with SRS since those testings only verify the robustness of the SW codes. In this paper, we propose an automatic embedded SW suitability verification framework which is based on a structured SRS. The major challenge in the automation of this verification framework is how to get rid of ambiguities in SRS. In order to overcome this challenge, we propose a structured SRS description framework and the supporting toolchain for that. We show how the proposed framework is applied to an actual SRS of a weapon system.

• ETRI Journal
• /
• v.34 no.4
• /
• pp.527-535
• /
• 2012

A general equivalent circuit model is developed for a wireless energy transfer system composed of multiple coils via coupled magnetic resonances. To verify the developed model, four types of wireless energy transfer systems are fabricated, measured, and compared with simulation results. To model a system composed of n-coils, node equations are built in the form of an n-by-n matrix, and the equivalent circuit model is established using an electric design automation tool. Using the model, we can simulate systems with multiple coils, power sources, and loads. Moreover, coupling constants are extracted as a function of the distance between two coils, and we can predict the characteristics of a system having coils at an arbitrary location. We fabricate four types of systems with relay coils, two operating frequencies, two power sources, and the function of characteristic impedance conversion. We measure the characteristics of all systems and compare them with the simulation results. The flexibility of the developed model enables us to design and optimize a complicated system consisting of many coils.

• Journal of the Korean Society for Precision Engineering
• /
• v.33 no.1
• /
• pp.77-83
• /
• 2016

Intricate deflection requires many conventional actuators (motors, pistons etc.), which can be financially and spatially wasteful. Novel smart soft composite (SSC) actuators have been suggested, but fabrication complexity restricts their widespread use as general-purpose actuators. In this study, a hybrid manufacturing process comprising 3-D printing and casting was developed for automated fabrication of SSC actuators with $200{\mu}m$ precision, using a 3-D printer (3DISON, ROKIT), a simple polymer mixer, and a compressor controller. A method to improve precision is suggested, and the design compensates for deposition and backlash errors (maximum, $170{\mu}m$). A suitable flow rate and tool path are suggested for the polymer casting process. The equipment and process costs proposed here are lower than those of existing 3D printers for a multi-material deposition system and the technique has $200{\mu}m$ precision, which is suitable for fabrication of SSC actuators.

• Transactions of the Korean Society of Machine Tool Engineers
• /
• v.16 no.4
• /
• pp.87-92
• /
• 2007

The full automation welding has not yet been achieved partly because the mathematical model for the process parameters of a given welding task is not fully understood and quantified. Several mathematical models to control welding quality, productivity, microstructure and weld properties in arc welding processes have been studied. However, it is not an easy task to apply them to the various practical situations because the relationship between the process parameters and the bead geometry is non-linear and also they are usually dependent on the specific experimental results. Practically, it is difficult, but important to know how to establish a mathematical model that can predict the result of the actual welding process and how to select the optimum welding condition under a certain constraint. In this paper, an attempt has been made to develop an neural network model to predict the weld top-bead height as a function of key process parameters in the welding. and to compare the developed models using three different training algorithms in order to select an adequate neural network model for prediction of top-bead height.

• Transactions of the Korean Society of Machine Tool Engineers
• /
• v.17 no.6
• /
• pp.43-48
• /
• 2008

This study includes contents on an effective designing of the outer-wall piece removing equipment of a hull, by applying TRIZ. To remove the piece, gas torch was used. However, the heat source must be shut down since the heat source of gas torch has a bad influence on this system. This is why TRIZ and Brainstorming were used, to solve this problem. First, we analyzed the system using TRIZ, and then presented the direction a solution is expected to follow. And the most suitable scheme was derived from brainstorming which had been conducted based on the direction of a solution. Lastly we conducted an equipment modeling based on the most suitable scheme we made before, and carried out the heat analysis to inspect its effect by comparing pre-existing mechanism with most suited scheme.

• Transactions of the Korean Society of Machine Tool Engineers
• /
• v.17 no.6
• /
• pp.71-76
• /
• 2008

The focus of this paper is the designing a flexible three fingered hand system with 16 D.O.F for dynamic manipulation with an intelligent controller, and to build a useful database for dynamic manipulation based on the experimental results. The weight of the hand module is only 0.7 kg, but flexible motion and powerful grasping are possible. To achieve such a dynamic motion in a robotic hand, we have developed a flexible fingered hand with a control system incorporating image recognition system in which we deal with the problems of not only accuracy and range of motion but also the flexibility of hand. The fingers are arranged so as to grasp both circular and prismatic objects. In order to achieve the light mechanism, we reduced the number of joints and fingers as much as possible. We used three fingers, which is the minimum number to achieve a stable grasp.

• Transactions of the Korean Society of Machine Tool Engineers
• /
• v.17 no.6
• /
• pp.118-123
• /
• 2008

Weakness process can be called ferrule array and epoxy filling process at connector manufacturing process, and a lot of problems happen as think as general manufacturing process at early investment. Wished to improve this and working environment mend of worker on childhood(planning phase) and problem that is happened at done ferrule array and epoxy injection by emphasis target. By ferrule sorting and Improvement of epoxy filling process, bring authoritativeness elevation of product by fraction defective decrease of product by sized work along with productivity elevation. On the other hand, working jigs are various in characteristics of optical connector manufacturing line. There have been lots of restriction in practice because the applicability of this system is only for single type model though the network should be smooth between lines. Thus, it is not only needed the recognition of necessity in industrial line but also the development of automation system arraying ferrule and filling epoxy in the manufacturing process. It is found that the present system development enhances productivity fairly and prevents industrial disaster in the optical connector manufacturing system.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.14 no.6
• /
• pp.2354-2376
• /
• 2020

SmartThings is one of the most popular open platforms for home automation IoT solutions that allows users to create their own applications called SmartApps for personal use or for public distribution. The nature of openness demands high standards on the quality of SmartApps, but there have been few studies that have evaluated this thoroughly yet. As part of software quality practice, code reviews are responsible for detecting violations of coding standards and ensuring that best practices are followed. The purpose of this research is to propose systematically designed quality metrics under the well-known Goal/Question/Metric methodology and to evaluate the quality of SmartApps through automatic code reviews using a static analysis. We first organize our static analysis rules by following the GQM methodology, and then we apply the rules to real-world SmartApps to analyze and evaluate them. A study of 105 officially published and 74 community-created real-world SmartApps found a high ratio of violations in both types of SmartApps, and of all violations, security violations were most common. Our static analysis tool can effectively inspect reliability, maintainability, and security violations. The results of the automatic code review indicate the common violations among SmartApps.