A Review on the CO2 Emission Reduction Scheme and Countermeasures in China’s Energy and Power Industry under the Background of Carbon Peak

To reach the peak of carbon emission in China, the energy and power industry has the most arduous task and the heaviest responsibility. It should not only ensure efficient economic development, but also complete the arduous task of energy conservation and emission reduction. It is the main force in helping reach the peak of carbon emission. Taking the achievement of carbon peak in China’s power industry as the research object, this paper utilizes time series analyses to establish CO2 emission prediction models for China and its power industry under two scenarios: with and without a carbon peak target. The paper analyzes the current status of achieving carbon peak in China’s power industry and puts a forward CO2 emission reduction scheme for China and its power industry in the future. On this basis, countermeasures for China’s power industry to deal with carbon peak are explored.

Japan–Indonesia Economic Cooperation: An Overview

This article aims to deepen our knowledge of Japan’s foreign policy in the Southeast Asian region and its role in Indonesia’s economic development, focusing on their economic cooperation via the Indonesia–Japan Economic Partnership Agreement (IJEPA) and Manufacturing Industry Development Centre (MIDEC) programme. The former has promoted cooperation via a tariff reduction scheme, while the latter facilitates the Indonesian government’s aid to micro, small and medium enterprises in the entrepreneurial sector.

Strategic Abilities of Asynchronous Agents: Semantic Side Effects and How to Tame Them

Recently, we have proposed a framework for verification of agents' abilities in asynchronous multi-agent systems (MAS), together with an algorithm for automated reduction of models. The semantics was built on the modeling tradition of distributed systems. As we show here, this can sometimes lead to counterintuitive interpretation of formulas when reasoning about the outcome of strategies. First, the semantics disregards finite paths, and yields unnatural evaluation of strategies with deadlocks. Secondly, the semantic representations do not allow to capture the asymmetry between proactive agents and the recipients of their choices. We propose how to avoid the problems by a suitable extension of the representations and change of the execution semantics for asynchronous MAS. We also prove that the model reduction scheme still works in the modified framework.