Вісники НТУ "ХПІ"
Постійне посилання на розділhttps://repository.kpi.kharkov.ua/handle/KhPI-Press/2494
З 1961 р. у ХПІ видається збірник наукових праць "Вісник Харківського політехнічного інституту".
Згідно до наказу ректора № 158-1 від 07.05.2001 року "Про упорядкування видання вісника НТУ "ХПІ", збірник був перейменований у Вісник Національного Технічного Університету "ХПІ".
Вісник Національного технічного університету "Харківський політехнічний інститут" включено до переліку спеціалізованих видань ВАК України і виходить по серіях, що відображають наукові напрямки діяльності вчених університету та потенційних здобувачів вчених ступенів та звань.
Зараз налічується 30 діючих тематичних редколегій. Вісник друкує статті як співробітників НТУ "ХПІ", так і статті авторів інших наукових закладів України та зарубіжжя, які представлені у даному розділі.
Переглянути
6 результатів
Результати пошуку
Документ Розрахункове аеродинамічне дослідження вихідної частини потужної парової турбіни в широкому діапазоні режимів роботи(Національний технічний університет "Харківський політехнічний інститут", 2023) Юдін, Юрій Олексійович; Малимон, Іван ІвановичПроведено серію розрахункових досліджень аеродинамічних характеристик моделі останнього ступеня ЦНТ парової турбіни з вихідним патрубком. Дослідження виконано в широкому діапазоні режимів роботи останнього ступеня GV2. Модель ступеня побудовано за допомогою програмного комплексу AxSTREAM і розраховано в програмному комплексі 3D Solver. Модель патрубку виконано вісесиметричною. Розподіл параметрів для розрахунків взято з експериментальних даних, отриманих на ПД ГРЕС за участі кафедри турбінобудування НТУ "ХПІ". Результати розрахунку задовільно верифіковано з експериментом. Отриману розрахункову модель можливо використовувати при подальших розрахункових дослідженнях з метою пошуку шляхів оптимізації вихідних каналів турбомашин.Документ Specification formalization of state charts for complex system management(Національний технічний університет "Харківський політехнічний інститут", 2023) Nikitin, Dmytro MykhailovychThis article presents a formalization approach for the requirements of object-oriented programs with state machines, using a spacecraft control system as a case study. It proposes a state pattern implementation, where each state is represented as a class with clearly defined responsibilities, and the transitions between states are controlled by the state objects themselves. Additionally, the application of model checking, theorem proving, and code generation techniques are discussed. The effectiveness of the proposed approach in ensuring compliance with the specified requirements is demonstrated, while also identifying potential drawbacks and limitations of the approach. The implementation is validated using a range of formal verification techniques, including model checking and theorem proving. The article also discusses how the approach can be extended and applied to other complex systems. Overall, the valuable insights into the formalization of requirements for object-oriented programs with state machines are provided, offering a practical and effective approach for verifying the correctness and completeness of such implementations. The results of this work have important implications for the development of safety-critical systems and can potentially improve the quality and reliability of software systems in various domains. By using mathematical models and rigorous formal methods, it is possible to detect and eliminate errors early in the development process, leading to higher confidence in the correctness of the final product. Future research in this area could explore the use of more advanced techniques, such as modeldriven development and automatic code synthesis, to further streamline the software development process. Additionally, the development of more efficient and user-friendly tools could make these techniques more accessible to a wider range of developers and organizations. Altogether, the combination of formal methods and software engineering has the potential to revolutionize the way software systems are designed, developed, and verified, leading to safer and more reliable software for critical applications.Документ Структурно-функціональне моделювання процесу проектування верстатних пристроїв(НТУ "ХПІ", 2017) Іванов, Віталій Олександрович; Карпусь, Владислав Євгенович; Ващенко, Світлана Михайлівна; Заяць, Йожеф; Кармаза, Андрій ІвановичЗабезпечення механічної обробки деталей на металорізальних верстатах неможливе без застосування верстатних пристроїв. Вони є невід’ємною частиною замкненої технологічної системи «верстат – верстатний пристрій – різальний інструмент – заготовка» та чинять знач-ний вплив на точність та якість обробки поверхонь деталей машин. У роботі визначено структурні етапи процесу проектування верстатних пристроїв і виявлено інформаційні зв’язки між ними для забезпечення комплексного підходу. Розроблено структурно-функціональну модель процесу проектування верстатних пристроїв, яка передбачає технологічний аналіз об’єкту обробки, синтез та оптимізацію компонувань верстатних пристроїв, інженерно-виробничий аналіз системи «верстатний пристрій – заготовка» для заданих виробничих умов, а також виявлено функціональні та інформаційні зв’язки між етапами, що дозволяє реалізувати комплексний підхід до проектування верстат-них пристроїв.Документ Влияние типа и размера расчетных сеток на точность расчета течений в вихрекамерных нагнетателях(НТУ "ХПИ", 2016) Сёмин, Дмитрий Александрович; Роговой, Андрей СергеевичНа основе численного расчета течений в вихрекамерном нагнетателе с помощью моделей URANS и DES произведено исследование влияния типа и размера расчетных сеток на точность расчета. Получено, что погрешность расчета перестает меняться при числе элементов более 6 млн. Для модели DES это значение больше в два раза. При использовании детальной сетки целесообразней использовать тетрагональную сетку.Документ Адміністрування податків: новації у законодавстві(НТУ "ХПІ", 2012) Фадєєва (Коптєва), Ганна МиколаївнаУ статті проаналізовано зміни податкового законодавства у сфері адміністрування податків, які відбулися останнім часом в Україні. Запропоновані заходи щодо спрощення адміністрування податків та зборів.Документ Пространственная оптимизация лопатки прямой турбинной решетки с изменением профиля по высоте(НТУ "ХПИ", 2013) Бойко, Анатолий Владимирович; Говорущенко, Юрий Николаевич; Баранник, Валентин СергеевичРассмотрена постановка задачи пространственной оптимизации лопатки прямой турбинной решетки. Проведено верификация используемого метода расчета. Также приведены результаты оптимизации лопатки направляющей турбинной решетки, полученные с помощью варьирования геометрических параметров профиля в каждом сечении без применения тангенциального навала.