日本応用数理学会論文誌

表紙

原稿種別: 表紙
1995 年 5 巻 1 号 p. Cover1-
発行日: 1995/03/15
公開日: 2017/04/08

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

ジャーナルフリー

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

原稿種別: 表紙
1995 年 5 巻 1 号 p. Cover2-
発行日: 1995/03/15
公開日: 2017/04/08

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

ジャーナルフリー

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

原稿種別: 付録等
1995 年 5 巻 1 号 p. App1-
発行日: 1995/03/15
公開日: 2017/04/08

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

ジャーナルフリー

PDF形式でダウンロード (511K)
ソフトウェア開発におけるテスト工程管理のためのテスト労力配分問題

西脇正敏, 山田茂, 一森哲男

原稿種別: 本文
1995 年 5 巻 1 号 p. 1-8
発行日: 1995/03/15
公開日: 2017/04/08

DOIhttps://doi.org/10.11540/jsiamt.5.1_1

ジャーナルフリー

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

During software testing phase, a lot of development resources are consumed to detect and remove software errors introduced in the software development process. Therefore, it is of great importance for a manager to decide how to effectively spend testing effort on software testing. In this paper, we discuss testing-process control in software development. That is, a testing-resource allocation problem is considered to make the best use of specified testing-resources during the module testing. To describe the software fault detection process during the testing, we apply a testing-effort dependent software reliability growth model basde on a nonhomogeneous Poisson process. We also provide numerical examples of the optimal policies.

抄録全体を表示

PDF形式でダウンロード (566K)
差分法によるn次元ラプラス方程式の離散化とその理論固有値解析

竹内敏己, 藤野清次

原稿種別: 本文
1995 年 5 巻 1 号 p. 9-26
発行日: 1995/03/15
公開日: 2017/04/08

DOIhttps://doi.org/10.11540/jsiamt.5.1_9

ジャーナルフリー

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

In this paper we study theoretically on some mathematical properties of the matrix of the linear system of equations which stems from discretization of n-dimensional Laplace equation by finite difference approximations. The mathematical properties, i.e., the maximum and minimum absolute eigenvalues, the eigenvectors and the condition numbers of the coefficient matrix A and the Jacobi matrix B of the iterative method are estimated. The discretization by the finite differences in n-dimensions is made using the nearest and skewed neighboring grid points. The effectiveness of the variants of the finite differences is shown throughout this study.

抄録全体を表示

PDF形式でダウンロード (1028K)
対称有向グラフのある被覆の同型について

水野弘文, 佐藤巌

原稿種別: 本文
1995 年 5 巻 1 号 p. 27-36
発行日: 1995/03/15
公開日: 2017/04/08

DOIhttps://doi.org/10.11540/jsiamt.5.1_27

ジャーナルフリー

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

In this paper we study isomorphisms of some covers of a symmetric digraph. Let D be a symmetric digraph, Γ a group of automorphisms of D and A a finite group. We present a characterization for two cyclic A-covers of D to be Γ-isomorpihic. Furthermore, in the case that A is the r-dimensional vector space F^r_p over the finite field F_p with p(>2) elements, we discuss the number of Γ-isomorphism classes of cycilc F^r_p-covers of D. Finally, we treat the enumeration and the structure of Γ-isomorphism classes of nonzero-cyclic F^r_p-covers of D.

抄録全体を表示

PDF形式でダウンロード (642K)
浮動少数点数の加減算における丸め誤差の分布について

久保田光一

原稿種別: 本文
1995 年 5 巻 1 号 p. 37-46
発行日: 1995/03/15
公開日: 2017/04/08

DOIhttps://doi.org/10.11540/jsiamt.5.1_37

ジャーナルフリー

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

Analyzing the behaviour of rounding errors generated in additions and subtractions of floating-point numbers and regarding them as random variables, we propose a slightly strange model for their distribution. The model gives distributions which approximate the observed generated relative errors more precisely than the uniform distribution which is usually adopted in probalbilistic analysis of rounding errors.

抄録全体を表示

PDF形式でダウンロード (720K)
対称2重障壁構造における共鳴トンネリング特性

加藤文夫, 岩崎日出夫

原稿種別: 本文
1995 年 5 巻 1 号 p. 47-66
発行日: 1995/03/15
公開日: 2017/04/08

DOIhttps://doi.org/10.11540/jsiamt.5.1_47

ジャーナルフリー

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

This paper presents a theory of resonant tunneling phenomena through a class of Symmetrical rectangular Double-Barrier structures(SDB's). We derive analycal form of transmission coefficient and the resonance condition for general SDB's. We, then, define three types of SDB's, i.c.neutral, repulsive, and attractive SDB's, among which this paper deals mainly with repulsive SDB's. Investigation of the resonance condition reveals that repulsive SDB's have similar resonance characteristics to neutral ones, but those of attractive SDB's are quite different. For repulsive SDB's, we discuss upper and lower bounds of each resonant energy level.

抄録全体を表示

PDF形式でダウンロード (1011K)
行列演算用言語LAMAX-S処理系の最適化コード生成

内田智史, 八卷直一, 本郷茂, 唐澤豊, 池辺八洲彦

原稿種別: 本文
1995 年 5 巻 1 号 p. 67-85
発行日: 1995/03/15
公開日: 2017/04/08

DOIhttps://doi.org/10.11540/jsiamt.5.1_67

ジャーナルフリー

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

The matrix programming language LAMAX-S has a facility for the description of matrix form such as band, symmetric, sparse, and the mathematical characteristics such as positive definite. In this paper, we propose a method for the potimum code generation for a LAMAX-S source program using matrix calculation rules based on these mathematical descriptions written in a LAMAX-S source program. The basic idea consists of 3 stages : (1)to change an initial calculation procedure written in the source program to various other calculation proceduires as much as possible as a candidate of the optimum procedure.(2)to estimate its computational quantity for all of the candidates.(3)to select a procedure which has the minimum computational quantity among the candidates. In this paper, we present the concrete method for this optimum process and explain the prototype system.

抄録全体を表示

PDF形式でダウンロード (1483K)
調和関数を利用したポアソン方程式における点ソースの位置同定

山谷克, 大中幸三郎

原稿種別: 本文
1995 年 5 巻 1 号 p. 87-99
発行日: 1995/03/15
公開日: 2017/04/08

DOIhttps://doi.org/10.11540/jsiamt.5.1_87

ジャーナルフリー

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

The inverse source problem for two-dimentional Poisson equation is discussed. As the source term, we consider some point sources whose locations are bounded in suitable regions. This paper gives a numerical method to identify locations of these point sources. We apply the weighted residual expression using harmonic functions as weighting functions and reduce existance fegions of point sources. The convergence of our method is also considered. Finally, the effectiveness of our method is demonstrated by numerical examples.

抄録全体を表示

PDF形式でダウンロード (825K)
境界要素法の変数変換型の自動数値積分法とその誤差解析

國廣昇, 速水謙, 杉原正顯

原稿種別: 本文
1995 年 5 巻 1 号 p. 101-119
発行日: 1995/03/15
公開日: 2017/04/08

DOIhttps://doi.org/10.11540/jsiamt.5.1_101

ジャーナルフリー

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

Numerical integration governs the accuracy of the Boundary Element Method(BEM). When the source point is near the boundary element, the boundary element integrals cannot be computed accurately by using ordinary methods. To overcome this problem, the PART method was introduced. However, it is not easy to apply automatic numerical integration to the previous PART method, since it is based on the Gauss-Legendre rule. In this paper, we propose the log L_2-DE transformation in combination with the truncated trapezium rule for the radial variable integration in the PART method. Numerical expcrimcnts and theoretical analysis demonstrate the effectiveness of the proposed transformation.

抄録全体を表示

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

原稿種別: 付録等
1995 年 5 巻 1 号 p. App2-
発行日: 1995/03/15
公開日: 2017/04/08

DOIhttps://doi.org/10.11540/jsiamt.5.1_App2

ジャーナルフリー

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

原稿種別: 表紙
1995 年 5 巻 1 号 p. Cover3-
発行日: 1995/03/15
公開日: 2017/04/08

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

ジャーナルフリー

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

原稿種別: 表紙
1995 年 5 巻 1 号 p. Cover4-
発行日: 1995/03/15
公開日: 2017/04/08

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

ジャーナルフリー

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

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