KANAGAWA University Repository >
020 研究紀要等 Bulletin Papers >
Science Journal of Kanagawa University(神奈川大学総合理学研究所) >
27巻 >


タイトル: SDBSの帰属および帰属決定プロセスについてのアシュランスケースの研究
その他のタイトル: Toward an Assurance Case Practice for 1H NMR Assignment for SDBS
著者: 渡邊, 宏
Watanabe, Hiroshi
木下, 佳樹
Kinoshita, Yoshiki
武山, 誠
Takeyama, Makoto
奥野, 康二
Okuno, Koji
キーワード: formal assurance case
1H NMR assignment
発行日: 30-Jun-2016
出版者: 神奈川大学総合理学研究所
抄録: SDBS is a spectral database for organic compounds developed and maintained at AIST. It provides not only spectral data but also chemical shift assignments obtained from analysis for both 1H NMR and 13C NMR spectra. However, the database shows only spectra and the evaluated assignments without any evidences or proofs for them. So, there are no means to convey the quality and reliability of them to its users. Our approach to this issue employs assurance cases. An assurance case is a documented body of evidence that provides a convincing and valid argument that a system has claimed properties. It is used in the evaluation of safety as a means of communication among stakeholders. As a case study, we apply the assurance case to the concrete problem in SDBS. We apply it to the evaluation of the chemical shift assignments for 1H NMR in SDBS and construct assurance cases that claim validity of the obtained assignments. A semi-formal version of the assurance cases is also considered to enable machine-checking and manipulation, in the context of formal assurance case.
内容記述: 原著 2015 年度神奈川大学総合理学研究所共同研究助成論文
ISSN: 1880-0483


ファイル 記述 サイズフォーマット
27-07.pdf1.91 MBAdobe PDF見る/開く



Valid XHTML 1.0! DSpace Software Copyright © 2002-2006 MIT and Hewlett-Packard - ご意見をお寄せください