るためには, まず, システムの故障や逸脱を分析し, その時のシステムの振る舞いを網羅的に状態遷移図に記述することが必要となる.SpecTRM(Specification Tools and Requirements Methodology)[9] は, 解析評価のための基準となる有限状態遷移モデル
|
|
|
- すずり うみのなか
- 5 years ago
- Views:
Transcription
1 階層型状態遷移図に基づく安全分析手法 金周慧 松原豊 高田広章 小規模な組込みシステムにおける故障の影響をより網羅的に分析することを目的に,1 つの状態遷移図に基づく安全分析手法 SASTD(Safety Analysis method based on State Transition Diagram) を提案した. 大規模な組込みシステムでは,1 つの状態遷移図に含まれる状態数が多くなるため,SASTD で網羅的に分析するのが困難であるという問題がある.1 つの状態遷移図に含まれる状態数を減らすためには, 小規模な状態遷移図に分割した階層型状態遷移図を利用するのが有効である. 本論文では,SASTD を拡張した, 階層型状態遷移図に基づく安全分析手法 SAHSTD(Safety Analysis method based on Hierarchical State Transition Diagram) を提案する.SAHSTD を話題沸騰ポットのシステム仕様に対して適用した結果, SASTD と同一の逸脱を分析できることを確認した. さらに, 同一の性質をもつ状態を階層的に整理することで, 分析者が本質的に分析すべき逸脱数が,SASTD に比べて, 状態に対する分析では 92 個から 61 個に, 状態遷移に対する分析では 284 個から 134 個に削減できることが明らかになった. Safety analysis method based on hierarchical state transition diagram Zoohaye KIM, Yutaka MATSUBARA, and Hiroaki TAKADA In order to analyze exhaustively affects of failures in small embedded systems, we proposed SASTD (Safety Analysis method based on State Transition Diagram). SASTD assumes that system specifications of an embedded system have been modeled as only one state transition diagram. Therefore it is difficult that we analyze exhaustively the state transition diagram including many states and state transitions by using SASTD. In many cases, a hierarchical state transition diagram is used to reduce the number of states in a state transition diagram. In this paper, we propose SAHSTD (Safety Analysis method based on Hierarchical State Transition Diagram). We applied both SASTD and SAHSTD to the system specification of an electric boiling pot, and compared the results of them. Consequently, we confirmed that all deviations derived by SASTD could be also derived by SAHSTD. Since several system states with same characteristics were integrated to hierarchical system states, the number of derived deviations that analyzer must decide its severity could be reduced from 92 to 61 in the analysis for system states, and from 284 to 134 in the analysis for system state transitions, respectively. 1. はじめに 近年, 飛行機や自動車などの組込み制御システムが複雑化する中で, 従来確保してきた安全性を維持 向上することが求められている. システムの安全性を確保するためには, システムの安全性を損なう故障とその要因を抽出する安全分析が重要である. また, 組込みシステムの設計においては,80% 程度に状態遷移図もしくは状態遷移表が用いられている [1]. 状態遷移図や状態遷移表を対象に安全分析を実施できる手法があると, より多くの組込みシステムに適用できるだけでなく, 安全分析の専門家以外の技術者も分析活動に参加し易くなると考えられる. 従来から用いられている安全分析手法として,FMEA(Failure Mode and Effect Analysis) [2],SFMEA[3],HAZOP(HAZards and Operability Analysis)[4],SHARD (Software Hazard Analysis and Resolution in Design)[5] がある. 我々は, 状態遷移図を用いてモデル化された組込みシステムに適用可能な安全分析手法 SASTD を提案した [6].SASTD は, 状態遷移図を対象に, 状態遷移図の各状態で満たされるべき性質が満たされないという逸脱と, 状態が遷移する際に実行されるべき処理が実行されないという逸脱を, ガイドワードを用いてより網羅的に列挙するための手法で,FMEA に比べて, より網羅的に分析できる. しかし, 大規模なシステムでは,1 つの状態遷移図に含まれる状態数が多くなるため,SASTD を適用し難いという問題がある. 本論文では,SASTD を拡張し, 階層型状態遷移図を対象とした安全分析手法 SAHSTD を提案する.1 つの状態遷移図に含まれる状態遷数を減らすため, 状態遷移図を階層構造で表現することで,1 つの状態遷移図を複数の小さな状態遷移図に分割できる.1 つの状態遷移図に含まれる状態数を少なくした階層型状態遷移図に対して, SAHSTD を適用することで, より容易に安全分析ができる.SAHSTD の適用性を確認するため, 話題沸騰ポット [7] を題材に, システム仕様に対して SAHSTD を適用し, SASTD と分析結果を比較する. その結果,SASTD と同等の安全分析結果が得られることに加えて, 同じ性質をもつ状態に対する, 重複した分析を省略することにより, SASTD に比べて本質的な分析量を減らすことができることを明らかにする. 2. 関連研究 状態遷移図に適用可能な安全分析手法を紹介する.SMHA(State Machine Hazard Analysis)[8] は, 状態遷移図を対象に, 初期状態から遷移可能なすべてのパスを網羅的に探索することで, 深刻な危害をもたらす状態に遷移するパスを見つけ出す手法である. 状態遷移図に, あらゆる障害が発生した場合の状態と, その状態へ遷移するパスが網羅的に記述されていることを前提としている. このような状態遷移図を作成す * 名古屋大学大学院情報科学研究科 Graduate School of Information Science, Nagoya University 1 c2012 Information Processing Society of Japan
2 るためには, まず, システムの故障や逸脱を分析し, その時のシステムの振る舞いを網羅的に状態遷移図に記述することが必要となる.SpecTRM(Specification Tools and Requirements Methodology)[9] は, 解析評価のための基準となる有限状態遷移モデルである. ソフトウェアの内部で規定されたモードや状態変数の遷移条件の一貫性と遷移条件の網羅性の確認は可能であるが, 状態で満たすべき性質の逸脱と, 状態遷移する際に起きる逸脱については考慮しておらず, 状態遷移図の網羅的な分析には向いていない. 複数のサブシステムで構成されるシステムに対しては, 従来の分析手法だけでは不十分であるという立場から STPA(STAMP Based Process Analysis)[10] が提案されているが, システム内部もしくはシステム間における情報の流れのみ着目して分析しており, システムの状態に対する逸脱を分析することは困難である. 3. SAHSTD 3.1 分析手法の概要 SAHSTD は, 階層型の状態遷移図に記述された, 各状態で満たすべき性質と, 状態が遷移する際に実行される処理に対して, それらが正常に満たされない, もしくは実行されないという逸脱を, ガイドワードを用いてより網羅的に列挙する手法である. 階層型状態遷移図の上位と下位に分けて分析することにより,1 つの状態遷移図に対して分析する状態数が減るため, 分析が容易になる. 逸脱により発生する危害の深刻度を分析した結果, 許容できない深刻な危害をもたらす逸脱が存在する場合には, その逸脱に対して, 許容可能なレベルまで危害の深刻度を低減する対策を検討する. 3.2 階層型状態遷移図に対する逸脱の分析状態遷移図には, システムの状態と, システム状態間の遷移関係が記述されている. システムの各状態で満たさせるべき性質は, 仕様もしくは設計で規定されるものとする. 状態遷移に対しては, 状態を遷移する条件 ( イベント ) と, イベントが発生して状態が遷移する際に実行される処理 ( アクション ) が規定されるものとする. アクションとして複数の処理が規定される場合には, それらの実行順番が変わってもシステムとして正しく動作するものとする.SAHSTD の手順は, 以下の様に行われる. (1) 想定できるグローバル影響 ( 逸脱によるシステム全体, もしくはシステム利用者に対する影響 ) と深刻度 ( 深刻さを示す評価値 ) の定義 (2) 上位の状態に対する分析 (3) 上位の状態遷移に対する分析 (4) 下位の状態に対する分析 (5) 下位の状態遷移に対する分析 (6)(2) から (5) の分析をしながら, 未定義のグローバル影響を追加 SAHSTD では, 上位と下位の状態遷移図に記述された, 状態遷移図に対する逸脱の 分析を, システム状態に対する分析と, 状態遷移に対する分析の 2 段階で逸脱を分析する. 分析を 2 段階に分ける理由は, システムがある状態に留まっている状況と, イベントが発生した際にシステムが取りうる振る舞いとで逸脱の性質が異なるため, 異なる視点から逸脱を分析する必要があるからである. 分析者が逸脱を列挙することを補助するために, 表 1 と表 2 に示すガイドワードと属性を分析の各段階で使用する. これらのガイドワードと属性は, より多くの状態遷移図に適用できるよう定めたが, 分析対象のシステムによっては, これら以外のガイドワードを定めて分析する方が, より分析し易くなることもあると思われる. 状態に対する分析では, 表 1 に示すガイドワードと属性の組み合わせから逸脱を考える. ここで分析するのは, システムがある状態に留まっている間に, 常に満たすべき性質からの逸脱と, 状態遷移の発生するイベントが発生していないにもかかわらず状態が遷移してしまうという, 状態遷移条件からの逸脱である. 次に, 状態遷移に対する分析では, 表 2 に示すガイドワードと属性の組み合わせから逸脱を考える. ここで分析するのは, 状態遷移における遷移先の状態が仕様と異なる逸脱や, 状態遷移のタイミングに関する逸脱, さらに, 正しい状態に遷移した後に実行されるアクション 表 1 状態に対するガイドワード Table 1 Guidewords for derivation of deviations on states. ガイドワード属性解釈 Value 値が正しくない More Transition イベントが発生していないにも関わらず, 状態が遷移する表 2 状態遷移に対するガイドワード Table 2 Guidewords for derivation of deviations on state transitions. ガイドワード属性解釈 No Incorrect Early Late More Incorrect Missing イベントは正しく検出できたが, 状態が遷移せず, 実行されるべきアクションが, すべて実行されない Transition 間違った状態に遷移し, 実行されるべきではないアクションが実行される想定したタイミングより早く状態が遷移し, 実行されるべきアクションが実行される想定したタイミングより遅く状態が遷移し, 実行されるべきアクションが実行される正しい状態に遷移し, 実行されるべきアクションはすべて正常に実行するが, 余分なアクションも実行されてしまう正しい状態に遷移するが, 実行されるべきアクションの代わりに, 本来実行されない Action アクションが実行される正しい状態に遷移するが, 実行されるべきアクションのうち, 実行されないアクションが存在する 2 c2012 Information Processing Society of Japan
3 に関する逸脱である. 3.3 分析項目 SAHSTD では,1 つの逸脱に対して 8 つの項目を順番に考えながら分析シートを作成する.1 つ目は, 逸脱を識別するための ID 番号である.2 つ目は, 分析対象である仕様, もしくは設計の記述である. 状態に対する分析では, 状態において満たすべき性質を, 状態遷移に対する分析では, 状態遷移に関する仕様, もしくは設計を記述する.3 つ目は, 前節で述べた分析手法を適用して列挙した逸脱の内容を, ガイドワードと属性と共に記述する.4 つ目のローカル影響は, 逸脱によるシステム内部動作への影響を記述する.5 つ目のグローバル影響は, 逸脱によるシステム全体, もしくはシステム利用者に対する影響を, ローカル影響から連鎖的に分析する.6 つ目の深刻度は, グローバル影響の深刻さを示す評価値である. 安全分析の前もしくは進める中で, システムの利用状況とグローバル影響を考慮してシステム開発者が決定する. 深刻度の決定においては, システムとして許容できるかどうかを, システムに求められる安全性, コスト制約などを踏まえて定義する必要がある.7 つ目の原因には, 逸脱が発生した原因として, ハードウェア, ソフトウェア, もしくはその両方に関連する原因を記述する.8 つ目の対策は, 逸脱の発生そのものを防ぐ対策, もしくは逸脱の発生を許容してその深刻度を低減するための対策を記述する. ソフトウェアとハードウェアの両方が含まれるシステムにおいては, 危害の発生確率を明確に算出することが困難である. 本論文では, 発生確率の大小に関わらず, すべての逸脱を列挙し, 危害の発生を許容できるかどうかを判断する際には, 深刻度のみを用いることにする. また, 許容できない深刻度をもつ逸脱に対してのみ, 原因分析と対策検討を実施するものとする. < 上位 > (H.1) コンセントを接続すると, アイドル状態になる. (H.2) アイドル状態で, 沸騰要求 ( 蓋センサー on) すると, 沸騰行為状態になる. (H.3) 沸騰行為状態で, 沸騰処理完了すると, 保温行為状態になる. (H.4) 保温行為状態で, 沸騰要求する ( 沸騰ボタン 100msec 以上押す ) と, 沸騰行為状態になる. (H.5) 沸騰行為状態で, エラーを検知すると, エラー状態になる. (H.6) 保温行為状態で, エラーを検知すると, エラー状態になる. (H.7) 沸騰行為状態で, 温度制御停止すると, アイドル状態になる. (H.8) 保温行為状態で, 温度制御停止すると, アイドル状態になる. < 下位 ( 沸騰行為状態 )> < 下位 ( 保温行為状態 )> (L.h.1) 沸騰要求すると, 加熱中状態になる. (L.k.1) 沸騰処理完了すると, 保温中状態になる. (L.h.2) 加熱中状態で, 沸点到達すると, カルキ抜き中状態になる. (L.h.3) 加熱中状態で, エラーを検知すると, エラー状態になる. (L.h.4) 加熱中状態で, 温度制御停止すると, アイドル状態になる. (L.h.5) カルキ抜き中状態で, エラーを検知すると, エラー状態になる. (L.h.6) カルキ抜き中状態で, 温度制御停止するとアイドル状態になる. (L.h.7) カルキ抜き中状態で, 沸騰処理完了すると保温行為状態になる. (L.k.2) 保温中状態で, 給湯要求すると, 給湯中状態になる. (L.k.3) 給湯中状態で, 給湯要求解除すると, 保温中状態になる. (L.k.4) 保温中状態で, エラーを検知すると, エラー状態になる. (L.k.5) 保温中状態で, 温度制御停止すると, アイドル状態になる. (L.k.6) 給湯中状態で, エラーを検知すると, エラー状態になる. (L.k.7) 給湯中状態で, 温度制御停止すると, アイドル状態になる. (L.k.8) 保温中状態で, 沸騰要求すると, 沸騰行為状態になる. 図 1 話題沸騰ポットのシステム仕様 Figure 1 System specification of the electric boiling pot. 4. 適用事例 4.1 話題沸騰ポットの概要話題沸騰ポットは, お湯を設定した温度まで加熱する機能をもつ架空の機器である. 話題沸騰ポットの内部には, ポンプ, ヒータ, 蓋センサ, 水位センサなどが接続されている. 話題沸騰ポットの上位と下位のシステム仕様を図 1 に示す. このシステム仕様から, 図 2 で示す階層型状態遷移図を作成する. 4.2 グローバル影響と深刻度の定義話題沸騰ポットにおけるグローバル影響とその深刻度を, 作業者の安全性とお湯の状態の観点から, 表 3 のように定義した. 作業者の安全性を確保するためにもっとも避けるべき状況は, お湯が入っていない状況で加熱が開始され ( 空焚きと呼ぶ ), ポット全体が非常に高温になり, 作業者がボタンを操作する際に触れて, やけどを負う状況であると考え, このときの深刻度を最も高い 9 とした. 次に避けるべきなのは, ロ Figure 2 図 2 話題沸騰ポットの階層型状態遷移図 Hierarchical state transition diagram of the electric boiling pot. 3 c2012 Information Processing Society of Japan
4 ック中で, 給湯ボタンを押していないのにも関わらず, 高温のお湯が出てしまう状況で, 深刻度を 7 とした. 深刻度が 6 以降は, 作業者の安全は確保されるが, お湯の状態に問題が発生する. 設定された温度のお湯を正しく給湯できる好ましい状況の深刻度は 0 とした. なお今回の分析では, 沸騰していない場合のお湯の温度は, やけどをしない低温であると仮定している. 深刻度の定義においては, グローバル影響の相対的な関係を明確にして, システムとして許容できる危害の範囲を明確にすることが重要である. したがって, 深刻度の絶対値には特別な意味はない. 4.3 安全分析の方針話題沸騰ポットに求められる安全性は, システムがどんな誤動作をしても作業者がやけどしないことを保障することと, 作業者がボタンを押していないのに, お湯がでることを防ぐ機能をもつことである. そこで, システムとして許容できる深刻度は 5 以下であるとした. 安全分析の結果,6 以上の深刻度をもつ危害を発生させる逸脱に対しては,5 以下に低減する対策を検討する. 本論文では, 安全分析を実施するにあたり,3 つの前提をおく.1 つ目は, 作業者の操作ミスは考慮しないことである. 現実的な安全分析においては, 作業者の操作ミスを考慮する必要があるが, 分析の範囲を限定するため, システムの逸脱のみを分析 作業者の安全性 表 3 グローバル影響と深刻度の定義 Table 3 Definitions of global effects and severities. グローバル影響定義 お湯の状態 やけどする 空焚きになる お湯が蒸発し, サーミスタが 110 を越える 9 やけどする 沸騰したお湯がでる ロック中状態で, ボタンを押していないのに, 高温の 8 お湯がでる やけどする 沸騰したお湯がでる ロック解除状態で, ボタンを押していないのに, 高温 7 のお湯がでる やけどしない 沸騰していないお湯がでる ロック中とロック解除状態で, ボタンを押していない 6 のに, 低温のお湯がでる やけどしない 沸騰されない 保温状態から沸騰したいけど, 沸騰できない 5 やけどしない 設定された温度になったけお湯がでない 4 ど, 給湯できない やけどしない 沸騰されない / 保温されない作業者の意思で沸騰 / 保温を中止する 3 やけどしない 沸騰されない / 保温されないお湯は入っている 2 やけどしない 沸騰される カルキ抜きが十分に抜かれないまま保温になる 1 やけどしない 沸騰完了する 設定された温度のお湯を給湯できる 0 深刻度 する.2 つ目は, 多重故障 ( 同時に発生する 2 つ以上の原因により発生する故障 ) は, 発生確率が十分低いと想定して考慮しないことである.3 つ目は, 分析する状態遷移図は, システムの仕様書と設計書から, 漏れなく作成されていることである. 今回の事例では, 表 2 で,Incorrect transition は, 矢印の方向に関係なく線が繋がっている部分のみを考える. また,More action は, 全てのアクションで, 同一の装置を操作しているので考える必要はない. 4.4 SAHSTD による分析話題沸騰ポットのシステム仕様に対して SAHSTD を適用した結果を述べる. 階層型状態遷移図における 1 つの逸脱に対して深刻度を決定する分析のパターンは, 図 3 に示す 4 つに分類できる. a の 12 番 No transition アイドル状態で, 沸騰要求したが, 沸騰行為状態に遷移しない は, 上位のアイドル状態の分析だけで, 深刻度を判断できる.b の 47 番 No transition カルキ抜き中状態で, 沸騰処理完了しても, 保温行為状態に遷移しない は, 下位のカルキ抜き中状態の分析だけで, 深刻度を判断できる.c は, 上位の分析において深刻度を判断する際に, 下位の分析結果を参照するパターンである. 上位と下位の状態遷移に対する分析で, 赤 4,5,6 番と青 15 番の点線は上位から下位の分析結果を参照する部分を示している. 保温行為状態の正しい性質は 沸騰ランプ :OFF a. 上位のみ分析 b. 下位のみ分析 c. 上位から下位の分析結果を参照 4 c2012 Information Processing Society of Japan
5 Figure 4 a. 上位の状態 b. 下位の状態図 4 重複した分析の例 An example of duplicate analysis between a higher state and a lower state. d. 下位から上位の分析結果を参照図 3 SAHSTD の分析パターン Figure 3 Analysis patterns of SAHSTD. 保温ランプ :ON, ヒータ :ON, ポンプ : 下位 ( 保温行為 ) である. ポンプの状態は, 保温行為状態の下位状態に対する分析結果を参照しないと深刻度を判断することができない. 赤の点線は, ポンプが閉めていて, 青の点線はポンプが開いている.d は, 下位の分析において深刻度を判断する際に, 上位の分析結果を参照するパターンである. 上位と下位の状態遷移に対する分析で, 赤と青の点線は下位から上位の分析結果を参照する部分を示している. 下位 48 番 Incorrect transition カルキ抜き中状態で, 沸騰処理完了すると, アイドル状態になる では, 上位 19 番 沸騰行為状態で, 沸騰処理完了すると, アイドル状態になる の分析結果を参照することで深刻度を決定できる.49 番も同様に, 上位 20 番の分析結果を参照する. 図 4 は, 上位の状態遷移図の沸騰行為状態に対して分析した結果と沸騰行為状態の下位の状態である加熱中状態に対して分析した結果である. どちらの分析においても同一の逸脱を分析しており, 重複した分析である. どちらの状態で満たされる性質も 沸騰ランプ ON, 保温ランプ OFF, ヒータ ON, ポンプ閉 という性質が共通であるため, このような場合には上位の分析だけで十分であり, 下位の分析を省略しても良いと考えられる. ただし, 上位と下位の状態で満たされる性質が異なる場合は, 上位と下位の分析を別々に行う必要がある. 4.5 SASTD と SAHSTD の分析結果の比較話題沸騰ポットに対して SASTD と SAHSTD を実施した結果を比較する. まず, 深 刻な危害をもたらす逸脱の分析結果は全て同じであることから,SASTD で分析可能な逸脱は,SAHSTD でも分析可能であることを確認した. 次に,SASTD と SAHSTD の分析数を表 4 と表 5 に示す.SAHSTD の分析数は, 上位の分析数と下位の分析数に分けて示している. 上位で分析済み は, 下位で分析した数のうち, 上位の分析で既に同一の分析を実施している数を示している. 下位の分析を参照 は, 上位 ( 沸騰行為状態と保温行為状態 ) の分析において, 下位の分析結果を参照することで深刻度を判断した数である. 本質的な分析数 は, 全ての分析数から, 上位で分析済み の数と 下位の分析を参照 の数を除いた, 深刻度を純粋に決定した分析数である. 状態に対する分析では,SASTD は 72 個,SAHSTD は全体で 92 個の分析を行ったが本質的な分析数は 61 個であった. 状態遷移に対する分析では, SASTD は 215 個であるのに対して,SAHSTD は全体で 284 個の分析を行ったが, 本質的な分析数は 134 個であった. 今回の事例では, SAHSTD の分析において, 上位と下位で重複する分析を省略し, さらに, 上位の分析において, 下位の分析結果を参照することで分析の重複を防ぐことにより,SASTD よりも本質的に必要な分析数を減らすことができた. このことは, 1 つの状態遷移図において満たすべき性質が同じである複数の状態を, 階層型状態遷移図で階層化することで, 重複した分析をなくすことができることを意味する. 5. おわりに 本論文では, 階層型状態遷移図に基づく安全分析手法 SAHSTD を提案した. 状態遷移図を階層化することで,1 つの状態遷移図に含まれる状態数を減らすことで分析の負担を軽減できる. さらに, 適用事例において, 上位と下位の分析で重複した分析をなくすことで,SASTD に比べて分析数を削減できることを明らかにした. 従って,1 つの状態遷移図を対象にする SASTD より分析が容易になったといえる. ただし, 組 5 c2012 Information Processing Society of Japan
6 込みシステムの安全分析において, 分析の網羅性をより向上させるためには, SAHSTD と複数の安全分析手法を組み合わせて適用することが望ましいと考えられる. 今後の課題としては, 話題沸騰ポットに適した安全機能の検討や, 並列に動作する 2 つの状態遷移が存在するシステムに対する安全分析手法を検討する. 表 4 状態に対する分析結果 Table 4 Analysis results for system states. SASTD 上位 SAHSTD 下位 上位で分析済み下位の分析を参照本質的な分析数 アイドル エラー 沸騰行為 保温行為 加熱中 カルキ抜き中 保温中 給湯中 合計 表 5 状態遷移に対する分析結果 Table 5 Analysis results for state transitions of the system. SASTD SAHSTD 上位 下位 上位で分析済み下位の分析を参照本質的な分析数 コンセント アイドル アイドル 沸騰行為 アイドル 加熱中 13 沸騰行為 保温行為 保温行為 沸騰行為 沸騰行為 エラー カルキ抜き中 保温中 13 保温中 加熱中 15 保温行為 エラー 沸騰行為 アイドル 保温行為 アイドル 保温行為 加熱中 加熱中 カルキ抜き中 加熱中 アイドル カルキ抜き中 アイドル 加熱中 エラー カルキ抜き中 エラー カルキ抜き中 保温行為 沸騰行為 保温中 保温中 沸騰行為 保温中 給湯中 給湯中 保温中 保温中 アイドル 給湯中 アイドル 保温中 エラー 給湯中 エラー 合計 参考文献 1) 経済産業省, 組込みソフトウェア産業実態調査 : プロジェクト責任者向け調査, ) N.G. Leveson, Failure Mode and Effect Analysis, Safeware: System Safety and Computers, pp , Addison-Wesley, ) R.Lutz and M.Woodhouse, Experience Report: Contributions of SFMEA to Requirements Analysis, IEEE International Conference on Requirements Engineering, ) N.G. Leveson, Hazards and Operability Analysis, Safeware: System Safety and Computers, pp , Addison-Wesley, ) D. J. Pumfrey, The Principled Design of Computer System Safety Analyses, PhD Thesis, York University, ) 金周慧, 松原豊, 高田広章, 状態遷移図に着目した安全分析手法, 電子情報通信学会論文誌 A, Vol.J95-A,No.2, Feb ) SESSAME, 話題沸騰ポット (GOMA-1015 型 ) 要求仕様書第 7 版 8) N.G. Leveson, J.L. Stolzy, Safety Analysis Using Petri Nets, IEEE Transactions on Software Engineering, Vol. SE-13, No. 3, pp ,The Institute of Electrical and Electronics Engineers, ) N.G. Leveson, The SpecTRM-RL language, ) T. Ishimatsu, N. Leveson, J. Thomas, M. Katahira, Y. Miyamoto, H. Nakao, Modeling and Hazard Analysis using STPA, 4th IAASS Conference, c2012 Information Processing Society of Japan
要旨 SLP を用いて要求仕様書を書くと レビューを効率的に行うことができます SLP の簡易な文法に従って記述するだけで 主語のもれや 場合分けのもれに気づくことができます SLP が自動生成する状態遷移表を活用することで 論理的な整合性の誤りを効率的に発見することができます 2
WOCS2011 2011.1.18 簡易な形式仕様記述と状態遷移表を 併用した要求仕様書のレビュー方法 産業技術総合研究所水口大知株式会社ジェーエフピー漆原憲博 1 要旨 SLP を用いて要求仕様書を書くと レビューを効率的に行うことができます SLP の簡易な文法に従って記述するだけで 主語のもれや 場合分けのもれに気づくことができます SLP が自動生成する状態遷移表を活用することで 論理的な整合性の誤りを効率的に発見することができます
2. CABAC CABAC CABAC 1 1 CABAC Figure 1 Overview of CABAC 2 DCT 2 0/ /1 CABAC [3] 3. 2 値化部 コンテキスト計算部 2 値算術符号化部 CABAC CABAC
![2. CABAC CABAC CABAC 1 1 CABAC Figure 1 Overview of CABAC 2 DCT 2 0/ /1 CABAC [3] 3. 2 値化部 コンテキスト計算部 2 値算術符号化部 CABAC CABAC](/thumbs/92/108208872.jpg "2. CABAC CABAC CABAC 1 1 CABAC Figure 1 Overview of CABAC 2 DCT 2 0/ /1 CABAC [3] 3. 2 値化部 コンテキスト計算部 2 値算術符号化部 CABAC CABAC")
H.264 CABAC 1 1 1 1 1 2, CABAC(Context-based Adaptive Binary Arithmetic Coding) H.264, CABAC, A Parallelization Technology of H.264 CABAC For Real Time Encoder of Moving Picture YUSUKE YATABE 1 HIRONORI
1., 1 COOKPAD 2, Web.,,,,,,.,, [1]., 5.,, [2].,,.,.,, 5, [3].,,,.,, [4], 33,.,,.,,.. 2.,, 3.., 4., 5., ,. 1.,,., 2.,. 1,,
![1., 1 COOKPAD 2, Web.,,,,,,.,, [1]., 5.,, [2].,,.,.,, 5, [3].,,,.,, [4], 33,.,,.,,.. 2.,, 3.., 4., 5., ,. 1.,,., 2.,. 1,,](/thumbs/50/25936361.jpg "1., 1 COOKPAD 2, Web.,,,,,,.,, [1]., 5.,, [2].,,.,.,, 5, [3].,,,.,, [4], 33,.,,.,,.. 2.,, 3.., 4., 5., ,. 1.,,., 2.,. 1,,")
THE INSTITUTE OF ELECTRONICS, INFORMATION AND COMMUNICATION ENGINEERS TECHNICAL REPORT OF IEICE.,, 464 8601 470 0393 101 464 8601 E-mail: matsunagah@murase.m.is.nagoya-u.ac.jp, {ide,murase,hirayama}@is.nagoya-u.ac.jp,
1 Fig. 1 Extraction of motion,.,,, 4,,, 3., 1, 2. 2.,. CHLAC,. 2.1,. (256 ).,., CHLAC. CHLAC, HLAC. 2.3 (HLAC ) r,.,. HLAC. N. 2 HLAC Fig. 2
CHLAC 1 2 3 3,. (CHLAC), 1).,.,, CHLAC,.,. Suspicious Behavior Detection based on CHLAC Method Hideaki Imanishi, 1 Toyohiro Hayashi, 2 Shuichi Enokida 3 and Toshiaki Ejima 3 We have proposed a method for
テスト設計コンテスト フロア展示資料
チーム nema: フロア展示資料 話題沸騰ポット (GOMA-1015 型 ) テスト設計書 ~ 安全なポットを使っていただくために ~ チーム紹介 NEC の QC 活動のひとつに テスト技術者交流会 があり NEC グループ関係会社を含め約 200 名のメンバーが在籍 この交流会ではこれまで下記のような活動をしてきた 結合テストにおけるテスト観点のモレヌケ防止を目的にした テスト設計テンプレート
THE INSTITUTE OF ELECTRONICS, INFORMATION AND COMMUNICATION ENGINEERS TECHNICAL REPORT OF IEICE.
THE INSTITUTE OF ELECTRONICS, INFORMATION AND COMMUNICATION ENGINEERS TECHNICAL REPORT OF IEICE. E-mail: {ytamura,takai,tkato,tm}@vision.kuee.kyoto-u.ac.jp Abstract Current Wave Pattern Analysis for Anomaly
A Study on Throw Simulation for Baseball Pitching Machine with Rollers and Its Optimization Shinobu SAKAI*5, Yuichiro KITAGAWA, Ryo KANAI and Juhachi
A Study on Throw Simulation for Baseball Pitching Machine with Rollers and Its Optimization Shinobu SAKAI*5, Yuichiro KITAGAWA, Ryo KANAI and Juhachi ODA Department of Human and Mechanical Systems Engineering,
1 Web [2] Web [3] [4] [5], [6] [7] [8] S.W. [9] 3. MeetingShelf Web MeetingShelf MeetingShelf (1) (2) (3) (4) (5) Web MeetingShelf
![1 Web [2] Web [3] [4] [5], [6] [7] [8] S.W. [9] 3. MeetingShelf Web MeetingShelf MeetingShelf (1) (2) (3) (4) (5) Web MeetingShelf](/thumbs/79/80104027.jpg "1 Web [2] Web [3] [4] [5], [6] [7] [8] S.W. [9] 3. MeetingShelf Web MeetingShelf MeetingShelf (1) (2) (3) (4) (5) Web MeetingShelf")
1,a) 2,b) 4,c) 3,d) 4,e) Web A Review Supporting System for Whiteboard Logging Movies Based on Notes Timeline Taniguchi Yoshihide 1,a) Horiguchi Satoshi 2,b) Inoue Akifumi 4,c) Igaki Hiroshi 3,d) Hoshi
IPSJ SIG Technical Report Secret Tap Secret Tap Secret Flick 1 An Examination of Icon-based User Authentication Method Using Flick Input for
1 2 3 3 1 Secret Tap Secret Tap Secret Flick 1 An Examination of Icon-based User Authentication Method Using Flick Input for Mobile Terminals Kaoru Wasai 1 Fumio Sugai 2 Yosihiro Kita 3 Mi RangPark 3 Naonobu
Table 1. Assumed performance of a water electrol ysis plant. Fig. 1. Structure of a proposed power generation system utilizing waste heat from factori
Proposal and Characteristics Evaluation of a Power Generation System Utilizing Waste Heat from Factories for Load Leveling Pyong Sik Pak, Member, Takashi Arima, Non-member (Osaka University) In this paper,
Instability of Aerostatic Journal Bearings with Porous Floating Bush at High Speeds Masaaki MIYATAKE *4, Shigeka YOSHIMOTO, Tomoaki CHIBA and Akira CH
Instability of Aerostatic Journal Bearings with Porous Floating Bush at High Speeds Masaaki MIYATAKE *4, Shigeka YOSHIMOTO, Tomoaki CHIBA and Akira CHIBA Department of Mechanical Engineering, Tokyo University
& Vol.5 No (Oct. 2015) TV 1,2,a) , Augmented TV TV AR Augmented Reality 3DCG TV Estimation of TV Screen Position and Ro
TV 1,2,a) 1 2 2015 1 26, 2015 5 21 Augmented TV TV AR Augmented Reality 3DCG TV Estimation of TV Screen Position and Rotation Using Mobile Device Hiroyuki Kawakita 1,2,a) Toshio Nakagawa 1 Makoto Sato
IPSJ SIG Technical Report Vol.2017-ARC-225 No.12 Vol.2017-SLDM-179 No.12 Vol.2017-EMB-44 No /3/9 1 1 RTOS DefensiveZone DefensiveZone MPU RTOS
1 1 RTOS DefensiveZone DefensiveZone MPU RTOS RTOS OS Lightweight partitioning architecture for automotive systems Suzuki Takehito 1 Honda Shinya 1 Abstract: Partitioning using protection RTOS has high
258 5) GPS 1 GPS 6) GPS DP 7) 8) 10) GPS GPS 2 3 4 5 2. 2.1 3 1) GPS Global Positioning System
Vol. 52 No. 1 257 268 (Jan. 2011) 1 2, 1 1 measurement. In this paper, a dynamic road map making system is proposed. The proposition system uses probe-cars which has an in-vehicle camera and a GPS receiver.
揃 24 1681 0 20 40 60 80 100 0 21 42 63 84 Lag [hour] Lag [day] 35
![揃 24 1681 0 20 40 60 80 100 0 21 42 63 84 Lag [hour] Lag [day] 35](/thumbs/40/20539367.jpg "揃 24 1681 0 20 40 60 80 100 0 21 42 63 84 Lag [hour] Lag [day] 35")
Forecasting Model for Electricity Consumption in Residential House Based on Time Series Analysis * ** *** Shuhei Kondo Nobayasi Masamori Shuichi Hokoi ( 2015 7 3 2015 12 11 ) After the experience of electric
(a) 1 (b) 3. Gilbert Pernicka[2] Treibitz Schechner[3] Narasimhan [4] Kim [5] Nayar [6] [7][8][9] 2. X X X [10] [11] L L t L s L = L t + L s
![(a) 1 (b) 3. Gilbert Pernicka[2] Treibitz Schechner[3] Narasimhan [4] Kim [5] Nayar [6] [7][8][9] 2. X X X [10] [11] L L t L s L = L t + L s](/thumbs/75/72066128.jpg "(a) 1 (b) 3. Gilbert Pernicka[2] Treibitz Schechner[3] Narasimhan [4] Kim [5] Nayar [6] [7][8][9] 2. X X X [10] [11] L L t L s L = L t + L s")
1 1 1, Extraction of Transmitted Light using Parallel High-frequency Illumination Kenichiro Tanaka 1 Yasuhiro Mukaigawa 1 Yasushi Yagi 1 Abstract: We propose a new sharpening method of transmitted scene
IPSJ SIG Technical Report Vol.2013-IS-126 No /12/ CIO Examination of Strategic Decision Making for System Planning Phase Yukio Amagai
1 1 1 1 2 CIO Examination of Strategic Decision Making for System Planning Phase Yukio Amagai 1 Masato Yokota 1 Masahiro Ide 1 Ryuichi Harada 1 Hironori Washizaki 2 Decision making in such as a systemization
IPSJ SIG Technical Report Pitman-Yor 1 1 Pitman-Yor n-gram A proposal of the melody generation method using hierarchical pitman-yor language model Aki
Pitman-Yor Pitman-Yor n-gram A proposal of the melody generation method using hierarchical pitman-yor language model Akira Shirai and Tadahiro Taniguchi Although a lot of melody generation method has been
2. Twitter Twitter 2.1 Twitter Twitter( ) Twitter Twitter ( 1 ) RT ReTweet RT ReTweet RT ( 2 ) URL Twitter Twitter 140 URL URL URL 140 URL URL
1. Twitter 1 2 3 3 3 Twitter Twitter ( ) Twitter (trendspotter) Twitter 5277 24 trendspotter TRENDSPOTTER DETECTION SYSTEM FOR TWITTER Wataru Shirakihara, 1 Tetsuya Oishi, 2 Ryuzo Hasegawa, 3 Hiroshi Hujita
IPSJ SIG Technical Report Vol.2016-CE-137 No /12/ e β /α α β β / α A judgment method of difficulty of task for a learner using simple
1 2 3 4 5 e β /α α β β / α A judgment method of difficulty of task for a learner using simple electroencephalograph Katsuyuki Umezawa 1 Takashi Ishida 2 Tomohiko Saito 3 Makoto Nakazawa 4 Shigeichi Hirasawa
ID 3) 9 4) 5) ID 2 ID 2 ID 2 Bluetooth ID 2 SRCid1 DSTid2 2 id1 id2 ID SRC DST SRC 2 2 ID 2 2 QR 6) 8) 6) QR QR QR QR
Vol. 51 No. 11 2081 2088 (Nov. 2010) 2 1 1 1 which appended specific characters to the information such as identification to avoid parity check errors, before QR Code encoding with the structured append
6 2. AUTOSAR 2.1 AUTOSAR AUTOSAR ECU OSEK/VDX 3) OSEK/VDX OS AUTOSAR AUTOSAR ECU AUTOSAR 1 AUTOSAR BSW (Basic Software) (Runtime Environment) Applicat
AUTOSAR 1 1, 2 2 2 AUTOSAR AUTOSAR 3 2 2 41% 29% An Extension of AUTOSAR Communication Layers for Multicore Systems Toshiyuki Ichiba, 1 Hiroaki Takada, 1, 2 Shinya Honda 2 and Ryo Kurachi 2 AUTOSAR, a
3_23.dvi
Vol. 52 No. 3 1234 1244 (Mar. 2011) 1 1 mixi 1 Casual Scheduling Management and Shared System Using Avatar Takashi Yoshino 1 and Takayuki Yamano 1 Conventional scheduling management and shared systems
Vol. 48 No. 3 Mar PM PM PMBOK PM PM PM PM PM A Proposal and Its Demonstration of Developing System for Project Managers through University-Indus
Vol. 48 No. 3 Mar. 2007 PM PM PMBOK PM PM PM PM PM A Proposal and Its Demonstration of Developing System for Project Managers through University-Industry Collaboration Yoshiaki Matsuzawa and Hajime Ohiwa
Vol. 48 No. 4 Apr LAN TCP/IP LAN TCP/IP 1 PC TCP/IP 1 PC User-mode Linux 12 Development of a System to Visualize Computer Network Behavior for L
Vol. 48 No. 4 Apr. 2007 LAN TCP/IP LAN TCP/IP 1 PC TCP/IP 1 PC User-mode Linux 12 Development of a System to Visualize Computer Network Behavior for Learning to Associate LAN Construction Skills with TCP/IP
1 1 CodeDrummer CodeMusician CodeDrummer Fig. 1 Overview of proposal system c
CodeDrummer: 1 2 3 1 CodeDrummer: Sonification Methods of Function Calls in Program Execution Kazuya Sato, 1 Shigeyuki Hirai, 2 Kazutaka Maruyama 3 and Minoru Terada 1 We propose a program sonification
IPSJ SIG Technical Report Vol.2014-CDS-10 No /5/ Intuitive appliance control method based on high-accurate indoor localization system
1 1 1 1 Intuitive appliance control method based on high-accurate indoor localization system Jun Komeda 1 Yutaka Arakawa 1 Morihiko Tamai 1 Keiichi Yasumoto 1 Abstract: In our home, the increase of appliances
IPSJ SIG Technical Report Vol.2011-MUS-91 No /7/ , 3 1 Design and Implementation on a System for Learning Songs by Presenting Musical St
1 2 1, 3 1 Design and Implementation on a System for Learning Songs by Presenting Musical Structures based on Phrase Similarity Yuma Ito, 1 Yoshinari Takegawa, 2 Tsutomu Terada 1, 3 and Masahiko Tsukamoto
テスト設計コンテスト
でこパン 462 1/2X 1/8 チーム紹介だよ チーム名 いしえもんリーダー あずにゃん ODA 発表者 ばやしこ いいだぬき でこパン 462 は入社 2 年目 ~4 年目のテスト経験の浅いひよっこチーム 普段の業務ではシステムテストを担当している 今回はテスト設計技術向上のため コンテスト参加を決めた でこパン 462 2/8 テスト設計の流れ 次は機能観点の説明! 話題沸騰ポット (GOMA-1015
untitled
2010 58 1 39 59 c 2010 20 2009 11 30 2010 6 24 6 25 1 1953 12 2008 III 1. 5, 1961, 1970, 1975, 1982, 1992 12 2008 2008 226 0015 32 40 58 1 2010 III 2., 2009 3 #3.xx #3.1 #3.2 1 1953 2 1958 12 2008 1 2
テスト設計コンテスト
テスト設計コンテスト 17 話題沸騰ポット (GOMA-1015 型 ) テスト設計 目次 Page 2/25 1. はじめにチーム紹介チームの立ち位置テスト設計の流れ 2. テスト要求分析テスト要求分析の流れ仕様把握と機能要求分析非機能要求分析因子水準表 3. テストアーキテクチャ設計アーキテクチャ設計の流れテストアーキテクチャ全体俯瞰図機能アーキテクチャ非機能アーキテクチャシステム全体俯瞰図 4.
24 LED A visual programming environment for art work using a LED matrix
24 LED A visual programming environment for art work using a LED matrix 1130302 2013 3 1 LED,,,.,. Arduino. Arduino,,,., Arduino,.,, LED,., Arduino, LED, i Abstract A visual programming environment for
1: A/B/C/D Fig. 1 Modeling Based on Difference in Agitation Method artisoc[7] A D 2017 Information Processing
![1: A/B/C/D Fig. 1 Modeling Based on Difference in Agitation Method artisoc[7] A D 2017 Information Processing](/thumbs/88/115893223.jpg "1: A/B/C/D Fig. 1 Modeling Based on Difference in Agitation Method artisoc[7] A D 2017 Information Processing")
1,a) 2,b) 3 Modeling of Agitation Method in Automatic Mahjong Table using Multi-Agent Simulation Hiroyasu Ide 1,a) Takashi Okuda 2,b) Abstract: Automatic mahjong table refers to mahjong table which automatically
IPSJ SIG Technical Report Vol.2010-SLDM-144 No.50 Vol.2010-EMB-16 No.50 Vol.2010-MBL-53 No.50 Vol.2010-UBI-25 No /3/27 Twitter IME Twitte
Twitter 1 1 1 IME Twitter 2009 12 15 2010 2 1 13590 4.83% 8.16% 2 3 Web 10 45% Relational Analysis between User Context and Input Word on Twitter Yutaka Arakawa, 1 Shigeaki Tagashira 1 and Akira Fukuda
TCP/IP IEEE Bluetooth LAN TCP TCP BEC FEC M T M R M T 2. 2 [5] AODV [4]DSR [3] 1 MS 100m 5 /100m 2 MD 2 c 2009 Information Processing Society of
![TCP/IP IEEE Bluetooth LAN TCP TCP BEC FEC M T M R M T 2. 2 [5] AODV [4]DSR [3] 1 MS 100m 5 /100m 2 MD 2 c 2009 Information Processing Society of](/thumbs/86/93291802.jpg "TCP/IP IEEE Bluetooth LAN TCP TCP BEC FEC M T M R M T 2. 2 [5] AODV [4]DSR [3] 1 MS 100m 5 /100m 2 MD 2 c 2009 Information Processing Society of")
IEEE802.11 [1]Bluetooth [2] 1 1 (1) [6] Ack (Ack) BEC FEC (BEC) BEC FEC 100 20 BEC FEC 6.19% 14.1% High Throughput and Highly Reliable Transmission in MANET Masaaki Kosugi 1 and Hiroaki Higaki 1 1. LAN
DPA,, ShareLog 3) 4) 2.2 Strino Strino STRain-based user Interface with tacticle of elastic Natural ObjectsStrino 1 Strino ) PC Log-Log (2007 6)
1 2 1 3 Experimental Evaluation of Convenient Strain Measurement Using a Magnet for Digital Public Art Junghyun Kim, 1 Makoto Iida, 2 Takeshi Naemura 1 and Hiroyuki Ota 3 We present a basic technology
IPSJ SIG Technical Report Vol.2012-CG-148 No /8/29 3DCG 1,a) On rigid body animation taking into account the 3D computer graphics came
3DCG 1,a) 2 2 2 2 3 On rigid body animation taking into account the 3D computer graphics camera viewpoint Abstract: In using computer graphics for making games or motion pictures, physics simulation is
HP cafe HP of A A B of C C Map on N th Floor coupon A cafe coupon B Poster A Poster A Poster B Poster B Case 1 Show HP of each company on a user scree
LAN 1 2 3 2 LAN WiFiTag WiFiTag LAN LAN 100% WiFi Tag An Improved Determination Method with Multiple Access Points for Relative Position Estimation Using Wireless LAN Abstract: We have proposed a WiFiTag
知能と情報, Vol.30, No.5, pp
1, Adobe Illustrator Photoshop [1] [2] [3] Initital Values Assignment of Parameters Using Onomatopoieas for Interactive Design Tool Tsuyoshi NAKAMURA, Yuki SAWAMURA, Masayoshi KANOH, and Koji YAMADA Graduate
VDM-SL ISO.VDM++ VDM-SL VDM- RT VDM++ VDM,.VDM, [5]. VDM VDM++.,,, [7]., VDM++.,., [7] VDM++.,,,,,,,.,,, VDM VDMTools OvertureTo
![VDM-SL ISO.VDM++ VDM-SL VDM- RT VDM++ VDM,.VDM, [5]. VDM VDM++.,,, [7]., VDM++.,., [7] VDM++.,,,,,,,.,,, VDM VDMTools OvertureTo](/thumbs/71/65592156.jpg "VDM-SL ISO.VDM++ VDM-SL VDM- RT VDM++ VDM,.VDM, [5]. VDM VDM++.,,, [7]., VDM++.,., [7] VDM++.,,,,,,,.,,, VDM VDMTools OvertureTo")
KAOS 1 1 1 1 1,.,. ( ). KAOS VDM++.,.,,, 1. 1.1,, [1].,,, [2].,, [3]. 1.2 ( ),, [3] KAOS, VDM++, KAOS VDM++ 1 Kyushu University, KAOS,, KAOS, KAOS, VDM++., 1.3 2,., 3, KAOS VDM++. 4, 3,. 5 2. 2.1,,,,,
<95DB8C9288E397C389C88A E696E6462>
2011 Vol.60 No.2 p.138 147 Performance of the Japanese long-term care benefit: An International comparison based on OECD health data Mie MORIKAWA[1] Takako TSUTSUI[2] [1]National Institute of Public Health,
17 Proposal of an Algorithm of Image Extraction and Research on Improvement of a Man-machine Interface of Food Intake Measuring System
1. (1) ( MMI ) 2. 3. MMI Personal Computer(PC) MMI PC 1 1 2 (%) (%) 100.0 95.2 100.0 80.1 2 % 31.3% 2 PC (3 ) (2) MMI 2 ( ),,,, 49,,p531-532,2005 ( ),,,,,2005,p66-p67,2005 17 Proposal of an Algorithm of
MmUm+FopX m Mm+Mop F-Mm(Fop-Mopum)M m+mop MSuS+FX S M S+MOb Fs-Ms(Mobus-Fex)M s+mob Fig. 1 Particle model of single degree of freedom master/ slave sy
Analysis and Improvement of Digital Control Stability for Master-Slave Manipulator System Koichi YOSHIDA* and Tetsuro YABUTA* Some bilateral controls of master-slave system have been designed, which can
1 UD Fig. 1 Concept of UD tourist information system. 1 ()KDDI UD 7) ) UD c 2010 Information Processing S
UD 1 2 3 4 1 UD UD UD 2008 2009 Development and Evaluation of UD Tourist Information System Using Mobile Phone to Heritage Park HISASHI ICHIKAWA, 1 HIROYUKI FUKUOKA, 2 YASUNORI OSHIDA, 3 TORU KANO 4 and
1 Table 1: Identification by color of voxel Voxel Mode of expression Nothing Other 1 Orange 2 Blue 3 Yellow 4 SSL Humanoid SSL-Vision 3 3 [, 21] 8 325
![1 Table 1: Identification by color of voxel Voxel Mode of expression Nothing Other 1 Orange 2 Blue 3 Yellow 4 SSL Humanoid SSL-Vision 3 3 [, 21] 8 325](/thumbs/91/105378470.jpg "1 Table 1: Identification by color of voxel Voxel Mode of expression Nothing Other 1 Orange 2 Blue 3 Yellow 4 SSL Humanoid SSL-Vision 3 3 [, 21] 8 325")
社団法人人工知能学会 Japanese Society for Artificial Intelligence 人工知能学会研究会資料 JSAI Technical Report SIG-Challenge-B3 (5/5) RoboCup SSL Humanoid A Proposal and its Application of Color Voxel Server for RoboCup SSL
A Feasibility Study of Direct-Mapping-Type Parallel Processing Method to Solve Linear Equations in Load Flow Calculations Hiroaki Inayoshi, Non-member
A Feasibility Study of Direct-Mapping-Type Parallel Processing Method to Solve Linear Equations in Load Flow Calculations Hiroaki Inayoshi, Non-member (University of Tsukuba), Yasuharu Ohsawa, Member (Kobe
Vol.55 No (Jan. 2014) saccess 6 saccess 7 saccess 2. [3] p.33 * B (A) (B) (C) (D) (E) (F) *1 [3], [4] Web PDF a m
![Vol.55 No (Jan. 2014) saccess 6 saccess 7 saccess 2. [3] p.33 * B (A) (B) (C) (D) (E) (F) *1 [3], [4] Web PDF a m](/thumbs/92/108648363.jpg "Vol.55 No (Jan. 2014) saccess 6 saccess 7 saccess 2. [3] p.33 * B (A) (B) (C) (D) (E) (F) *1 [3], [4] Web PDF a m")
Vol.55 No.1 2 15 (Jan. 2014) 1,a) 2,3,b) 4,3,c) 3,d) 2013 3 18, 2013 10 9 saccess 1 1 saccess saccess Design and Implementation of an Online Tool for Database Education Hiroyuki Nagataki 1,a) Yoshiaki
IPSJ SIG Technical Report Vol.2011-EC-19 No /3/ ,.,., Peg-Scope Viewer,,.,,,,. Utilization of Watching Logs for Support of Multi-
1 3 5 4 1 2 1,.,., Peg-Scope Viewer,,.,,,,. Utilization of Watching Logs for Support of Multi-View Video Contents Kosuke Niwa, 1 Shogo Tokai, 3 Tetsuya Kawamoto, 5 Toshiaki Fujii, 4 Marutani Takafumi,
DEIM Forum 2010 A Web Abstract Classification Method for Revie
DEIM Forum 2010 A2-2 305 8550 1 2 305 8550 1 2 E-mail: s0813158@u.tsukuba.ac.jp, satoh@slis.tsukuba.ac.jp Web Abstract Classification Method for Reviews using Degree of Mentioning each Viewpoint Tomoya
Fig. 3 Flow diagram of image processing. Black rectangle in the photo indicates the processing area (128 x 32 pixels).
Fig. 1 The scheme of glottal area as a function of time Fig. 3 Flow diagram of image processing. Black rectangle in the photo indicates the processing area (128 x 32 pixels). Fig, 4 Parametric representation
28 Horizontal angle correction using straight line detection in an equirectangular image
28 Horizontal angle correction using straight line detection in an equirectangular image 1170283 2017 3 1 2 i Abstract Horizontal angle correction using straight line detection in an equirectangular image
Q [4] 2. [3] [5] ϵ- Q Q CO CO [4] Q Q [1] i = X ln n i + C (1) n i i n n i i i n i = n X i i C exploration exploitation [4] Q Q Q ϵ 1 ϵ 3. [3] [5] [4]
![Q [4] 2. [3] [5] ϵ- Q Q CO CO [4] Q Q [1] i = X ln n i + C (1) n i i n n i i i n i = n X i i C exploration exploitation [4] Q Q Q ϵ 1 ϵ 3. [3] [5] [4]](/thumbs/93/112440494.jpg "Q [4] 2. [3] [5] ϵ- Q Q CO CO [4] Q Q [1] i = X ln n i + C (1) n i i n n i i i n i = n X i i C exploration exploitation [4] Q Q Q ϵ 1 ϵ 3. [3] [5] [4]")
1,a) 2,3,b) Q ϵ- 3 4 Q greedy 3 ϵ- 4 ϵ- Comparation of Methods for Choosing Actions in Werewolf Game Agents Tianhe Wang 1,a) Tomoyuki Kaneko 2,3,b) Abstract: Werewolf, also known as Mafia, is a kind of
Table 1. Reluctance equalization design. Fig. 2. Voltage vector of LSynRM. Fig. 4. Analytical model. Table 2. Specifications of analytical models. Fig
Mover Design and Performance Analysis of Linear Synchronous Reluctance Motor with Multi-flux Barrier Masayuki Sanada, Member, Mitsutoshi Asano, Student Member, Shigeo Morimoto, Member, Yoji Takeda, Member
1 7.35% 74.0% linefeed point c 200 Information Processing Society of Japan
1 2 3 Incremental Linefeed Insertion into Lecture Transcription for Automatic Captioning Masaki Murata, 1 Tomohiro Ohno 2 and Shigeki Matsubara 3 The development of a captioning system that supports the
IPSJ SIG Technical Report Vol.2009-DPS-141 No.20 Vol.2009-GN-73 No.20 Vol.2009-EIP-46 No /11/27 1. MIERUKEN 1 2 MIERUKEN MIERUKEN MIERUKEN: Spe
1. MIERUKEN 1 2 MIERUKEN MIERUKEN MIERUKEN: Speech Visualization System Based on Augmented Reality Yuichiro Nagano 1 and Takashi Yoshino 2 As the spread of the Augmented Reality(AR) technology and service,
IPSJ SIG Technical Report Vol.2014-IOT-27 No.14 Vol.2014-SPT-11 No /10/10 1,a) 2 zabbix Consideration of a system to support understanding of f
1,a) 2 zabbix Consideration of a system to support understanding of fault occurrences based on the similarity of the time series Miyaza Nao 1,a) Masuda Hideo 2 Abstract: With the development of network
( ) [1] [4] ( ) 2. [5] [6] Piano Tutor[7] [1], [2], [8], [9] Radiobaton[10] Two Finger Piano[11] Coloring-in Piano[12] ism[13] MIDI MIDI 1 Fig. 1 Syst
![( ) [1] [4] ( ) 2. [5] [6] Piano Tutor[7] [1], [2], [8], [9] Radiobaton[10] Two Finger Piano[11] Coloring-in Piano[12] ism[13] MIDI MIDI 1 Fig. 1 Syst](/thumbs/91/107597950.jpg "( ) [1] [4] ( ) 2. [5] [6] Piano Tutor[7] [1], [2], [8], [9] Radiobaton[10] Two Finger Piano[11] Coloring-in Piano[12] ism[13] MIDI MIDI 1 Fig. 1 Syst")
情報処理学会インタラクション 2015 IPSJ Interaction 2015 15INT014 2015/3/7 1,a) 1,b) 1,c) Design and Implementation of a Piano Learning Support System Considering Motivation Fukuya Yuto 1,a) Takegawa Yoshinari 1,b) Yanagi
Vol.11-HCI-15 No. 11//1 Xangle 5 Xangle 7. 5 Ubi-WA Finger-Mount 9 Digitrack 11 1 Fig. 1 Pointing operations with our method Xangle Xa
Vol.11-HCI-15 No. 11//1 GUI 1 1 1, 1 GUI Graphical User Interface Xangle Xangle A Pointing Method Using Accelerometers for Graphical User Interfaces Tatsuya Horie, 1 Takuya Katayama, 1 Tsutomu Terada 1,
,,.,.,,.,.,.,.,,.,..,,,, i
22 A person recognition using color information 1110372 2011 2 13 ,,.,.,,.,.,.,.,,.,..,,,, i Abstract A person recognition using color information Tatsumo HOJI Recently, for the purpose of collection of
IPSJ SIG Technical Report Vol.2010-GN-75 No /3/19 1. Proposal and Evaluation of Laboratory Experiments for understanding Offshore Software Deve
1. Proposal and Evaluation of Laboratory Experiments for understanding Offshore Software Development Lihua Xuan and Takaya Yuizono Issues of offshore software development are how to treat specification
第６２巻 第１号 平成２４年４月／石こうを用いた木材ペレット
Bulletin of Japan Association for Fire Science and Engineering Vol. 62. No. 1 (2012) Development of Two-Dimensional Simple Simulation Model and Evaluation of Discharge Ability for Water Discharge of Firefighting
Visual Evaluation of Polka-dot Patterns Yoojin LEE and Nobuko NARUSE * Granduate School of Bunka Women's University, and * Faculty of Fashion Science,
Visual Evaluation of Polka-dot Patterns Yoojin LEE and Nobuko NARUSE * Granduate School of Bunka Women's University, and * Faculty of Fashion Science, Bunka Women's University, Shibuya-ku, Tokyo 151-8523
MDD PBL ET 9) 2) ET ET 2.2 2), 1 2 5) MDD PBL PBL MDD MDD MDD 10) MDD Executable UML 11) Executable UML MDD Executable UML
PBL 1 2 3 4 (MDD) PBL Project Based Learning MDD PBL PBL PBL MDD PBL A Software Development PBL for Beginners using Project Facilitation Tools Seiko Akayama, 1 Shin Kuboaki, 2 Kenji Hisazumi 3 and Takao
bosai-2002.dvi
45 B-2 14 4 Annuals of Disas. Prev. Res. Inst., Kyoto Univ., No. 45 B-2, 22 5 m 5 m :,,, 1. 2. 2.1 27 km 2 187 km 2 14 % 77 % 47 7, 9 2, 54 6 7, 9 16, 57 8 1, 9 47 2 1 57 5 2.2 45 2 Fig. 1 2 2.3 Fig. 2
IPSJ SIG Technical Report Vol.2010-GN-74 No /1/ , 3 Disaster Training Supporting System Based on Electronic Triage HIROAKI KOJIMA, 1 KU
1 2 2 1, 3 Disaster Training Supporting System Based on Electronic Triage HIROAKI KOJIMA, 1 KUNIAKI SUSEKI, 2 KENTARO NAGAHASHI 2 and KEN-ICHI OKADA 1, 3 When there are a lot of injured people at a large-scale
No.7, (2006) 2 Electronic Funds Transfer as the Foundation of the Monetary Value of Electronic Money - A Study on the JBA 1 Integrated Circuit
No.7,321-332 (2006) 2 Electronic Funds Transfer as the Foundation of the Monetary Value of Electronic Money - A Study on the JBA 1 Integrated Circuit Cash Card Standard Specifications (Second Edition)
1_26.dvi
C3PV 1,a) 2,b) 2,c) 3,d) 1,e) 2012 4 20, 2012 10 10 C3PV C3PV C3PV 1 Java C3PV 45 38 84% Programming Process Visualization for Supporting Students in Programming Exercise Hiroshi Igaki 1,a) Shun Saito
2 ( ) i
25 Study on Rating System in Multi-player Games with Imperfect Information 1165069 2014 2 28 2 ( ) i ii Abstract Study on Rating System in Multi-player Games with Imperfect Information Shigehiko MORITA
大学論集第42号本文.indb
42 2010 2011 3 279 295 COSO 281 COSO 1990 1 internal control 1 19962007, Internal Control Integrated Framework COSO COSO 282 42 2 2) the Committee of Sponsoring Organizations of the Treadway committee
Vol.53 No (Mar. 2012) 1, 1,a) 1, 2 1 1, , Musical Interaction System Based on Stage Metaphor Seiko Myojin 1, 1,a
1, 1,a) 1, 2 1 1, 3 2 1 2011 6 17, 2011 12 16 Musical Interaction System Based on Stage Metaphor Seiko Myojin 1, 1,a) Kazuki Kanamori 1, 2 Mie Nakatani 1 Hirokazu Kato 1, 3 Sanae H. Wake 2 Shogo Nishida
22 2016 3 82 1 1
: 81 1 2 3 4 1990 2015 22 2016 3 82 1 1 83 : 2 5 84 22 2016 3 6 3 7 8 2 : 85 1 S 12 S S S S S S S S S 86 22 2016 3 S S S S S S S S 2 S S : 87 S 9 3 2 1 10 S 11 22 2016 3 88 1 : 89 1 2 3 4 90 22 2016 3
840 Geographical Review of Japan 73A-12 835-854 2000 The Mechanism of Household Reproduction in the Fishing Community on Oro Island Masakazu YAMAUCHI (Graduate Student, Tokyo University) This
The Indirect Support to Faculty Advisers of die Individual Learning Support System for Underachieving Student The Indirect Support to Faculty Advisers of the Individual Learning Support System for Underachieving
IPSJ SIG Technical Report Vol.2014-CE-126 No /10/11 1,a) Kinect Support System for Romaji Learning through Exercise Abstract: Educatio
1,a) 1 1 1 1 2 Kinect Support System for Romaji Learning through Exercise Abstract: Education with information devices has been increasing over the years. We propose support system for Romaji learning
IPSJ SIG Technical Report PIN(Personal Identification Number) An Examination of Icon-based User Authentication Method for Mobile Terminals Fum
1 2 1 3 PIN(Personal Identification Number) An Examination of Icon-based User Authentication Method for Mobile Terminals Fumio Sugai, 1 Masami Ikeda, 2 Naonobu Okazaki 1 and Mi RangPark 3 In recent years,
TF-IDF TDF-IDF TDF-IDF Extracting Impression of Sightseeing Spots from Blogs for Supporting Selection of Spots to Visit in Travel Sat
1 1 2 1. TF-IDF TDF-IDF TDF-IDF. 3 18 6 Extracting Impression of Sightseeing Spots from Blogs for Supporting Selection of Spots to Visit in Travel Satoshi Date, 1 Teruaki Kitasuka, 1 Tsuyoshi Itokawa 2
3D UbiCode (Ubiquitous+Code) RFID ResBe (Remote entertainment space Behavior evaluation) 2 UbiCode Fig. 2 UbiCode 2. UbiCode 2. 1 UbiCode UbiCode 2. 2
THE INSTITUTE OF ELECTRONICS, INFORMATION AND COMMUNICATION ENGINEERS HCG HUMAN COMMUNICATION GROUP SYMPOSIUM. UbiCode 243 0292 1030 E-mail: {ubicode,koide}@shirai.la, {otsuka,shirai}@ic.kanagawa-it.ac.jp
IPSJ SIG Technical Report Vol.2012-HCI-149 No /7/20 1 1,2 1 (HMD: Head Mounted Display) HMD HMD,,,, An Information Presentation Method for Weara
1 1,2 1 (: Head Mounted Display),,,, An Information Presentation Method for Wearable Displays Considering Surrounding Conditions in Wearable Computing Environments Masayuki Nakao 1 Tsutomu Terada 1,2 Masahiko
SERPWatcher SERPWatcher SERP Watcher SERP Watcher,
SERPWatcher 112-8610 2-1-1 112-8610 2-1-1 229-8558 5-10-1 E-mail: nakabe@db.is.ocha.ac.jp, chiemi@is.ocha.ac.jp SERPWatcher SERP Watcher SERP Watcher, SERP Analysis of transition of ranking in SERP Watcher
システム開発プロセスへのデザイン技術適用の取組み～HCDからUXデザインへ～
HCDUX Approach of Applying Design Technology to System Development Process: From HCD to UX Design 善方日出夫 小川俊雄 あらまし HCDHuman Centered Design SE SDEMHCDUIUser Interface RIARich Internet ApplicationUXUser
dsample.dvi
1 1 1 2009 2 ( ) 600 1 2 1 2 RFID PC Practical Verification of Evacuation Guidance Based on Pedestrian Traffic Measurement Tomohisa Yamashita, 1 Shunsuke Soeda 1 and Noda Itsuki 1 In this paper, we report
Modal Phrase MP because but 2 IP Inflection Phrase IP as long as if IP 3 VP Verb Phrase VP while before [ MP MP [ IP IP [ VP VP ]]] [ MP [ IP [ VP ]]]
![Modal Phrase MP because but 2 IP Inflection Phrase IP as long as if IP 3 VP Verb Phrase VP while before [ MP MP [ IP IP [ VP VP ]]] [ MP [ IP [ VP ]]]](/thumbs/89/98876548.jpg "Modal Phrase MP because but 2 IP Inflection Phrase IP as long as if IP 3 VP Verb Phrase VP while before [ MP MP [ IP IP [ VP VP ]]] [ MP [ IP [ VP ]]]")
30 4 2016 3 pp.195-209. 2014 N=23 (S)AdvOV (S)OAdvV 2 N=17 (S)OAdvV 2014 3, 2008 Koizumi 1993 3 MP IP VP 1 MP 2006 2002 195 Modal Phrase MP because but 2 IP Inflection Phrase IP as long as if IP 3 VP Verb
untitled
JAIS 1 2 1 2 In this paper, we focus on the pauses that partly characterize the utterances of simultaneous interpreters, and attempt to analyze the results of experiments conducted using human subjects
目次 1. 目的 2. STPA の手順 3. エアバッグの要求仕様 4. Step 0 準備 1:Accident Hazard 安全制約の識別 5. Step 0 準備 2:Control Structure の構築 6. Step 1:UCA(Unsafe Control Action) の抽
STAMP/STPA 演習 ~ エアバッグの安全性分析 ~ 2017 年 9 月 22 日独立行政法人情報処理推進機構 (IPA) 技術本部ソフトウェア高信頼化センター (SEC) 石井正悟 目次 1. 目的 2. STPA の手順 3. エアバッグの要求仕様 4. Step 0 準備 1:Accident Hazard 安全制約の識別 5. Step 0 準備 2:Control Structure
2) Goetz, A., Tsuneishi, N.: Application of molecular filter membranes to the bacteriological analysis of water, J. Am. Water Works Assn., 43 (12): 943-969,1951. 3) Clark, H.F. et al.: The membrane filter
人文学部研究年報12号.indb
制御理論を用いた在庫管理モデルの一解析 * リードタイムが変動する場合 西平直史 1 [1, 2, 3, 4] [1] [2, 3, 4] 1 1 3 2 [2] = +w(k) d(k) (1) 2014 12 1 1 制御理論を用いた在庫管理モデルの一解析 西平 k w(k) d(k) L k u(k) (2) (1) 2 w(k) =u(k L) (2) = +u(k L) d(k) (3)
3 2 2 (1) (2) (3) (4) 4 4 AdaBoost 2. [11] Onishi&Yoda [8] Iwashita&Stoica [5] 4 [3] 3. 3 (1) (2) (3)
![3 2 2 (1) (2) (3) (4) 4 4 AdaBoost 2. [11] Onishi&Yoda [8] Iwashita&Stoica [5] 4 [3] 3. 3 (1) (2) (3)](/thumbs/68/59204737.jpg "3 2 2 (1) (2) (3) (4) 4 4 AdaBoost 2. [11] Onishi&Yoda [8] Iwashita&Stoica [5] 4 [3] 3. 3 (1) (2) (3)")
(MIRU2012) 2012 8 820-8502 680-4 E-mail: {d kouno,shimada,endo}@pluto.ai.kyutech.ac.jp (1) (2) (3) (4) 4 AdaBoost 1. Kanade [6] CLAFIC [12] EigenFace [10] 1 1 2 1 [7] 3 2 2 (1) (2) (3) (4) 4 4 AdaBoost
ON A FEW INFLUENCES OF THE DENTAL CARIES IN THE ELEMENTARY SCHOOL PUPIL BY Teruko KASAKURA, Naonobu IWAI, Sachio TAKADA Department of Hygiene, Nippon Dental College (Director: Prof. T. Niwa) The relationship
新製品開発プロジェクトの評価手法
CIRJE-J-60 2001 8 A note on new product project selection model: Empirical analysis in chemical industry Kenichi KuwashimaUniversity of Tokyo Junichi TomitaUniversity of Tokyo August, 2001 Abstract By
fiš„v8.dvi
(2001) 49 2 333 343 Java Jasp 1 2 3 4 2001 4 13 2001 9 17 Java Jasp (JAva based Statistical Processor) Jasp Jasp. Java. 1. Jasp CPU 1 106 8569 4 6 7; fuji@ism.ac.jp 2 106 8569 4 6 7; nakanoj@ism.ac.jp
<4D F736F F D20D2E5E7E8F1FB E3EEE45FE8F1EFF0>
13 1 71 71 71 71 7 1 7 1 7 1 7 1 71 71 71 71 71 71 7 (1 71 71 71 7 1 71 7) 1 7 1 71 71 71 71 71 71 7 1 71 7 1 7 1 71 71 71 71 7 1 71 71 71 71 71 71 71 7 1 71 71 71 71 7, 1 71 71 71 71 71 71 7 1 7 1 71
,,,,., C Java,,.,,.,., ,,.,, i
24 Development of the programming s learning tool for children be derived from maze 1130353 2013 3 1 ,,,,., C Java,,.,,.,., 1 6 1 2.,,.,, i Abstract Development of the programming s learning tool for children
[2] OCR [3], [4] [5] [6] [4], [7] [8], [9] 1 [10] Fig. 1 Current arrangement and size of ruby. 2 Fig. 2 Typography combined with printing
![[2] OCR [3], [4] [5] [6] [4], [7] [8], [9] 1 [10] Fig. 1 Current arrangement and size of ruby. 2 Fig. 2 Typography combined with printing](/thumbs/93/112070099.jpg "[2] OCR [3], [4] [5] [6] [4], [7] [8], [9] 1 [10] Fig. 1 Current arrangement and size of ruby. 2 Fig. 2 Typography combined with printing")
1,a) 1,b) 1,c) 2012 11 8 2012 12 18, 2013 1 27 WEB Ruby Removal Filters Using Genetic Programming for Early-modern Japanese Printed Books Taeka Awazu 1,a) Masami Takata 1,b) Kazuki Joe 1,c) Received: November
IPSJ SIG Technical Report Vol.2009-DPS-141 No.23 Vol.2009-GN-73 No.23 Vol.2009-EIP-46 No /11/27 t-room t-room 2 Development of
t-room 1 2 2 2 2 1 1 2 t-room 2 Development of Assistant System for Ensemble in t-room Yosuke Irie, 1 Shigemi Aoyagi, 2 Toshihiro Takada, 2 Keiji Hirata, 2 Katsuhiko Kaji, 2 Shigeru Katagiri 1 and Miho
Input image Initialize variables Loop for period of oscillation Update height map Make shade image Change property of image Output image Change time L
1,a) 1,b) 1/f β Generation Method of Animation from Pictures with Natural Flicker Abstract: Some methods to create animation automatically from one picture have been proposed. There is a method that gives
untitled
2009 57 2 393 411 c 2009 1 1 1 2009 1 15 7 21 7 22 1 1 1 1 1 1 1 1. 1 1 1 2 3 4 12 2000 147 31 1 3,941 596 1 528 1 372 1 1 1.42 350 1197 1 13 1 394 57 2 2009 1 1 19 2002 2005 4.8 1968 5 93SNA 6 12 1 7,
900 GPS GPS DGPS Differential GPS RTK-GPS Real Time Kinematic GPS 2) DGPS RTK-GPS GPS GPS Wi-Fi 3) RFID 4) M-CubITS 5) Wi-Fi PSP PlayStation Portable
Vol. 51 No. 3 899 913 (Mar. 2010) 1 2 1 1 1 GPS GPS GPS GPS GPS GPS 80 m 80 m 2 3 GPS 0 GPS GPS GPS 5 CGI NTT KDDI 98% A Pedestrian Positioning System Using Road Traffic Signs and Landmarks Tomoyuki Kojima,
2006 [3] Scratch Squeak PEN [4] PenFlowchart 2 3 PenFlowchart 4 PenFlowchart PEN xdncl PEN [5] PEN xdncl DNCL 1 1 [6] 1 PEN Fig. 1 The PEN
![2006 [3] Scratch Squeak PEN [4] PenFlowchart 2 3 PenFlowchart 4 PenFlowchart PEN xdncl PEN [5] PEN xdncl DNCL 1 1 [6] 1 PEN Fig. 1 The PEN](/thumbs/93/113095957.jpg "2006 [3] Scratch Squeak PEN [4] PenFlowchart 2 3 PenFlowchart 4 PenFlowchart PEN xdncl PEN [5] PEN xdncl DNCL 1 1 [6] 1 PEN Fig. 1 The PEN")
PenFlowchart 1,a) 2,b) 3,c) 2015 3 4 2015 5 12, 2015 9 5 PEN & PenFlowchart PEN Evaluation of the Effectiveness of Programming Education with Flowcharts Using PenFlowchart Wataru Nakanishi 1,a) Takeo Tatsumi
49148
Research in Higher Education - Daigaku Ronshu No.24 (March 1995) 77 A Study of the Process of Establishing the Student Stipend System in the Early Years of the PRC Yutaka Otsuka* This paper aims at explicating
IPSJ SIG Technical Report An Evaluation Method for the Degree of Strain of an Action Scene Mao Kuroda, 1 Takeshi Takai 1 and Takashi Matsuyama 1
1 1 1 An Evaluation Method for the Degree of of an Action Scene Mao Kuroda, 1 Takeshi Takai 1 and Takashi Matsuyama 1 The purpose of our research is to investigate structure of an action scene scientifically.