公开(公告)号：US20250014672A1

公开(公告)日：2025-01-09

申请号：US18766544

申请日：2024-07-08

Applicant: DASSAULT SYSTEMES

Inventor： Vincent DEMAN ,  Philippe CASTERA

IPC: G16B5/10 ,  G06F17/11

Abstract: A computer-implemented method for calibration of a Boolean network. The Boolean network has Boolean functions. The Boolean network models a biological process. The method comprises providing the Boolean network. The method further includes obtaining experimental data related to the biological process. The method further includes calibrating the Boolean network according to the experimental data. The calibration includes converting the Boolean functions into Zhegalkin polynomials. The calibration further includes building, based on the Zhegalkin polynomials, on the Boolean network, and on the experimental data, a calibration Boolean proposition. The calibration Boolean proposition represents a transition system of the Boolean network and the experimental data. The calibration further includes applying a SAT solver to the calibration Boolean proposition.