A SOFC (solid oxide fuel cell) cycle running on natural gas was integrated with a ST (steam turbine) cycle. The fuel is desulfurized and pre-reformed before entering the SOFC. A burner was used to combust the rema...A SOFC (solid oxide fuel cell) cycle running on natural gas was integrated with a ST (steam turbine) cycle. The fuel is desulfurized and pre-reformed before entering the SOFC. A burner was used to combust the remaining fuel after the SOFC stacks. The off-gases from the burner were used to produce steam in a HRSG (heat recovery steam generator). The bottoming steam cycle was modeled with two configurations: (1) a simple single pressure level and (2) a dual pressure level with both a reheat and a pre-heater. The SOFC stacks in the present SOFC-ST hybrid cycles were not pressurized. The dual pressure configuration steam cycle combined with SOFC cycle (SOFC-ST) was new and has not been studied previously. In each of the configuration, a hybrid recuperator was used to recovery the remaining energy of the off-gases after the HRSG. Thus, four different plants system setups were compared to each other to reveal the most superior concept with respect to plant efficiency and power. It was found that in order to increase the plant efficiency considerably, it was enough to use a single pressure with a hybrid recuperator instead of a dual pressure Rankine cycle.展开更多
分析了描述逻辑循环术语集的研究现状和存在的问题,在F.Baader工作的基础上进一步研究了描述逻辑εL混合循环术语集的LCS(least common subsumer)和MSC(most specific concept)推理问题.给出了εL混合循环术语集的语法和语义.针对εL混...分析了描述逻辑循环术语集的研究现状和存在的问题,在F.Baader工作的基础上进一步研究了描述逻辑εL混合循环术语集的LCS(least common subsumer)和MSC(most specific concept)推理问题.给出了εL混合循环术语集的语法和语义.针对εL混合循环术语集LCS和MSC推理的需要,提出了TBox-完全的概念,并重新定义了描述图.使用描述图和TBox-完全给出了最大不动点语义下εL混合循环术语集LCS和MSC的推理算法,证明了推理算法的正确性,并证明了推理算法是多项式时间复杂的.该推理算法为εL混合循环术语集的LCS和MSC推理提供了理论基础.展开更多
文摘A SOFC (solid oxide fuel cell) cycle running on natural gas was integrated with a ST (steam turbine) cycle. The fuel is desulfurized and pre-reformed before entering the SOFC. A burner was used to combust the remaining fuel after the SOFC stacks. The off-gases from the burner were used to produce steam in a HRSG (heat recovery steam generator). The bottoming steam cycle was modeled with two configurations: (1) a simple single pressure level and (2) a dual pressure level with both a reheat and a pre-heater. The SOFC stacks in the present SOFC-ST hybrid cycles were not pressurized. The dual pressure configuration steam cycle combined with SOFC cycle (SOFC-ST) was new and has not been studied previously. In each of the configuration, a hybrid recuperator was used to recovery the remaining energy of the off-gases after the HRSG. Thus, four different plants system setups were compared to each other to reveal the most superior concept with respect to plant efficiency and power. It was found that in order to increase the plant efficiency considerably, it was enough to use a single pressure with a hybrid recuperator instead of a dual pressure Rankine cycle.
文摘分析了描述逻辑循环术语集的研究现状和存在的问题,在F.Baader工作的基础上进一步研究了描述逻辑εL混合循环术语集的LCS(least common subsumer)和MSC(most specific concept)推理问题.给出了εL混合循环术语集的语法和语义.针对εL混合循环术语集LCS和MSC推理的需要,提出了TBox-完全的概念,并重新定义了描述图.使用描述图和TBox-完全给出了最大不动点语义下εL混合循环术语集LCS和MSC的推理算法,证明了推理算法的正确性,并证明了推理算法是多项式时间复杂的.该推理算法为εL混合循环术语集的LCS和MSC推理提供了理论基础.