• Journal of KIISE:Software and Applications
• /
• v.36 no.7
• /
• pp.523-530
• /
• 2009

Despite the growing need for customized operating system kernels for embedded devices, kernel development continues to suffer from insufficient reliability and high testing cost for several reasons such as the high complexity of the kernel code. To alleviate these difficulties, this study proposes the MOdel-based KERnel Testing (MOKERT) framework for detection of concurrency bugs in the kernel. MOKERT translates a given C program into a corresponding Promela model, and then tries to find a counter example with regard to a given requirement property, If found, MOKERT executes that counter example on the real kernel code to check whether the counter example is a false alarm or not, The MOKERT framework was applied to the Linux proc file system and confirmed that the bug reported in a ChangeLog actually caused a data race problem, In addition, a new data race bug in the Linux proc file system was found, which causes kernel panic.

• Journal of KIISE:Software and Applications
• /
• v.36 no.7
• /
• pp.531-538
• /
• 2009

Domestic software market is struggling with product's low quality and low return-on-investment. The cause for the problems is due to unclear requirements at the early stage of software project. Studies show that, to lessen the problem, the requirements specification must reflect the right project scope and quantifiable quality goal. To achieve such features, this paper describes a standard guideline for SRS (Software Requirements Specification), which helps in defining the scope of project, measuring and quantifying quality, linking and tracing of requirements, and improving usability. The proposed SRS enables separating the requirements analysis activity from implementation activity and thus can improve subcontract management process in software project.

• KIISE Transactions on Computing Practices
• /
• v.22 no.12
• /
• pp.632-645
• /
• 2016

The enterprise environment, various interface systems are utilized for business processes and for exchange of messages. In the interface communication environment, as business complexity increases, the interface system is connected with numerous systems. With increasing number of linked systems, there is a proportional increase in the workforce, leading to a rise in numerous risks (inconsistency of information, non-compliance with standards, etc.). To solve the problem, we propose a system for managing and centralizing information of the message based interface system. The proposed system enables information integration management, message information distribution, standard code generation, risk management and risk evasion. Using the proposed system, the in development environment user can prevent inconsistent information, analyze risk, avoid risk, distribute information automatically and create a standard code. Ultimately, there is an increase in user productivity and it is possible to evade the risks involved.

• Journal of Korea Multimedia Society
• /
• v.7 no.11
• /
• pp.1505-1514
• /
• 2004

Sequence matching in time-series databases is an operation that finds the data sequences whose changing patterns are similar to that of a query sequence. Typically, sequence matching hires a multi-dimensional index for its efficient processing. In order to alleviate the dimensionality curse problem of the multi-dimensional index in high-dimensional cases, the previous methods for sequence matching apply the Discrete Fourier Transform(DFT) to data sequences, and take only the first two or three DFT coefficients as organizing attributes of the multi-dimensional index. This paper first points out the problems in such simple methods taking the firs two or three coefficients, and proposes a novel solution to construct the optimal multi -dimensional index. The proposed method analyzes the characteristics of a target database, and identifies the organizing attributes having the best discrimination power based on the analysis. It also determines the optimal number of organizing attributes for efficient sequence matching by using a cost model. To show the effectiveness of the proposed method, we perform a series of experiments. The results show that the Proposed method outperforms the previous ones significantly.

• Journal of Korea Multimedia Society
• /
• v.10 no.3
• /
• pp.411-419
• /
• 2007

Mounted on mobile device, set-top box, or digital TV, EVM is a virtual machine solution that can download and execute dynamic application programs. And the SIL(Standard Intermediate Language) is intermediate language of the EVM, which has a set of opcodes for object-oriented language and a sequential language. Since the C compiler used on each platform depends on the hardware, it converts C program to objective code, and then executes. To solve this problem, our research team developed ANSI C compiler and the EVM. Our ANSI C compiler outputs the SIL code based on stack machine. This paper presents the SIL-to-C decompiler in which converts the SIL code to three address code. Thus, the decompiler allows us to verify SIL code created by ANSI C compiler, and analyze a program from C language source level.

• Journal of Korea Multimedia Society
• /
• v.23 no.4
• /
• pp.566-573
• /
• 2020

Computers are the most common tool when using the Internet and utilizing a mouse to select and execute objects. Eye tracking technology is welcomed as an alternative technology to help control computers for users who cannot use their hands due to their disabilities. However, the pointer execution method of the existing eye tracking technique causes many malfunctions. Therefore, in this paper, we developed a gaze tracking interface that combines voice commands to solve the malfunction problem when the upper limb disabled uses the existing gaze tracking technology to execute computer menus and objects. Usability verification was conducted through comparative experiments regarding the improvements of the malfunction. The upper limb disabled who are hand-impaired use eye tracking technology to move the pointer and utilize the voice commands, such as, "okay" while browsing the computer screen for instant clicks. As a result of the comparative experiments on the reduction of the malfunction of pointer execution with the existing gaze interfaces, we verified that our system, Eye-Voice, reduced the malfunction rate of pointer execution and is effective for the upper limb disabled to use.

• Journal of Advanced Navigation Technology
• /
• v.18 no.4
• /
• pp.347-352
• /
• 2014

In this paper, we propose a Markovian queueing model(M/M/1)-based call admission control to reduce forced terminating rate of non-real secondary user's call for Multi-services Cognitive Radio Networks. A existing control has a problem that the forced terminating rate increases because of adopting a policy of spectrum priority allocation to real calls. In our scheme the rate can be reduced as the call that has no useful spectrum waits in a queue until getting an available spectrum. Our scheme use a neural-net based prediction of primary user's reappearance. Through the simulation, we analysis the call forced terminating rate, access delay and spectrum utilization efficiency, and then show that our scheme can more reduce the forced terminating rate of the call, compared to that of the existing algorithm.

• Journal of Nutrition and Health
• /
• v.44 no.5
• /
• pp.394-405
• /
• 2011

Osteoporosis is a rising problem, as the older age population is increasing due to prolongation of life. Genetic and environmental factors play key roles in bone metabolism, and diet is also an important factor. We investigated the relationship among factors affecting bone mineral density (BMD), including daily food intake and nutrient intake in men aged >50 years. Seventy-eight men, who visited the health promotion center at one of the university medical centers, were divided into normal and osteopenia groups according to their BMD. The body weight of the normal group was significantly higher than that of the osteopenia group. The osteopenia group showed significantly higher carbohydrate intake and lower calcium and vegetable calcium intake compared to those in the normal group. Lumbar spine BMD was negatively correlated with energy, fat, vitamin B1, and sodium intake in the normal group. Additionally, femoral neck BMD was negatively correlated with total animal protein, energy, protein, fat, phosphorous, iron, animal iron, potassium, vitamin B1, B2, B6, and niacin intake. Lumbar spine BMD was positively correlated with fruit, calcium, vegetable calcium, animal calcium, and vitamin C intake in the osteopenia group. Femoral neck BMD was negatively correlated with meat, dairy product, total animal protein, plant protein, animal protein, vitamin A, and cholesterol intake. A stepwise multiple regression analysis revealed that several dietary factors affected BMD, including energy, fat, vitamin B1, B2, B6, niacin, sodium, protein, iron, animal iron, phosphorous, potassium, and animal protein in the normal group and zinc, calcium, vegetable calcium, animal calcium, vitamin C, fruit, protein, animal protein, meat, dairy product, carbohydrates, cholesterol, vegetables, mushrooms, and seasonings in the osteopenia group. These results indicate that adequate nutrient intake plays an important role maintaining optimum bone health in middle aged men.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.24 no.3
• /
• pp.245-250
• /
• 2014

Addiction can be largely divided into two categories. One is called medium addiction in which medium itself causes an addiction. Another is called cause addiction that brings addiction through combination of sensitive self and latent personal action. The medium addiction involves addiction phenomena directly caused by illegal drugs, alcohol and various other chemicals. The cause addiction is dependent on personal sensitivities as a sensitive problem of personal and includes cyber addictions such as shopping, work, game, internet, TV, and gambling. In this paper we propose two-dimensional addiction model that are equivalent to using an R-L-C series circuit of Electrical circuit and a Spring-Damper-mass of mechanical system. We also organize a Duffing equation that is added a nonlinear term in the proposed two-dimensional addiction model. We represent periodic motion and chaotic motion as time series and phase portrait according to parameter's variation. We confirm that among parameters chaotic motion had addicted state and periodic motion caused by change in control coefficient had pre-addiction state.

• Journal of Korean Society of Forest Science
• /
• v.95 no.4
• /
• pp.381-387
• /
• 2006

This study tried to develop a model which can predict a long-term of forest recreation quantity corresponded with econometrics. Simultaneously this study was conducted with the aim of development of practical matrix which is able to apply forest recreation management with policy-control variables about forest supplement with some problem of former study using only a cross-section analysis. As the results of analyses, forest recreation quantity is affected (-) relation by distance, (+) relation by population of the origin area, the size of forest, and a destination's annual social expenditure. In addition, the distance variable is elastic, however, the other variables are inelastic. This results might correspond to a general gravity model theory about forest recreation quantity.