Примери коришћења Разрешимости на Руском и њихови преводи на Енглески
{-}
-
Official
-
Colloquial
Необходимое условие первого порядка для разрешимости( 3) по Z следующее.
The first order necessary condition for Z to solve(3) is.О разрешимости дискретного аналога многомерной задачи Минковского- Александрова.
On the Solvability of the Discrete Analogue of the Minkowski- Alexandrov Problem.Достаточные условия разрешимости интегрального уравнения Урысона на полуоси// Докл.
Sufficient conditions for the solvability of О разрешимости некоторых классов нерегулярных вариационных задач второго порядка.
On Solvability of Certain Classes of Irregular the Second Order Variation Problems.Получена формула общего решения этой задачи,исследована картина разрешимости.
We derive the formulae for general solution О разрешимости интегро- дифференциального уравнения с расширенным интегралом Стилтьеса.
About Solvability of Integro-Differential Equation with Extended Stieltjes Integral.Доказана единственность решения обратной задачи и получены условия, необходимые и достаточные для ее разрешимости.
The uniqueness of the solution of the inverse problem is proved and conditions are obtained that are necessary and sufficient for its solvability.О разрешимости проблемы эквивалентности в одном классе металинейных унарных рекурсивных программ.
On the decidability of the equivalence problem for monadic recursive programs.Это дает эффективный критерий разрешимости алгебраических уравнений в условиях соответствующих групп Галуа.
It gives an effective criterion for the solvability of polynomial equations in terms of В работе доказывается единственность и приведены достаточные условия разрешимости обратной задачи восстановления оператора диффузии по одному спектру.
In the paper uniqueness of reconstruction of the diffusion operator by aspectrum is proved and sufficient solvability conditions are provided.О классической разрешимости одномерной смешанной задачи для полулинейных бипараболических уравнений четвертого порядка.
On Classical Solvability of One-Dimensional Mixed Problem for Fourth Order Semilinear Biparabolic Equations.Наконец, вычисление числа раскрасок в четыре цвета планарного графа P- полно, хотя задача разрешимости тривиальна ввиду теоремы о четырех красках.
Finally, computing the number of four-colourings of a planar graph is P-complete, even though the decision problem is trivial by the four colour theorem.Исследование разрешимости, оптимального управления и качественного поведения альфа- моделей гидродинамики.
Investigation of solvability, optimal control and qualitative behavior Вполне структурированные системы переходов являются хорошо известным инструментом для доказательства разрешимости свойств покрываемости и ограниченности.
Well-structured transition systems(WSTS) became a well-known tool in the study of concurrency systems for proving decidability of properties based on coverability and boundedness.Показана связь разрешимости простейших матричных уравнений с некоторыми видами идемпотентных матриц, названных в статье вторичными идемпотентами.
The connection of solvability Задача о покрытии множества является хорошо известной NP- трудной задачей- задача о покрытии множества в варианте проблемы разрешимости была одной из 21 NP- полных задач Карпа, для которой была доказана NP- полнота уже в 1972.
The set cover problem is a well-known NP-hard problem- the decision version of set covering was one of Karp's 21 NP-complete problems.Обсуждается постановка обратной задачи, приводится алгоритм ее решения, а также необходимые идостаточные условия разрешимости этой нелинейной обратной задачи.
We discuss Группы Ли классифицируются по своим алгебраическим свойствам( простоте,полупростоте, разрешимости, нильпотентности, абелевости), а также по топологическим свойствам связности, односвязности и компактности.
Lie groups are classified according to their algebraic properties(simple,semisimple, solvable, nilpotent, abelian), their connectedness(connected or simply connected) and their compactness.Фототелевизионные спутники, находящиеся на орбите на высоте в несколько сотен километров, используют кино-,электрооптические камеры или радары для получения изображений поверхности Земли высокой разрешимости в различных областях спектра.
Imaging satellites, orbiting at altitudes of several hundred kilometres, make use of film,electro-optical cameras or radars, to produce high resolution images of the surface of the Earth in various regions of the spectrum.Если бы задача поиска самого длинного пути могла быть решена за полиномиальное время,она могла бы быть использована для решения этой задачи разрешимости путем нахождения самого длинного пути и сравнения длины полученного пути с числом k.
If the longest path Впервые определил условия разрешимости и провел классификацию резонансных случаев широкого класса нелинейных краевых задач для систем обыкновенных дифференциальных и разностных уравнений, уравнений запаздывающим аргументом, уравнений с импульсным воздействием и сингулярно возмущенных уравнений для чего предложил использовать аппарат обобщенно- обратных операторов.
Французский математик 19- го века Эварист Галуа, доработав исследования Руффини и Лагранжа,дал критерий разрешимости конкретного алгебраического уравнения с точки зрения группы симметрии его решений.
Таким образом, разрешимость этого уравнения эквивалентна существованию квадратного шага в арифметической последовательности квадратов.
Thus, the solvability of this equation is equivalent to the existence of a square congruum.Ключевые слова: двухфазная смесь,параболическая аппроксимация, разрешимость.
Key words: two-phase mixture,parabolic approximation, solvability.Ключевые слова: фильтрация, пористость, сжимаемость,деформируемая среда, разрешимость.
Key words: filtration, porosity, compressibility,deformable medium, solvability.Разрешимость проблемы эквивалентных преобразований в классе примитивных схем программ.
A Solution to the Equivalent Transformation Problem in Ключевые слова: изотермическая задача фильтрации, разрешимость, пористая среда.
Key words: isothermal filtration problem, solvability, porous medium.Разрешимость и сильная корректность задачи коши для абстрактных линейных дифференциальных уравнений в банаховых пространствах.
Solvability and strong correctness of the cauchy problem for abstract linear differential equations in the banach spaces.Установлена разрешимость в" целом" по времени в случае постоянства истинных плотностей и малости ускорения.
The research defines solvability"in general'" on time in case of constancy of the true density and the smallness of the acceleration.Результаты металогики в значительной степени состоят из формальных доказательств, демонстрирующих непротиворечивость,полноту и разрешимость конкретных формальных систем.
Results in metalogic consist of such things as formal proofs demonstrating the consistency,completeness, and decidability of particular formal systems.
