Every normal program has a nearly-stable model

1995 ◽  
pp. 68-84 ◽  
Author(s):  
Cees Witteveen
Keyword(s):  
Stable Model

A Study of the Planning of Water Pollution Control for Second Songhua River in China

1991 ◽  
Vol 23 (1-3) ◽  
pp. 41-48
Author(s):  
Yin Jun
Keyword(s):  
Water Pollution ◽  
Mathematical Model ◽  
Pollution Control ◽  
Sewage Treatment Plant ◽  
Treatment Plant ◽  
Initial Structure ◽  
Stable Model ◽  
Control Plan ◽  
Songhua River ◽  
The Second Songhua River

The paper takes the Second Songhua River as an object for research and selects Thomas's BOD-DO stable model as the initial structure on the basis of overall investigations and analyses on water pollution in every reach. In view of the characteristics of the river being located at the north, values k’1, k’2 and k’3 in dry season of winter were determined and calculated, and a series analyses have been made. The self-purification ability of the river and the total elimination amount of the main pollutants BOD5 were also calculated. In order to minimize the required cost, we distributed the cost to the main pollution sources, which are to be controlled. We firstly set a cost function of sewage treatment plant by series design and calculated the related cost parameters, then calculated two kinds of optimal distributing models of BOD5 elimination, which were a mathematical model of extreme value of conditions and a matrix mathematical model. Now they have been applied to the practical pollution control plan for the Second Songhua River.

Unsatisfiable Core Analysis and Aggregates for Optimum Stable Model Search

2020 ◽  
Vol 176 (3-4) ◽  
pp. 271-297
Author(s):  
Mario Alviano ◽  
Carmine Dodaro
Keyword(s):  
State Of The Art ◽  
Answer Set Programming ◽  
Efficient Algorithms ◽  
Satisfiability Problem ◽  
Core Analysis ◽  
Stable Model ◽  
Maximum Satisfiability ◽  
Model Search ◽  
Unsatisfiable Core ◽  
Stable Models

Many efficient algorithms for the computation of optimum stable models in the context of Answer Set Programming (ASP) are based on unsatisfiable core analysis. Among them, algorithm OLL was the first introduced in the context of ASP, whereas algorithms ONE and PMRES were first introduced for solving the Maximum Satisfiability problem (MaxSAT) and later on adapted to ASP. In this paper, we present the porting to ASP of another state-of-the-art algorithm introduced for MaxSAT, namely K, which generalizes ONE and PMRES. Moreover, we present a new algorithm called OLL-IN-ONE that compactly encodes all aggregates of OLL by taking advantage of shared aggregate sets propagators. The performance of the algorithms have been empirically compared on instances taken from the latest ASP Competition.

scholarly journals Quantifying the parameter dependent basin of the unsafe regime of asymmetric Lévy-noise-induced critical transitions

2020 ◽  
Vol 42 (1) ◽  
pp. 65-84
Author(s):  
Jinzhong Ma ◽  
Yong Xu ◽  
Yongge Li ◽  
Ruilan Tian ◽  
Shaojuan Ma ◽  
...  
Keyword(s):  
Lévy Noise ◽  
Stable Model ◽  
Efficient Tool ◽  
Escape Probability ◽  
Critical Transitions ◽  
Current State ◽  
Undesirable State ◽  
Parameter Dependent ◽  
Levy Noise ◽  
The Given

AbstractIn real systems, the unpredictable jump changes of the random environment can induce the critical transitions (CTs) between two non-adjacent states, which are more catastrophic. Taking an asymmetric Lévy-noise-induced tri-stable model with desirable, sub-desirable, and undesirable states as a prototype class of real systems, a prediction of the noise-induced CTs from the desirable state directly to the undesirable one is carried out. We first calculate the region that the current state of the given model is absorbed into the undesirable state based on the escape probability, which is named as the absorbed region. Then, a new concept of the parameter dependent basin of the unsafe regime (PDBUR) under the asymmetric Lévy noise is introduced. It is an efficient tool for approximately quantifying the ranges of the parameters, where the noise-induced CTs from the desirable state directly to the undesirable one may occur. More importantly, it may provide theoretical guidance for us to adopt some measures to avert a noise-induced catastrophic CT.

scholarly journals String Stable Model Predictive Cooperative Adaptive Cruise Control for Heterogeneous Platoons

2019 ◽  
Vol 4 (2) ◽  
pp. 186-196 ◽  
Author(s):  
Ellen van Nunen ◽  
Joey Reinders ◽  
Elham Semsar-Kazerooni ◽  
Nathan van de Wouw
Keyword(s):  
Adaptive Cruise Control ◽  
Stable Model ◽  
Cruise Control ◽  
Cooperative Adaptive Cruise Control

The interpretation of unsolvable λ-terms in models of untyped λ-calculus

1998 ◽  
Vol 63 (4) ◽  
pp. 1529-1548 ◽  
Author(s):  
Rainer Kerth
Keyword(s):  
Graph Model ◽  
Stable Model ◽  
Graph Models ◽  
Stable Models

AbstractOur goal in this paper is to analyze the interpretation of arbitrary unsolvable λ-terms in a given model of λ-calculus. We focus on graph models and (a special type of) stable models. We introduce the syntactical notion of a decoration and the semantical notion of a critical sequence. We conjecture that any unsolvable term β-reduces to a term admitting a decoration. The main result of this paper concerns the interconnection between those two notions: given a graph model or stable model , we show that any unsolvable term admitting a decoration and having a non-empty interpretation in generates a critical sequence in the model.In the last section, we examine three classical graph models, namely the model of Plotkin and Scott, Engeler's model and Park's model . We show that and do not contain critical sequences whereas does.

Dynamic alpha-stable method for CDO pricing

2014 ◽  
Vol 01 (03) ◽  
pp. 1450028
Author(s):  
Hua Li ◽  
George Yuan ◽  
Weina Chen ◽  
Li Guo ◽  
Jianbin Zhao
Keyword(s):  
Risk Management ◽  
Stable Model ◽  
Stable Method ◽  
Copula Method ◽  
Static Factor ◽  
Cdo Pricing ◽  
Collateralized Debt Obligation ◽  
Collateralized Debt ◽  
Credit Portfolio ◽  
Debt Obligation

The goal of this paper is to develop the dynamic alpha (α)-stable method for collateralized debt obligation (CDO) pricing based on the α-stable distributions, which will resolve the two issues caused by using traditional static factor copula method in the practice, which means when pricing CDOs, the traditional static factor Copula method does not only exhibit the correlation smile phenomenon which is not inconsistent with the model's assumption, but also cannot be used in pricing CDOs or credit portfolio derivatives for the underlying portfolio with different maturities. As the applications, we present calibration and empirical numerical results for iTraxx Europe Tranches quotes from the market data on March 30, 2007. Thus, our new method under the framework of the dynamic α-stable model is the way for CDO pricing in the practice, and should be useful for the risk management in the practice too.

Analysis of Acoustic-Structure Interaction Using a High-Order Doubly Asymptotic Approximation

2016 ◽  
Vol 24 (01) ◽  
pp. 1550021 ◽  
Author(s):  
Heekyu Woo ◽  
Young S. Shin
Keyword(s):  
Order Approximation ◽  
Stable Model ◽  
Approximation Model ◽  
Third Order ◽  
Acoustic Structure ◽  
Structure Interaction ◽  
Proposed Model ◽  
The Stability ◽  
Third Order Approximation ◽  
Interaction Problem

In this paper, a new third-order approximation model for an acoustic-structure interaction problem is introduced. The new approximation model is designed to be an accurate and a stable model for predicting the response of a submerged structure. The proposed model is obtained by combining two lower order approximation models instead of using an operator matching method. The stability of this model is checked by a modal analysis. Finally, the approximation model is coupled to the spherical shell structure, and its performance is checked by a shock analysis.

Stable Model Reduction for Time Delay Systems

2007 ◽  
Vol 40 (2) ◽  
pp. 139-144 ◽  
Author(s):  
Qing-Guo Wang ◽  
Xue-Ping Yang ◽  
Min Liu ◽  
Zhen Ye ◽  
Xiang Lu
Keyword(s):  
Time Delay ◽  
Model Reduction ◽  
Delay Systems ◽  
Stable Model ◽  
Time Delay Systems
Sign in / Sign up

Export Citation Format

Share Document