• 제목/요약/키워드: Bottom-up Composition

검색결과 36건 처리시간 0.02초

내장형 소프트웨어 컴포넌트의 상향식 합성과 검증 (Bottom-up Composition and Verification of Embedded Software)

  • 최윤자
    • 정보처리학회논문지D
    • /
    • 제17D권6호
    • /
    • pp.415-422
    • /
    • 2010
  • 본 논문은 단위 컴포넌트가 제공하는 서비스를 중심으로 컴포넌트 행위모델을 합성하고 상위수준의 추상적 행위모델을 추출하는 서비스기반 합성과 검증기법을 제안한다. 이를 위하여, 상향식 행위양식 추상화의 기초가 되는 추상 컴포넌트를 정의하고, 포트기반 동기화 알고리즘과 서비스기반 투영을 통한 추상화기법을 제안하였다. 또한, 제안된 기법을 적용한 모델검증 프레임워크를 개발하고, 사례연구를 통하여 제안된 방식이 검증비용을 절감함을 입증하였다.

DAF 공정에서 발생한 슬러지의 Break-up 원인과 부상 특성 (Cause of Break-up and Flotation Characteristics for Sludge from DAF Process)

  • 유영훈;문용택;김성진;이광준;곽동희
    • 상하수도학회지
    • /
    • 제24권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.

페트리네트의 계층화를 통한 시퀀스제어계의 설계(II) -Bottom up에 의한 서브PN의 합성- (Design for Sequential Control System Using Petri Nets with Hierarchical Expression (II) -composition of Sub Petri nets by Bottom up Oriented Method-)

  • 정석권;정영미;유삼상
    • 한국해양공학회지
    • /
    • 제15권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.

  • PDF

페트리네트의 계층화를 통한 시퀀스제어계의 설계 (II) - Bottom up에 의한 서브PN의 분할과 합성 - (Design for Sequential Control System Using Petri Nets with Hierarchical Expession(II) - Composition of Sub Petri nets by Bottom up Oriented Method-)

  • 정석권;정영미;유삼상
    • 한국해양공학회:학술대회논문집
    • /
    • 한국해양공학회 2001년도 춘계학술대회 논문집
    • /
    • 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.

  • PDF

옥상녹화용 경량유닛의 블록제조 공법 및 공정 연구 (A Study on Manufacturing and Processes of the Lightweight Block Unit for Roof Greening with Bottom ash)

  • 문종욱;오중근;이태구
    • KIEAE Journal
    • /
    • 제12권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.

Bycatch Reduction by Experimental Shaking Codend Attached with Canvas in a Bottom Trawl

  • Kim, Yonghae
    • Fisheries and Aquatic Sciences
    • /
    • 제18권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.

장수명 공동주택을 대상으로 한 전통디자인요소의 현대화방안에 관한 연구 - 실내공간구성을 위한 가변요소를 중심으로 - (The Research of Plans for Modernization in the traditional design factors, Aimed at Long Life Housing - Focused in the Infill System for Composition of Indoor Space -)

  • 한남수;이영;박우장;박준영;류동수
    • 한국주거학회논문집
    • /
    • 제21권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.

석탄 바닥재와 점토를 이용한 인공경량골재 제조 (Manufacturing artificial lightweight aggregates using coal bottom ash and clay)

  • 김강덕;강승구
    • 한국결정성장학회지
    • /
    • 제17권6호
    • /
    • pp.277-282
    • /
    • 2007
  • 화력발전소에서 발생하는 석탄 바닥재(bottom ash)와 점토를 혼합하여 성형 후, 소성하여 인공경량골재를 제조하고, 소성온도와 조성 변화에 따른 물성을 분석하였다. 바닥재는 입경이 4.75mm 이상인 입자가 13wt% 정도로 거친 분말로 압출성형을 위하여 미분쇄 공정이 필요하였다. 또한 바닥재는 미연탄소(C)를 다량 함유하고 있어 소결 시 C의 산화반응과 이에 따른 가스발생으로 소결체의 경량화를 유도하였다. 점토에 바닥재 첨가량이 증가할수록 소성 지수가 감소하였고 이에 따라 성형체의 성형성이 저하되었으나 바닥재 첨가량이 40wt% 까지의 성형체는 소성 지수 및 소성 한계값이 각각 약 10과 22로서 압출성형이 가능하였다. 바닥재가 $30{\sim}50wt%$ 첨가되고 $1150{\sim}1200^{\circ}C$ 범위에서 소결된 골재는 부피비중 $1.3{\sim}1.5$, 흡수율 $14{\sim}16%$를 나타냈고 따라서 고층빌딩이나 교량 등의 골재대체재로써의 가능성이 확인되었다.

전기도금법을 이용한 태양전지용 CdSe 나노로드 제작 (Electrochemical Deposition of CdSe Nanorods for Photovoltaic Cell)

  • 김성훈;이재호
    • 한국표면공학회지
    • /
    • 제42권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.

몬순지역 대형댐(소양호)에서 동물플랑크톤 군집의 계절천이 (Seasonal Succession of Zooplankton Community in a Large Reservoir of Summer Monsoon Region (Lake Soyang))

  • 김문숙;김범철;전만식
    • 생태와환경
    • /
    • 제52권1호
    • /
    • pp.40-49
    • /
    • 2019
  • 본 연구는 몬순지역의 대형호인 소양호를 대상으로 동물플랑크톤의 종 조성과 생물량을 조사하였으며, 군집의 계절천이를 알아보고자 하였다. 또한, PEG 모델과 몬순지역에서 다른 호수와의 동물플랑크톤 계절천이를 비교하여 고찰하였다. 조사기간 동안 소양호 유역의 강수량은 $705{\sim}1,779mm\;yr^{-1}$의 큰 변동을 보였으며, 70% 이상이 6~9월에 집중되는 것으로 나타났다. 소양호의 수질은 연도별 변화보다 계절적 변화가 뚜렷하게 나타났으며, 몬순기후로 인한 여름철 홍수기 탁수유입이 가장 중요한 환경요인으로 작용하였다. 소양호에서 동물플랑크톤 종 조성의 계절천이는 연도별로 차이는 있지만, 매년 두 시기에 거쳐 뚜렷한 경향을 보였다. 봄 시기에는 소형 동물플랑크톤이 우점하였으며, 여름과 가을 시기에는 크기가 큰 지각류와 요각류가 우점하였다. 동물플랑크톤의 생물량은 집중강우 이후 9월에 최대를 보였으며, Chl. a 농도와 유사한 계절변동을 보였다(r=0.45). 소양호에서 동물플랑크톤의 생물량 증가는 강우 시 유입된 영양염과 유기물에 의한 미생물, 식물플랑크톤 등 먹이유용성 증가에 따른 microbial loop와 bottom-up 효과로 판단된다. 결과적으로, 몬순지역의 대형호인 소양호 동물플랑크톤은 종별 계절천이는 PEG 모델을 따랐지만, 생물량의 계절천이는 온대호수뿐만 아니라 몬순지역의 호수와도 차이를 보였다. 이는 유역에서 유입된 다량의 유기물 등과 함께 소양호의 수심, 체류시간 등 수리학적 특성에 따른 영향으로 판단된다.