日本応用数理学会論文誌

表紙

原稿種別: 表紙
1994 年 4 巻 4 号 p. Cover1-
発行日: 1994/12/15
公開日: 2017/04/08

DOIhttps://doi.org/10.11540/jsiamt.4.4_Cover1

ジャーナルフリー

PDF形式でダウンロード (36K)
目次

原稿種別: 表紙
1994 年 4 巻 4 号 p. Cover2-
発行日: 1994/12/15
公開日: 2017/04/08

DOIhttps://doi.org/10.11540/jsiamt.4.4_Cover2

ジャーナルフリー

PDF形式でダウンロード (36K)
第4巻第4号発行にあたって

薩摩順吉

原稿種別: 本文
1994 年 4 巻 4 号 p. i-
発行日: 1994/12/15
公開日: 2017/04/08

DOIhttps://doi.org/10.11540/jsiamt.4.4_i

ジャーナルフリー

PDF形式でダウンロード (246K)
外部入力プレース付きペトリネットにおける部分観測と許容フィードバック

高井重昌, 潮俊光, 児玉慎三

原稿種別: 本文
1994 年 4 巻 4 号 p. 275-285
発行日: 1994/12/15
公開日: 2017/04/08

DOIhttps://doi.org/10.11540/jsiamt.4.4_275

ジャーナルフリー

抄録を表示する抄録を非表示にする

We consider controlled discrete event systems modeled by Petri nets with external input places under partial observation. And we assume that a control specification is given in terms of a predicate on the set of all reachable markings. First, we derive a necessary and sufficient condition for the unique existence of a maximally permissive feedback(MPF)under partial observation. Next, we synthesize the unique MPF under partial observation if it exists. Moreover, we demonstrate synthesis of the unique MPF for a simple manufacturing system.

抄録全体を表示

PDF形式でダウンロード (646K)
悪条件線形方程式に対する一つの直接解法 : 打ち切り最小2乗最小ノルム解

細田陽介, 鳥居達生

原稿種別: 本文
1994 年 4 巻 4 号 p. 287-298
発行日: 1994/12/15
公開日: 2017/04/08

DOIhttps://doi.org/10.11540/jsiamt.4.4_287

ジャーナルフリー

抄録を表示する抄録を非表示にする

The singular value decomposition method is effective for ill-posed linear operator equations. Since the singular value decomposition of matrix is computed by iterative method as the eigenvalue problems, it needs high computational cost. For these ill-posed equations, we propose a direct method of which main part consists of three times QR decompositions.

抄録全体を表示

PDF形式でダウンロード (762K)
残差ベクトルを用いた標準固有値問題の部分空間解法

片山拓朗, 清田秀二, 柏木光博, 大脇信一, 平井一男

原稿種別: 本文
1994 年 4 巻 4 号 p. 299-325
発行日: 1994/12/15
公開日: 2017/04/08

DOIhttps://doi.org/10.11540/jsiamt.4.4_299

ジャーナルフリー

抄録を表示する抄録を非表示にする

This paper proposes an iterative method of finding only a few lower eigenvalues and the corresponding eigenvectors for the eigenproblem Ax=λx. The convergence of the proposed method, using the orthogonality between approximate eigenvectors and their residual vectors, is based on the Rayleigh-Ritz method and the inverse power method. The method computes the best approximation of eigenvectors in the subpace, spanned by approximate eigenvectors and linear transformations of their residual vectors, and improves approximate eigenvectors by increasing the number of basic vectors in the subspace iteratively.

抄録全体を表示

PDF形式でダウンロード (1803K)
C++言語による無限級数の加速法

平山弘

原稿種別: 本文
1994 年 4 巻 4 号 p. 327-336
発行日: 1994/12/15
公開日: 2017/04/08

DOIhttps://doi.org/10.11540/jsiamt.4.4_327

ジャーナルフリー

抄録を表示する抄録を非表示にする

If addition, subtraction, multiplication, division, functions, etc. of asymptotic series can be defined and overloaded in C++ program language, it is shown that the functions defined by C or C++ language can be expanded to asymptotic series. Using these methods, the functions can be expanded in asymptotic seres of arbitrary order with high precision. This asymptotic series gives effective acceleration methods for various slowly convergent series. This scheme is illustrated by numerical examples.

抄録全体を表示

PDF形式でダウンロード (775K)
結び目理論研究支援システムの設計

落合豊行, 山下靖, 山田修司

原稿種別: 本文
1994 年 4 巻 4 号 p. 337-348
発行日: 1994/12/15
公開日: 2017/04/08

DOIhttps://doi.org/10.11540/jsiamt.4.4_337

ジャーナルフリー

抄録を表示する抄録を非表示にする

We made a new method and a data structure to draw knots and links rapidly. We also developed a computer software which realizes our ideas in order to assist reserchers in knot theory. As an example of using our software in knot theory, we explain computational results of polynomial invariants which can recognize mutant knots of 3-4 braids, Kinoshita-Terasaka knot and Conway knot.

抄録全体を表示

PDF形式でダウンロード (790K)
数式処理系の汎用ユーザインターフェイス

斎藤制海, 山内哲也, 高橋岳之

原稿種別: 本文
1994 年 4 巻 4 号 p. 349-357
発行日: 1994/12/15
公開日: 2017/04/08

DOIhttps://doi.org/10.11540/jsiamt.4.4_349

ジャーナルフリー

抄録を表示する抄録を非表示にする

This paper deals with the development of widespread user interface for computer algebra system, which runs on workstations. The system displays formulas in natural forms and gives the facility to edit formulas.

抄録全体を表示

PDF形式でダウンロード (673K)
疎行列に対する(I+βU)型の前処理つきGauss Seidel法の性能評価

藤野清次, 竹内敏己

原稿種別: 本文
1994 年 4 巻 4 号 p. 359-372
発行日: 1994/12/15
公開日: 2017/04/08

DOIhttps://doi.org/10.11540/jsiamt.4.4_359

ジャーナルフリー

抄録を表示する抄録を非表示にする

In this paper, the performance of the Gauss Seidel method with(I+βU)type as a preconditioner for a sparse system of linear equations which stems from discretization of the partial differential equations by finite difference scheme is estimated. In view of the amount of calculation for convergence of the iterative methods and spectrum radius of the iterative matrices, the efficiency of the present preconditioned Gauss Seidel method is discussed as compared with the SOR method. The purpose of this paper is to make obvious an applicable range of the present preconditioned Gauss Seidel method to the realistic problems.

抄録全体を表示

PDF形式でダウンロード (962K)
日本応用数理学会和文論文誌総目次

原稿種別: 目次
1994 年 4 巻 4 号 p. Toc1-
発行日: 1994/12/15
公開日: 2017/04/08

DOIhttps://doi.org/10.11540/jsiamt.4.4_Toc1

ジャーナルフリー

PDF形式でダウンロード (90K)
[INDEX]

原稿種別: 索引
1994 年 4 巻 4 号 p. Index1-
発行日: 1994/12/15
公開日: 2017/04/08

DOIhttps://doi.org/10.11540/jsiamt.4.4_Index1

ジャーナルフリー

PDF形式でダウンロード (92K)
[OTHERS]

原稿種別: 付録等
1994 年 4 巻 4 号 p. App1-
発行日: 1994/12/15
公開日: 2017/04/08

DOIhttps://doi.org/10.11540/jsiamt.4.4_App1

ジャーナルフリー

PDF形式でダウンロード (12K)
裏表紙

原稿種別: 表紙
1994 年 4 巻 4 号 p. Cover3-
発行日: 1994/12/15
公開日: 2017/04/08

DOIhttps://doi.org/10.11540/jsiamt.4.4_Cover3

ジャーナルフリー

PDF形式でダウンロード (39K)
CONTENTS

原稿種別: 表紙
1994 年 4 巻 4 号 p. Cover4-
発行日: 1994/12/15
公開日: 2017/04/08

DOIhttps://doi.org/10.11540/jsiamt.4.4_Cover4

ジャーナルフリー

PDF形式でダウンロード (39K)

J-STAGEへの登録はこちら（無料）