An asynchronous P system with a DPLL algorithm for solving a satisfiability problem

2021 ◽  
Author(s):  
Takuya Noguchi ◽  
Akihiro Fujiwara
Keyword(s):  
Satisfiability Problem ◽  
P System

Structural aspects of silicon diffusion in quaternary III-V thin-film semiconductors

1991 ◽  
Vol 49 ◽  
pp. 850-851
Author(s):  
F. A. Ponce ◽  
R. L. Thornton ◽  
G. B. Anderson
Keyword(s):  
Semiconductor Lasers ◽  
Wide Bandgap ◽  
Semiconductor Diode ◽  
Visible Range ◽  
P System ◽  
Misfit Dislocations ◽  
Lattice Match ◽  
Semiconductor Diode Laser ◽  
Thin Film Semiconductors ◽  
Silicon Diffusion

The InGaAlP quaternary system allows the production of semiconductor lasers emitting light in the visible range of the spectrum. Recent advances in the visible semiconductor diode laser art have established the viability of diode structures with emission wavelengths comparable to the He-Ne gas laser. There has been much interest in the growth of wide bandgap quaternary thin films on GaAs, a substrate most commonly used in optoelectronic applications. There is particular interest in compositions which are lattice matched to GaAs, thus avoiding misfit dislocations which can be detrimental to the lifetime of these materials. As observed in Figure 1, the (AlxGa1-x)0.5In0.5P system has a very close lattice match to GaAs and is favored for these applications.In this work, we have studied the effect of silicon diffusion in GaAs/InGaAlP structures. Silicon diffusion in III-V semiconductor alloys has been found to have an disordering effect which is associated with removal of fine structures introduced during growth. Due to the variety of species available for interdiffusion, the disordering effect of silicon can have severe consequences on the lattice match at GaAs/InGaAlP interfaces.

scholarly journals Simplest randomK-satisfiability problem

2001 ◽  
Vol 63 (2) ◽  
Author(s):  
Federico Ricci-Tersenghi ◽  
Martin Weigt ◽  
Riccardo Zecchina
Keyword(s):  
Satisfiability Problem

On the Exact Traveling Wave Solutions to the van der Waals p-System

2021 ◽  
Vol 7 (3) ◽  
Author(s):  
M. Bilal ◽  
M. Younis ◽  
H. Rezazadeh ◽  
T. A. Sulaiman ◽  
A. Yusuf ◽  
...  
Keyword(s):  
Traveling Wave ◽  
Van Der Waals ◽  
Traveling Wave Solutions ◽  
P System ◽  
Exact Traveling Wave Solutions ◽  
Wave Solutions

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 The competency of hybrid P system on iso-arrays

2020 ◽  
Author(s):  
K. Bhuvaneswari ◽  
S. Kuberal ◽  
T. Kalyani
Keyword(s):  
P System

scholarly journals Novel Numerical Spiking Neural P Systems with a Variable Consumption Strategy

Processes ◽  
2021 ◽  
Vol 9 (3) ◽  
pp. 549
Author(s):  
Xiu Yin ◽  
Xiyu Liu ◽  
Minghe Sun ◽  
Qianqian Ren
Keyword(s):  
Production Functions ◽  
P Systems ◽  
P System ◽  
Computing Device ◽  
Spiking Neural P Systems ◽  
Distributed Parallel Computing ◽  
Production Values ◽  
Novel Variant ◽  
Turing Universality ◽  
Variable Consumption

A novel variant of NSN P systems, called numerical spiking neural P systems with a variable consumption strategy (NSNVC P systems), is proposed. Like the spiking rules consuming spikes in spiking neural P systems, NSNVC P systems introduce a variable consumption strategy by modifying the form of the production functions used in NSN P systems. Similar to the delay feature of the spiking rules, NSNVC P systems introduce a postponement feature into the production functions. The execution of the production functions in NSNVC P systems is controlled by two, i.e., polarization and threshold, conditions. Multiple synaptic channels are used to transmit the charges and the production values in NSNVC P systems. The proposed NSNVC P systems are a type of distributed parallel computing models with a directed graphical structure. The Turing universality of the proposed NSNVC P systems is proved as number generating/accepting devices. Detailed descriptions are provided for NSNVC P systems as number generating/accepting devices. In addition, a universal NSNVC P system with 66 neurons is constructed as a function computing device.

Sign in / Sign up

Export Citation Format

Share Document