システムオブジェクトの内容の検証

はじめる前に
新機能一覧
Maple ワークシートの作成
Mapleワークシートを共有
Maple ウィンドウのカスタマイズ
Maple システムのカスタマイズ
コネクティビティ
Mathematics
数学
物理
プログラミング
- Bits
- codegen パッケージ
- CodeTools
- Document Tools パッケージ
- eBookTools パッケージ
- Grid パッケージ
- InstallerBuilder パッケージ
- Maplets パッケージ
- OpenMaple 外部関数 API
- オブジェクト
- オペレーション
- コード生成パッケージ
- コンパイル
- データ型
- デバッグ
- ドメイン
- パッケージ
- プロシージャと関数
- プロファイル
- マルチスレッドプログラミング
- モジュール
- リソース管理
- 並列プログラミング
- 乱数
- 低レベルの操作
- 入力と出力
- 処理フローの制御
- 名前と文字列
- 基本的な注意事項
- 外部ルーチンの呼出
- 式
- 注釈
- 画像処理
- 評価
- 論理
  - Quantifiers
  - Relations
  - オペレーション
  - ブール値
    - Logic パッケージ
    - verify
    - boolean (ブール値)
    - depends
    - evalb
    - evalhf/boolean
    - FAIL
    - has
    - hasoption
    - hastype
    - isdifferentiable
    - match
    - member
    - testeq
    - true
    - typematch
- 音声処理
- ★語彙スコーピング
- CompSeq 関数
- IsWorksheetInterface コマンド
- コードエディタ
- スタートアップコード
グラフィックス
Student パッケージ
Science and Engineering
科学・エンジニアリング
- パッケージ
- 動的システム
  - システムオブジェクト
  - システム操作ツール
  - シミュレーションツール
  - プロット・グラフ作成ツール
  - 信号生成ツール
  - 線形化
  - 動的システムの概要
  - コンテキストメニューの使用法
- 単位
- 科学定数
- 誤差解析
- エンジニア向け Maple ポータル
- 摂動数（区間数）
アプリケーションと例題
リファレンス
システム
MapleSim
MapleSim ツールボックス
MapleSim ヘルプ
Tasks
Toolboxes
エラーメッセージガイド
マニュアル
数学アプリ

DynamicSystems[Verify] - システムオブジェクトの内容の検証

	使い方
	Verify(sys)

パラメータ

sys

System; 検証するシステムオブジェクト

説明

•	Verify コマンドは線形システムオブジェクト sys の正当性を確認します。

•	システムオブジェクトが検証された場合、プロシージャは NULL を返します。それ以外の場合は検出された問題を表すエラーが発生します。問題によっては、エラーの代わりに警告が発生します。

検証基準

検証されるシステムは以下の基準を満たしている必要があります。

•

モジュールである。

•	全型のシステムに共通の書き出し項目を持っている。

•	システムの型に個別の書き出し行列を持っている。

•	書き出された行列の次元は行列間で互換であり、入力数、出力数および (場合によっては) 状態変数に対応している。

•	行列の要素の型は適切で、正当な線形システムに対応している。

例

(4.1)

module () export tf, inputcount, outputcount, statecount, sampletime, discrete, systemname, inputvariable, outputvariable, statevariable, systemtype, ModulePrint; option _cmtransferfunction; end module