Віртуальна довідка Тематичний інтернет-навігатор Наукова електронна бібліотека Автореферати дисертацій Реферативна база даних Книжкові видання та компакт-диски Журнали та продовжувані видання
|
Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер "Mozilla Firefox" |
|
|
Формат представлення знайдених документів: | повний | стислий |
Пошуковий запит: (<.>A=Чеботарев А$<.>) |
Загальна кількість знайдених документів : 73
Представлено документи з 1 до 20
|
| |
| | | | |
1. |
Чеботарев А. Н. Метод раздельного резольвирования для проверки выполнимости формул языка "L" / А. Н. Чеботарев // Кибернетика и систем. анализ. - 1998. - № 6. - С. 13-20. - Библиогр.: 5 назв. - рус. Індекс рубрикатора НБУВ: З973-018.210
Рубрики:
Шифр НБУВ: Ж29114 Пошук видання у каталогах НБУВ
|
| | | | |
2. |
Чеботарев А. Н. Общий метод проверки согласованности взаимодействующих автоматов с конечной памятью / А. Н. Чеботарев // Кибернетика и систем. анализ. - 1999. - № 6. - С. 25-37. - Библиогр.: 5 назв. - рус. Індекс рубрикатора НБУВ: З815.0
Рубрики:
Шифр НБУВ: Ж29114 Пошук видання у каталогах НБУВ
|
| | | | |
3. |
Чеботарев А. Н. Синтез и физико-химические свойства комплексных тетрафторборатов цинка (II) и кадмия (II) с азотсодержащими органическими основаниями / А. Н. Чеботарев, М. В. Шестакова, В. Ф. Хорунов, О. М. Сабадаш, Т. М. Щербакова // Укр. хим. журн. - 2000. - 66, № 7-8. - С. 81-86. - Библиогр.: 9 назв. - рус. Індекс рубрикатора НБУВ: Г27
Рубрики:
Шифр НБУВ: Ж21854 Пошук видання у каталогах НБУВ
|
| | | | |
4. |
Чеботарев А. Н. Сорбционно-спектрофотометрическое определение молибдена в растительных материалах / А. Н. Чеботарев, К. Л. Шафран // Укр. хим. журн. - 2000. - 66, № 3-4. - С. 36-39. - Библиогр.: 10 назв. - рус. Індекс рубрикатора НБУВ: Е50*725.29 + П213-264
Рубрики:
Шифр НБУВ: Ж21854 Пошук видання у каталогах НБУВ
|
| | | | |
5. |
Чеботарев А. Н. Особенности газохроматографического определения диалкилдитиокарбаматов некоторых id/i-металлов / А. Н. Чеботарев, Т. Н. Ковальчук // Укр. хим. журн. - 2000. - 66, № 9-10. - С. 76-80. - Библиогр.: 10 назв. - рус.На прикладі диметил-, діетил-, дибутил-, діізопропіл- та діізобутилдітіокарбаматів Ni (II), Cu (II), Pd (II), Co (III), Zn (II), Cd (II), Hg (II) вивчено вплив природи металу та структури реагенту на кількісні та метрологічні характеристики їх газохроматографічного визначення. Показано, що найкращі газохроматографічні властивості мають діетил-, діізопропіл- та діізобутилдітіокарбамати нікелю, паладію, кобальту та міді. Індекс рубрикатора НБУВ: Г221.71
Шифр НБУВ: Ж21854 Пошук видання у каталогах НБУВ
|
| | | | |
6. |
Чеботарев А. Н. Сорбционное концентрирование и разделение молибдена (VI) и вольфрама (VI) полифункциональными сорбентами / А. Н. Чеботарев, Т. М. Щербакова // Укр. хим. журн. - 2000. - 66, № 1-2. - С. 112-115. - Библиогр.: 13 назв. - рус.Вивчено й оптимізовано умови сорбційного концентрування та розділення Mo(VI) і W(VI) на поліфункціональних сорбентах у присутності КПАР. Розроблено спектрофотометричну методику визначення Mo(VI) у сплавах на нікелевій основі з попереднім сорбційним відділенням елементів макрооснови, елемента-аналога W(VI), а також елементів, які заважають його фотометричній реакції з карбоксилдіоксихроменолом без проведення додаткових аналітичних процедур. Індекс рубрикатора НБУВ: Г126.32-5 + Г47
Рубрики:
Шифр НБУВ: Ж21854 Пошук видання у каталогах НБУВ
|
| | | | |
7. |
Капитонова Ю. В. Индуктивный синтез автомата по спецификации в логическом языке iL/i / Ю. В. Капитонова, А. Н. Чеботарев // Кибернетика и систем. анализ. - 2000. - № 6. - С. 3-13. - Библиогр.: 8 назв. - рус. Індекс рубрикатора НБУВ: З815,0
Рубрики:
Шифр НБУВ: Ж29114 Пошук видання у каталогах НБУВ
|
| | | | |
8. |
Чеботарев А. Н. Комплексные тетрафторбораты свинца (II) с азотсодержащими органическими основаниями / А. Н. Чеботарев, М. В. Шестакова, В. Ф. Хорунов, О. М. Сабадаш // Укр. хим. журн. - 2000. - 66, № 5-6. - С. 88-92. - Библиогр.: 13 назв. - рус. Індекс рубрикатора НБУВ: Г274.3
Рубрики:
Шифр НБУВ: Ж21854 Пошук видання у каталогах НБУВ
|
| | | | |
9. |
Чеботарев А. Н. Теоретико-автоматный подход к верификации реактивных систем / А. Н. Чеботарев // Кибернетика и систем. анализ. - 2001. - № 6. - С. 37-49. - Библиогр.: 11 назв. - рус.Розглянуто основні проблеми, пов'язані з використанням теоретико-автоматних методів верифікації, зокрема, побудову автомата-розпізнавача за формулою темпоральної логіки та редукцію автомата, що верифікується. Індекс рубрикатора НБУВ: З815
Рубрики:
Шифр НБУВ: Ж29114 Пошук видання у каталогах НБУВ
|
| | | | |
10. |
Стайков А. И. Атомно-эмиссионное определение металлов в маломинерализованных водах с предварительным сорбционным концентрированием / А. И. Стайков, А. Н. Чеботарев, Е. В. Исса // Укр. хим. журн. - 2001. - 67, № 3-4. - С. 43-47. - Библиогр.: 11 назв. - рус.Досліджено особливості атомно-емісійного спектрального аналізу високочистих промислових і прісних природних вод на вміст 17 елементів після їх сорбційного концентрування на немодифікованих кремнеземах різної дисперсності. Запропоновано комбінований метод аналізу кремнеземних матеріалів і маломінералізованих вод з границями виявлення елементів 2 - 10 мкг/л. Індекс рубрикатора НБУВ: Г583
Рубрики:
Шифр НБУВ: Ж21854 Пошук видання у каталогах НБУВ
|
| | | | |
11. |
Чеботарев А. Н. Построение автомата (распознавателя) по формуле монадической теории первого порядка для натуральных чисел / А. Н. Чеботарев // Кибернетика и систем. анализ. - 2001. - № 4. - С. 91-106. - Библиогр.: 10 назв. - рус.Запропоновано метод побудови автомата за логічною формулою першого порядку підібними до методу табло, що може розглядатися як його модифікація й удосконалення. Індекс рубрикатора НБУВ: В123
Рубрики:
Шифр НБУВ: Ж29114 Пошук видання у каталогах НБУВ
|
| | | | |
12. |
Чеботарев А. Н. Тетрафтороборатные комплексы никеля (II) с азотсодержащими органическими основаниями / А. Н. Чеботарев, М. В. Шестакова, А. И. Стайков // Пр. Одес. політехн. ун-ту. - 2002. - Вип. 1. - С. 211-214. - Библиогр.: 5 назв. - рус. Індекс рубрикатора НБУВ: Г128.136 + Г278.13
Рубрики:
Шифр НБУВ: Ж69121 Пошук видання у каталогах НБУВ
|
| | | | |
13. |
Чеботарев А. П. Разработка технологии и освоение производства шлаковозных чаш на Макеевском меткомбинате / А. П. Чеботарев, Г. Н. Никитин, А. Д. Солдатенков, В. А. Чинокал, Н. Г. Гоч, В. А. Дворянинов // Металлург. и горноруд. пром-сть. - 2002. - № 2. - С. 37-38. - рус.Разработана конструкция унифицированной шлаковозной чаши для доменного и сталеплавильного производства. Создан и введен в эксплуатацию участок производства шлаковозных чаш в разливочном пролете мартеновского цеха. Отмечено, что технология производства чаш, освоенная на комбинате, легко вписывается в технологический цикл мартеновского цеха, позволяет использовать имеющиеся в наличии транспортные и энергетические коммуникации, оборудование. Ключ. слова: шлаковозная чаша, мартеновский цех, литейный пролет, мартеновская сталь, "чистая" модель, единая смесь, шиберный затвор Індекс рубрикатора НБУВ: К320.5-57-02 + К722.3
Рубрики:
Шифр НБУВ: Ж28347 Пошук видання у каталогах НБУВ
|
| | | | |
14. |
Чеботарев А. Н. Построение логической спецификации реактивного алгоритма / А. Н. Чеботарев, О. В. Алистратов // Пробл. программирования. - 2002. - 1-2 [спец. вып.]. - С. 154-160. - Библиогр.: 10 назв. - рус.Рассмотрен регулярный подход к построению логической спецификации реактивного алгоритма на основании неформальных функциональных требований к его функционированию. Предложенный подход проиллюстрирован на примере. Індекс рубрикатора НБУВ: З973-018.011
Рубрики:
Шифр НБУВ: Ж16833 Пошук видання у каталогах НБУВ
|
| | | | |
15. |
Чеботарев А. Н. Физико-химические закономерности сорбции катионных ПАВ из разбавленных растворов сильными ионитами / А. Н. Чеботарев, Т. В. Паладенко, Т. М. Щербакова, Н. В. Кулалаева // Укр. хим. журн. - 2003. - 69, № 7-8. - С. 80-84. - Библиогр.: 12 назв. - рус.Вивчено сорбцію катіонних ПАР хлориду цетилпіридинію та етонію - представників піридинієвих та біс-четвертинних амонієвих солей, які відрізняються геометричними та структурними параметрами на катіоніті "КУ-2-8" та аніоніті "АВ-17-8" у широкому діапазоні концентрацій. Виявлені особливості їх сорбції з істинних розчинів пояснено гідролізом, що помітно протікає з утворенням нейтральних молекул відповідних основ. Індекс рубрикатора НБУВ: Г583.26
Рубрики:
Шифр НБУВ: Ж21854 Пошук видання у каталогах НБУВ
|
| | | | |
16. |
Чеботарев А. Н. Синтез автомата, специфицированного множеством дизъюнктов / А. Н. Чеботарев // Пробл. программирования. - 2003. - № 2. - С. 58-64. - Библиогр.: 6 назв. - рус.Запропоновано підхід до синтезу автомата, який специфіковано логічною формулою у кон'юнктивній нормальній формі (КНФ). З цією метою використано метод синтезу автомата за специфікацією, яку подано у диз'юнктивній нормальній формі (ДНФ), а синтез проведено без перетворення КНФ у ДНФ. Завдяки цьому запропонований метод має ту ж саму ефективність, що й метод, на якому він базується. Індекс рубрикатора НБУВ: З815
Рубрики:
Шифр НБУВ: Ж16833 Пошук видання у каталогах НБУВ
|
| | | | |
17. |
Чеботарев А. Н. Синтез алгоритма по его логической спецификации / А. Н. Чеботарев // Управляющие системы и машины. - 2004. - № 5. - С. 53-60. - Библиогр.: 16 назв. - рус.Наведено метод синтезу автомата за його специфікацією в логічній мові, яка є підмножиною логіки предикатів першого порядку. Як вибір підмножини мови для специфікації, так і метод синтезу автомата базуються на теоремі про специфікацію, яка встановлює зв'язок між структурою формули специфікації та автоматом, що синтезується. Індекс рубрикатора НБУВ: З973-047.2
Рубрики:
Шифр НБУВ: Ж14024 Пошук видання у каталогах НБУВ
|
| | | | |
18. |
Крывый С. Л. Проверка непротиворечивости формул языка ILD, представленных в дизъюнктивной нормальной форме. II / С. Л. Крывый, А. Н. Чеботарев // Кибернетика и систем. анализ. - 2005. - 41, № 6. - С. 11-19. - Библиогр.: 3 назв. - рус. Ключ. слова: язык L, выполнимость формулы, глубина формулы, множество конъюнктов, представление данных, оценка сложности Індекс рубрикатора НБУВ: З973-018.2
Рубрики:
Шифр НБУВ: Ж29144 Пошук видання у каталогах НБУВ
|
| | | | |
19. |
Крывый С. Л. Проверка непротиворечивости формул языка ILD, представленных в дизъюнктивной нормальной форме. I / С. Л. Крывый, А. Н. Чеботарев // Кибернетика и систем. анализ. - 2005. - 41, № 4. - С. 22-28. - Библиогр.: 6 назв. - рус. Ключ. слова: реактивные алгоритмы, спецификация, язык L, выполнимость формулы, глубина формулы, множество конъюнктов Індекс рубрикатора НБУВ: З973-018
Рубрики:
Шифр НБУВ: Ж29144 Пошук видання у каталогах НБУВ
|
| | | | |
20. |
Чеботарев А. Н. Особенности массообмена при сорбции комплекса хрома (VI) с кармоазином на анионите АВ-17-8 / А. Н. Чеботарев, Е. М. Гузенко, И. С. Ефимова // Вісн. Одес. нац. ун-ту. - 2006. - 11, вип. 1/2. - С. 59-64. - Библиогр.: 14 назв. - рус.Обработкой полученных экспериментальных данных найдена полукритериальная зависимость коэффициента массообмена при сорбции комплекса хрома (VI) с кармоазином в динамическом режиме от гидродинамического критерия подобия Рейнольдса и симплекса концентрационного подобия. Полученные данные можно использовать для расчетов параметров, влияющих на процессы массообмена в случае сорбции комплекса хрома (VI) с кармоазином анионитом АВ-17-8. Індекс рубрикатора НБУВ: Г583
Рубрики:
Шифр НБУВ: Ж69659 Пошук видання у каталогах НБУВ
| | |
|
|