• The KIPS Transactions:PartD
• /
• v.17D no.6
• /
• pp.415-422
• /
• 2010

This paper proposes service-oriented composition and verification techniques for incrementally extracting high-level abstract behavior of unit components in a systematic manner. Proposed techniques include the definition for abstract component, which is a basic building-block of the abstraction process, an algorithm for port-based synchronized abstraction, and projection abstraction. A verification framework is developed using the proposed techniques and its efficiency is demonstrated through a case example.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.16 no.3
• /
• pp.571-578
• /
• 2012

In this paper, we propose two main points. The first is the constraint for logic synthesis, and the second is an efficient logic synthesis method. Logic synthesis is a process to obtain the gate-level netlist from RTL (register transfer level) codes using logic mapping and optimization with the specified constraints. The result of logic synthesis is tightly dependent on constraint and logic synthesis method. Since the size and timing can be dramatically changed by these, we should precisely consider them. In this paper, we present the considering items in the process of logic synthesis by using our experience and experimental results. The proposed techniques was applied to a circuit with the hardware resource of about 650K gates. The synthesis time for the hybrid method was reduced by 47% comparing the bottom-up method and It has better timing property about slack than top-down method.

• Korean Chemical Engineering Research
• /
• v.62 no.3
• /
• pp.201-213
• /
• 2024

Cells first emerged 4 billion years ago and have evolved over a long period into an excellent system. Bottom-up synthetic biology is a research field that aims to develop "artificial cells" by returning to 4 billion years ago and redesigning cells from scratch. Although these artificial cells are not perfect, they are artificial cell mimicry systems that possess important characteristics of living cells. By designing the artificial cells, researchers in this field aim to explore the organization and the origins of cells from a different approach than traditional cell biology and ultimately seek to replace the use of living cells. This review aims to introduce the concepts and recent research in capsule and biocatalyst-based artificial cells, which have been actively studied recently.

• Journal of the Institute of Electronics Engineers of Korea SC
• /
• v.44 no.1
• /
• pp.50-58
• /
• 2007

In this paper, we propose a query-based visual attention algorithm for effective object finding of a vision-based mobile robot. This algorithm is developed by extending conventional bottom-up visual attention algorithms. In our proposed algorithm various conspicuity maps are merged to make a saliency map, where weighting values are determined by query-dependent object properties. The saliency map is then used to find possible attentive location of queried object. To show the validities of our proposed algorithm, several objects are employed to compare performances of our proposed algorithm with those of conventional bottom-up approaches. Here, as one of exemplar query-dependent object property, color property is used.

• International Journal of Highway Engineering
• /
• v.13 no.2
• /
• pp.125-131
• /
• 2011

This research aims to investigate the cause of the occurrence of a weak road drainage section scientifically and specifically through a site survey for a poorly drained section occurring due to rainfalls during road operation. This paper deeply reviewed the existing research results and current situation data on the poorly drained sections accumulated in Korea Expressway Corporation in order to investigate the cause of the occurrence of a weak road drainage section, and deeply verified and analyzed the weak sections for the road surface drainage facilities and the other road drainage facilities by visiting the expressway controlled by the 6 local headquarters and 33 branches of Korea Expressway Corporation. As a result of site surveys for the weak road drainage sections, i) in a road surface section, occurrence of ponding in the road shoulder pavement due to slope changes, bad collection of water in the collecting well at a median strip, shortage of road shoulder dike height, and inferior construction, etc. was analyzed to be the main cause of the occurrence of poorly drained sections, and ii) in a road neighborhood section, the occurrence of pavement height difference in a main road and shoulder section due to inferior ditches on a slope and the bad drain age at the inlet and outlet of a culvert due to soil deposits, debris, etc. were analyzed to be the main cause of the occurrence of weak sections. Proposed as a plan to improve the poorly drainage section of road were i)calculation of capacity through material changes at the ditch, enhancement of vertical sections and hydraulic analysis in terms of construction and other aspects, ii)derivation of a combined slope considering a slope and a vertical linearity and maintenance of proper distance between drainage structures in a vertical concave section in terms of geometrical structure, and iii)calculation of the drainage facility installation interval using a minutely rainfall intensity formula and a non-uniform flow analysis technique in terms of hydraulics and hydrologics and prompt removal of rainfalls from the road surface according to a linear drainage method.

• Journal of KIISE:Databases
• /
• v.32 no.5
• /
• pp.473-486
• /
• 2005

The Hippocratic database model recently proposed by Agrawal et at. incorporates privacy protection capabilities into relational databases. The authors have subsequenty proposed the Hippocratic XML daかabase model[4], an extension of the Hippocratic database model for XML databases. In this paper, we propose a new concept that we cail the dynamic predicate(DP) for effective access control in the Hippocratic XML database model. A DP is a novel concept that represents a dynamically constructed rendition that tan be adapted for determining the accessibility of elements during query execution. DPs allow us to effectively integrate authorization checking into the query plan so that unauthorized elements are excluded in the process of query execution. Using synthetic and real data, we have performed extensive experiments comparing query processing time with those of existing access control mechanisms. The results show that the proposed access control mechanism improves the wall clock time by up to 219 times over the top-down access control strategy and by up to 499 times over the bottom-up access control strategy. The major contribution of our, paper is enabling effective integration of access control mechanisms with the query plan using the DP under the Hippocratic XML database model.

• Journal of KIISE:Databases
• /
• v.31 no.6
• /
• pp.684-698
• /
• 2004

The Hippocratic database model recently proposed by Agrawal et al. incorporates privacy protection capabilities into relational databases. Since the Hippocratic database is based on the relational database, it needs extensions to be adapted for XML databases. In this paper, we propose the Hippocratic XML database model, an extension of the Hippocratic database model for XML databases and present an efficient access control mechanism under this model. In contrast to relational data, XML data have tree-like hierarchies. Thus, in order to manage these hierarchies of XML data, we extend and formally define such concepts presented in the Hippocratic database model as privacy preferences, privacy policies, privacy authorizations, and usage purposes of data records. Next, we present a new mechanism, which we call the authorization index, that is used in the access control mechanism. This authorization index, which is Implemented using a multi-dimensional index, allows us to efficiently search authorizations implied by the authorization granted on the nearest ancestor using the nearest neighbor search technique. Using synthetic and real data, we have performed extensive experiments comparing query processing time with those of existing access control mechanisms. The results show that the proposed access control mechanism improves the wall clock time by up to 13.6 times over the top-down access control strategy and by up to 20.3 times over the bottom-up access control strategy The major contributions of our paper are 1) extending the Hippocratic database model into the Hippocratic XML database model and 2) proposing an efficient across control mechanism that uses the authorization index and nearest neighbor search technique under this model.

• Journal of Korean Society of Environmental Engineers
• /
• v.28 no.8
• /
• pp.866-871
• /
• 2006

The nutrient recovery in phosphate crystallization process was investigated by using laboratory scale uptlow reactors, adopting sequencing batch type configuration. The industrial waste lime was used as potential cation source with magnesium salt($MgCl_2$) as control. The research was focused on its successful application in a novel integrated sludge treatment process, which is comprised of a high performance fermenter followed by a crystallization reactor. In the struvite precipitation test using synthetic wastewater first, which has the similar characteristics with the real fermentation effluent, the considerable nutrient removal(about 60%) in both ammonia and phosphate was observed within $0.5{\sim}1$ hr of retention time. The results also revealed that a minor amount(<5%) of ammonia stripping naturally occurred due to the alkaline(pH 9) characteristic in feed substrate. Stripping of $CO_2$ by air did not increase the struvite precipitation rate but it led to increased ammonia removal. In the second experiment using the fermentation effluent, the optimal dosage of magnesium salt for struvite precipitation was 0.86 g Mg $g^{-1}$ P, similar to the mass ratio of the struvite. The optimal dosage of waste lime was 0.3 g $L^{-1}$, resulting in 80% of $NH_4-N$ and 41% of $PO_4-P$ removal, at about 3 hrs of retention time. In the microscopic analysis, amorphous crystals were mainly observed in the settled solids with waste lime but prism-like crystals were observed with magnesium salt. Based on mass balance analysis for an integrated sludge treatment process(fermenter followed by crystallization reactor) for full-scale application(treatment capacity Q=158,880 $m^3\;d^{-1}$), nutrient recycle loading from the crystallization reactor effluent to the main liquid stream would be significantly reduced(0.13 g N and 0.19 g P per $m^3$ of wastewater, respectively). The results of the experiment reveal therefore that the reuse of waste lime, already an industrial waste, in a nutrient recovery system has various advantages such as higher economical benefits and sustainable treatment of the industrial waste.