The Journal of Reliability Engineering Association of Japan

The Journal of Reliability Engineering Association of Japan

Online ISSN : 2424-2543
Print ISSN : 0919-2697
ISSN-L : 0919-2697

Search

Search
Browse

All issues

Volume 35, Issue 1

Displaying 1-23 of 23 articles from this issue

Download citation

Show all abstracts

|<
<
1
>
>|

[title in Japanese]

Article type: Cover
2013Volume 35Issue 1 Pages Cover1-
Published: January 01, 2013
Released on J-STAGE: January 31, 2018

DOIhttps://doi.org/10.11348/reajshinrai.35.1_Cover1

JOURNAL FREE ACCESS

Download PDF (30269K)
[title in Japanese]

Article type: Appendix
2013Volume 35Issue 1 Pages i-viii
Published: January 01, 2013
Released on J-STAGE: January 31, 2018

DOIhttps://doi.org/10.11348/reajshinrai.35.1_i

JOURNAL FREE ACCESS

Download PDF (590K)
[title in Japanese]

Article type: Index
2013Volume 35Issue 1 Pages xi-
Published: January 01, 2013
Released on J-STAGE: January 31, 2018

DOIhttps://doi.org/10.11348/reajshinrai.35.1_xi

JOURNAL FREE ACCESS

Download PDF (47K)
[title in Japanese]

Article type: Index
2013Volume 35Issue 1 Pages xii-
Published: January 01, 2013
Released on J-STAGE: January 31, 2018

DOIhttps://doi.org/10.11348/reajshinrai.35.1_xii

JOURNAL FREE ACCESS

Download PDF (44K)
Prevention of Problems on Reliability and Safety

Kazuyuki SUZUKI

Article type: Article
2013Volume 35Issue 1 Pages 1-
Published: January 01, 2013
Released on J-STAGE: January 31, 2018

DOIhttps://doi.org/10.11348/reajshinrai.35.1_1

JOURNAL FREE ACCESS

Download PDF (327K)
Random Maintenance Policies(Reliability Modeling and Optimization)

Toshio NAKAGAWA

Article type: Article
2013Volume 35Issue 1 Pages 2-10
Published: January 01, 2013
Released on J-STAGE: January 31, 2018

DOIhttps://doi.org/10.11348/reajshinrai.35.1_2

JOURNAL FREE ACCESS

Show abstractHide abstract

[in Japanese]

View full abstract

Download PDF (926K)
Structural Properties of an Optimal Maintenance Policy for a Markovian Deteriorating System Subject to Random Shocks(Reliability Modeling and Optimization)

Nobuyuki TAMURA

Article type: Article
2013Volume 35Issue 1 Pages 11-17
Published: January 01, 2013
Released on J-STAGE: January 31, 2018

DOIhttps://doi.org/10.11348/reajshinrai.35.1_11

JOURNAL FREE ACCESS

Show abstractHide abstract

[in Japanese]

View full abstract

Download PDF (929K)
Optimal Maintenance Policy for Civil Aircraft(Reliability Modeling and Optimization)

Kodo ITO

Article type: Article
2013Volume 35Issue 1 Pages 18-23
Published: January 01, 2013
Released on J-STAGE: January 31, 2018

DOIhttps://doi.org/10.11348/reajshinrai.35.1_18

JOURNAL FREE ACCESS

Show abstractHide abstract

[in Japanese]

View full abstract

Download PDF (701K)
Reliability Design for a Real-time Embedded System with Power Consumption Constraint(Reliability Modeling and Optimization)

Toshitaka KOGA, Tadashi DOHI, Hiroyuki OKAMURA

Article type: Article
2013Volume 35Issue 1 Pages 24-30
Published: January 01, 2013
Released on J-STAGE: January 31, 2018

DOIhttps://doi.org/10.11348/reajshinrai.35.1_24

JOURNAL FREE ACCESS

Show abstractHide abstract

[in Japanese]

View full abstract

Download PDF (935K)
Evaluation Method for the Optimal Design Problem of a Network(Reliability Modeling and Optimization)

Tomoaki AKIBA, Hisashi YAMAMOTO

Article type: Article
2013Volume 35Issue 1 Pages 31-36
Published: January 01, 2013
Released on J-STAGE: January 31, 2018

DOIhttps://doi.org/10.11348/reajshinrai.35.1_31

JOURNAL FREE ACCESS

Show abstractHide abstract

[in Japanese]

View full abstract

Download PDF (889K)
Application of Simulated Annealing Method to Optimal Arrangement Problems in a Consecutive-k-out-of-n:F System(Reliability Modeling and Optimization)

Koji SHINGYOCHI

Article type: Article
2013Volume 35Issue 1 Pages 37-43
Published: January 01, 2013
Released on J-STAGE: January 31, 2018

DOIhttps://doi.org/10.11348/reajshinrai.35.1_37

JOURNAL FREE ACCESS

Show abstractHide abstract

[in Japanese]

View full abstract

Download PDF (899K)
Report of 25^<th> Autumn Symposium on Reliability

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

Article type: Article
2013Volume 35Issue 1 Pages 44-49
Published: January 01, 2013
Released on J-STAGE: January 31, 2018

DOIhttps://doi.org/10.11348/reajshinrai.35.1_44

JOURNAL FREE ACCESS

Download PDF (2714K)
2012.2^<th> Visiting Report of REAJ

[in Japanese]

Article type: Article
2013Volume 35Issue 1 Pages 50-
Published: January 01, 2013
Released on J-STAGE: January 31, 2018

DOIhttps://doi.org/10.11348/reajshinrai.35.1_50

JOURNAL FREE ACCESS

Download PDF (563K)
[title in Japanese]

Article type: Appendix
2013Volume 35Issue 1 Pages 51-53
Published: January 01, 2013
Released on J-STAGE: January 31, 2018

DOIhttps://doi.org/10.11348/reajshinrai.35.1_51

JOURNAL FREE ACCESS

Download PDF (136K)
[title in Japanese]

Article type: Appendix
2013Volume 35Issue 1 Pages 54-
Published: January 01, 2013
Released on J-STAGE: January 31, 2018

DOIhttps://doi.org/10.11348/reajshinrai.35.1_54

JOURNAL FREE ACCESS

Download PDF (88K)
[title in Japanese]

Article type: Appendix
2013Volume 35Issue 1 Pages 55-
Published: January 01, 2013
Released on J-STAGE: January 31, 2018

DOIhttps://doi.org/10.11348/reajshinrai.35.1_55_1

JOURNAL FREE ACCESS

Download PDF (67K)
[title in Japanese]

Article type: Appendix
2013Volume 35Issue 1 Pages 55-
Published: January 01, 2013
Released on J-STAGE: January 31, 2018

DOIhttps://doi.org/10.11348/reajshinrai.35.1_55_2

JOURNAL FREE ACCESS

Download PDF (67K)
[title in Japanese]

Article type: Appendix
2013Volume 35Issue 1 Pages 55-
Published: January 01, 2013
Released on J-STAGE: January 31, 2018

DOIhttps://doi.org/10.11348/reajshinrai.35.1_55_3

JOURNAL FREE ACCESS

Download PDF (67K)
[title in Japanese]

Article type: Appendix
2013Volume 35Issue 1 Pages 57-
Published: January 01, 2013
Released on J-STAGE: January 31, 2018

DOIhttps://doi.org/10.11348/reajshinrai.35.1_57

JOURNAL FREE ACCESS

Download PDF (10K)
Research on Development of a Safe and Reliable Software System for Automatic Train Protection and Block System

Guo XIE, Hiroshi MOCHIZUKI, Sei TAKAHASHI, Hideo NAKAMURA

Article type: Article
2013Volume 35Issue 1 Pages 59-70
Published: January 01, 2013
Released on J-STAGE: January 31, 2018

DOIhttps://doi.org/10.11348/reajshinrai.35.1_59

JOURNAL FREE ACCESS

Show abstractHide abstract

This paper makes a formal analysis of the specification for a novel railway signaling system, Automatic Train Protection and Block (ATPB) system, which is proposed by the authors to aid in restructuring regional rail lines at low cost in Japan. Firstly, after analyzing the requirements of the ATPB, state transitions for every component are created to express the internal mechanism. Then on the basis of original specification in natural language and state transitions, a rigorous specification of the ATPB is established in VDM++ without ambiguities. Thirdly, in order to guarantee that there are no runtime errors resulting from the internal inconsistency of specification, the internal consistency of VDM++ specification is proved. Followed by the satisfiability is checked by systematic testing to make sure the specification satisfies actual functional requirements. Lastly, the system is simulated strictly according to the formal specification. The simulation met functional requirements well, and illustrated high robustness with internal consistency.

View full abstract

Download PDF (1625K)
[title in Japanese]

Article type: Appendix
2013Volume 35Issue 1 Pages 71-72
Published: January 01, 2013
Released on J-STAGE: January 31, 2018

DOIhttps://doi.org/10.11348/reajshinrai.35.1_71

JOURNAL FREE ACCESS

Download PDF (183K)
[title in Japanese]

Article type: Appendix
2013Volume 35Issue 1 Pages 73-
Published: January 01, 2013
Released on J-STAGE: January 31, 2018

DOIhttps://doi.org/10.11348/reajshinrai.35.1_73

JOURNAL FREE ACCESS

Download PDF (16K)
[title in Japanese]

Article type: Cover
2013Volume 35Issue 1 Pages Cover2-
Published: January 01, 2013
Released on J-STAGE: January 31, 2018

DOIhttps://doi.org/10.11348/reajshinrai.35.1_Cover2

JOURNAL FREE ACCESS

Download PDF (676K)

|<
<
1
>
>|

Top