制御フロー（状態遷移）解析
人工衛星姿勢制御ソフトウェアの状態遷移表ベース設計事例
... (処理:SunPoint) 遷移:SunPoi ntZ 遷移:Poi nti ng 遷移:R ota ti on (処理:SunPoint) 表遷移:SPIN (処理:SunPoint) 表遷移:SPIN 遷移:Si ng ul ar SunPointZ (処理:SunPointZ) (処理:SunPointZ) 遷移:SunPoi nt ...
25
ネマチックドロップレットにおけるradial-axial structure遷移の解析(変分問題とその周辺)
... ン近傍での自由エネルギー密度を計算する。 これが isotropic の自由エネルギー密度を越 える部分を isotropic に相転移するコアの部分であるとみなし、 計算する。 3. 計算結果 以下の説明において、 ディスクリネーションがドロップレット中央近傍に存在する配 向状態を ”radial $\mathrm{s}\mathrm{m}\mathrm{c}\iota ...
9
JAIST Repository: 和分型／差分型状態方程式表現に基づくロバスト制御系の解析／設計条件の関連性について
... た場合，同様に数値的結果に差が生じない可能性はある． 制御対象および数値計算アルゴリズムは多岐にわたるこ とから，数値計算結果に対するアルゴリズム内の理論的 考察は，現段階では困難である．しかしながら，和分型 状態方程式表現は，実システムの伝達関数の最高次の係 数を非常に小さいとみなす場合とゼロとみなす場合に， 係数行列の各数値のオーダーが大きく違わないことから， ...
11
目次 MBD エンジニアのキャリア種別 モデリング編 要求表現 タイミングチャート 状態遷移図 状態遷移図の描き方 書き方のルール 教育方法 MBD 開発環境エンジニア編 MBD 開発環境の 改善 最後に スライド番号 2
... 2011 年 12 月 7 日 AISIN AW CO., LTD. All rights reserv ed. Do not reproduce or distribute. スライド番号 83 制御仕様書として見る場合は、仕様意図を読み取るのが主な目的 仕様意図が解る記述部分だけを表示する。（概要部分だけ） ...
102
眼球運動による運動学習神経機構理解，ロボット制御，ドライバ状態検知
... Keywords: cerebellum, Brain–Machine Interface, predictor of drowsiness, vestibulo-ocular reflex, adaptive motor control, monkey, goldfish は じ め に 眼球運動の目的は，興味ある対象に視線を向け，その 対象自体あるいは我々自身の動きに対し，視線をその視 ...
5
ミニマル平面クエット系の不安定周期軌道と乱流制御 (流れの遷移と乱流のスケルトン)
... 解のように , 流れの層流化を図る際の道しるべの候補として有望である. しか しながら , 超臨界レイノルズ数のボアズイユ系では流れの層流化は (不安定化 した) 層流状態の安定化を必要とする . また, 今回の層流化手法を十分大きい周 期箱での平面クエット乱流に適用するためには , 空間的に低調波の擾乱に対する 周期解の安定性を調べる必要がある . これらは今後の重要な研究課題である . ...
12
2011 年 11 月 17 日 状態遷移の種類と形式検証の使いどころ アイシン エィ ダブリュ株式会社 技術本部解析技術部 主任研究員久保孝行 AISIN AW CO., LTD. All rights reserv ed. Do not reproduce or distribute.
... ２０１１年１１月１７日 状態遷移図の表現：記憶の例 • ミーリーチャートはフリップフロップ（論理演算）の振る舞い説明 の為に作られたが、あくまで振る舞いを説明するためのもので あり、コード生成を意識した表現方法ではない。 ...
34
アジェンダ Renesas Synergy TM プラットフォーム構成 ThreadX とは ThreadX の状態遷移 ThreadX とμITRONの機能比較 まとめ ページ 2
... ThreadX ® とは 米国Express Logic社が開発した、組み込みシステム向けReal-Time Operating System コンシューマ機器、医療機器、産業用制御機器など、20億台以上の機器への採用実績 高速（タスク切り替え時間：約1μ秒@200MHz）、コンパクト（ROM：2KB～、RAM：1KB～） スレッドやセマフォなどのオブジェクト数の制限無し ...
13
目次 目次... 2 Chapter はじめに サービス概要 処理フロー 画面遷移 ご利用の流れ アクセス方法 法人コンシェルサイト 利用可能な機能
... 携帯電話が正常にロック解除されたかどうかを確認するには、「携帯電話のロックを解除 受付完了」 画面（図 3-9）の［履歴を確認する］、もしくは「メニュー」画面（図 3-37）の[携帯電話の状態を表示]もしく は[安心遠隔ロックご利用の履歴]からご確認ください。 「携帯電話のロックを解除」リクエストを送信すると、ロック解除処理が完了するまで該 当携帯電話に対する新たなリクエストは受付けられません。新たなリクエストを送信し ...
103
JAIST Repository: ラフトダイナミクスの解析と制御
... 7を含む膜において、ステロール濃度 5, 10%では Chol 含有膜と比較して Spinodal domain が減少し、No domain が増加した。 また、相分離しているリポソームのほとんど で Rough domain が観察された。そして、ス テロール濃度が 20%で相分離しているリポ ソームの割合が急激に減少し、30%ではほぼ 一様な相状態のリポソームだけが観察され た。 ...
7
C6204 0403 動機づけプロセスの状態遷移モデルの構築過程における現状と課題 利用統計を見る
... 動機づけプロセスの状態は，動機づけプロセスの要因，すなわち努力や役 割知覚，遂行等が表している。これらの要因は連続値をとるが，メンバの状 態を監視し制御する視点から見ると，その連続値をいくつかの領域に分け， 各領域は同じ状態を表すものと見なしても十分である。このような視点から 各要因について決めた状態をまとめて，その要因の状態集合と呼ぶ。たとえ ...
15
男性ホルモンによる代謝機能制御機構の解析
... synaptopodin, podocalyxin などの発現に変化はな く, WT1陽性の足細胞数にも相違はなかった.しかし電顕に よる観察では変異型で足突起の平坦化が見られ, 単位糸 球体基底膜長 あたりの足突起数の減少を認めた. さらに 足細胞障害時における SIRPαの役割を検討するため, 腎炎モデルを作成した. 巣状糸球体 化症のモデルとな る片腎摘＋アドリアマイシン腎症では, 変異型マウスで 著明なアルブミン尿の増加を認め, ...
2
転写因子タンパク質Bach1の天然変性状態制御の物理化学的解析
... HBR-C WT と mCP の動的光散乱測定の結果、流体力学的半径はそれぞれ 2.88nm、2.68nm であ り、 HBR-N と近い数値である。HBR-N と HBR-C は近い分子量であり、特に多量体化する機構も考 えられないことから、これらのタンパク質は凝集しておらず、単量体で存在していると予想された。 HBR-C WT と mCP の紫外可視分光解析の結果、HBR-C WT でも 6 配位及び 5 ...
6
CONTENTS 1. はじめに 参照 関連仕様書 FOMA USB コネクタ切り替え制御 端子条件による FOMA 端末状態の状態遷移 USB VBus(No.4)= USB VBUS voltage (5V) 以外 の場合の
... 1.はじめに 本ドキュメントでは、IMT2000 携帯電話用コネクタ A（以下、FOMA USB コネクタ）を使用し、携帯電話用角 形コネクタ(以下、平型コネクタ)の使用も可能とするための切り替え制御について説明する。 電気的制御や、変換コネクタの接続により、FOMA USB コネクタを介して、データ通信、USB ハンズフリー 機能、HS ...
9
Bulletin of Aichi Univ. of Education, 68 (Art, Health and Physical Education, Home Economics, Technology), pp , March, 2019 プログラミング学習における状態遷移概念の
... ることが知られている。本研究ではこの表現である「状態 遷移図」を設計段階に活用することで，課題の解決が正確 に行われるようになることを仮説とし，その検証を行うこ とを目的とした。また，解決が正確であることの判定とと もに，それを学習者自身に実感させるため，状態遷移図か ら手順すなわちフローチャートへの変換を行う指導法を開 発し，その教育効果について評価することとした。なお， ...
7
転写因子タンパク質Bach1の天然変性状態制御の物理化学的解析
... Bach1 のヘム結合領域は bZip 部分をはさんでアミノ末端側ヘム結合領域(Heme Binding Region(HBR)-N)、とカルボキシル末端側ヘム結合領域(HBR-C)が存在し、これらに焦点を当て物理 化学的特性を解析した。円二色性スペクトル解析より、 HBR-N 及び HBR-C は天然変性領域である ことが示唆された。紫外可視分光法により HBR-N 及び HBR-C ...
2
アクティブ状態への遷移タイミングを制御する非同期型MACプロトコルのための適応スリープ制御
... リープ制御なしの場合の方が短く，高トラヒック時に は適応スリープ制御ありの場合の方が短い．適応ス リープ制御ありの場合，低トラヒック時にはスリープ 期間が長く設定されるため，必然的にパケット送信ま で長い時間待たされることになるため遅延時間は長く なる．高トラヒック時には，スリープ期間が短く設定 されるので遅延時間は短くなる．一方適応スリープ制 御なしの場合，高トラヒック時にはキューにパケット ...
9
るためには, まず, システムの故障や逸脱を分析し, その時のシステムの振る舞いを網羅的に状態遷移図に記述することが必要となる.SpecTRM(Specification Tools and Requirements Methodology)[9] は, 解析評価のための基準となる有限状態遷移モデル
... る仕様，もしくは設計の記述である．状態に対する分析では，状態において満たすべ き性質を，状態遷移に対する分析では，状態遷移に関する仕様，もしくは設計を記述 する．３つ目は，前節で述べた分析手法を適用して列挙した逸脱の内容を，ガイドワ ードと属性と共に記述する．４つ目のローカル影響は，逸脱によるシステム内部動作 ...
6
JAIST Repository: 友人ネットワークの状態遷移図による分析
... 2. 関 連 研 究 2.1 心理学の分野における友人関係 従来から心理学の分野では，友人関係の発達や消滅について分析が行われてきた．たとえ ば，自らを開示することによって友人関係を発達させたり，また，関係の初期段階で積極的 な相互作用がなされない場合には，関係の消滅へ早く到達しやすいことなどが明らかとされ ている 1),2) ．さらに個々人の特性からネットワーク全体がどのように変化するのかをシミュ ...
12
量子Turing機械の局所遷移関数 (情報数理に関連する応用函数解析の研究)
... Local $\mathrm{n}_{\mathrm{a}\mathrm{n}\mathrm{S}}\mathrm{i}\mathrm{t}\mathrm{i}\mathrm{o}\mathrm{n}$ Functions of Quantum Turing Machines ( 量子 Turing 機械の局所遷移関数 ) MASANAO OZAWA ( 小澤正直 ) , HARUMICHI NISHHHIMURA ( ...
14