Проанализирован накопленный в Украине опыт регулирования предпринимательской деятельности, рассмотрены особенности основных институтов предпринимательского права. Приведена монистическая концепция регулирования предпринимательских правоотношений. Освещены альтернативные законопроекты. Раскрыто содержание отдельных институтов предпринимательского права, обсуждены теоретические положения, обоснованы направления регулирования подобных отношений в зарубежных странах.

Індекс рубрикатора НБУВ: Д451(45Укр)4-4 + Д59(45УКр)451

Рубрики:

Металеві корисні копалини

Регіональна геологія

Шифр НБУВ: Ж14166 Пошук видання у каталогах НБУВ 

Розглянуто проблему формування договірних відносин у процесі забезпечення тепловою енергією.

Рассмотрена проблема формирования договорных отношений при обеспечении тепловой энергией.

The problem of formation of contractual relations is considered at maintenance with thermal energy as hot water and pair.

Розглянуто особливості регулювання порядку теплового енергозабезпечення на практиці та застосовність договору приєднання.

Рассмотрены особенности регулирования порядка теплового энергообеспечения на практике и применимость договора присоединения.

Features of regulation about thermal power maintenance in practice and applicability of the contract of connection are considered.

Проведены плавки с корректировкой химического состава стали в ковше порошковой проволокой, наполненной ферросилицием и графитом. Углерод и кремний распределяется по всему объему металла даже без перемешивания стали азотом. Получение полуспокойной стали с оптимальным содержанием кремния и стали 35ГС(М) с гарантированным углеродным эквивалентом позволит снизить брак первого передела и получить экономию ферромарганца.

Отмечено, что в современном металлургическом производстве широко применяют газокислородную резку. Она используется главным образом для отрезки прибылей и зачистки литья, разделки проката и крупногабаритных заготовок, скрапа и лома, а также для удаления дефектов на отливке и поковках (поверхностная резка).

Отмечено, что проблема получения металла с низким содержанием серы предполагает удаление ее на всех стадиях производства стали (удаление из чугуна, при выплавке стали, на выпуске стали и в печи-ковше перед разливкой). Экономически и термодинамически целесообразно удалять серу из чугуна, а не из стали, а также экономически выгодным является снижение затрат на кокс и получение чугуна с повышенным содержанием до 0,04 - 0,05 % серы и при содержании кремния на уровне 0,8 %. Наиболее перспективным является удаление серы из чугуна на установке десульфурации чугуна и частично при сливе чугуна в ковш в доменном цехе.

Ключ. слова: дефосфорация чугуна, шлак, чугуновозный ковш, гранулированный магний, плавиковый шпат, трубная марка стали
Індекс рубрикатора НБУВ: К327.923.403-14

Шифр НБУВ: Ж28347 Пошук видання у каталогах НБУВ 

Опробовано предварительное раскисление перегретых и передутых конвертерных плавок чугунным боем изложниц. Показана возможность охлаждения и снижения окисленности металла в конвертере перед выпуском. Показано, что при этом степень усвоения марганца и кремния повышается.

Ключ. слова: разливка стали, сталь полуспокойная, шиберный затвор, длительность разливки
Індекс рубрикатора НБУВ: К327.05-1

Рубрики:

Розливання сталі та шлаку у сталеплавильному виробництві

Шифр НБУВ: Ж28347 Пошук видання у каталогах НБУВ 

Предложенный подход создает возможности в рамках risk-informed регулирования безопасности АЭС количественно оценивать и управлять величиной снижения вероятности рисков остаточных дефектов программного обеспечения ИУС для композиции диверсных технологий верификации на основе экспериментальной калибровки чувствительности и реальной степени разнообразия диверсных методов верификации.

Предложена целевая технология рентабельной оценки надежности и функциональной безопасности критического программного обеспечения (ПО): в процессе независимой верификации и квалификации ПО ИУС критического применения.

Информативность испытаний и подтверждение приемлемых уровней вероятности скрытых дефектов при независимой верификации критического программного обеспечения обеспечивается с помощью адекватного профиля дефектов и калибровок методов, используемых при испытаниях. Рассмотрена разработка модели профиля дефектов для калибровки методов измерения инвариантов при статическом анализе.

Метод обратной семантической трассировки предназначен для контроля качества программных проектов путем снижения рисков несоответствия требованиям входных и выходных артефактов на каждом этапе процесса разработки. Предложена методика применения этого метода при гибкой разработке проектов на примере использования методологии MSF Agile.

Опробована технология модифицирования колесной стали порошковой проволокой с железокальциевым наполнителем взамен силикокальция. Порошковую проволоку вводили в сталеразливочный ковш на вакууматоре при сохранении удельного расхода кальция на тонну стали. Исследованы степень усвоения кальция, макро- и микроструктура металла, механические свойства колес. Получены положительные результаты по качеству металла. Технология модифицирования порошковой проволокой с железокальциевым наполнителем внедрена в производство на всем сортаменте колесной стали.

Описано дальнейшее развитие работ в рамках общего направления разработки целевой технологии независимой верификации и прогнозирования скрытых дефектов программного обеспечения (ПО), важного для безопасности. Особое внимание уделено чрезвычайно важному вопросу калибровки чувствительности методов тестирования ПО и полноты охвата исходного кода проверками. Предложена концепция по нахождению адекватного профиля дефектов для конкретного проекта ПО при процедуре калибровки. Обоснован уровень структуры ПО, на котором производится внесение тестовых дефектов для калибровки. Предложен принцип калибровки, модели и элементы практической теории, обеспечивающие практическое решение поставленных задач.

Індекс рубрикатора НБУВ: Г274.31

Шифр НБУВ: Ж21854 Пошук видання у каталогах НБУВ 

Проанализированы методы оценки качества программного обеспечения (ПО), основанные на современном model-checking подходе. Описаны принципы и модель инвариантно-ориентированной оценки качества ПО космических систем. Предложен полимодельных метод оценки, использующий различные типы инвариантов ПО: на базе учета физической размерности переменных (семантический), с использованием интервально-точностных характеристик переменных (интервальный и точностной). Оценена достоверность контроля при применении методов верификации, основанных на измерении инвариантов ПО.

Композиционные материалы на основе углеродного волокна, содержащие на поверхности оксиды, гидроксиды и частицы металла в пленке хитозана, получены методом катодного осаждения с использованием волокна в качестве электрода. Получение композитов осуществлено в двух вариантах: одновременное осаждение хитозана и металлсодержащих частиц, а также электроосаждение металлсодержащих частиц на предварительно модифицированный хитозаном углеволокнистый электрод. Полученные композиты исследованы методами рентгеновской дифракции и рентгеновской фотоэлектронной спектроскопии. Показано, что в составе композитов оксид металла/хитозан/углеродное волокно никель присутствует в виде металла и аморфного гидроксида, а медь - в виде металла и оксидов. Кроме того, возможно образование комплекса Cu(II) с хитозаном на поверхности углеродного волокна.

Рассмотрено использование формальных методов контроля неизменных свойств (инвариантов) программного обеспечения (ПО) для оценки характеристик качества ПО. Рассмотрено влияние дефектов на значения инвариантов на уровне исходных кодов ПО. По результатам измерения инвариантов определяется наличие остаточных дефектов в программе. Приведена динамическая модель чувствительности набора методов к дефектам с учетом операционного спектра конкретного проекта. Предложенный подход позволяет формализовать проверки и автоматизировать процесс оценки основополагающих характеристик качества ПО таких, как функциональная надежность и безопасность.