2 research outputs found

    Подання та обробляння технологічних знань про процес буріння на основі обмежень

    Get PDF
    При застосуванні сучасних інформаційних технологій в нафтогазовій предметній області особливе місце посідають інтелектуальні інформаційні системи і системи штучного інтелекту. До типових проблем, що можуть бути вирішенні таким чином, можна віднести зокрема управління процесом буріння як складним нестаціонарним технологічним процесом; пошук оптимальних режимів буріння; діагностика перебігу технологічного процесу; виявлення та своєчасна ліквідація нештатних аварійних ситуацій в процесі буріння нафтових і газових свердловин. Розглядаються методи роботи із знаннями про процес буріння на основі теорії представлення та задоволення обмежень. Здійснено дослідження алгоритмів і формалізмів представлення таких знань на основі обмежень, описано типи задач та структури знань, які ефективно опрацьовуються за їх допомогою. Результатом дослідження є удосконалення алгоритмів подання знань з допомогою обмежень і реалізація на їх основі інтелектуального модуля, що здатний зберігати та опрацьовувати знання нафтогазової предметної області і може бути використаний як ядро системи інтелектуальної підтримки прийняття рішень в процесі буріння нафтових і газових свердловин.By the application of the modern information technologies in oil and gas subject area the special place is occupied by intelligent information systems and the systems of artificial intelligent. To the typical problems, that can be solved properly, the issue of running the drilling process belongs as complex non-steady technological process; the search for optimal drilling techniques; the diagnostic of technological processes progress; identification of emergencies and timely emergencies response during the drilling process in oil and gas wells. The drilling methods are considered which include data about the drilling process based on the theory of presentation and meeting constraints. The research of relevant algorithms and formal descriptions has been carried out, data based on constraints have been proceeded, types of the tasks and structures of data have been described which are efficiently processed. The result of the research is the improvement of the algorithms for presenting information applying constraints and the implementation of intellectual module on their basis, which is capable of storing and processing information of oil and gas subject area and can be applied as the system center of the intellectual support for making decisions in drilling oil and gas wells

    Mining global constraints for improving bounded sequential equivalence checking

    No full text
    corecore