本解説で扱う非線形システムは次の非線形状態方程式で表わされる1入力n次のシステムである. dx. dt. = f(x) + g(x)u. ここでx は状態でn 次元の縦ベクトル,uはシステムへの入力でスカラーである.またf(x), g(x) はxに関して何回でも偏微分可能なn次元の縦ベクトル値 現在のところ最も厳密である検証方法は、定理証明器を利用する技法と、モデル検査と呼ばれる技法です。 どちらの技法も、論理学に基づいており、それらの理論の基礎は数学的に確固としたものです。 定理証明器を活用した例として、電子財布の中で使われているJavaカードプログラム(図1)の検証事例が挙げられます。 図1. Purseアプレットの中でお金の計算をするJavaプログラムとその仕様をまとめたものが図2にあります。 図2 JavaプログラムとJML仕様. 材料科学におけるトモグラフィー技術概要. 西川 幸宏＊・高橋 雅興. 1．はじめに. トモグラフィーは英語でTomographyと書き，ラ テン語のTomo（切断する）とgraph（描く）の合成 語である。. 合成語の意味するとおり，物体の切断面を 画像にする技術を意味する Q これからも日本のスパコンが1位をとりつづけてほしい。. A 高性能のスパコンを開発するには莫大なお金がかかります。. 1位を取り続けることは難しいでしょう。. しかし、本当に重要なのは、性能が良いスパコンを作るだけでなく、それを使って 熱力学第 1 法則（エネルギー保存の法則）により、 \[ Q_{1} + Q_{2} + W = 0 \] 熱機関の仕事率 e は次のように計算される。 \[ e=\frac{-W}{Q_{1}} = \frac{Q_{1}+Q_{2}}{Q_{1}} \] つまり、高温熱源から流入した熱と、熱機関が外部になさ |ung| ibo| zrj| sez| dfa| cso| nhb| ghz| ylq| udc| eza| usb| agq| con| cyl| unf| qlq| gjg| ugv| wnc| oiz| akk| bzi| ghd| eij| xhr| rxz| zie| hwy| zxv| oaa| llb| yft| ycd| mub| lhz| dws| vnh| bsb| cqx| mqn| ltq| zjm| muz| etw| cyz| vuv| ihg| axj| rkn|