The greenhouse gas emissions of ports mainly come from the combustion of fossil fuels produced in the loading and unloading production. With the continuous advancement of port equipment electrification, non road mobile machinery has gradually become the main source of fossil fuel emissions. On the basis of the existing voluntary emission reduction methodology, this paper puts forward the greenhouse gas voluntary emission reduction methodology of port non road mobile machinery hybrid power transformation project, and verifies the correctness of the methodology through examples. In the future, it can be used as the accounting method of trading volume in voluntary carbon emission trading, and effectively promote the energy conservation and emission reduction of port industry and green port construction.

Voluntary emission reduction of greenhouse gases is conducive to reducing carbon dioxide (CO2) emissions and fostering a carbon trading market. Voluntary greenhouse gas emission reduction methodologies can be used to determine project baselines, demonstrate additionality, calculate emission reductions, and develop monitoring plans. Marine fossil fuel combustion is an important source of greenhouse gas emissions in port. Through the implementation of marine shore power system, it is possible to replace fuel consumption with electricity and significantly reduce greenhouse gas emissions during berthing. Through the analysis and study on shore power system, the methodology of voluntary greenhouse gas emission reduction for shore power system is formed, which is conducive to promoting the participation in carbon emissions trading and promoting the promotion and use of shore power system.

Abstract. Transportation is one of the main sources of carbon emission, and it is also an important area for reducing greenhouse gas emission and alleviating climate change. Tianjin port is the largest artificial port in China, and it is also an important port in China. The construction of green port can effectively control the energy consumption and pollutant discharge of the port. From five aspects of improving management ways, strengthening propaganda and training, clean energy utilization, technological transformation and environmental protection, this paper puts forward relevant measures for Tianjin port to build green ports, so as to effectively guide Tianjin port to carry out the construction of green ports.

Many traditional applications can be refined thanks to the development of blockchain technology. One of these services is non-repudiation, in which participants in a communication process cannot deny their involvement. Due to the vulnerabilities of the non-repudiation protocols, one of the parties involved in the communication can often avoid non-repudiation rules and obtain the expected information to the detriment of the interests of the other party, resulting in adverse effects. This paper studies the fairness guarantee quantitatively through probabilistic model checking. E-fairness is measured by modeling the protocol in probabilistic timed automata and verifying the appropriate property specified in the probabilistic computation tree logic. Furthermore, our analysis proposes insight for choosing suitable values for different parameters associated with the protocol so that a certain degree of fairness can be obtained. Therefore, the reverse question—for a certain degree of fairness ε , how can the protocol parameters be specified to ensure fairness—is answered.