2017年度工学院大学大学院・情報学専攻

数値シミュレーション特論(Numerical Simulation)[2409]


2単位
飛松 敬二郎 准教授  [ 教員業績  JP  EN ]
最終更新日 : 2018/12/19

<授業のねらい及び具体的な到達目標>
授業のねらい:
確率モデルを例に取り、シミュレーションに関して包括的に学習する。シミュレーションの数理基盤となる確率論、確率変数の性質と生成方法、モデルの具体例、統計解析の方法、分散低減法などを学ぶ。

到達目標:
数理モデルをシミュレーション研究により分析する手法を理解する。
擬似乱数の性質と生成方法を理解する。
擬似乱数から色々な分布の確率変数を生成する方法を理解する。
時間の経過に伴う確率モデルの事象の生成方法を理解する。
シミュレーションの推定値を改善する方法を理解する。

Aim of Lectures:
We learn comprehensively about simulation taking probabilistic models as example. More specifically, we learn the probability theory which is the mathematical foundation of simulation, the nature and generation method of random variable, concrete example of model, variance reduction method, statistical analysis method and so on.

Goal:
On completion of this course, the student should be able to:
· Understand the method of analyzing mathematical models by use of a simulation study.
· Understand the nature and generation method of pseudorandom numbers.
· Understand how to generate random variables from pseudo random numbers.
· Understand how to generate events of probabilistic models over time.
· Understand varieties of methods to improve simulation estimators.

<授業計画及び準備学習>
1. 確率の要素
標本空間、確率論の公理、条件付き確率と事象独立、確率変数、期待値、分散と共分散の性質、マルコフの不等式、チェビシェフの不等式、大数の法則、条件付き期待値、条件付き分散

2. 離散型確率変数
二項分布の確率変数、ポアッソン確率変数、幾何分布の確率変数、負の二項分布の確率変数、超幾何分布の確率変数

3. 連続型確率変数
一様分布の確率変数、正規分布の確率変数、指数分布の確率変数、ポアッソン過程とガンマ分布の確率変数、不均一なポアッソン過程

4. 乱数と定積分
擬似乱数の生成とモンテカルロ積分法

5. 離散型確率変数の生成
逆変換法のアルゴリズム、ポアッソン確率変数の生成、二項分布確率変数の生成、Acceptance-Rejection法、Composition Approach、ランダムベクトルの生成

6. 連続型確率変数の生成
逆変換法のアルゴリズム、Rejection法、極座標による正規分布乱数の生成、Poisson過程のイベント生成、不均一なPoisson過程のイベント生成

7. 離散型事象のシミュレーション1
離散型事象によるシミュレーション、 単一サーバーの待ち行列システム、縦列2台のサーバーの待ち行列システム、並列2台のサーバーの待ち行列システム

8. 離散型事象のシミュレーション2
在庫管理モデル、保険リスクモデル、修繕問題のモデル、ストックオプションの行使

9. シミュレーションデータの統計解析
標本平均と標本分散、標本平均と標本分散の漸化式、母集団平均の区間推定、ブートストラップ近似による平均二乗誤差の見積り

10. 分散低減の技法1
負相関変量の使用、制御変量の使用、条件付けによる分散低減

11. 分散低減の技法2
層別サンプリングとその応用、単調関数の多重積分計算、加重サンプリングとその応用

12. 統計学的検証法1
フィットテスト、離散データに対するカイ二乗検定、連続データに対するKolmogorov-Smirnovテスト

13. 統計学的検証法2
不定パラメータを持つ仮説に対するフィットテスト離散データの場合、連続データの場合、2つのサンプルの問題、不均一なポアッソン過程の仮説の検証

14. 振り返り
準備学習
各回の項目をテキストで学習すること。
1. Elements of Probability
Sample space, Axioms of probability, Conditional probability and Independence, Random variable, Expectation, Variance, Chebychev's Inequarity and the Lows of large numbers, Conditional Expectation and Conditional Variance

2. Discrete Random Variables
Binomial random variables, Poisson random variables, Geometric random variables, The negative binomial random variables and Hypergeometric random variables

3. Continuous Random Variables
Uniformly distributed random variables, Normal random variables, Exponential random variables, The Poisson process and Gamma random variables and Nonhomogeneneous Poission Process

4. Random Numbers and Numerical Integration
Pseuderandom number generation, Using random numbers to evaluate integrals

5. Generating Discrete Random Variables
The Inverse transform method, Generating a Poisson random variable, Generating Binomial random variables, The Acceptance-Rejection technique, The Composition approach, Generating random vectors

6. Generating Continuous Random Variables
The Inverse transform algorithm, The Rejection method, The Polar Method for generating normal random variables, Generating a Poisson process, Generating a Nonhomogeneous Poisson Process

7. The Discrete Event Simulation Approach 1
Simulation via discrete events, A Single-server queueing system, A Queueing system with two servers in series, A Queueing system with two parallel servers

8. The Discrete Event Simulation Approach 2
An Inventry model, An Insurance risk model, A Repair problem, Exercising a stock option, Verification of the simulation model

9. Statistical Analysis of Simulation Data
The sample mean and sample variance, Interval estimates of population mean, The Bootstrapping technique for estimating mean square errors

10. Variance Reduction Techniques 1
The use of Antithetic variables, The use of control variables, Variance reduction by Conditioning

11. Variance Reduction Techniques 2
Stratified sampling, Applications of stratified sampling, Computing multidimensional Integrals of monotone functions, Importance sampling and its applications

12. Statistical Validation Techniques 1
Goodness of fit tests, The chi-square goodness of fit test for discrete data, The Kolmogorov-Smirnov test for continuous data

13. Statistical Validation Techniques 2
Goodness of fit tests when some parameters are unspecified, The two-sample problem, Validating the assumption of a Nonhomogeneous Poisson process

14. Reviewing ot the course
Preparation for learning
Learning each item by the textbook.

<成績評価方法及び水準>
課題レポートの点数と授業への参加状況によって評価する。

遅刻・欠席をしないように。止むを得ず欠席・遅刻をする場合は必ず事前に電子メールで連絡すること。

Student must submit reports at the end of term. Details of the subjects will be announced in the class room. Evaluation is made according to the score of reports and the participation situation in the class room.

Do not be late or absent from class. Please contact us in advance by e-mail if you are unable to attend class.

<教科書>
SIMULATION Fourth edition, Sheldon M.Ross, Academic Press.
The textbook is available at the university library.
図書館で閲覧できます。

<参考書>
Although reference books are not specially specified, many good books exist.
特に指定しません。

<オフィスアワー>
The 3rd school hour on Wednesday at the 1E-306 Laboratory in Hachioji.
水曜3時限、八王子校舎 1E-306 研究室
上記以外の場合は大学の個人IDの電子メールアドレスから ct10519 [at] ns.kogakuin.ac.jp(飛松)までメールで連絡してください。


このページの著作権は学校法人工学院大学が有しています。
Copyright(c)2017 Kogakuin University. All Rights Reserved.