Abstract The development of information technology urgently requires ultrafast, ultra-low energy consumption and ultra-high-capacity data computing abilities. Traditional method electronic chips is limited by the bottleneck Moore’s Law. All-optical photonic provides a promising way to realize such high-performance Until now, it still huge challenge all-optical four arithmetic operations at same...

In this paper, the inverse problems for boundary value and initial in a heat equation are posed solved. It is well known that those ill posed. The reformulated as integral equations of first kind by using separation-of-variables method. discretization allowed us to reduce system linear algebraic or operator on Hilbert spaces. Landweber-type iterative method was used order find an approximation ...

We demonstrate how to handle equality in the inverse method using equality elimination. In the equality elimination method, proofs consist of two parts. In the first part we try to solve equations obtaining so called solution clauses. Solution clauses are obtained by a very refined strategy — basic superposition with selection function. In the second part, we perform the usual sequent proof sea...