Turnitin
降AI改写
早检测系统
早降重系统
Turnitin-UK版
万方检测-期刊版
维普编辑部版
Grammarly检测
Paperpass检测
checkpass检测
PaperYY检测
ハイブリッド制約言語 HydLa の宣言的意味論
上田和紀, 細部博史, 石井大輔 - コンピュータ ソフトウェア, 2011 - jstage.jst.go.jp
抄録 時間の経過に伴って状態が連続変化したり, 状態や方程式系自体が離散変化したりする系を
ハイブリッドシステムと呼ぶ. 我々は, 不確実値の扱い, シミュレーションと検証の統合などの観点 …
ハイブリッドシステムと呼ぶ. 我々は, 不確実値の扱い, シミュレーションと検証の統合などの観点 …
ハイブリッド制約言語 HydLa の記号実行シミュレータ Hyrose
松本翔太, 上田和紀 - コンピュータ ソフトウェア, 2013 - jstage.jst.go.jp
抄録 ハイブリッドシステムとは時間の経過に伴って状態が連続変化したり, 状態や方程式系が離散
変化したりする動的システムであり, 物理学をはじめとした様々な分野への応用が可能である …
変化したりする動的システムであり, 物理学をはじめとした様々な分野への応用が可能である …
ハイブリッドシステムモデリング言語 HydLa の実行アルゴリズム
渋谷俊, 高田賢士郎, 細部博史, 上田和紀 - コンピュータ ソフトウェア, 2011 - jstage.jst.go.jp
抄録 ハイブリッドシステムとは時間の経過に伴って状態が連続変化したり, 状態や方程式が離散
変化したりする動的システムを指す. HydLa は制約概念に基づくハイブリッドシステムモデリング …
変化したりする動的システムを指す. HydLa は制約概念に基づくハイブリッドシステムモデリング …
ハイブリッドシステムモデリング言語 HydLa の数式処理実行系
高田賢士郎, 渋谷俊, 細部博史… - 第 73 回全国大会講演論文 …, 2011 - ipsj.ixsq.nii.ac.jp
論文抄録 ハイブリッドシステムとは時間の経過に伴って状態が連続変化したり,
状態や方程式が離散変化したりする系を指す. HydLa は制約概念に基づくハイブリッドシステム …
状態や方程式が離散変化したりする系を指す. HydLa は制約概念に基づくハイブリッドシステム …
[PDF][PDF] ハイブリッドシステムモデリング言語 HydLa の実行アルゴリズムの提案と実装
廣瀬賢一 - 2010 - waseda.repo.nii.ac.jp
概要時間の経過に伴って状態が連続変化したり, 状態や方程式自体が離散変化したりする系を
ハイブリッドシステムと呼ぶ. たとえば, 状態を表す連続関数が時間にしたがって切り替わるモデルは …
ハイブリッドシステムと呼ぶ. たとえば, 状態を表す連続関数が時間にしたがって切り替わるモデルは …
[PDF][PDF] ハイブリッド制約言語プログラムのハイブリッドオートマトンへの変換
渋谷俊 - 2012 - waseda.repo.nii.ac.jp
ハイブリッドシステムとは時間の経過に伴って状態が連続変化したり, 状態や方程式が離散変化し
たりする動的システムを指す. ハイブリッドシステムのモデリングツールはハイブリッドシステムの …
たりする動的システムを指す. ハイブリッドシステムのモデリングツールはハイブリッドシステムの …