changeset 12:2c17d3dc56f0

add pdf
author ikkun <ikkun@cr.ie.u-ryukyu.ac.jp>
date Thu, 07 May 2020 17:07:53 +0900
parents 452f0f1e582c
children b86e070da4b4
files paper/ikkun-sigos.pdf paper/ikkun-sigos.tex paper/pic/model_checking.pdf
diffstat 3 files changed, 4 insertions(+), 5 deletions(-) [+]
line wrap: on
line diff
Binary file paper/ikkun-sigos.pdf has changed
--- a/paper/ikkun-sigos.tex	Thu May 07 16:28:01 2020 +0900
+++ b/paper/ikkun-sigos.tex	Thu May 07 17:07:53 2020 +0900
@@ -141,15 +141,14 @@
 \item Put Left fork
 \item Thinking
 \end{itemize}
-この状態は goto next によって遷移する。またタブロー法を用いてデッドロックを左g酢ため、にこの状態遷移を Memory Tree として保管する。
-
+この状態は goto next によって遷移する。またこの状態遷移は無限ループするのでMemoryTree に保管し、保管されている状態とはstat DB によって保管される
  
 
  
 
 \begin{figure}[tb]
     \begin{center}
-        \includegraphics[width=70mm]{./pic/model_checking.pdf}
+        \includegraphics[width=90mm]{./pic/model_checking.pdf}
     \end{center}
     \caption{DPP chacking}
     \label{DPP_chacking}
@@ -159,8 +158,8 @@
 
 
 \nocite{*}
-\bibliographystyle{ipsjunsrt}
-\bibliography{anatofuz-bib}
+
+
 
 
 
Binary file paper/pic/model_checking.pdf has changed