| 題名 | A Note on Parametric Sensitivity Analysis of Dynamic Fault Trees |
| 著者 | *Junjun Zheng, Hiroyuki Okamura, Tadashi Dohi (広島大学大学院工学研究科情報工学専攻) |
| Page | p. 289 |
| Keyword | parametric sensitivity analysis, dynamic fault tree, CTMC kernel, non-repairable system, uniformization |
| Abstract | Dynamic fault tree (DFT) provides an effective method for assessing the reliability of computer-based system. On the other hand, the sensitivity analysis quantifies the effect of the system configuration on the system performance index, and is helpful to select the best system configuration. This paper considers the parametric sensitivity analysis by the first derivatives of the performance index with respect to specific model parameters of system reliability for a DFT model. |
| 題名 | SISO-OSDにおける候補符号語の生成方法の改良 |
| 著者 | *岡部 裕介, 日下 卓也 (岡山大学大学院自然科学研究科) |
| Page | p. 290 |
| Keyword | 軟判定復号法, 軟値出力復号法 |
| Abstract | 線形符号の軟判定復号法として提案されているOrdered Statistics Decording (OSD)を軟値出力に対応させた軟値入力/軟値出力-OSD (SISO-OSD)の効率化に関する研究が進められている．SISO復号では尤度が高い候補符号語を用いて出力系列を生成するが，既存法では信頼度の降順に並んだ情報系列に対し指定された個数までのビットを網羅的に反転したものを符号化することで候補符号語を得るため，尤度の低い可能性が高い候補符号語も生成していることになる．つまり既存法では必要性の低い処理を行っていると考えられ，無駄があると考えられる．本研究では，情報系列で反転するビットの組み合せを工夫することにより無駄な候補符号語の生成を省略するが，誤り訂正能力の悪化を抑えられる手法を提案する． |
| 題名 | 否定的な評価を考慮した強固な秘匿性を持つ評価システムのWeb実装 |
| 著者 | *中田 博之, 中西 透, 渡邊 寛, 舩曵 信生 (岡山大学 大学院自然科学研究科) |
| Page | p. 291 |
| Keyword | 評価システム |
| Abstract | インターネットオークションなどのユーザ間サービスでは，各ユーザが互いに信頼できるかを判断するために評価システムが利用されている．しかし，現行のシステムでは，管理者に対してユーザのプライバシが弱い． この問題を解決するため，本研究グループでは匿名証明書を用いてユーザ側で評価点を管理することにより，管理者に対して強固な秘匿性を持つ評価システムを提案しWeb実装を行っている．また，否定的な評価を受けた場合に故意に更新を行わないことで否定的な評価を回避されるという問題を解決した改良方式を提案している． 本研究では，改良した評価システムを評価するために，Webシステムとして実装を行い，性能評価を行った． |
| 題名 | An Extension of Age Range Proof in Anonymous Credential System Using Monotone Formula |
| 著者 | *Shahidatul Sadiah, 中西 透, 渡辺 寛, 舩曵 信生 (岡山大学) |
| Page | p. 292 |
| Keyword | security |
| Abstract | Anonymous credential system on attributes allows a user to anonymously convince a service provider that he/she owns the specified attributes. Previously, an anonymous credential system proving monotone formula on attributes with less public key size and computation time was proposed. However, the system only can support either upper or lower limit proof for proving age range. In this paper, we extend the system using monotone formula to support both upper and lower limits simultaneously for proving the age range. |
| 題名 | “騎士の巡回”に関する一考察 |
| 著者 | *義永 常宏 (徳山工業高等専門学校), 坂本 眞人 (宮崎大学) |
| Page | p. 293 |
| Keyword | 騎士の巡回, バックトラッキング, ハミルトン閉路, ハミルトン経路, チェス |