This paper presents a modular temporal logic for the speciication and veriica-tion of communication protocols. Based on this setting we present a development method that supports stepwise reenement of distributed systems. An inference rule for composing temporal speciications as well as proof rules for the veriication of reenements are given. We illustrate the application of our method by reeni...

In this paper we consider solving the single layer integral equa tion on a closed surface in R The numerical method is based on Galerkin s method with spherical polynomials as the approximation ing functions We study the error of the approximating solution in suitable Sobolev spaces

dis or der af fect ing ap prox i mately 1 in 10,000 male. The dis ease is caused by a de fi ciency of co ag u la tion fac tor VIII (FVIII) re sult ing from mu ta tions in the FVIII gene. Nu cle o tide sub sti tu tions/in ser tions of var i ous sizes have been iden ti fied through out the FVIII gene. This ge netic di ver sity ac counts for the ob served het er o ge ne ity in clin i cal se ver it...

The paper considers the task of assessing state a nonlinear dynamic system, based on couscous-linear approximation non-linear functions included in and observa-tion equation. Examples method presented filtration tasks are given it is shown that use allows at least half margin sampling error by Kalman-Busey filter compared to first-order approximation. Dynamic systems processing algorithms form ...