is.ulstu.ru/iiti-2024
2
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Add eq

Browse Source
This commit is contained in:
Anton Romanov 2024-05-15 16:19:59 +04:00
parent 099bacbc4f
commit cfefa91d02
2 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
Jenkinsfile vendored
View File

@ -17,7 +17,7 @@ pipeline {
docker.image('aergus/latex').inside { docker.image('aergus/latex').inside {
sh 'latexmk -pdf paper.tex' sh 'latexmk -pdf paper.tex'
sh 'git add -f paper.pdf' sh 'git add -f paper.pdf'
sh 'git commit -a -m "add pdf"' sh 'git commit -a -m "add pdf" --author="Anton Romanov <a.romanov@ulstu.ru>"'
sh 'git push origin master' sh 'git push origin master'
} }
} }

4
paper.tex
View File

@ -201,9 +201,9 @@ $Y=\{y^i\}, i = [1,n], n \in N$, -- $n$ состояний интегрируе
Алгоритм, представленный на рисунке \ref{fig:algorithm}, состоит из нескольких шагов: Алгоритм, представленный на рисунке \ref{fig:algorithm}, состоит из нескольких шагов:
\begin{itemize} \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}. \item Результат выполнения правила первого уровня ($\{INP^{OUT_s}\}, OUT_s$), исходные входные данные (input data), представленные в виде кортежа данных ключ-значение ($inp1 = 7$) разного типа (целочисленные, строковые, дата и логические переменные типа boolean), и база данных интегрируемой ИС (data base) участвуют в динамическом формировании правил второго уровня (generate key level rule base), математическое представление которых представлено в формуле \ref{eq:comparison}.