• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제11권1호
• /
• pp.26-35
• /
• 2005

일반적으로 디지털 시스템에서 시스템의 제어부 설계를 위해 FSM이 많이 사용된다. FSM은 제어흐름(Control Flow)으로부터 생성된 상태 다이어그램에 기반하여 구현된다. 설계자는 상태 다이어그램을 이용하여, HDL로 FSM을 설계하고 검증한다. FSM의 상태의 수가 증가할수록, FSM을 검증하거나 변경하는 작업은 매우 복잡해지고 오류가 많이 발생하며 많은 시간을 필요로 한다. 따라서 본 논문에서는 레지스터 전송 수준에서 제어흐름중심으로 하드웨어를 기술하는 언어인 Cycle-C를 제안한다. Cycle-C는 제어 흐름에 시간 정보를 더하여 FSM을 기술한다. Cycle-C로 표현된 FSM은 합성 가능한 VHDL 코드로 자동으로 변환된다. 실험에서는, 인터페이스 회로들에 대한 FSM을 비교 예제로 삼았다. Cycle-C를 이용한 설계와 설계자가 직접 RTL VHDL로 설계한 것은 비슷한 면적을 보였다. Cycle-C를 이용하면 설계자가 직접 기술한 RTL VHDL 행수의 약 10～50%만으로 동일한 동작에 대한 기술을 할 수 있었다.

• Advances in environmental research
• /
• 제3권4호
• /
• pp.367-377
• /
• 2014

In this study, we investigated a life cycle assessment (LCA) of six roof-waterproofing systems [asphalt (C1), synthetic polymer-based sheet (C2), improved asphalt (C3), liquid applied membrane (C4), Metal sheet with asphalt sheet (N1), and liquid applied membrane with asphalt sheet (N2)]for reinforced concrete building using an architectural model. To acquire accurate and realistic LCA results, minimum units of material compositions for life cycle inventory and real data for compositions of waterproofing materials were used. Considering only materials and energy demands for waterproofing systems per square meter, higher greenhouse gas (GHG) emissions could be generated in the order of C1 > N2 > C4 > N1 > C2 > C3 during construction phase. However, the order was changed to C1 > C4 > C3 > N2 > N1 > C2, when the actual architecture model was applied to the roof based on each specifications. When an entire life cycle including construction, maintenance, and deconstruction were considered, the amount of GHG emission was in the order of C4 > C1 > C3 > N2 > C2 > N1. Consequently, N1 was the most environmental-friendly waterproofing system producing the lowest GHG emission. GHG emissions from maintenance phase accounted for 71.4%~78.3% among whole life cycle.

• 대한기계학회논문집
• /
• 제6권2호
• /
• pp.101-106
• /
• 1982

This study was undertaken to determine tensile properties and low-cycle fatigue behavior of 0.6%C high carbon steel used of structural purposes at temperatures up to 500.deg.C. In the low-cycle fatigue test the upper limit was decided by elongation(i.e. the total strain range), while the lower limit was defined by the load (i.e. zero load). The following results were obtained. Both, the ultimate tensile strength and low-cycle fatigue resistance attain the maximum values near 250.deg.C. Above this temperature the values decrease rapidly as the temperature increases. The low-cycle fatigue resistance decreases whenever there is an increase of the total strain range. Because the hardness of cycle fatigued specimen correlates cyclic hardening and cyclic softening, therefore the hardness of cycle fatigued specimen is smaller than that of the nonfatigued specimen at room temperature and 500.deg.C but much larger than the hardness of the nonfatigued specimen near 250.deg.C.

• Journal of Advanced Marine Engineering and Technology
• /
• 제39권6호
• /
• pp.592-598
• /
• 2015

본 연구에서는 공랭식 VI(Vapour-Injection) 사이클을 적용한 R410A용 고성능 하절기 냉방 열펌프의 성능 특성을 실험적으로 규명하였다. 실험에 사용한 장치는 VI 압축기, 응축기, 유분리기, 판형열교환기, 에코노마이져(economizer), 증발기, 그리고 재냉기(re-cooler)로 구성하였다. 냉방 성능 실험 조건은 다음과 같이 3가지 사이클로 VI 사이클을 적용하고 증발기 출구 냉매와 VI사이클 흡입 냉매가 재냉기에서 서로 열교환 하지 않는 사이클(사이클 A)과 열교환을 하는 사이클(사이클 B), 그리고 VI 사이클도 적용하지 않고 증발기 출구 냉매와 VI 사이클 흡입 냉매와의 열교환도 없는 사이클(사이클 C)로 구분하였다. 분석 결과, 냉방 성능은 증발기 출구 냉매와 VI사이클 흡입 냉매가 서로 열교환하는 VI사이클(사이클 B)이 가장 높았으며 VI사이클을 적용하지 않은 사이클 C가 가장 낮음을 알 수 있었으며, 사이클B의 냉방성능계수($COP_C$)가 평균 3.5로 사이클A보다 8.6%, 사이클C보다 33% 높은 값을 나타내었다.

• Kyungpook Mathematical Journal
• /
• 제48권2호
• /
• pp.287-302
• /
• 2008

The vertex set of a digraph D is denoted by V (D). A c-partite tournament is an orientation of a complete c-partite graph. A digraph D is called cycle complementary if there exist two vertex disjoint cycles $C_1$ and $C_2$ such that V(D) = $V(C_1)\;{\cup}\;V(C_2)$, and a multipartite tournament D is called weakly cycle complementary if there exist two vertex disjoint cycles $C_1$ and $C_2$ such that $V(C_1)\;{\cup}\;V(C_2)$ contains vertices of all partite sets of D. The problem of complementary cycles in 2-connected tournaments was completely solved by Reid [4] in 1985 and Z. Song [5] in 1993. They proved that every 2-connected tournament T on at least 8 vertices has complementary cycles of length t and ${\mid}V(T)\mid$ - t for all $3\;{\leq}\;t\;{\leq}\;{\mid}V(T)\mid/2$. Recently, Volkmann [8] proved that each regular multipartite tournament D of order ${\mid}V(D)\mid\;\geq\;8$ is cycle complementary. In this article, we analyze multipartite tournaments that are weakly cycle complementary. Especially, we will characterize all 3-connected c-partite tournaments with $c\;\geq\;3$ that are weakly cycle complementary.

• 상하수도학회지
• /
• 제24권2호
• /
• pp.203-210
• /
• 2010

The signification of calorie/water (C/W) ratio was investigated in the treatment of highly concentrated organic wastes by thermophilic oxic process (TOP). Swine waste was used in this study. When C/W ratio was 1.6, most of swine waste was decomposed and all water was evaporated in the 24-h injection cycle. To improve treatment efficiency of TOP treating swine waste, the effect of shortening the swine waste injection cycle was examined. The shortening of injection cycle was conducted to stimulate the activity of thermophilic bacteria. A high temperature in the reactor was maintained by shortening of the injection cycle. When the swine waste injection cycle was shortened, the C/W ratio was fixed at 1.6. As a result, by shortening the swine waste injection cycle from 24-h to 12 and 6-h, the maximum loading rate of swine waste per day could be improved 1.9 and 3.5 times, respectively.

• Korean Journal of Mathematics
• /
• 제27권2호
• /
• pp.525-534
• /
• 2019

Let $P(G,{\lambda})$ denote the number of proper vertex colorings of G with ${\lambda}$ colors. The chromatic polynomial $P(C_n,{\lambda})$ for the cycle graph $C_n$ is well-known as $$P(C_n,{\lambda})=({\lambda}-1)^n+(-1)^n({\lambda}-1)$$ for all positive integers $n{\geq}1$. Also its inductive proof is widely well-known by the deletion-contraction recurrence. In this paper, we give this inductive proof again and three other proofs of this formula of the chromatic polynomial for the cycle graph $C_n$.

• 대한금속재료학회지
• /
• 제47권7호
• /
• pp.391-396
• /
• 2009

Tensile, low cycle fatigue, and fatigue crack growth rate tests were conducted at RT and $300^{\circ}C$ for type 304 stainless steel. Tensile was tested under displacement control and low cycle fatigue was tested under strain control. Fatigue crack growth rate test was conducted under load control and crack was measured by DCPD method. Yield strength and elongation decreased at $300^{\circ}C$. Dynamic strain aging was not detected at $300^{\circ}C$. Low cycle fatigue life increased but fatigue strength decreased at $300^{\circ}C$. Fatigue crack growth rate increased at $300^{\circ}C$. Dislocation structures were mixed with cell and planar and did not change with temperature. Grain size did not change but plastic strain increased at $300^{\circ}C$. Strain induced martensite after low cycle fatigue test increased at RT but decreased at $300^{\circ}C$. It was concluded that the increase of low cycle fatigue life at $300^{\circ}C$ was due to the decrease of strain induced martensite at which crack was initiated.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 1998년도 하계학술대회 논문집 D
• /
• pp.1312-1314
• /
• 1998

SOFC system is often subject to thermal cycle condition during normal start/stop, shutdown, and emergence state. Under the thermal cycle condition of heating and cooling, the SOFC components expand or shrink, which produces thermal stress and thermal shock. The SOFC performance is degraded by the thermal factors. To protect SOFC system from the thermal degradation, the optimum thermal condition must be clarified. In this study, to examine the thermal cycle characteristics, we fabricated single cells of planar SOFC with an area of $5{\times}5cm$. The electrolyte and PEN were tested under thermal cycle conditions in the range of$ 2-8^{\circ}C/min$. After thermal cycle test. crack creation of the components were examined using ultraviolet apparatus. No crack in the electrolyte and PEN were observed. The single cell system with alumina frame were also tested under thermal cycle conditions of 2, 3, $4^{\circ}C/min$. The single cell was fractured at the thermal cycle of 3 and $4^{\circ}C/min$ and the optimum condition of the thermal cycle to be found below $2^{\circ}C/min$.

• 동력기계공학회지
• /
• 제18권1호
• /
• pp.51-56
• /
• 2014

In this paper, the performance of the $CO_2-C_2H_6-N_2$ cascade liquefaction cycle with respect to temperature differences in the LNG heat exchangers is analyzed theoretically using HYSYS software and then compared the COP(coefficient of performance) of the cascade liquefaction cycles using $C_3H_8-C_2H_4-C_1H_4$ and $CO_2-N_2O-N_2$. In comparison of COP of three cycles, the cascade liquefaction cycles using $C_3H_8-C_2H_4-C_1H_4$ showed the highest COP. And the liquefaction cycle using $CO_2-C_2H_6-N_2$ and $CO_2-N_2O-N_2$ presented the second and third highest COP, respectively. In case of COP, the $C_3H_8-C_2H_4-C_1H_4$ cascade liquefaction cycle yields better COP. But, in terms of the environment and maintain, it is confirmed that the cascade liquefaction cycle using $CO_2-C_2H_6-N_2$ provides favorable characteristics.