AUTOSAR CountdownAdvent Calendar 2022Day 11

参考文献一覧作成ファイルの存在の確認とPDF・画像からの変換（OCR) 図(49)

Last updated at 2024-07-20Posted at 2019-11-11

参考文献一覧を基本文献から作成する。

<この項は書きかけです。順次追記します。>

ネットで検索し、見える画像、ダウンロードしたPDFなどから参考文献一覧の参考文献一覧を生成する場合の課題を記録する。画像から文字に変換するのは、最近はこちらのサービスを利用している。

無料オンラインOCRサービス
https://www.onlineocr.net/ja/

1. 文献が見当たらない。参考文献一覧も見当たらない。

　物理系の文献だと、表題を記載しない。
https://jp.quora.com/物理系の論文で-人名-雑誌名-巻号-年の記載だけで題名

2. 文献はないが参考文献一覧はある。

本当にその文献の参考文献で抜け漏れがないか心配。一部のサービスでは、該当サービス上の文書を優先し、それ以外は確認しづらい場合がある。

3. 文献はあり、参考文献一覧はあるが、情報に抜け漏れと、不要な情報があるかもしれない。

http:researchgate.net

4. 文献はあるが、そのままではText fileに保存、複写できない。OCRソフトで一枚ずつ処理するかどうか。文献紹介にText化している参考文献は一部のみかもしれない

誤植の例
8->5(five)
8->S(es)
I->1
]->1
[->|
e->c
a->u
c->e
5->$
F->E

[5]->LSI
el->d
The->lbc
U->IJ
E->li
r->/-
[8 -> r»
EE->F.B

薄いために認識できない場合。
過去には汚れが別の文字にする場合もあった。
フォントの種類によって異なる文字に認識する場合もある。どのフォントを使ったかの指定ができると、認識謝りが減るかも。
http://www.i2ocr.com/free-online-english-ocr

こちらでは、
[->(
]->)
など。

5. 文献はあり、複写はできるが、不要な情報がある。または順番が部分的に入れ替わる。

6. 文献はあり、複写はでき、ほぼ貼り付けできるが、文字化けなどが起きる。

7. 文献はあり、複写はでき、ほぼ貼り付けできるが、参考文献などに誤植などがあり、該当文献に到達できない。

8. 文献はあり、複写はでき、ほぼ貼り付けできるが、参考文献が検索しても見当たらない。図書館、該当大学などのURLで検索しても出てこない。ただし、他の文献などの複数箇所で同じ文献を参照しており、文書の存在は、当時の該当分野では確認する方法があったらしい。

9. 文献はあり、複写はでき、ほぼ貼り付けできるが、参考文献が検索しても見当たらない。図書館、該当大学などのURLで検索しても出てこない。他に参照している文献も見当たらず、存在方法を確かめることができていない。

関連資料

SEI CERT C++ Coding Standard AA. Bibliography 確認中。
https://qiita.com/kaizen_nagoya/items/fe06719aef10f3f985ae

スピングラス理論と情報統計力学　西森秀稔　参考文献。統計と確率(18)
https://qiita.com/kaizen_nagoya/items/702c08becfcca98fa9d8

「量子アニーリングの基礎」の参考文献の参考文献
https://qiita.com/kaizen_nagoya/items/2b2fe08b5824c6c3c68d

「量子アニーリングの基礎」参考文献の参考文献を調べるためにしていること
https://qiita.com/kaizen_nagoya/items/a9a412561caee3852d77

計算物理学 Rubin H. Landau 参考文献・docker登録。docker(52)
https://qiita.com/kaizen_nagoya/items/af924f5ac71ff5cc8c89

学習と情報の平均場理論　樺島祥介参考文献一覧
https://qiita.com/kaizen_nagoya/items/a445f68e1468488b2ef8

Data Scientist の基礎(2)参考文献
https://qiita.com/kaizen_nagoya/items/8b2f27353a9980bf445c

ファインマン計算機科学(参考文献）
https://qiita.com/kaizen_nagoya/items/78391bdcc1727880d613

「ゼロから作るDeepLearning2 自然言語処理編」参考文献の参考文献(作業中)
https://qiita.com/kaizen_nagoya/items/45ef08bd8da6d30d1d3e

「ゼロから作るDeepLearning2 自然言語処理編」読書会用資料を　ゼロから作る。現在参考文献確認中。
https://qiita.com/kaizen_nagoya/items/33fb2c66175a25e39559

R3 on "W.a.t.m.i. statistical ideas of the past 50 years? " Andrew Gelman, Aki Vehtari(0)
https://qiita.com/kaizen_nagoya/items/65431a4a0163b13572a1

researchgateで文献調査の参考文献一覧。Wi-Fi(無線網) Antenna(空中線）(4)
https://qiita.com/kaizen_nagoya/items/e7474ca67842565334b1

事例
https://github.com/kaizen-nagoya/hazop/tree/master/reference

[0] Hazard analysis of human-robot interactions with HAZOP-UML
Abstract, J ́er ́emie Guiochet, University of Toulouse, LAAS-CNRS, Toulouse, France
https://arxiv.org/pdf/1602.03139.pdf

Reference
[1] 2006/42/EC, 2006. Council directive on machinery. Official Journal of the European Union L157.

[2] 93/42/EEC, 1993. Council directive of the 14th of june 1993 concerning med- ical devices. Official Journal of the European Union.

[3] Alemzadeh, H., Chen, D., Lewis, A., Kalbarczyk, Z., Iyer, R., 2015. Systems-theoretic safety assessment of robotic telesurgical system. In: 34th International Conference on Computer Safety, Reliability and Security.
https://arxiv.org/abs/1504.07135

[4] Allenby, K., Kelly, T., 2001. Deriving safety requirements using scenarios. In: Fifth IEEE International Symposium on Requirements Engineering. pp. 228–235.
https://www.researchgate.net/publication/3913917_Deriving_safety_requirements_using_scenarios

4-[1] Certification considerations for highly-integrated or complex
aircraft systems. Society of Automotive Engineers, December
1994.
4-[2] Draft defence standard 00-56: Safety management requirements
for defence systems containing programmable electronics.
Ministry of Defence, UK, 1995.
4-[3] Guidelines and methods for conducting the safety assessment
process on civil airborne systems and equipment. Society
of Automotive Engineers, August 1995.
4-[4] Interim defence standard 00-58: Hazop studies on systems
containing programmable electronics. Ministry of Defence,
UK, 1996.
4-[5] Requirements Engineering Journal, 3(3/4), 1998.
4-[6] G. Booch, J. Rumbaugh, and I. Jacobson. The Unified Modelling
Language User Guide. Addison-Wesley, Reading,
Massachusetts, 1999.
4-[7] A. Jaaksi. Our cases with use cases. Journal of Object Oriented
Programming, pages 58 – 65, February 1998.
4-[8] I. Jacobson, M. Christerson, P. Jonsson, and G. Overgaard.
Object-Oriented Software Engineering: A Use Case Driven
Approach. Addison-Wesley, Harlow, England, 1992.
4-[9] G. Kotonya and I. Sommerville. Requirements Engineering:
Processes and Techniques. Wiley, Chichester, England,
1998.
4-[10] C. Potts, K. Takahashi, and A. I. Anton. Inquiry-based requirements
analysis. IEEE Software, 11(2):21 – 32, March
1994.
4-[11] D. J. Pumfrey. The principled design of computer system
safety analyses. D.Phil Thesis, University of York, UK,
1999.
4-[12] F. Redmill, M. Chudleigh, and J. Catmur. System Safety:
HAZOP and Software HAZOP. Wiley, Chichester, England,
1999.
4-[13] J. Rumbaugh, I. Jacobson, and G. Booch. The Unified Modeling
Language Reference Manual. Addison-Wesley, Reading,
Massachusetts, 1999.
4-[14] P. J. Wilkinson and T. P. Kelly. Functional hazard analysis
for highly integrated aerospace systems. Presented at IEE
Seminar on the Certification of Ground/Air Systems, IEE
Savoy Place, London, 1998.
[5] Arlow, A., Duffy, C., McDermid, J., 2006. Safety specification of the ac- tive traffic management control system for english motorways. In: The First Institution of Engineering and Technology International Conference on System Safety.
https://www.cs.york.ac.uk/ftpdir/pub/hise/Safety_Specification_of_the_Active_Traffic_Management_Control_System_for_English_Motorways.pdf
[6] Aviˇzienis, A., Laprie, J. C., Randell, B., Landwehr, C., 2004. Basic concepts and taxonomy of dependable and secure computing. IEEE Transactions on Dependable and Secure Computing 1 (1), 11–33.
[7] Bjørn Axel Gran, R. F., Thunem, A. P.-J., 2004. An approach for model- based risk assessment. In: 23rd International Conference, SAFECOMP 2004, Potsdam, Germany. Springer Berlin / Heidelberg, pp. 311–324.
[8] Blanquart, J.-P., 2010. Survey of state of the art and of the practice in safety and diagnosability. Tech. Rep. D SP1 R5.8 M2, EADS Astrium Satellites, CESAR European Project.
[9] Boiteau, M., Dutuit, Y., Rauzy, A., Signoret, J.-P., 2006. The AltaRica data- flow language in use: modeling of production availability of a multi-state system. Reliability Engineering & System Safety 91 (7), 747 – 755.
[10] Cantrell, S., Clemens, P., 2009. Finding all the hazards how do we know we are done? Professional Safety, American Society of Safety Engineers 54 (11).
[11] CORAS, 2014. A platform for risk analysis of security critical systems. coras.sourceforge.net, accessed 2015-05-17.
[12] CPSELabs, 2015-2018. Cyber-Physical Systems Engineering Labs. Project funded by the European Union, Horizon2020 Programme, www. cpse-labs.eu, accessed 2015-05-17.
[13] DefStan00-58, 2000. HAZOP studies on systems containing programmable electronics. Defence Standard, Ministry of Defence, UK, part 1 and 2.
[14] Dogramadzi, S., Giannaccini, M., Harper, C., Sobhani, M., Woodman, R., Choung, J., 2014. Environmental hazard analysis - a variant of preliminary hazard analysis for autonomous mobile robots. Journal of Intelligent & Robotic Systems 76 (1), 73–117.
[15] Gorski, J., Jarzebowicz, A., 2005. Development and validation of a HAZOP- based inspection of UML models,. In: 3rd World Congress for Software Quality, Munich, Germany.
https://www.researchgate.net/publication/241608330_Development_and_validation_of_a_HAZOP-based_inspection_of_UML_models

15-[1] Boehm B. W., Software engineering economics, Prentice-Hall, Englewood Cliffs, 1981
15-[2] Fagan, M., Design and Code Inspections to Reduce Errors in Program Development, IBM Systems Journal
8, 1976.
15-[3] Freeedman D., Weinberg G., Handbook of Walkthroughs, Inspections, and Technical Reviews: Evaluating
Programs, Projects, and Products (Third Edition), Dorset House, 1990.
15-[4] Gilb T., Graham D., Software Inspections, Addison-Wesley, 1993.
15-[5] Górski J., Jarzębowicz A., Detecting defects in object-oriented diagrams using UML-HAZOP, Foundations
of Computing and Decision Sciences, Vol. 27 (2002), No 4.
15-[6] Object Management Group, OMG Unified Modeling Language Specification, Version 1.5, March 2003.
15-[7] UK Ministry of Defence, Defence Standard 00-58, HAZOP Studies on Systems Containing Programmable Electronics (Part 1&2), Issue 2, 2000.
15-[8] Redmill F., Chudleigh M., Catmur J., System Safety: HAZOP and Software HAZOP, J. Wiley & Sons, 1999
15-[9] Winther R., Johnsen O., Gran B., Security assessments of safety critical systems using HAZOPs, Proceedings of Computer Safety, Reliability and Security, 20th International Conference SAFECOMP
2001, Springer Lecture Notes in Computer Science 2187.
15-[10] Górski J., Jarzębowicz A., Leszczyna R., Miler J., Olszewski M., Tool support for detecting defects in object-oriented models, Proc. of 10th International Multi-Conference on Advanced Computer Systems, 22-24 X 2003, Międzyzdroje.
15-[11] IST-1999-12040 DRug In Virtual Enterprise (DRIVE) D11.4 deliverable version 1.1, January 2003
15-[12] Jarzębowicz A., Górski J. Experimental comparison of UML-HAZOP inspection and non-structured
review, Foundations of Computing and Decision Sciences, vol. 30 (2005) no. 1.

[16]Guiochet, J., Do Hoang, Q. A., Kaaniche, M., Powell, D., 2013. Model- based safety analysis of human-robot interactions: The MIRAS walking assistance robot. In: Rehabilitation Robotics (ICORR), 2013 IEEE Inter- national Conference on. pp. 1–7.

[17]Guiochet, J., Martin-Guillerez, D., Powell, D., 2010. Experience with model- based user-centered risk assessment for service robots. In: IEEE Interna- tional Symposium on High-Assurance Systems Engineering (HASE2010). IEEE Computer Society, San Jose, CA, USA, pp. 104–113.

[18]Guiochet, J., Motet, G., Baron, C., Boy, G., 2004. Toward a human-centered UML for risk analysis - application to a medical robot. In: Johnson, C., Palanque, P. (Eds.), Proc. of the 18th IFIP World Computer Congress (WCC), Human Error, Safety and Systems Development (HESSD04). Kluwer Academic Publisher, pp. 177–191.

[19]Guiochet, J., Vilchis, A., 2002. Safety analysis of a medical robot for tele- echography. In: Proc. of the 2nd IARP IEEE/RAS joint workshop on Tech- nical Challenge for Dependable Robots in Human Environments, Toulouse, France. pp. 217–227.

[20]Haddadin, S., 2014. Towards Safe Robots, Approaching Asimovs 1st Law. Vol. Springer Tracts in Advanced Robotics, Vol. 90. Springer.

[21]Hansen, K. M., Wells, L., Maier, T., 2004. HAZOP analysis of UML-based software architecture descriptions of safety-critical systems. In: Nordic Workshop on UML and Software Modeling (NWUML04).

[22]Harel, D., 1987. Statecharts: A visual formalism for complex systems. Sci. Comput. Program. 8 (3), 231–274.

[23]IEC61508-5, 2010. Functional safety of electrical/electronic/programmable electronic safety-related systems: Part 5: Examples of methods for the de- termination of safety integrity level. International Electrotechnical Com- mission.

[24]IEC61882, 2001. Hazard and operability studies (HAZOP studies) – Appli- cation guide. International Electrotechnical Commission.

[25]Ishimatsu, T., Leveson, N., Thomas, J., Katahira, M., Miyamoto, Y., Nakao, H., 2010. Modeling and hazard analysis using STPA. In: 4th Confer- ence of the International Association for the Advancement of Space Safety (IAASS).

[26]ISO10218-1, 2011. Robots for industrial environments – safety requirements – part 1: Robot. International Organization for Standardization.

[27]ISO13482, 2014. Robots and robotic devices – safety requirements for per- sonal care robots. International Organization for Standardization.

[28]ISO13849-1, 2006. Safety of machinery – safety-related parts of control sys- tems – part 1: General principles for design. International Organization for Standardization.

[29]ISO31000, 2009. Risk management - Principles and guidelines. International Organization for Standardization.

[30]ISO/FDIS14971, 2006. Medical devices - Application of risk management to medical devices. International Standard Organisation.

[31]ISO/IEC-Guide51, 1999. Safety aspects - Guidelines for their inclusion in standards. International Organization for Standardization.

[32]Iwu, F., Galloway, A., Mcdermid, J., Ian, T., 2007. Integrating safety and formal analyses using UML and PFS. Reliability Engineering and System Safety 92 (2), 156–170.

[33]Jarzebowicz, A., Go ́rski, J., 2006. Empirical evaluation of reading techniques for UML models inspection. ITSSA 1 (2), 103–110.

[34]Johannessen, P., Grante, C., Alminger, A., Eklund, U., Torin, J., 2001. Haz- ard analysis in object oriented design of dependable systems. In: 2001 In- ternational Conference on Dependable Systems and Networks, Go ̈teborg, Sweden. pp. 507–512.

[35]Leveson, N. G., 2011. Engineering a Safer World, Systems Thinking Applied to Safety. The MIT Press.

[36] Lipaczewski, M., Ortmeier, F., Prosvirnova, T., Rauzy, A., Struck, S., 2015. Comparison of modeling formalisms for safety analyses: SAML and Al- taRica. Reliability Engineering & System Safety (0), –.

[37]Machin, M., Dufoss, F., Blanquart, J.-P., Guiochet, J., Powell, D., Waese- lynck, H., 2014. Specifying safety monitors for autonomous systems using model-checking. In: Bondavalli, A., Di Giandomenico, F. (Eds.), Computer Safety, Reliability, and Security. Vol. 8666 of Lecture Notes in Computer Science. Springer International Publishing, pp. 262–277.

[38]Martin-Guillerez, D., Guiochet, J., Powell, D., Zanon, C., 2010. UML-based method for risk analysis of human-robot interaction. In: International Workshop on Software Engineering for Resilient Systems (SERENE2010), London, UK.

[39]MIRAS, 2009-2013. Multimodal Interactive Robot for Assistance in Strolling. Project supported by the French ANR (National Research Agency) under the TecSan (Healthcare Technologies) Program (ANR-08-TECS-009-04), www.miraswalker.com/index.php/en, accessed 2015-05-17.

[40]Mitka, E., Gasteratos, A., Kyriakoulis, N., Mouroutsos, S. G., 2012. Safety certification requirements for domestic robots. Safety Science 50 (9), 1888 – 1897.

[41]OMG-UML2, 2007. Unified Modeling Language (UML), Superstructure, V2.1.2, formal/2007-11-02. Object Management Group.

[42]OMG-UML2, 2011. Unified Modeling Language (UML), Superstructure, V2.4.1, formal/2011-08-06. Object Management Group.

[43]PHRIENDS, 2006-2009. Physical Human-Robot Interaction: Dependability and Safety. Project supported by the European Commission under the 6th Framework Programme (STReP IST-045359),www.phriends.eu, accessed: 2015-04-30.

[44]Royakkers, L., van Est, R., 2015. A literature review on new robotics: Au- tomation from love to war. International Journal of
Social Robotics, 1–22.

[45]SAPHARI, 2011-2015. Safe and Autonomous Physical Human-Aware Robot Interaction. Project supported by the European Commission under the 7th Framework Programme, www.saphari.eu, accessed 2015-05-17.

[46]Srivatanakul, T., 2005. Security analysis with deviational techniques. Ph.D. thesis, University of York.

[47]Sulaman, S. M., Abbas, T., Wnuk, K., Ho ̈ st, M., 2014. Hazard analysis of collision avoidance system using stpa. In: 11th International Conference on Information Systems for Crisis Response and Management (ISCRAM).

[48]Thomas, J., Leveson, N. G., 2011. Performing hazard analysis on complex, software and human-intensive systems. In: 29th ISSC Conference about System Safety.

参考資料(reference)

参考文献の書き方　Personal Communication. https://researchmap.jp/jo9eesmkx-45644/#_45644
https://qiita.com/kaizen_nagoya/items/8edaf4ca410ef2ccdbc7

参考文献駆動執筆(references driven writing)・デンソークリエイト編
https://qiita.com/kaizen_nagoya/items/b27b3f58b8bf265a5cd1

参考文献の参考文献は参考文献だ。清水吉男「「派生開発」を成功させるプロセス改善の技術と極意」を超えて
https://qiita.com/kaizen_nagoya/items/562a0cf784cf92bc0ebb

なぜ参考文献に標題、発行年、URLを入れるか
https://qiita.com/kaizen_nagoya/items/f312746485b86a2e4292

参考文献駆動執筆の分類
https://qiita.com/kaizen_nagoya/items/fc2300b3717f61d39dee

ある疑問の解決の方法　参考文献
https://qiita.com/kaizen_nagoya/items/d3df667c7d13d4d5b73c

Autosar文書、参考文献、略号一覧作成手順
https://qiita.com/kaizen_nagoya/items/ad75b86e518abb82ca22

Google Drive OCR機能を試してみた（英語）
https://qiita.com/kaizen_nagoya/items/5ad1ada6577396601eaa

researchmap.jpでのamazon.co.jpの検索 https://qiita.com/kaizen_nagoya/items/493e7eb7e6f2f4a88d67

参考文献一覧作成ファイルの存在の確認とPDF・画像からの変換（OCR) 図(49)

1. 文献が見当たらない。参考文献一覧も見当たらない。

2. 文献はないが参考文献一覧はある。

3. 文献はあり、参考文献一覧はあるが、情報に抜け漏れと、不要な情報があるかもしれない。

4. 文献はあるが、そのままではText fileに保存、複写できない。OCRソフトで一枚ずつ処理するかどうか。文献紹介にText化している参考文献は一部のみかもしれない

5. 文献はあり、複写はできるが、不要な情報がある。または順番が部分的に入れ替わる。

6. 文献はあり、複写はでき、ほぼ貼り付けできるが、文字化けなどが起きる。

7. 文献はあり、複写はでき、ほぼ貼り付けできるが、参考文献などに誤植などがあり、該当文献に到達できない。

関連資料

参考資料(reference)

関連資料

自己記事一覧

文書履歴(document history)

最後までおよみいただきありがとうございました。

Thank you very much for reading to the last sentence.

参考文献一覧作成 ファイルの存在の確認とPDF・画像からの変換（OCR) 図(49)

1. 文献が見当たらない。参考文献一覧も見当たらない。

2. 文献はないが参考文献一覧はある。

3. 文献はあり、参考文献一覧はあるが、情報に抜け漏れと、不要な情報があるかもしれない。

4. 文献はあるが、そのままではText fileに保存、複写できない。OCRソフトで一枚ずつ処理するかどうか。文献紹介にText化している参考文献は一部のみかもしれない

5. 文献はあり、複写はできるが、不要な情報がある。または順番が部分的に入れ替わる。

6. 文献はあり、複写はでき、ほぼ貼り付けできるが、文字化けなどが起きる。

7. 文献はあり、複写はでき、ほぼ貼り付けできるが、参考文献などに誤植などがあり、該当文献に到達できない。

関連資料

参考資料(reference)

関連資料

自己記事一覧

文書履歴(document history)

最後までおよみいただきありがとうございました。

Thank you very much for reading to the last sentence.

参考文献一覧作成ファイルの存在の確認とPDF・画像からの変換（OCR) 図(49)