The article is devoted to proving the inconsistency of set theory arising from the existence of strange trees. All steps of the proof rely on common informal set-theoretic reasoning, but they take into account the pro...The article is devoted to proving the inconsistency of set theory arising from the existence of strange trees. All steps of the proof rely on common informal set-theoretic reasoning, but they take into account the prohibitions that were introduced into axiomatic set theories in order to overcome the difficulties encountered by the naive Cantor set theory. Therefore, in fact, the article is about proving the inconsistency of existing axiomatic set theories, in particular, the ZFC theory.展开更多
The article is devoted to completing the proof of the inconsistency of set theory. In this article and in the two preceding ones, all steps of the proof are based on generally accepted informal set-theoretic reasoning...The article is devoted to completing the proof of the inconsistency of set theory. In this article and in the two preceding ones, all steps of the proof are based on generally accepted informal set-theoretic reasoning, but consider the prohibitions that were included in axiomatic set theories in order to overcome the difficulties encountered by the naive Cantor set theory. Therefore, in fact, the articles are about proving the inconsistency of existing axiomatic set theories, in particular, the ZFC theory.展开更多
在城市地区发生的大地震可以造成重大人员伤亡,引发社会和经济灾难。地震预警(Earthquake Early Warning,EEW)可以提供秒到分钟的警报,让人们转移到安全区,使工厂停工,车辆减速和刹车。目前世界上只在少数国家使用传统的地震台网和大地...在城市地区发生的大地震可以造成重大人员伤亡,引发社会和经济灾难。地震预警(Earthquake Early Warning,EEW)可以提供秒到分钟的警报,让人们转移到安全区,使工厂停工,车辆减速和刹车。目前世界上只在少数国家使用传统的地震台网和大地测量观测网运行EEW系统。智能手机比传统地震台网更为广泛和普及,它内置了可检测地震的加速度计。我们开发了一种新的测震系统称为MyShake,它利用智能手机内置传感器来收集数据并分析地震。智能手机MyShake系统可以从日常的各种震动中检测到距手机10km或以内的5级地震。这些数据汇集到观测中心,经过一定的算法处理,可以实时测定地震的位置和震级,发出地震预警信息,证明我们的理念是可行的。对没有地震预警系统的区域,MyShake系统可提供地震预警,而对有预警系统的区域,MyShake系统是对原系统预警能力的补充和增强。此外,该系统地震波形记录可以用来提供快速地震烈度图,以评估地震对建筑物的影响,还可以获取地球内部浅层结构图像和地震破裂过程。展开更多
Under the Paris agreement, China has committed to reducing CO_2 emissions by 60%–65% per unit of GDP by 2030.Since CO_2 emissions from coal-fired power plants currently account for over 30% of the total carbon emissi...Under the Paris agreement, China has committed to reducing CO_2 emissions by 60%–65% per unit of GDP by 2030.Since CO_2 emissions from coal-fired power plants currently account for over 30% of the total carbon emissions in China, it will be necessary to mitigate at least some of these emissions to achieve this goal. Studies by the International Energy Agency(IEA) indicate CCS technology has the potential to contribute 14% of global emission reductions, followed by 40% of higher energy efficiency and 35% of renewable energy, which is considered as the most promising technology to significantly reduce carbon emissions for current coal-fired power plants.Moreover, the announcement of a Chinese national carbon trading market in late 2017 signals an opportunity for the commercial deployment of CO_2 capture technologies.Currently, the only commercially demonstrated technology for post-combustion CO_2 capture technology from power plants is solvent-based absorption. While commercially viable, the costs of deploying this technology are high. This has motivated efforts to develop more affordable alternatives, including advanced solvents, membranes,and sorbent capture systems. Of these approaches, advanced solvents have received the most attention in terms of research and demonstration. In contrast, sorbent capture technology has less attention, despite its potential for much lower energy consumption due to the absence of water in the sorbent. This paper reviews recent progress in the development of sorbent materials modified by amine functionalities with an emphasis on material characterization methods and the effects of operating conditions on performance. The main problems and challenges that need to be overcome to improve the competitiveness of sorbent-based capture technologies are discussed.展开更多
Reactive distillation and dividing wall column distillation are two kinds of effective separation technologies,and their integrated configuration,reactive dividing wall column(RDWC),presents attractive advantages.In t...Reactive distillation and dividing wall column distillation are two kinds of effective separation technologies,and their integrated configuration,reactive dividing wall column(RDWC),presents attractive advantages.In this study,the rigorous simulation of RDWC for methyl acetate hydrolysis is performed,and sensitivity analysis is conducted to obtain the minimum reboiler duty.Then a comparison is made between the conventional process and RDWC process,and it shows that 20.1% energy savings can be achieved by RDWC process.In addition,the dynamic characteristic of RDWC is studied and an effective control strategy is proposed.The simple PI control scheme with three temperature loops can obtain reasonable control performance and maintain products at desired purities.It is proved that this RDWC process is an energy efficiency alternative with good controllability.展开更多
Abstract Here,we provide a status update of an integrated gasification fuel cell(IGFC)power-generation system being developed at the National Institute of Clean-and-Low-Carbon in China at the megawatt thermal(MWth)sca...Abstract Here,we provide a status update of an integrated gasification fuel cell(IGFC)power-generation system being developed at the National Institute of Clean-and-Low-Carbon in China at the megawatt thermal(MWth)scale.This system is designed to use coal as fuel to produce syngas as a first step,similar to that employed for the integrated gasification combined cycle.Subsequently,the solid-oxide fuel-cell(SOFC)system is used to convert chemical energy to electricity directly through an electrochemical reaction without combustion.This system leads to higher efficiency as compared with that from a traditional coal-fired power plant.The unreacted fuel in the SOFC system is transported to an oxygencombustor to be converted to steam and carbon dioxide(CO_(2)).Through a heat-recovery system,the steam is condensed and removed,and CO_(2) is enriched and captured for sequestration or utilization.Comprehensive economic analyses for a typical IGFC system was performed and the results were compared with those for a supercritical pulverized coal-fired power plant.The SOFC stacks selected for IGFC development were tested and qualified under hydrogen and simulated coal syngas fuel.Experimental results using SOFC stacks and thermodynamic analyses indicated that the control of hydrogen/CO ratio of syngas and steam/CO ratio is important to avoid carbon deposition with the fuel pipe.A 20-kW SOFC unit is under development with design power output of 20 kW and DC efficiency of 50.41%.A 100 kW-level subsystem will consist of 6920-kW power-generation units,and the MWth IGFC system will consist of 59100 kWlevel subsystems.展开更多
文摘The article is devoted to proving the inconsistency of set theory arising from the existence of strange trees. All steps of the proof rely on common informal set-theoretic reasoning, but they take into account the prohibitions that were introduced into axiomatic set theories in order to overcome the difficulties encountered by the naive Cantor set theory. Therefore, in fact, the article is about proving the inconsistency of existing axiomatic set theories, in particular, the ZFC theory.
文摘The article is devoted to completing the proof of the inconsistency of set theory. In this article and in the two preceding ones, all steps of the proof are based on generally accepted informal set-theoretic reasoning, but consider the prohibitions that were included in axiomatic set theories in order to overcome the difficulties encountered by the naive Cantor set theory. Therefore, in fact, the articles are about proving the inconsistency of existing axiomatic set theories, in particular, the ZFC theory.
文摘在城市地区发生的大地震可以造成重大人员伤亡,引发社会和经济灾难。地震预警(Earthquake Early Warning,EEW)可以提供秒到分钟的警报,让人们转移到安全区,使工厂停工,车辆减速和刹车。目前世界上只在少数国家使用传统的地震台网和大地测量观测网运行EEW系统。智能手机比传统地震台网更为广泛和普及,它内置了可检测地震的加速度计。我们开发了一种新的测震系统称为MyShake,它利用智能手机内置传感器来收集数据并分析地震。智能手机MyShake系统可以从日常的各种震动中检测到距手机10km或以内的5级地震。这些数据汇集到观测中心,经过一定的算法处理,可以实时测定地震的位置和震级,发出地震预警信息,证明我们的理念是可行的。对没有地震预警系统的区域,MyShake系统可提供地震预警,而对有预警系统的区域,MyShake系统是对原系统预警能力的补充和增强。此外,该系统地震波形记录可以用来提供快速地震烈度图,以评估地震对建筑物的影响,还可以获取地球内部浅层结构图像和地震破裂过程。
基金Supported by the National Key Research and Development Program of China(2017YFB0603301)
文摘Under the Paris agreement, China has committed to reducing CO_2 emissions by 60%–65% per unit of GDP by 2030.Since CO_2 emissions from coal-fired power plants currently account for over 30% of the total carbon emissions in China, it will be necessary to mitigate at least some of these emissions to achieve this goal. Studies by the International Energy Agency(IEA) indicate CCS technology has the potential to contribute 14% of global emission reductions, followed by 40% of higher energy efficiency and 35% of renewable energy, which is considered as the most promising technology to significantly reduce carbon emissions for current coal-fired power plants.Moreover, the announcement of a Chinese national carbon trading market in late 2017 signals an opportunity for the commercial deployment of CO_2 capture technologies.Currently, the only commercially demonstrated technology for post-combustion CO_2 capture technology from power plants is solvent-based absorption. While commercially viable, the costs of deploying this technology are high. This has motivated efforts to develop more affordable alternatives, including advanced solvents, membranes,and sorbent capture systems. Of these approaches, advanced solvents have received the most attention in terms of research and demonstration. In contrast, sorbent capture technology has less attention, despite its potential for much lower energy consumption due to the absence of water in the sorbent. This paper reviews recent progress in the development of sorbent materials modified by amine functionalities with an emphasis on material characterization methods and the effects of operating conditions on performance. The main problems and challenges that need to be overcome to improve the competitiveness of sorbent-based capture technologies are discussed.
基金Supported by the National Natural Science Foundation of China(No.21276279No.21476261)+1 种基金the Fundamental Research Funds for the Central Universities(No.14CX05030ANo.15CX06042A)
文摘Reactive distillation and dividing wall column distillation are two kinds of effective separation technologies,and their integrated configuration,reactive dividing wall column(RDWC),presents attractive advantages.In this study,the rigorous simulation of RDWC for methyl acetate hydrolysis is performed,and sensitivity analysis is conducted to obtain the minimum reboiler duty.Then a comparison is made between the conventional process and RDWC process,and it shows that 20.1% energy savings can be achieved by RDWC process.In addition,the dynamic characteristic of RDWC is studied and an effective control strategy is proposed.The simple PI control scheme with three temperature loops can obtain reasonable control performance and maintain products at desired purities.It is proved that this RDWC process is an energy efficiency alternative with good controllability.
基金The authors thank the Ministry of Science and Technology of the People’s Republic of China for financial support under contract of 2017YEB061900。
文摘Abstract Here,we provide a status update of an integrated gasification fuel cell(IGFC)power-generation system being developed at the National Institute of Clean-and-Low-Carbon in China at the megawatt thermal(MWth)scale.This system is designed to use coal as fuel to produce syngas as a first step,similar to that employed for the integrated gasification combined cycle.Subsequently,the solid-oxide fuel-cell(SOFC)system is used to convert chemical energy to electricity directly through an electrochemical reaction without combustion.This system leads to higher efficiency as compared with that from a traditional coal-fired power plant.The unreacted fuel in the SOFC system is transported to an oxygencombustor to be converted to steam and carbon dioxide(CO_(2)).Through a heat-recovery system,the steam is condensed and removed,and CO_(2) is enriched and captured for sequestration or utilization.Comprehensive economic analyses for a typical IGFC system was performed and the results were compared with those for a supercritical pulverized coal-fired power plant.The SOFC stacks selected for IGFC development were tested and qualified under hydrogen and simulated coal syngas fuel.Experimental results using SOFC stacks and thermodynamic analyses indicated that the control of hydrogen/CO ratio of syngas and steam/CO ratio is important to avoid carbon deposition with the fuel pipe.A 20-kW SOFC unit is under development with design power output of 20 kW and DC efficiency of 50.41%.A 100 kW-level subsystem will consist of 6920-kW power-generation units,and the MWth IGFC system will consist of 59100 kWlevel subsystems.
