Журнал Сибирского федерального университета 
Journal of Siberian Federal University 
Математика и Физика 
Mathematics & Physics 
Редакционный совет: 
академик РАН 
Е.А. Ваганов 
академик РАН 
И.И. Гительзон 
академик РАН 
А.Г. Дегерменджи 
академик РАН 
В.Ф. Шабанов 
чл.-корр. РАН, 
д-р физ.-мат. наук 
В.В. Зуев 
чл.-корр. РАН, 
д-р физ.-мат. наук 
В.Л. Миронов 
чл.-корр. РАН, 
д-р техн. наук 
Г.Л. Пашков 
чл.-корр. РАН, 
д-р физ.-мат. наук 
В.В. Шайдуров 
Editorial Advisory Board 
Chairman: 
Eugene A. Vaganov 
Members: 
Josef J. Gitelzon 
Vasily F. Shabanov 
Andrey G. Degermendzhy 
Vladimir V. Zuev 
Valery L. Mironov 
Gennady L. Pashkov 
Vladimir V. Shaidurov 
Свидетельство 
о регистрации СМИ 
ПИ № ФС77 - 28724 
от 29.06.2007 г. 
M.G.Ahmadiev 
S.N. Timergaliev 
L.S. Kharasova 
I.V. Barkov 
S.I.Bashmakov 
CONTENTS 
Solvability of One Nonlinear Boundaryvalue 
Problem for a System of Differential 
Equations of the Theory of Shallow Timoshenko-type 
Shells 
131-143 
Bidiagonal Ranks of Completely (0-)simple 
Semigroups 
144-148 
Unification and Inference Rules in the 
Multi-modal Logic of Knowledge and Linear 
Time LTK 
149-157 
V.M.Belolipetskii 
S.N.Genova 
O.I. Egorushkin 
I.V.Kolbasina 
K.V. Safonov 
Y.L. Fateev 
V.V. Shaidurov 
E.N. Garin 
D.D. Dmitriev 
V.N.Tyapkin 
A Numerical Model of the Seasonal 
Thawing of Permafrost in the Swamp-lake 
Landscapes 
158-165 
On Solvability of Systems of Symbolic Polynomial 
Equations 
166-172 
Probability Distribution Functions of the 
Sum of Squares of Random Variables in 
the Non-zero Mathematical Expectations 
173-179 
Редакторы: В.Е. Зализняк, А.В.Щуплев 
Компьютерная верстка: Г.В.Хрусталева 
Подписано в печать 16.05.16 г. Формат 84×108/16. Усл.печ. л. 12,4. 
Уч.-изд. л. 12,3. Бумага тип. Печать офсетная. 
Тираж 1000 экз. Заказ 1386 
Отпечатано ПЦ БИК СФУ. 660041 Красноярск, пр. Свободный, 82. 
2016 9(2) 
								                        
									                        Стр.1
								                        
								                     
                                                
                                            		
								                        
Editorial Board:
Editor-in-Chief :
Michail I. Gladyshev
Founding Editor:
Vladimir I. Kolmakov
Managing Editor:
Olga F. Aleksandrova
Subject Editor for
Mathematics & Physics:
Prof. Alexander M. Kytmanov
(SibFU, Krasnoyarsk, Russia)
Consulting Editors
Mathematics & Physics:
Prof. Lev Aizenberg
(Bar-Ilan Univ., Tel-Aviv, Israel)
Prof. Viktor K. Andreev
(ICM, Krasnoyarsk, Russia)
Prof. Alexander M. Baranov
(KSP Univ., Krasnoyarsk, Russia)
Prof. Yury Ya. Belov
(SibFU, Krasnoyarsk, Russia)
Prof. Sergey S. Goncharov
(IM, Novosibirsk, Russia)
Prof. Ari Laptev
(KTH, Stockholm, Sweden)
Prof. Vladimir M. Levchuk
(SibFU, Krasnoyarsk, Russia)
Prof. Yury Yu. Loginov
(SibSASU, Krasnoyarsk, Russia)
Prof. Mikhail V. Noskov
(SibFU, Krasnoyarsk, Russia)
Prof. Sergey G. Ovchinnikov
(IPh., Krasnoyarsk, Russia)
Prof. Gennady S. Patrin
(SibFU, Krasnoyarsk)
Prof. Azimbay Sadullaev
(NUUz., Tashkent, Uzbekistan)
Prof. Nikolai Tarkhanov
(Potsdam Univ., Germany)
Prof. Avgust K. Tsikh
(SibFU, Krasnoyarsk, Russia)
Prof. Valery V. Val’kov
(IPh., Krasnoyarsk, Russia)
Prof. Yury V. Zakharov
(SibSTU, Krasnoyarsk, Russia)
V.N.Tyapkin
D.D. Dmitriev
Y.L.Fateev
N.S.Kremez
E.N. Kriger
I.V.Frolenkov
An Identification Problem of Nonlinear
Lowest Term Coefficient in the Special
Form for Two-Dimensional Semilinear
Parabolic Equation
180-191
V.P. Krivokolesko Method for Obtaining Combinatorial
Identities with Polynomial Coefficients
by Means of Integral Representations
192-201
Ali Molkhasi
E.A.Novikov
M.V.Rybkov
N.A.Peryazev
Y.V.Peryazeva
I.K. Sharankhaev
On Strongly Algebraically Closed Lattices
202-208
Application
of Explicit Methods with
Extended Stability Regions for Solving
Stiff Problems
209-219
Minimal Algebras of Unary Multioperations
220-224
Z.R.Rakhmonov
On the Properties of Solutions of
Multidimensional Nonlinear Filtration
Problem with Variable Density and
Nonlocal Boundary Condition in the
Case of Fast Diffusion
225-234
R.B. Sergienko
M.Shan
W.Minker
E.S. Semenkin
E.A. Sopov
Topic Categorization Based on Collectives
of TermWeighting Methods for Natural
Language Call Routing
235-245
Multiple Optima Identification using
Multi-strategy Multimodal Genetic Algorithm
246-257
The
Synthesis Algorithm for Spatial Filtering
to Maintain a Constant Level of
the Useful Signal
258-267
								                        
									                        Стр.2