http://dspace.nbuv.gov.ua:80/handle/123456789/84846 Tue, 14 Apr 2026 15:43:20 GMT 2026-04-14T15:43:20Z http://dspace.nbuv.gov.ua:80/bitstream/id/252782/ http://dspace.nbuv.gov.ua:80/handle/123456789/84846 http://dspace.nbuv.gov.ua:80/handle/123456789/85423 Система інтелектуальної підтримки прийняття оптимальних рішень в процесі буріння Демчина, М.М.; Шекета, В.І.; Романишин, Ю.Л. У статті представлена методика прийняття оптимальних рішень в процесі буріння нафтових і газових свердловин на основі оперування з цільовими функціями обчислення доцільностей вихідних технологічних параметрів, що забезпечує інтелектуальну підтримку прийняття рішень при встановленні значень керованих параметрів технологічного процесу буріння.; Представлена методика принятия оптимальных решений в процессе бурения нефтяных и газовых скважин на основе целевых функций вычисления целесообразностей выходных технологических параметров, что обеспечивает интеллектуальную поддержку принятия решений при установлении значений управляемых параметров технологического процесса бурения.; The methods for optimal decision making support in the process of oil and gas wells drilling is presented based on utility functions calculation for the output technological parameters, that provides an intelligible decision support by defining of values substitutions for controlled parameters of drilling process. Tue, 01 Jan 2013 00:00:00 GMT http://dspace.nbuv.gov.ua:80/handle/123456789/85423 2013-01-01T00:00:00Z http://dspace.nbuv.gov.ua:80/handle/123456789/85347 Титульные страницы и содержание Tue, 01 Jan 2013 00:00:00 GMT http://dspace.nbuv.gov.ua:80/handle/123456789/85347 2013-01-01T00:00:00Z http://dspace.nbuv.gov.ua:80/handle/123456789/85231 Побудова секвенційних числень логік квазіарних предикатів першого порядку Шкільняк, С.С. Досліджено першопорядкові композиційно-номінативні логіки квазіарних предикатів. Для різних відно- шень логічного наслідку в чистих першопорядкових логіках часткових однозначних, тотальних неодно- значних і часткових неоднозначних предикатів побудовано спеціальні секвенційні числення. Для таких числень доведено теореми коректності й повноти. Запропоновано низку секвенційних числень для чистих першопорядкових логік часткових предикатів з рівністю.; Исследованы первопорядковые композиционно-номинативные логики квазиарных предикатов. Для различных отношений логического следствия в чистых первопорядковых логиках частичных однозначных, тотальных неоднозначных и частичных неоднозначных предикатов построены специальные секвенциальные исчисления. Для таких исчислений доказаны теоремы корректности и полноты. Предложен ряд секвенциаль- ных исчислений для чистых первопорядковых логик частичных предикатов с равенством.; We study first-order composition-nominative logics of quasiary predicates. Special sequent calculi for various consequence relations in pure first-order logics of partial single-valued, total multiple-valued and partial multiplevalued predicates are constructed. For the defined calculi the soundness and completeness theorems are proved. We introduce a number ofsequent calculi for pure first-order logics of partial predicates with equality. Tue, 01 Jan 2013 00:00:00 GMT http://dspace.nbuv.gov.ua:80/handle/123456789/85231 2013-01-01T00:00:00Z http://dspace.nbuv.gov.ua:80/handle/123456789/85230 Геоінформаційна технологія моделювання та просторового аналізу прямих емісій закису азоту від сільськогосподарських ґрунтів Чарковська, Н.В.; Бунь, Р.А. Проаналізовано основні джерела емісії парникових газів, що належать до сектору «Сільське господарство», його підсектору «Ґрунти сільськогосподарського призначення» та в ньому - до категорії «Прямі викиди від сільськогосподарських грунтів». З використанням розроблених математичних моделей та створеної геоінформаційної технології здійснено оцінку емісії закису азоту від внесення в орні землі Польщі: азотних добрив, осаду стічних вод, гною тварин, рослинних залишків та від вирощування азот-фіксуючих культур. Результати просторової інвентаризації парникових газів на рівні елементарних ділянок 2 км х 2 км представлено у вигляді цифрових карт.; Проанализированы основные источники эмиссии парниковых газов, относящихся к сектору «Сельское хозяйство», его подсектору «Почвы сельскохозяйственного назначения» и в нем к категории «Прямые выбросы от сельскохозяйственных почв». С использованием разработанных математических моделей и созданной геоинформационной технологии осуществлена оценка эмиссии закиси азота от внесенияв пахотные земли Польши: минеральных удобрений, осадка сточных вод, навоза животных, растительных остатков и от выращивания азот-фиксирующих культур. Результаты пространственной инвентаризации парниковых газов на уровне элементарных участков 2 км х 2 км представлено в виде цифровых карт.; The main GHG emission sources in IPCC category Direct Soil Emissions of subsector Agricultural Soils of Agriculture sector in Poland are analyzed. Using the developed mathematical models and geoinformation technology N20 emissions in the applying to agricultural soils of synthetic fertilizers, sewage sludge, animal manure, crops residues and in the growing of N-fixing crops are assessed. Results of GHG spatial inventory at elementary areas 2 km x 2 km are presented as digital maps. Tue, 01 Jan 2013 00:00:00 GMT http://dspace.nbuv.gov.ua:80/handle/123456789/85230 2013-01-01T00:00:00Z