Proceeding of Symposium on Reliability

Online ISSN : 2424-2357
ISSN-L : 2424-2357

Browse

Search
Browse

All issues

2011Autumn.24

Displaying 1-30 of 30 articles from this issue

Download citation

Show all abstracts

[title in Japanese]

Article type: Cover
Pages Cover1-
Published: November 07, 2011
Released on J-STAGE: February 09, 2018

DOIhttps://doi.org/10.11348/reajsym.2011Autumn.24.0_Cover1

CONFERENCE PROCEEDINGS FREE ACCESS

Download PDF (19K)
[title in Japanese]

Article type: Appendix
Pages App1-
Published: November 07, 2011
Released on J-STAGE: February 09, 2018

DOIhttps://doi.org/10.11348/reajsym.2011Autumn.24.0_App1

CONFERENCE PROCEEDINGS FREE ACCESS

Download PDF (52K)
[title in Japanese]

Article type: Index
Pages Toc1-
Published: November 07, 2011
Released on J-STAGE: February 09, 2018

DOIhttps://doi.org/10.11348/reajsym.2011Autumn.24.0_Toc1

CONFERENCE PROCEEDINGS FREE ACCESS

Download PDF (66K)
[title in Japanese]

Article type: Appendix
Pages App2-
Published: November 07, 2011
Released on J-STAGE: February 09, 2018

DOIhttps://doi.org/10.11348/reajsym.2011Autumn.24.0_App2

CONFERENCE PROCEEDINGS FREE ACCESS

Download PDF (312K)
[title in Japanese]

Article type: Appendix
Pages App3-
Published: November 07, 2011
Released on J-STAGE: February 09, 2018

DOIhttps://doi.org/10.11348/reajsym.2011Autumn.24.0_App3

CONFERENCE PROCEEDINGS FREE ACCESS

Download PDF (5K)
1-1 A Safety Assessment of Railway Crossing by Using the Frequency of the Event That Automobiles/Pedestrians Exist near the Crossing Gate during Shut of Crossing Gate

Naoki HATAKEYAMA, Shingo MATSUMOTO

Article type: Article
Session ID: 1-1
Published: November 07, 2011
Released on J-STAGE: February 09, 2018

DOIhttps://doi.org/10.11348/reajsym.2011Autumn.24.0_7

CONFERENCE PROCEEDINGS FREE ACCESS

Show abstractHide abstract

[in Japanese]

View full abstract

Download PDF (618K)
[title in Japanese]

[in Japanese], [in Japanese], [in Japanese], [in Japanese]

Article type: Article
Session ID: 1-2
Published: November 07, 2011
Released on J-STAGE: February 09, 2018

DOIhttps://doi.org/10.11348/reajsym.2011Autumn.24.0_11

CONFERENCE PROCEEDINGS FREE ACCESS

Show abstractHide abstract

[in Japanese]

View full abstract

Download PDF (655K)
[title in Japanese]

[in Japanese], [in Japanese], [in Japanese]

Article type: Article
Session ID: 1-3
Published: November 07, 2011
Released on J-STAGE: February 09, 2018

DOIhttps://doi.org/10.11348/reajsym.2011Autumn.24.0_15

CONFERENCE PROCEEDINGS FREE ACCESS

Show abstractHide abstract

[in Japanese]

View full abstract

Download PDF (686K)
[title in Japanese]

Article type: Appendix
Pages App4-
Published: November 07, 2011
Released on J-STAGE: February 09, 2018

DOIhttps://doi.org/10.11348/reajsym.2011Autumn.24.0_App4

CONFERENCE PROCEEDINGS FREE ACCESS

Download PDF (7K)
[title in Japanese]

Hiroyuki SAITO, Mariko NAKAMURA, Takashi SAWADA

Article type: Article
Session ID: 2-1
Published: November 07, 2011
Released on J-STAGE: February 09, 2018

DOIhttps://doi.org/10.11348/reajsym.2011Autumn.24.0_21

CONFERENCE PROCEEDINGS FREE ACCESS

Show abstractHide abstract

[in Japanese]

View full abstract

Download PDF (900K)
2-2 A Safety Analysis by Color-FTA for Railway Signaling System

Ka Sun, Hiroshi Mochizuki, Sei Takahashi, Hideo Nakamura

Article type: Article
Session ID: 2-2
Published: November 07, 2011
Released on J-STAGE: February 09, 2018

DOIhttps://doi.org/10.11348/reajsym.2011Autumn.24.0_25

CONFERENCE PROCEEDINGS FREE ACCESS

Download PDF (525K)
[title in Japanese]

[in Japanese], [in Japanese], [in Japanese], [in Japanese]

Article type: Article
Session ID: 2-3
Published: November 07, 2011
Released on J-STAGE: February 09, 2018

DOIhttps://doi.org/10.11348/reajsym.2011Autumn.24.0_29

CONFERENCE PROCEEDINGS FREE ACCESS

Show abstractHide abstract

[in Japanese]

View full abstract

Download PDF (687K)
[title in Japanese]

Article type: Appendix
Pages App5-
Published: November 07, 2011
Released on J-STAGE: February 09, 2018

DOIhttps://doi.org/10.11348/reajsym.2011Autumn.24.0_App5

CONFERENCE PROCEEDINGS FREE ACCESS

Download PDF (7K)
3-1 Prediction and prevention of failure by the precursors

Yuichi AOKI

Article type: Article
Session ID: 3-1
Published: November 07, 2011
Released on J-STAGE: February 09, 2018

DOIhttps://doi.org/10.11348/reajsym.2011Autumn.24.0_35

CONFERENCE PROCEEDINGS FREE ACCESS

Show abstractHide abstract

[in Japanese]

View full abstract

Download PDF (582K)
[title in Japanese]

[in Japanese]

Article type: Article
Session ID: 3-2
Published: November 07, 2011
Released on J-STAGE: February 09, 2018

DOIhttps://doi.org/10.11348/reajsym.2011Autumn.24.0_39

CONFERENCE PROCEEDINGS FREE ACCESS

Show abstractHide abstract

[in Japanese]

View full abstract

Download PDF (580K)
[title in Japanese]

[in Japanese], [in Japanese], [in Japanese]

Article type: Article
Session ID: 3-3
Published: November 07, 2011
Released on J-STAGE: February 09, 2018

DOIhttps://doi.org/10.11348/reajsym.2011Autumn.24.0_43

CONFERENCE PROCEEDINGS FREE ACCESS

Show abstractHide abstract

[in Japanese]

View full abstract

Download PDF (737K)
[title in Japanese]

Article type: Appendix
Pages App6-
Published: November 07, 2011
Released on J-STAGE: February 09, 2018

DOIhttps://doi.org/10.11348/reajsym.2011Autumn.24.0_App6

CONFERENCE PROCEEDINGS FREE ACCESS

Download PDF (6K)
4-1 Formal Analysis and Simulation of ATPB System

Guo Xie, Hiroshi Mochizuki, Sei Takahashi, Hideo Nakamura

Article type: Article
Session ID: 4-1
Published: November 07, 2011
Released on J-STAGE: February 09, 2018

DOIhttps://doi.org/10.11348/reajsym.2011Autumn.24.0_49

CONFERENCE PROCEEDINGS FREE ACCESS

Show abstractHide abstract

This paper makes a formal analysis of the specification of a novel railway system, ATPB system, which is proposed by the authors. Firstly, on the basis of analyzing the requirements of the actual system, it established the specification of the ATPB system by VDM++. Secondly it proved the internal consistency which can guarantee there is no runtime error; and then it validated the satisfiability, which is used to make sure that the specification satisfies the requirement. At last, it simulated the system strictly according to the formal specification.

View full abstract

Download PDF (477K)
4-2 A Method of Estimating lightning damage by Multi-regression Analysis

Xiaoxi ZHANG, Akira SUGIYAMA, Takashi SAWADA

Article type: Article
Session ID: 4-2
Published: November 07, 2011
Released on J-STAGE: February 09, 2018

DOIhttps://doi.org/10.11348/reajsym.2011Autumn.24.0_53

CONFERENCE PROCEEDINGS FREE ACCESS

Show abstractHide abstract

[in Japanese]

View full abstract

Download PDF (635K)
4-3 Reliability Analysis for Count Data Based on Nonhomogeneous Poisson Process and Bayesian Estimations with Accelerated Models

Toru KAISE

Article type: Article
Session ID: 4-3
Published: November 07, 2011
Released on J-STAGE: February 09, 2018

DOIhttps://doi.org/10.11348/reajsym.2011Autumn.24.0_57

CONFERENCE PROCEEDINGS FREE ACCESS

Download PDF (536K)
[title in Japanese]

[in Japanese], [in Japanese]

Article type: Article
Session ID: 4-4
Published: November 07, 2011
Released on J-STAGE: February 09, 2018

DOIhttps://doi.org/10.11348/reajsym.2011Autumn.24.0_61

CONFERENCE PROCEEDINGS FREE ACCESS

Show abstractHide abstract

[in Japanese]

View full abstract

Download PDF (671K)
[title in Japanese]

Article type: Appendix
Pages App7-
Published: November 07, 2011
Released on J-STAGE: February 09, 2018

DOIhttps://doi.org/10.11348/reajsym.2011Autumn.24.0_App7

CONFERENCE PROCEEDINGS FREE ACCESS

Download PDF (7K)
5-1 Development of OS for Multi-Core System with Microkernel technology

Jie Zhou, Sei Takahashi, Hideo Nakamura

Article type: Article
Session ID: 5-1
Published: November 07, 2011
Released on J-STAGE: February 09, 2018

DOIhttps://doi.org/10.11348/reajsym.2011Autumn.24.0_67

CONFERENCE PROCEEDINGS FREE ACCESS

Show abstractHide abstract

[in Japanese]

View full abstract

Download PDF (774K)
5-2 Optimal preventive maintenance intervals of a rolling stock system

Won Young Yun, Goeun Park, Young Jin Han

Article type: Article
Session ID: 5-2
Published: November 07, 2011
Released on J-STAGE: February 09, 2018

DOIhttps://doi.org/10.11348/reajsym.2011Autumn.24.0_71

CONFERENCE PROCEEDINGS FREE ACCESS

Show abstractHide abstract

In this paper, we deal with a preventive maintenance (PM) scheduling problem for a rolling stock system. We determine the optimal PM intervals for components in the rolling stock system. The system availability and life cycle cost are used as optimization criteria. For given three PM intervals, we assign a suitable interval to each component to minimize the system life cycle cost and to satisfy the required system availability. The system availability and system life cycle cost are estimated by simulation. A heuristic method is proposed to find the optimal PM intervals of all components. Numerical examples are also studied.

View full abstract

Download PDF (482K)
5-3 The measure about the system safety in accordance with IEC61508

Junta INOUE, Kenji TAGUCHI, Daisuke SOUMA

Article type: Article
Session ID: 5-3
Published: November 07, 2011
Released on J-STAGE: February 09, 2018

DOIhttps://doi.org/10.11348/reajsym.2011Autumn.24.0_75

CONFERENCE PROCEEDINGS FREE ACCESS

Download PDF (602K)
[title in Japanese]

Article type: Appendix
Pages App8-
Published: November 07, 2011
Released on J-STAGE: February 09, 2018

DOIhttps://doi.org/10.11348/reajsym.2011Autumn.24.0_App8

CONFERENCE PROCEEDINGS FREE ACCESS

Download PDF (7K)
[title in Japanese]

[in Japanese], [in Japanese]

Article type: Article
Session ID: 6-1
Published: November 07, 2011
Released on J-STAGE: February 09, 2018

DOIhttps://doi.org/10.11348/reajsym.2011Autumn.24.0_81

CONFERENCE PROCEEDINGS FREE ACCESS

Show abstractHide abstract

[in Japanese]

View full abstract

Download PDF (736K)
6-2 Extension of Official Useful Life

Madoka KITA, Takeshi NATSUME

Article type: Article
Session ID: 6-2
Published: November 07, 2011
Released on J-STAGE: February 09, 2018

DOIhttps://doi.org/10.11348/reajsym.2011Autumn.24.0_85

CONFERENCE PROCEEDINGS FREE ACCESS

Download PDF (365K)
[title in Japanese]

[in Japanese], [in Japanese], [in Japanese], [in Japanese], [in Japane ...

Article type: Article
Session ID: 6-3
Published: November 07, 2011
Released on J-STAGE: February 09, 2018

DOIhttps://doi.org/10.11348/reajsym.2011Autumn.24.0_87

CONFERENCE PROCEEDINGS FREE ACCESS

Download PDF (551K)
[title in Japanese]

Article type: Cover
Pages Cover2-
Published: November 07, 2011
Released on J-STAGE: February 09, 2018

DOIhttps://doi.org/10.11348/reajsym.2011Autumn.24.0_Cover2

CONFERENCE PROCEEDINGS FREE ACCESS

Download PDF (16K)

feedback

Top

Register with J-STAGE for free!