• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.8 no.1
• /
• pp.137-149
• /
• 2004

A new software paradigm is required on the development of network and various service requirements. With this, many studies on a mobile agent have been made. For the execution of the mobile agent, migration is the most important factor that influences the performance of the mobile agent. In this paper we propose the method that leads to high migration efficiency in order to improve the performance. The features of our migration technique are as follows. First, the migration technique creates the dynamic itinerary that appropriately copes with the network conditions and the platform changes to improve the agent execution efficiency. Second, it perfecters an executed code to reduce the amount of the mobile data and reduces the execution time by instantiating the agent in advance. Third, it improves the execution efficiency by using the checkpoint-based recovery method that does not execute the agent again and recovers the process states even though the errors take place. Though the simulation we compare the proposed method with the existing methods. The simulation result shows that the proposed method outperform the existing methods in terms of migration.

• Journal of Korea Multimedia Society
• /
• v.9 no.12
• /
• pp.1700-1708
• /
• 2006

Since the most program execution time is consumed in a loop structure, extracting parallelism from loop programs is critical for the taster program execution. In this paper, we proposed data dependency removal method for a single loop. The data dependency removal method can be applied to uniform and non-uniform data dependency distance in the single loop. Procedure calls parallelisms with only a single loop structure or procedure call most of other methods are concerned with the uniform code within the uniform data dependency distance. We also propose an algorithm, which can be applied to uniform, non-uniform, and complex data dependency distance among the multiple procedures. We compared our method with conventional methods using CRAY-T3E for the performance evaluation. The results show that the proposed algorithm is effective.

• Journal of the Korean Institute of Telematics and Electronics B
• /
• v.32B no.3
• /
• pp.89-99
• /
• 1995

One of the hardest problems that limit real application of production system is its slowness. One way to overcome this problem is to speed up the matching operation which occupies more than 90% of the total execution time. In this paper, we try to speed up the matching operation with parallel execution of a typical pattern matching algorithm, RETE, in a multiprocessor environment, This requires not only to make partitions of the rules but also to allocate the partitioned rules to processors, respectively. A partition strategy is proposed to make groups of similar rules by evaluating the similarity of rules according to the number of common conditions between rules. An allocation strategy is proposed to make the load of each processor even by assigning the different priority to the group of rules according to the expected amount of time required for matching operation. To compare with the existing methods, we perform simulation using OPS5 sample programs. The simulation results show that the proposed methods can improve the performance of production system.

• Journal of KIISE:Software and Applications
• /
• v.36 no.2
• /
• pp.153-160
• /
• 2009

As size of ontology has been increased more and more, the descriptions in the ontologies become more complicated, Therefore finding and modifying unsatisfiable concepts is hard work in ontology construction process, Minerva is an ontology reasoner which detects unsatisfiable concepts automatically and infers subsumption relation between concepts in ontology, Most description logic based ontology reasoners (including Minerva) work using tableaux algorithm, Because tableaux algorithm is very costly, ontology reasoners need various optimization methods, In this paper, we propose optimizing methods to reduce execution time of tableaux algorithm based ontology reasoner. Proposed methods were applied to Minerva which was developed as preceding study result. In consequence the new version Minerva shows high performance.

• Magazine of the Korea Concrete Institute
• /
• v.12 no.3
• /
• pp.70-77
• /
• 2000

• Journal of Korean Public Health Nursing
• /
• v.30 no.1
• /
• pp.105-121
• /
• 2016

Purpose: This study examined the influencing factors from the Transtheoretical Model on the stage of change in the self-management behaviors, i.e. regular physical activity and diet, among community-residing adults with hypertension in a rural area. Methods: With a cross-sectional descriptive design, 134 adults who had registered and received a prescription for hypertension medication from a public health center in W city were recruited using convenient sampling. The instrument was an interviewer-administered questionnaire on the stage of change, process of change, self-efficacy, and decisional balance of physical activity and diet. The data were analyzed using descriptive statistics, 2-sample t-test, ${\chi}^2$ test, and logistic regression. Results: The results revealed significant differences in the process of change, self-efficacy, and decisional balance of physical activity and diet between those who were in the pre-execution stage (precontemplation, contemplation, preparation) and those who were in the execution stage (action and maintenance). Logistic regression showed that consciousness raising and self-efficacy were significant predictors of the execution stage in physical activity, and self-reevaluation, social liberation and self-efficacy were significant predictors in the diet. Conclusion: The relevant processes of change, differentiated according to the stage of change, along with self-efficacy, should be addressed to enhance the execution of self-management behaviors among hypertensive adults residing in the community.

• Journal of the Institute of Electronics Engineers of Korea SD
• /
• v.40 no.4
• /
• pp.85-94
• /
• 2003

The asynchronous design methods proved to have the higher performance in power consumption and execution speed than synchronous ones because it just needs to activate the required module without feeding clock in the system. Despite the advantage of CISC machine providing the variable addressing modes and instructions, its execution scheme is hardly suited for a synchronous Pipeline architecture and incurs a lot of overhead. This paper proposes a novel asynchronous pipeline architecture, A80sl, whose instruction set is fully compatible with that of Intel 80C51, an embedded micro controller. We classify the instructions into the group keeping the same execution scheme for the asynchronous pipeline and optimize it eliminating the bubble stage that comes from the overhead of the multi-cycle execution. The new methodologies for branch and various instruction lengths are suggested to minimize the number of states required for instructions execution and to increase its parallelism. The proposed A80C51 architecture is synthesized with 0.35${\mu}{\textrm}{m}$ CMOS standard cell library. The simulation results show higher speed than that of Intel 80C51 with 36 MHz and other asynchronous counterparts by 24 times.

• Journal of KIISE:Software and Applications
• /
• v.30 no.1_2
• /
• pp.103-116
• /
• 2003

States explosion due to composition of spaces of data, temporal, and locational values is one of the well-known critical problems which cause difficulty in understanding and analysing real-time systems specified with state-based formal methods. In order to overcome this problem, this paper presents an abstraction method for state minimization based on an abstraction in system specification and an abstraction in system execution. The first is named the syntactic in system specification and an abstraction in system execution. The first is named the syntactic abstraction, through which the patterns of the unconditionally internalized computation and the repetition and selection structures are abstracted. The latter is named the semantic abstraction, through which the patterns of the execution space represented with data. Through the abstractions, the components of a system in specification and execution model is hierarchically organized. The system can be analyzed briefly in the upper level in an skeleton manner with low complexity. The system, however, can be abstraction method for the state minimization and the decrease in analysis complexity through the abstraction with examples.

• Korean Institute of Interior Design Journal
• /
• v.21 no.3
• /
• pp.103-110
• /
• 2012

Interior Coordination is the activity of making characteristic living space by planning and harmonizing various interior elements. In modern society, the taste and needs of the residents are getting varied and segmented, and the role of interior coordination is getting more important because that reflects cultural codes and trends and satisfies residents' needs. This study aims to investigate awareness and needs about interior coordination targeting apartment residents, and to provide fundamental data that could attribute to the planning of unique and diverse residential spaces. Methods of study include the literature research and the empirical study. Elements of interior coordination were extracted through the literature review, and the questionnaire was developed using these elements. And then a survey was carried out targeting apartment residents of Busan. The result shows that most of the residents were much interested in interior coordination, and they recognized it's importance. They wanted to plan and select the elements by themselves, but were passive in actual execution because of the difficulties in execution methods and economical conditions. There were certain differences between the styles of their own houses and the preferred styles, but they did not try actively to reconcile the differences. Therefore, various methods of interior coordination should be developed and proposed which are easy and effective for actual execution, and various media should be provided by which residents could easily get informations on design elements. Also, the concept and method of interior coordination should be considered from the very first stage of residential planning, and the replacement and modification of interior coordination could be easily done according to the change of life cycle and life styles.

• Journal of Internet Computing and Services
• /
• v.1 no.1
• /
• pp.1-14
• /
• 2000

Visual information retrieval and image databases are very important applications of spatial access methods. The quaries for these applications are visual and based not on exact match but on dubjective similarity. The individual aperations of spatial access methods are much more expensive than those of conventional one-dimensional access methods. Also, because the visual queries are much more complex than textual queries, an efficient processing technique for visual queries is one of the critical requirements in the development of large and scalable image databases. Therefore, efficient translation and execution for the complex visual queries are not less important than those of textual databases. In this paper, we introduce our cognitive and topological studies that are required to process subjective visual queries effectively. Then, we propose an efficient translation and execution techniques for similarity based visual queries by conducting these related studies.