{"id":326,"date":"2014-08-18T10:42:04","date_gmt":"2014-08-18T01:42:04","guid":{"rendered":"http:\/\/www.nil.co.jp\/Japanese\/blog\/?p=326"},"modified":"2014-08-18T10:43:36","modified_gmt":"2014-08-18T01:43:36","slug":"kaos-11-%e3%82%b7%e3%82%b9%e3%83%86%e3%83%a0%e8%a6%81%e6%b1%82%e3%81%a8%e3%82%bd%e3%83%95%e3%83%88%e3%82%a6%e3%82%a7%e3%82%a2%e8%a6%81%e6%b1%82-1-1-4-2","status":"publish","type":"post","link":"https:\/\/www.nil.co.jp\/Japanese\/blog\/?p=326","title":{"rendered":"KAOS (11) \u30b7\u30b9\u30c6\u30e0\u8981\u6c42\u3068\u30bd\u30d5\u30c8\u30a6\u30a7\u30a2\u8981\u6c42 (1.1.4-2)"},"content":{"rendered":"<blockquote>\n<p style=\"text-align: justify;\"><em>\u5b9a\u7fa9\u304b\u3089\u3044\u3063\u3066\uff0c\u30bd\u30d5\u30c8\u30a6\u30a7\u30a2\u8981\u6c42\u306f\uff0c\u30b7\u30b9\u30c6\u30e0\u8981\u6c42\u3067\u3042\u308b\uff0e\u3057\u304b\u3057\uff0c\u9006\u306f\u6210\u7acb\u3057\u306a\u3044\uff0e\u3042\u3044\u307e\u3044\u3055\u304c\u306a\u3044\u3068\u3053\u308d\u3067\u306f\uff0c\u8981\u6c42\u3068\u3044\u3048\u3070\uff0c\u30b7\u30b9\u30c6\u30e0\u8981\u6c42\u3092\u6307\u3059 (p.19)<\/em><\/p>\n<\/blockquote>\n<p style=\"text-align: justify;\">\u30b7\u30b9\u30c6\u30e0\u8981\u6c42 SysReq \u306f\uff0c\u6b21\u306e\u3088\u3046\u306b\u8a18\u8ff0\u3067\u304d\u308b\uff0e\u3044\u307e\uff0cM\u304c\u76e3\u8996\u3057\u3066\u3044\u308b\u5909\u6570\u306e\u96c6\u5408\u3067\uff0c\u5236\u5fa1\u5bfe\u8c61\u5909\u6570\u306e\u96c6\u5408\u3092C\u3068\u3059\u308b\uff08\u4e00\u822c\u7684\u306a\u30b3\u30f3\u30c8\u30ed\u30fc\u30eb\u30fc\u30d7\u30e9\u30f3\u30c8\u30e2\u30c7\u30eb\uff09\uff0e\u3053\u306e\u3068\u304d\uff0c\u6b21\u304c\u6210\u7acb\u3059\u308b<\/p>\n<p style=\"text-align: center;\"><em>SysReq \u2286 M \u00d7 C<\/em><\/p>\n<p style=\"text-align: justify;\">\u30bd\u30d5\u30c8\u30a6\u30a7\u30a2\u8981\u6c42 SofReq \u306f\uff0c\u6b21\u306e\u3088\u3046\u306b\u8a18\u8ff0\u3067\u304d\u308b\uff0e\u540c\u69d8\u306b\uff0c\u5165\u529b\u5909\u6570\u306e\u96c6\u5408\u3092I\u3068\u3057\uff0c\u51fa\u529b\u5909\u6570\u306e\u96c6\u5408\u3092O\u3068\u3059\u308b\uff0e<\/p>\n<p style=\"text-align: center;\"><em>SofReq \u2286 I \u00d7 O<\/em><\/p>\n<p style=\"text-align: justify;\">\u3053\u306e2\u3064\u306e\u5f0f\u306f\uff0c\u5f53\u305f\u308a\u524d\u306e\u3088\u3046\u306b\u3082\u898b\u3048\u308b\u3057\uff0c\u672c\u5f53\u304b\u3068\u601d\u3063\u305f\u308a\u3082\u3059\u308b\uff0e<\/p>\n<p style=\"text-align: justify;\">\u3069\u306e\u3088\u3046\u306a\u8a18\u8ff0\u304c\u9069\u5207\u304b\u306f\uff0c\u30b7\u30b9\u30c6\u30e0\u3084\u30bd\u30d5\u30c8\u30a6\u30a7\u30a2\u3092\u3069\u3046\u30e2\u30c7\u30eb\u5316\u3059\u308b\u304b\u306b\u4f9d\u5b58\u3057\u3066\u3044\u308b\uff0e\u3053\u3053\u3067\u306f\uff0c\u30b7\u30b9\u30c6\u30e0\u306b\u3057\u308d\u30bd\u30d5\u30c8\u30a6\u30a7\u30a2\u306b\u3057\u308d\uff0c\u5165\u529b\u3092\u5909\u63db\u3057\u3066\u51fa\u529b\u3059\u308b\u6a5f\u68b0\u3068\u307f\u306a\u3059\uff0e\u3082\u3061\u308d\u3093\uff0c\u5bfe\u8c61\u306f\u7570\u306a\u308b\uff0e\u30b7\u30b9\u30c6\u30e0\u306e\u5834\u5408\uff0c\u76e3\u8996\u3057\u3066\u3044\u308b\u5909\u6570\uff08\u4f8b\u3048\u3070\uff0c\u81ea\u52d5\u8eca\u306e\u5834\u5408\uff0c\u73fe\u5728\u901f\u5ea6\u3084\u8eca\u8ef8\u56de\u8ee2\u6570\uff09\u304b\u3089\u5236\u5fa1\u5bfe\u8c61\u306e\u5909\u6570\uff08\u30a2\u30af\u30bb\u30eb\u958b\u5ea6\u304c\u6c7a\u307e\u308b\uff09\uff0eM \u00d7 C\u3068\u3044\u3046\u306e\u306f\uff0c\u76f4\u7a4d\u3092\u793a\u3059\uff08\u8981\u6c42\u3068\u95a2\u3059\u308b\u90e8\u5206\u304c\uff0c\u304b\u306a\u308a\u758e\u306a\u30de\u30c8\u30ea\u30af\u30b9\u306b\u306a\u308b\uff09\uff0e\u30bd\u30d5\u30c8\u30a6\u30a7\u30a2\u306e\u5834\u5408\u3082\u540c\u69d8\u3067\u3042\u308b\uff0e\u305f\u3060\uff0c\u76e3\u8996\u3084\u5236\u5fa1\u3067\u306f\u306a\u304f\uff0c\u5165\u51fa\u529b\u3068\u3044\u3046\u3044\u3044\u65b9\u306b\u5909\u308f\u308b\uff0e<\/p>\n<p style=\"text-align: justify;\">\u3055\u3066\uff0c\u6b21\u306f\uff0cSysReq\u3068SoftReq\u306e\u95a2\u4fc2\u3067\u3042\u308b\uff0e<\/p>\n<p style=\"text-align: justify;\">\u524d\u56de\u306f\uff0c\u30c9\u30e1\u30a4\u30f3\u30d7\u30ed\u30d1\u30c6\u30a3\u3068\u524d\u63d0\u306b\u3064\u3044\u3066\u898b\u305f\uff0e\u3053\u3053\u3067\u5fa9\u7fd2\u3092\u517c\u306d\u3066\uff0c\u30c9\u30e1\u30a4\u30f3\u30d7\u30ed\u30d1\u30c6\u30a3\uff08Dom\uff09\u3068\u524d\u63d0\uff08Asm\uff09\u306e\u95a2\u9023\u3059\u308b\u8a18\u8ff0\u3092\u793a\u3059\uff08p. 22\uff09<\/p>\n<table style=\"height: 128px; width: 483px;\" border=\"1\" width=\"483\">\n<tbody>\n<tr>\n<td>\u30b7\u30b9\u30c6\u30e0\u8981\u6c42<\/td>\n<td><em>SysReq<\/em><\/td>\n<td>TrainMoving \u2192 DoorsClosed<\/td>\n<\/tr>\n<tr>\n<td>\u30bd\u30d5\u30c8\u30a6\u30a7\u30a2\u8981\u6c42<\/td>\n<td><em>SoftReq<\/em><\/td>\n<td>MeasuredSpeed \u2260 0 \u2192 doorsState = &#8216;closed&#8217;<\/td>\n<\/tr>\n<tr>\n<td>\u30c9\u30e1\u30a4\u30f3\u30d7\u30ed\u30d1\u30c6\u30a3<\/td>\n<td><em>Dom<\/em><\/td>\n<td>TrainMoving \u2194 trainSpeed \u2260 0<\/td>\n<\/tr>\n<tr>\n<td rowspan=\"2\">\u524d\u63d0<\/td>\n<td rowspan=\"2\"><em>Asm<\/em><\/td>\n<td>measuredSpeed \u2260 0 \u2194 trainSpeed \u2260 0<\/td>\n<\/tr>\n<tr>\n<td>DoorsState = &#8216;closed&#8217; \u2194 DoorsClosed<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<p style=\"text-align: justify;\">\u30c9\u30e1\u30a4\u30f3\u30d7\u30ed\u30d1\u30c6\u30a3\u306f\uff0c\u74b0\u5883\u5074\uff08\u30b7\u30b9\u30c6\u30e0\u304c\u57cb\u3081\u8fbc\u307e\u308c\u308b\u4e16\u754c\uff09\u3067\u3042\u308a[ref]\u4e0a\u8a18\u3067\uff0ctrainSpeed\u306f\uff0c\u5909\u6570\u306e\u3088\u3046\u306b\u898b\u3048\u308b\uff0e\u3057\u304b\u3057\uff0c\u3053\u3053\u3067\u306f\u74b0\u5883\u4e2d\u306e\u8868\u73fe\u3067\u3042\u308b\uff0e\u30bd\u30d5\u30c8\u30a6\u30a7\u30a2\u7684\u306a\u5909\u6570\u306f\uff0cmeasuredSpeed\u306e\u65b9\u3067\u3042\u308b[\/ref]\uff0c\u524d\u63d0\u306f\u74b0\u5883\u3068\u30bd\u30d5\u30c8\u30a6\u30a7\u30a2\u306e\u5171\u901a\u9818\u57df\u306a\u306e\u3067\uff0cDOM\u3068ASM\u3092\u5229\u7528\u3057\u3066\uff0c\u30b7\u30b9\u30c6\u30e0\u8981\u6c42 SysReq \u3068\u30bd\u30d5\u30c8\u30a6\u30a7\u30a2\u8981\u6c42 SofReq \u3092\u7d50\u3073\u3064\u3051\u308b\u3053\u3068\u304c\u3067\u304d\u308b\uff0e<\/p>\n<p style=\"text-align: center;\"><em>{SOFREQ, ASM, DOM} \u22a8 SysReq<\/em><\/p>\n<p style=\"text-align: justify;\">\u3053\u308c\u306f\uff0c\u5de6\u5074\u304c\u6210\u7acb\u3059\u308c\u3070\uff0c\u53f3\u5074\u3092\u6e80\u8db3\u3059\u308b\u3068\u3044\u3046\u4e00\u822c\u7684\u306a\u8aad\u307f\u65b9\u3067\u3082\u3088\u3044\u3057\uff0c\u5de6\u5074\u304c\u53f3\u3092\u30e2\u30c7\u30eb\u5316\u3057\u3066\u3044\u308b\u3068\u8aad\u3080\u3053\u3068\u3082\u3067\u304d\u308b\uff0e<\/p>\n<p style=\"text-align: right;\"><em>(nil)<\/em><\/p>\n","protected":false},"excerpt":{"rendered":"<p>\u5b9a\u7fa9\u304b\u3089\u3044\u3063\u3066\uff0c\u30bd\u30d5\u30c8\u30a6\u30a7\u30a2\u8981\u6c42\u306f\uff0c\u30b7\u30b9\u30c6\u30e0\u8981\u6c42\u3067\u3042\u308b\uff0e\u3057\u304b\u3057\uff0c\u9006\u306f\u6210\u7acb\u3057\u306a\u3044\uff0e\u3042\u3044\u307e\u3044\u3055\u304c\u306a\u3044\u3068\u3053\u308d\u3067\u306f\uff0c\u8981\u6c42\u3068\u3044\u3048\u3070\uff0c\u30b7\u30b9\u30c6\u30e0\u8981\u6c42\u3092\u6307\u3059 (p.19) \u30b7\u30b9\u30c6\u30e0\u8981\u6c42 SysReq \u306f\uff0c\u6b21\u306e\u3088\u3046\u306b\u8a18\u8ff0\u3067\u304d\u308b\uff0e\u3044\u307e\uff0cM\u304c [&hellip;]<\/p>\n","protected":false},"author":2,"featured_media":0,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[21,10],"tags":[],"class_list":["post-326","post","type-post","status-publish","format-standard","hentry","category-kaos","category-re"],"_links":{"self":[{"href":"https:\/\/www.nil.co.jp\/Japanese\/blog\/index.php?rest_route=\/wp\/v2\/posts\/326","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.nil.co.jp\/Japanese\/blog\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.nil.co.jp\/Japanese\/blog\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.nil.co.jp\/Japanese\/blog\/index.php?rest_route=\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/www.nil.co.jp\/Japanese\/blog\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=326"}],"version-history":[{"count":5,"href":"https:\/\/www.nil.co.jp\/Japanese\/blog\/index.php?rest_route=\/wp\/v2\/posts\/326\/revisions"}],"predecessor-version":[{"id":331,"href":"https:\/\/www.nil.co.jp\/Japanese\/blog\/index.php?rest_route=\/wp\/v2\/posts\/326\/revisions\/331"}],"wp:attachment":[{"href":"https:\/\/www.nil.co.jp\/Japanese\/blog\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=326"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.nil.co.jp\/Japanese\/blog\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=326"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.nil.co.jp\/Japanese\/blog\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=326"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}