diff --git a/Jenkinsfile b/Jenkinsfile index 052751b..73214f4 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -17,7 +17,7 @@ pipeline { docker.image('aergus/latex').inside { sh 'latexmk -pdf paper.tex' sh 'git add -f paper.pdf' - sh 'git commit -a -m "add pdf"' + sh 'git commit -a -m "add pdf" --author="Anton Romanov "' sh 'git push origin master' } } diff --git a/paper.tex b/paper.tex index 541f6a8..0ddc276 100644 --- a/paper.tex +++ b/paper.tex @@ -201,9 +201,9 @@ $Y=\{y^i\}, i = [1,n], n \in N$, -- $n$ состояний интегрируе Алгоритм, представленный на рисунке \ref{fig:algorithm}, состоит из нескольких шагов: \begin{itemize} - \item Входные данные (input data), представленные в виде кортежа данных ключ-значение ($inp1 = 7$) разного типа (целочисленные, строковые, дата и логические переменные типа boolean), преобразуются в лингвистические термы (transfer to terms), представленные в виде $INP=\{INP_1, INP_2, ..., INP_z\}, z \in N$. + \item Входные данные (input data), представленные в виде кортежа данных ключ-значение ($inp1 = 7$) разного типа (целочисленные, строковые, дата и логические переменные типа boolean), преобразуются в лингвистические термы (transfer to terms), представленные в виде \\ $INP=\{INP_1, INP_2, ..., INP_z\}, z \in N$. - \item Используя базу правил первого уровня (abstract level rule base) и преобразованные входные данные ($INP$), осуществляется логический вывод (search in abstract level rule base), представленный в виде $\{\{INP^{OUT_s}\}, OUT_s\}, s \in N$. + \item Используя базу правил первого уровня (abstract level rule base) и преобразованные входные данные ($INP$), осуществляется логический вывод (search in abstract level rule base), представленный в виде \\ $\{\{INP^{OUT_s}\}, OUT_s\}, s \in N$. \item Результат выполнения правила первого уровня ($\{INP^{OUT_s}\}, OUT_s$), исходные входные данные (input data), представленные в виде кортежа данных ключ-значение ($inp1 = 7$) разного типа (целочисленные, строковые, дата и логические переменные типа boolean), и база данных интегрируемой ИС (data base) участвуют в динамическом формировании правил второго уровня (generate key level rule base), математическое представление которых представлено в формуле \ref{eq:comparison}.