• 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 Korean Society of Water and Wastewater
• /
• v.24 no.5
• /
• pp.527-536
• /
• 2010

Although the bubble-floc agglomerate floated and formed the float layer on the surface of the water in the DAF process, after inducing in the thickening tank a part of the bubble-floc agglomerate come up again to the surface and the other is settled at the bottom of the tank. The bubble-floc agglomerate divided into two group as the scum on the surface and the sludge of the bottom gives rise to operational troubles for the thickening process. In order to find out the cause of break-up and the effective thickening method for sludge from the DAF process, the composition of the bubble-floc agglomerate was investigated and a series of flotation experiments carried out. There was no difference of composition between the scum on the surface and the sludge of the bottom in the thickening tank. The coagulation was not effective to improve the trouble that the bubble-floc agglomerate divided into the scum and the sludge. It was estimated that for the bubble-floc agglomerate of thickening tank the trouble was caused by not the change or the difference of chemical composition but whether the bubble-floc agglomerate hold bubbles. Furthermore, for the effective thickening of sludge from the DAF process, it is required an additional flotation applied the AS ratio depending upon the solid concentration of sludge as the operation parameter.

• Journal of Ocean Engineering and Technology
• /
• v.15 no.4
• /
• pp.108-114
• /
• 2001

Petri nets have been introduced as a powerful analyzing and design tool for the discrete systems such as sequential control systems. However, one of the important problems in its applications is that the model can be analyzed hardly when we deal with large scale systems because of increase of the number of Petri net components. To overcome this problem, some methods for dividing or reducing of Petri net have been suggested. In this paper, an approach for hierarchical expression of Petri net based on Sequential function Chart(SFC) and Bottom Up oriented Mehodology(BUM) is proposed. Especially, some definitions and rules are defined in order to divide and compose sub Petri nets. A measuring tank system will be described as a typical kind of discrete systems and modeled by some sub Petri nets based on the SFC and BUM by the proposed method in this paper.

• Proceedings of the Korea Committee for Ocean Resources and Engineering Conference
• /
• 2001.05a
• /
• pp.26-31
• /
• 2001

Petri nets(PN) have been introduced as a poweful analyzing and design tool for the discrete systems such as sequential control systems. However, one of the important problems in its applications is that the model can not be analyzed easily when we deal with large scale systems because of increase of the number of components of the systems. To overcome this problem, some methods for dividing or reducing of PN have been suggested. In this paper, an approach for hierarchical expression of PN based on Sequential Function Chart(SFC) and Bottom Up oriented Mehodology(BUM) is proposed. Especially, some definition and rules are defined in order to divide and compose sub PN. A measuring tank system will be described as a typical kind of discrete systems and modeled by some sub PN based on the SFC and BUM by the proposed method in this paper.

• KIEAE Journal
• /
• v.12 no.3
• /
• pp.95-100
• /
• 2012

Thermal phenomena has caused abnormal weather phenomena due to the lack of urban green spaces To solve these problems, the country of recorded a city business is actively evolving trends. but in all the land, most built-up city's green buildings unless the demolition of the composition is an impossible situation, green space in urban areas, with emphasis on composition. In this study, thermal power plants that occured in the evolution of vegetation by utilizing Bottom Ash was tried to develop a lightweight block. Bottom Ash block to take advantage of vegetation is focused create green space in urban areas Vegetation in the block was carried out manufacturing lightweight, porous, lightweight water ratio suitable for three types of blocks selected according to its kind study on the manufacturing and process. Bottom Ash from this study at the time of disposal of coal ash generated by recycling the landfill shortages, loss of landfill costs, environmental pollution and are trying to solve the same problem at the same time.

• Fisheries and Aquatic Sciences
• /
• v.18 no.3
• /
• pp.325-332
• /
• 2015

An active stimulating method for juvenile fishes to drive escaping from mesh of the codend was examined by shaking canvas in the bottom trawl followed by shrimp beam trawl. Field fishing trials by a bottom trawl were carried out between the Geomoondo and Jejudo in west of South sea, Korea by conver-net methods to examine the effect on the reduction of juvenile fish as a discard catch by generating a shaking movement of the codend using two pieces of asymmetrical semi-circular canvas. The mean period of the shaking motion with the round canvas was 10-15 s, and the range of amplitude as a vertical depth change was up to 0.4-0.6 m when towing speed 3.4-4.3 k't as estimated by peak event analysis. The escape rate of juvenile fish in conver-net by total juvenile bycatch (codend and cover-net) in 14 trials increased from 20% in a steady codend to 34% using a shaking codend in the bottom trawl, while the marketing catch or total bycatch was similar between steady and shaking cod ends. There was no difference in the body size of the fish and species composition between the steady and shaking cod ends. Above results demonstrate a new method for bycatch reduction actually up to 18% using an active stimulating device, although further experiments are needed to increase an effective shaking motion of the codend in amplitude and period for more bycatch reduction.

• Journal of the Korean housing association
• /
• v.21 no.1
• /
• pp.113-121
• /
• 2010

This research is aimed at the development of Long Life Housing, which can realize sustainable construction and environment. It also promotes practical use of Long Life Housing with evaluation of the field application through Mockup House. This research is one of the important tools to realize Long Life Housing and deducts various traditional design's element technology to cope with demands of change of life cycle and style of residents. this study set three elements of plans for modernization in the traditional design factors that opening, wall and bottom as space composition elements of interior facts. first, Jang-ji wall and storage wall system separated from elements of wall that applied modernize elements of the wall. second, element of opening was restructure swing-lift-up opening system into modernize. third, maru and toet-maru system separated from elements of bottom that was applied modernize elements of the bottom. each elements segregation with four types as basic type, separate type, movable type and mixed type. This research make a proposal of plans for modernization in the traditional design factors, aimed at Long Life Housing through these four types blend. In addition, it points to promote realization of the sustainable 'Korea-style Long Life Housing' through modernization.

• Journal of the Korean Crystal Growth and Crystal Technology
• /
• v.17 no.6
• /
• pp.277-282
• /
• 2007

The artificial lightweight aggregate (ALA) was manufactured using coal bottom ashes produced from a thermoelectric power plant with clay and, the sintering temperature and batch composition dependence upon physical properties of ALA were studied. The bottom ash (BA) had 13wt% coarse particle (>4.75mm) and showed very irregular shape so should be crushed to fine particles to be formed with clay by extrusion process. Also the bottom ash contained a many unburned carbon which generates the gas by oxidation and lighten a aggregate during a sintering process. Plastic index of green bodies decreased with increasing bottom ash content but the extrusion forming process was possible for the green body containing BA up to 40wt% whose plastic index and plastic limit were around 10 and 22 respectively. The ALA containing $30{\sim}40wt%$ BA sintered at $1100{\sim}1200^{\circ}C$ showed a volume specific density of $1.3{\sim}1.5$ and water absorption of $13{\sim}15%$ and could be appled for high-rise building and super-long bridge.

• Journal of the Korean institute of surface engineering
• /
• v.42 no.2
• /
• pp.63-67
• /
• 2009

CdSe is one of the composite semiconductor materials used in hybrid solar cell. CdSe nanorods were fabricated using electrochemical deposition in anodic aluminum oxide (AAO) template. CdSe were deposited from $CdSO_4$ and $H_2SeO_3$ dissolved aqueous solution by direct current electrochemical deposition. Uniformity of CdSe nanorods were dependent on the diameter and the height of holes in AAO. The current density, current mode, bath composition and temperature were controlled to obtained 1:1 atomic composition of CdSe. CdSe electroplating in AAO is bottom-up filling so we applied direct current is better than others for good uniformity of CdSe nanorods. The optimum conditions to obtain 1:1 atomic composition of CdSe nanorods are direct current $10\;mA/cm^2$, 0.25 M $CdSO_4$-5 mM $H_2SeO_3$ electrolytes at room temperature.

• Korean Journal of Ecology and Environment
• /
• v.52 no.1
• /
• pp.40-49
• /
• 2019

Seasonal succession of zooplankton community and species composition was studied from 2003 to 2014 in a deep reservoir, Lake Soyang, in monsoon climate region, Korea. Annual precipitation was concentrated more than 70% between June and September and it showed remarkably that seasonal variation in water quality. Seasonal variation of water quality in Lake Soyang appeared to be more significant than annual variations, and the inflow of turbid water during the summer rainfall was the most important environmental factor. Zooplankton sepecies composition in Lake Soyang showed obvious tendency through two periods (May to June and August to October) every year. Small zooplankton (rotifer; Keratella cochlearis, Polyarthra vulgaris) dominated in spring and mesozooplankton such as copepods and crustaceans were dominant in summer and fall. Zooplankton biomass showed the maximum in September after monsoon rainfall, and chlorophyll showed a similar seasonal variation and it showed a high correlation (r=0.45). The increase of zooplankton biomass is considered to be a bottom-up effect due to the increase of primary producers and inflow of nutrients and organic matter from rainfall. In this study, we found that the variation of zooplankton community was affected by rainfall in monsoon climate region and inflow of turbid water was an important environmental factor, which influenced the water quality, zooplankton seasonal succession in Lake Soyang. It was also considered to be influenced by hydrological characteristics of lake and environment of watershed. In conclusion, seasonal succession of zooplankton species composition was the same as the PEG model. But seasonal succession of zooplankton biomass differed not only in the temperate lake but also in the monsoon region.