ホーム
Download
教科書
背景資料
技術資料
Q & A
情報システム開発環境MTA-SDKの
技術情報
1．技術資料
techNote170311.docx WindowsやMacにも開発環境MTA-SDK(仮想PCファイル)をインポートできる
techNote101123.html Linux (Fedora 13)にシステム開発環境MTA-SDKをインストールする
techNote080228.html Linux (Ubuntu 7.10)に
システム開発環境MTA-SDKをインストールする
techNote080127.doc Moore型オートマトンを高速に実行するエンジン 【update 080130】
techNote080101.doc シミュレーション技法：多層ネットワークのモデル化
techNote061014.doc システム開発環境MTA-SDKの構造と残された課題
techNote061012.html Mac OS X 10.4.7 (初代 intelマシン)に開発環境MTA-SDKをインストールする
techNote060909.html ソースコードと動作
2．ソースコード公開履歴
MTA-SDK リリース151110 教科書[第2版]向けバージョン
構成：仮想PCファイル MTA-SDK.ova (形式OVF 1.0) の配布に切り替え
構成：シミュレーションに必要な機能(Simcast09)を統合したもの
変更：フォルダdss内で宣言なしに関数 delta(i,c,x) 定義可能，cells(wp,x,y) 利用可能
備考：フォルダdss内のファイル_00readme.txtに詳細記述
MTA-SDK リリース081230 新規ウインドウにデータを表示できる．
構成：extProlog.zip(v.081230)+dss.zip(v.081230)+tps.zip(v.060613再圧縮)
変更：ファイル pgsolve.c, pgsub5.c, Prolog.ctlを変更
備考：show2(), show3()でグラフウインドウ，wopen()でテキストウインドウ表示
備考：openlocalsheet()でスプレッドシート表示，セル幅指定も可能に．
備考：詳細は関連サイト「CAST言語でシミュレーション」にて
MTA-SDK リリース080117 関数 max()の不備を修正しました．
構成：extProlog.zip(v.080117)+dss.zip(v.070719)+tps.zip(v.060613)
変更：ファイル pgeval.c 中のmax1を変更しました．
備考：A:=[2,3,4]のとき，max(A)は正しく4.0000となります．
MTA-SDK リリース070719 関数 powerset(A) を追加しました．
構成：extProlog.zip(v.070719)+dss.zip(v.070719)+tps.zip(v.060613)
変更：ファイル pgeval.c, pgparse.c, setcompiler.pを変更しました．
備考：powerset(A)は集合Aの部分集合族を作る関数です．
MTA-SDK リリース070708 extPrologを正しく動くものと入れ替えました．
構成：extProlog.zip(v.070708)+dss.zip(v.070316)+tps.zip(v.060613)
変更：関数distinct()などが動かなかったのを解消．おわびいたします．
備考：事情によりextPrologのv070707とv070708はまったく同じものです．
MTA-SDK リリース070707 製本版教科書向け最終バージョン[改]
構成：extProlog.zip(v070707)+dss.zip(v.060613)+tps.zip(v.060613)
変更：関数distinct()などが動かなかったのを解消．
MTA-SDK リリース070316 起動後のシステム選択方式が若干変わりました．
構成：extProlog.zip(v.070226)+dss.zip(v.070316)+tps.zip(v.060613)
変更：setcompiler.pとオートマトン専用エンジンstdAutomatonEngine.pを変更．
MTA-SDK リリース070226 製本版教科書向け最終バージョン
構成：extProlog.zip(v.070226)+dss.zip(v.060613)+tps.zip(v.060613)
変更：グローバル変数にproduct(A,B)を代入しても、評価しなかった不具合を解消
MTA-SDK リリース061012
構成：extProlog.zip(v.061012)+dss.zip(v.060613)+tps.zip(v.060613)
変更：Linux FedoraCore４に対応，Mac OS X 10.4.7に対応
MTA-SDK リリース060913（公開日2006.09.13）
構成：extProlog.zip(v.060613)+dss.zip(v.060613)+tps.zip(v.060613)
機能：開発環境の基盤+Solver(.set)+日本語対応Web-based TPS(.set)
actDSS+Solver(.p) リリース2002（公開ページ@千葉工大）
構成：actdss.tar.gz(v.2002)
機能：extProlog + SpreadSheet+Graph+WordProcesser+Modelling+Solver(.p)