USING STRATEGY IMPROVEMENT TO STAY ALIVE

We design a novel algorithm for solving Mean-Payoff Games (MPGs). Besides solving an MPG in the usual sense, our algorithm computes more information about the game, information that is important with respect to applications. The weights of the edges of an MPG can be thought of as a gained/consumed energy – depending on the sign. For each vertex, our algorithm computes the minimum amount of initial energy that is sufficient for player Max to ensure that in a play starting from the vertex, the energy level never goes below zero. Our algorithm is not the first algorithm that computes the minimum sufficient initial energies, but according to our experimental study it is the fastest algorithm that computes them. The reason is that it utilizes the strategy improvement technique which is very efficient in practice.

Download Full-text

Solving Mean-Payoff Games via Quasi Dominions

Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-030-45237-7_18 ◽

2020 ◽

pp. 289-306

Author(s):

Massimo Benerecetti ◽

Daniele Dell’Erba ◽

Fabio Mogavero

Keyword(s):

Solution Algorithm ◽

Problem Solution ◽

Worst Case ◽

Case Complexity ◽

Worst Case Complexity ◽

Mean Payoff Games ◽

Parity Games ◽

Mean Payoff ◽

Novel Algorithm ◽

Better Than

Abstract We propose a novel algorithm for the solution of mean-payoff games that merges together two seemingly unrelated concepts introduced in the context of parity games, small progress measures and quasi dominions. We show that the integration of the two notions can be highly beneficial and significantly speeds up convergence to the problem solution. Experiments show that the resulting algorithm performs orders of magnitude better than the asymptotically-best solution algorithm currently known, without sacrificing on the worst-case complexity.

Download Full-text

Global Well-Posedness of Cauchy Problem for 1D Generalized Boussinesq Equations at Both Low Initial Energy Level and Critical Initial Energy Level

10.1063/1.3636923 ◽

2011 ◽

Author(s):

Jiang Xiaoli ◽

Ding Yunhua ◽

Liu Yacheng ◽

Xu Runzhang ◽

Theodore E. Simos ◽

...

Keyword(s):

Cauchy Problem ◽

Energy Level ◽

Boussinesq Equations ◽

Initial Energy ◽

Well Posedness

Download Full-text

Experimental study on high energy level dynamic compaction of collapsible loess with large thickness and low water content

Architectural, Energy and Information Engineering ◽

10.1201/b19197-157 ◽

2015 ◽

pp. 717-720

Author(s):

C Wang ◽

H Geng ◽

E Song

Keyword(s):

Experimental Study ◽

Energy Level ◽

Water Content ◽

High Energy ◽

Dynamic Compaction ◽

High Energy Level ◽

Large Thickness ◽

Collapsible Loess

Download Full-text

Global existence and nonexistence for a class of finitely degenerate coupled parabolic systems with high initial energy level

Discrete and Continuous Dynamical Systems - Series S ◽

10.3934/dcdss.2021109 ◽

2021 ◽

Vol 0 (0) ◽

pp. 0

Author(s):

Yuxuan Chen ◽

Jiangbo Han

Keyword(s):

Energy Level ◽

Global Existence ◽

Blow Up ◽

Parabolic Systems ◽

Initial Energy ◽

Blowup Time ◽

Positive Initial Energy ◽

Existence And Nonexistence ◽

Nonexistence Of Solutions ◽

Coupled Parabolic Systems

<p style='text-indent:20px;'>In this paper, we consider a class of finitely degenerate coupled parabolic systems. At high initial energy level <inline-formula><tex-math id="M1">\begin{document}$ J(u_{0})>d $\end{document}</tex-math></inline-formula>, we present a new sufficient condition to describe the global existence and nonexistence of solutions for problem (1)-(4) respectively. Moreover, by applying the Levine's concavity method, we give some affirmative answers to finite time blow up of solutions at arbitrary positive initial energy <inline-formula><tex-math id="M2">\begin{document}$ J(u_{0})>0 $\end{document}</tex-math></inline-formula>, including the estimate of upper bound of blowup time.</p>

Download Full-text

Collisional Relaxation of Fast Electrons Energy in Gas

EPJ Web of Conferences ◽

10.1051/epjconf/202124804002 ◽

2021 ◽

Vol 248 ◽

pp. 04002

Author(s):

Alexander Metel ◽

Enver Mustafaev ◽

Yury Melnik ◽

Khaled Hamdy

Keyword(s):

Experimental Study ◽

Glow Discharge ◽

Electron Energy ◽

Initial Energy ◽

Gas Pressure ◽

Collisional Relaxation ◽

Fast Electrons ◽

Electrostatic Confinement ◽

The Mean

We present results of theoretical and experimental study of collisional relaxation of fast electrons energy in gas. The dependence on the gas pressure p and electron energy ε of the mean pass Λ of fast electrons injected into a gas being sufficient to spend on ionization all their initial energy ε has been calculated. It was found that Λ is directly proportional to ε2 and inversely proportional to the gas pressure. To sustain glow discharge with electrostatic confinement of fast electrons, Λ should be less than the mean way to the anode of emitted by the cathode electrons.

Download Full-text

Analysis and Design of the Battery Initial Energy Level with Task Scheduling for Energy-Harvesting Embedded Systems

Complexity ◽

10.1155/2021/5580631 ◽

2021 ◽

Vol 2021 ◽

pp. 1-16

Author(s):

Xingyu Miao ◽

Jiayuan Wei ◽

Yongqi Ge

Keyword(s):

Energy Harvesting ◽

Energy Level ◽

Initial Energy ◽

Success Rates ◽

Worst Case ◽

Task Set ◽

Analysis And Design ◽

Available Energy ◽

Battery Capacity ◽

Task Sets

When the energy-harvesting embedded system (EHES) is running, its available energy (harvesting energy and battery storage energy) seems to be sufficient overall. However, in the process of EHES task execution, an energy shortage may occur in the busy period such that system tasks cannot be scheduled. We call this issue the energy deception (ED) of the EHES. Aiming to address the ED issue, we design an appropriate initial energy level of the battery. In this paper, we propose three algorithms to judge the feasibility of the task set and calculate the appropriate initial energy level of the battery. The holistic energy evaluation (HEE) algorithm makes a preliminary judgment of the task set feasibility according to available energy and consumption energy. A worst-case response time-based initial energy level of the battery (WCRT-IELB) algorithm and an accurate cycle-initial energy level of the battery (AC-IELB) algorithm can calculate the proper initial battery capacity. We use the YARTISS tool to simulate the above three algorithms. We conducted 250 experiments on As Late As Possible (ALAP) and As Soon As Possible (ASAP) scheduling with the maximum battery capacities of 50, 100, 200, 300, and 400. The experimental results show that setting a reasonable initial energy level of the battery can effectively improve the feasibility of the task set. Among the 250 task sets, the HEE algorithm filtered 2.8% of them as infeasible task sets. When the battery capacity is set to 400, the WCRT-BIEL algorithm increases the success rates of the ALAP and ASAP by 17.2% and 26.8%, respectively. The AC-BIEL algorithm increases the success rates of the ALAP and ASAP by 18% and 26.8%, respectively.

Download Full-text