-
Net-Zero Energy House-oriented Linear Programming for the Sizing Problem of Photovoltaic Panels and Batteries
Authors:
A. Daniel Carnerero,
Taichi Tanaka,
Mengmou Li,
Takeshi Hatanaka,
Yasuaki Wasa,
Kenji Hirata,
Yoshiaki Ushifusa,
Takanori Ida
Abstract:
The global drive towards carbon neutrality has led to a significant increase in the number of power plants based on renewable energy sources (RES). Concurrently, numerous households are adopting RES to generate their own energy, aiming to decrease both electricity costs and carbon footprints. To support these users, many papers have been devoted to developing optimal investment strategies for resi…
▽ More
The global drive towards carbon neutrality has led to a significant increase in the number of power plants based on renewable energy sources (RES). Concurrently, numerous households are adopting RES to generate their own energy, aiming to decrease both electricity costs and carbon footprints. To support these users, many papers have been devoted to developing optimal investment strategies for residential energy systems. However, there is still a significant gap as these studies often neglect important aspects like carbon neutrality. For this reason, in this paper, we explore the concept of net-zero energy houses (ZEHs) -- houses designed to have an annual net energy consumption around zero -- by presenting a constrained optimization problem to find the optimal number of photovoltaic panels and the optimal size of the battery system for home integration. Solving this constrained optimization problem is difficult due to its nonconvex constraints. Nevertheless, by applying a series of transformations, we reveal that it is possible to find an equivalent linear programming (LP) problem which is computationally tractable. The attainment of ZEH can be tackled by introducing a single constraint in the optimization problem. Additionally, we propose a sharing economy approach to the investment problem, offering a strategy that could potentially reduce investment costs and facilitate the attainment of ZEH more efficiently. Finally, we apply the proposed frameworks to a neighborhood in Japan as a case study, demonstrating the potential for long-term ZEH attainment. The results show that, under the right incentive, users can achieve ZEH, reduce their electricity costs and have a minimal impact on the main grid.
△ Less
Submitted 11 June, 2024; v1 submitted 14 January, 2024;
originally announced January 2024.
-
Stochastic Optimal Investment Strategy for Net-Zero Energy Houses
Authors:
Mengmou Li,
Taichi Tanaka,
A. Daniel Carnerero,
Yasuaki Wasa,
Kenji Hirata,
Yasumasa Fujisaki,
Yoshiaki Ushifusa,
Takeshi Hatanaka
Abstract:
In this research, we investigate Net-Zero Energy Houses (ZEH), which harness regionally produced electricity from photovoltaic(PV) panels and fuel cells, integrating them into a local power system in pursuit of achieving carbon neutrality. This paper examines the impact of electricity sharing among users who are working towards attaining ZEH status through the integration of PV panels and battery…
▽ More
In this research, we investigate Net-Zero Energy Houses (ZEH), which harness regionally produced electricity from photovoltaic(PV) panels and fuel cells, integrating them into a local power system in pursuit of achieving carbon neutrality. This paper examines the impact of electricity sharing among users who are working towards attaining ZEH status through the integration of PV panels and battery storage devices. We propose two potential scenarios: the first assumes that all users individually invest in storage devices, hence minimizing their costs on a local level without energy sharing; the second envisions cost minimization through the collective use of a shared storage device, managed by a central manager. These two scenarios are formulated as a stochastic convex optimization and a cooperative game, respectively. To tackle the stochastic challenges posed by multiple random variables, we apply the Monte Carlo sample average approximation (SAA) to the problems. To demonstrate the practical applicability of these models, we implement the proposed scenarios in the Jono neighborhood in Kitakyushu, Japan.
△ Less
Submitted 10 August, 2023;
originally announced August 2023.
-
Generalization of formal monad theory to lax functors
Authors:
Kengo Hirata
Abstract:
We study lax functors between bicategories as a generalized concept of monads and describe generalized notions and theorems of formal monad theory for lax functors. Our first approach is to use the 2-monad whose lax algebras are lax functors. We define lax doctrinal adjunctions for a 2-monad $T$ on a 2-category $\mathcal{K}$, and we show that if $\mathcal{K}$ admits and $T$ preserves certain codes…
▽ More
We study lax functors between bicategories as a generalized concept of monads and describe generalized notions and theorems of formal monad theory for lax functors. Our first approach is to use the 2-monad whose lax algebras are lax functors. We define lax doctrinal adjunctions for a 2-monad $T$ on a 2-category $\mathcal{K}$, and we show that if $\mathcal{K}$ admits and $T$ preserves certain codescent objects, the 2-category $\mathrm{Lax}\text{-}{T}\text{-}\mathrm{Alg}_{c}$ of lax algebras and colax morphisms can coreflectively be embedded in the 2-category of lax doctrinal adjunctions. This coreflective embedding generalizes the relation between monads and adjunctions. Our second approach is to see a distributive law for monads as a 2-functor from a lax Gray tensor product, and we show a generalized form of Beck's characterization of distributive laws.
△ Less
Submitted 19 September, 2024; v1 submitted 16 January, 2023;
originally announced January 2023.
-
Notes on Lax Ends
Authors:
Kengo Hirata
Abstract:
In enriched category theory, the notion of extranatural transformations is more fundamental than that of ordinary natural transformations, and the ends, the universal extranatural transformations, play a critical role. On the other hand, 2-category theory makes use of several other natural transformations, such as lax and pseudo transformations. For these weak transformations, it is known that we…
▽ More
In enriched category theory, the notion of extranatural transformations is more fundamental than that of ordinary natural transformations, and the ends, the universal extranatural transformations, play a critical role. On the other hand, 2-category theory makes use of several other natural transformations, such as lax and pseudo transformations. For these weak transformations, it is known that we can define the corresponding extranatural transformations or ends. However, there is little literature describing such results in detail. We provide a detailed calculation of the lax end, including its relation to the lax limits. We prove the bicategorical coYoneda lemma as the dual of the bicategorical Yoneda lemma, and also show that the weight of any lax end is a PIE weight, but it might not be a weight for a lax limit.
△ Less
Submitted 4 October, 2022;
originally announced October 2022.
-
The Dirichlet problem for sublinear elliptic equations with source
Authors:
Kentaro Hirata,
Adisak Seesanea
Abstract:
We present a necessary and sufficient condition on nonnegative Radon measures $μ$ and $ν$ for the existence of a positive continuous solution of the Dirichlet problem for the sublinear elliptic equation $-Δu=μu^q+ν$ with prescribed nonnegative continuous boundary data in a general domain. Moreover, two-sided pointwise estimates of Brezis-Kamin type for positive bounded solutions and the uniqueness…
▽ More
We present a necessary and sufficient condition on nonnegative Radon measures $μ$ and $ν$ for the existence of a positive continuous solution of the Dirichlet problem for the sublinear elliptic equation $-Δu=μu^q+ν$ with prescribed nonnegative continuous boundary data in a general domain. Moreover, two-sided pointwise estimates of Brezis-Kamin type for positive bounded solutions and the uniqueness of a positive continuous $L^q$-solution are investigated.
△ Less
Submitted 15 September, 2020;
originally announced September 2020.
-
Sensor placement minimizing the state estimation mean square error: Performance guarantees of greedy solutions
Authors:
Akira Kohara,
Kunihisa Okano,
Kentaro Hirata,
Yukinori Nakamura
Abstract:
This paper studies selecting a subset of the system's output to minimize the state estimation mean square error (MSE). This results in the maximization problem of a set function defined on possible sensor selections subject to a cardinality constraint. We consider to solve it approximately by a greedy search. Since the MSE function is not submodular nor supermodular, the well-known performance gua…
▽ More
This paper studies selecting a subset of the system's output to minimize the state estimation mean square error (MSE). This results in the maximization problem of a set function defined on possible sensor selections subject to a cardinality constraint. We consider to solve it approximately by a greedy search. Since the MSE function is not submodular nor supermodular, the well-known performance guarantees for the greedy solutions do not hold in the present case. Thus, we use the quantities---the submodularity ratio and the curvature---to evaluate the degrees of submodularity and supermodularity of the objective function. By using the properties of the MSE function, we approximately compute these quantities and derive a performance guarantee for the greedy solutions. It is shown that the guarantee is less conservative than those in the existing results.
△ Less
Submitted 25 September, 2020; v1 submitted 8 April, 2020;
originally announced April 2020.
