• The Transactions of the Korea Information Processing Society
• /
• v.7 no.2
• /
• pp.470-476
• /
• 2000

This paper describes an IP design of a low-power microcontroller using an architecture level design methodology instead of a transistor level. To reduce switching capacitance, the register-toregister data transfer is adopted to frequently used register transfer micro-operations. Also, distributed buffers are proposed to reduce a input data rising edge time. To reduce power consumption without any loss of performance, pipeline processing should be used. In this paper, a 4-stage pipelined datapath being able to process CISC instructions is designed. Designed microcontroller lessens power consumption by 20%. To measure a power consumption, the SYNOPSYS EPIC powermill is used.

• The KIPS Transactions:PartD
• /
• v.12D no.1 s.97
• /
• pp.81-90
• /
• 2005

Given a model and a property, model checking determines whether the model satisfies the property. In case the model does not satisfy the property model checking gives a counterexample which explains where the violation occurs. Since counterexamples are useful for model debugging as well as model understanding, counterexample generation is one of the indispensable components in the model checking tool. This paper presents efficient counterexample generation techniques when a safety property is falsified. These techniques are used to solve Push Push games which consist of 50 games. As a result, all the games are solved with the proposed techniques. However, with the original NuSMV, 42 games are solved but 8 failed. In addition, we obtain $86{\%}$ time improvement and $62{\%}$ space improvement compared to the original NuSMV in solving the game.

• The KIPS Transactions:PartD
• /
• v.10D no.7
• /
• pp.1077-1088
• /
• 2003

To increase the retrieval performance in spatial database systems, it is required to develop spatial indexing methods considered the spatial locality. The spatial locality is related to the location property of objects. The previous spatial indexing methods are not considered the circular location property that objects will be taken. In this paper, we propose a dynamic spatial index structure called $Cr^*$-tree, and evaluate the performance of the proposed index structure. This is a new spatial index structure considered the circular location property of objects in which a search space is constructed with the circular and linear domains. By the simulation results, the $Cr^*$-tree shows that the number of disk across is low and the bucket utilization is high regardless of object distribution and bucket capacity.

• Proceedings of the Korean Society for Agricultural Machinery Conference
• /
• 2000.11b
• /
• pp.227-235
• /
• 2000

Agricultural products are easily deformable its shape because of some external forces. However, these force behavior is difficult to measure quantitatively. Until now, many researches on the mechanical property was performed with various methods such as material testing, chemical analysis and non-destructive methods. In order to investigate force behavior on the cellular unit of agricultural products, electro-microscope based 3D image processing method will contribute to analysis of plant cells behavior. Before image measurement of plant cells, plant sample was cut off cross-sectioned area in a size of almost 300-400 ${\mu}$ m units using the micron thickness device, and some of preprocessing procedure was performed with fixing and dyeing. However, the wall structure of plant cell is closely neighbor each other, it is necessary to separate its boundary pixel. Therefore, image merging and shrinking algorithm was adopted to avoid disconnection. After then, boundary pixel was traced through thinning algorithm. Each image from the electro-microscope has a information of x,y position and its height along the z axis cross sectioned image plane. 3D image was constructed using the continuous image combination. Major feature was acquired from a fault image and measured area, thickness of cell wall, shape and unit cell volume. The shape of plant cell was consist of multiple facet shape. Through this measured information, it is possible to construct for structure shape of unit plant cell. This micro unit image processing techniques will contribute to the filed of agricultural mechanical property and will use to construct unit cell model of each agricultural products and information of boundary will use for finite element analysis on unit cell image.

• Management Science and Financial Engineering
• /
• v.21 no.1
• /
• pp.1-9
• /
• 2015

We consider an m-machine flow shop scheduling problem to minimize the latest completion time, where processing times are uncertain. Processing time uncertainty is described through a finite set of processing time vectors. The objective is to minimize maximum deviation from optimality for all scenarios. Since this problem is known to be NP-hard, we consider it with an ordered property. We discuss optimality properties and develop a pseudo-polynomial time approach for the problem with a fixed number of machines and scenarios. Furthermore, we find two special structures for processing time uncertainty that keep the problem NP-hard, even for two machines and two scenarios. Finally, we investigate a special structure for uncertain processing times that makes the problem polynomially solvable.

• The KIPS Transactions:PartD
• /
• v.11D no.1
• /
• pp.115-122
• /
• 2004

Software system modeling has a goal for finding and solving system's problems by describing and analyzing system model in formal notations. Petri nets, as graphical formalism, have been used in describing and analyzing the software systems such as parallel systems, real-time system, and protocols. In the analysis of Petri nets, general system properties such as deadlock and liveness are analyzed by the reachability analysis. On the other side, specific properties such as functional requirements and constraints are checked by model-checking. However, since these analysis methods are based on enumeration of ail possible states, there nay be state explosion problem, which means that system states exponentially increase as the size of system is larger. In this paper, we propose a new method for mechanically checking system properties with avoiding state explosion problem. At first, system properties are described in property nets then the system model and the property net are composed and analyzed. In the compositional analysis, system parts irrelevant to the specific property are reduced to minimize the analysis domain of the system. And it is possible to mechanically check whether a specific property is satisfied or not.

• Journal of KIISE:Databases
• /
• v.31 no.4
• /
• pp.395-408
• /
• 2004

A conjunctive Boolean text query refers to a query that searches for tort documents containing all of the specified keywords, and is the most frequently used query form in information retrieval systems. Typically, the query specifies a long list of keywords for better precision, and in this case, the order of keyword processing has a significant impact on the query speed. Currently known approaches to this ordering are based on heuristics and, therefore, cannot guarantee an optimal ordering. We can use a systematic approach by leveraging a database query processing algorithm like the dynamic programming, but it is not suitable for a text query with a typically long list of keywords because of the algorithm's exponential run-time (Ο(n2$^{n-1}$)) for n keywords. Considering these problems, we propose a new approach based on a property called the join sequence separability. This property states that the optimal join sequence is separable into two subsequences of different join methods under a certain condition on the joined relations, and this property enables us to find a globally optimal join sequence in Ο(n2$^{n-1}$). In this paper we describe the property formally, present an optimization algorithm based on the property, prove that the algorithm finds an optimal join sequence, and validate our approach through simulation using an analytic cost model. Comparison with the heuristic text query optimization approaches shows a maximum of 100 times faster query processing, and comparison with the dynamic programming approach shows exponentially faster query optimization (e.g., 600 times for a 10-keyword query).

• The KIPS Transactions:PartA
• /
• v.15A no.2
• /
• pp.119-124
• /
• 2008

In this paper, we analyze a cycle property embedded in pyramid graphs. We prove that it is always possible to construct diverse cycles of all lengths from 3 to ($4^N-1$)/3 by applying series of cycle expansion operations to the pyramid graph of height N. This means that the pyramid graph has the pancyclic property.

• Proceedings of the Korean Powder Metallurgy Institute Conference
• /
• 2006.09a
• /
• pp.395-396
• /
• 2006

To manufacture a flange for a compressor with a relief groove by using powder metallurgy in order to prevent deformation to the compressor in operation, powder material for the flange is charged into a mold; an ablative member having a melting point lower than that of the powder material is positioned at a place where a relief groove is to be formed; the flange is formed by compressing the powder material and the ablative member; and the formed flange is sintered at a temperature between the melting point of the powder material and the ablative member so as to melt and remove the ablative member. It made according to the new method has more excellent strength and airtight property than the conventional one. It is analyzed that the ablative member is melted and penetrated into the flange structure during the sintering process, which results in improvement of the airtight property and increase of the strength.

• Food Science of Animal Resources
• /
• v.39 no.4
• /
• pp.623-631
• /
• 2019

Tetramethylpyrazine (TMP), an alkaloid rich in Ligusticum wallichii and fermented products, possesses multiple pharmacological activities in antioxidant, antiinflammatory, and antibacterial. This study aimed to investigate the effect of TMP (15 mg/L) on the physicochemical and gelation properties of rabbit myofibrillar proteins (MPs) with/without oxidative stress. Results showed that compared to the control, oxidative stress to MPs decreased free thiol content, gel yield, whiteness, water-holding capacity, bounder water, immobilized water, and endogenous tryptophan fluorescence intensity, but increased surface hydrophobicity, dityrosine content, and free water content (p<0.01). Without oxidative stress, MPs treated with TMP increased free thiol content, whiteness, and bound water, but decreased dityrosine content and free water (p<0.05). Under oxidative conditions, all parameters were conversely affected by TMP (p<0.01). The results suggest that TMP can be an antioxidant to decrease the concern on oxidative deterioration during meat processing and storage by improving the oxidative stability, water retention, and gel forming property of rabbit MPs.