权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

巨大システムの信頼性・安全性設計のための不確実性推論と情報制御

大型系统可靠性与安全设计的不确定性推理与信息控制

基本信息

批准号：
01550320
负责人：
稲垣敏之
金额：
$ 0.83万
依托单位：
University of Tsukuba
依托单位国家：
日本
项目类别：
Grant-in-Aid for General Scientific Research (C)
财政年份：
1989
资助国家：
日本
起止时间：
1989 至 1990
项目状态：
已结题

项目摘要

知識に不確実さが伴うときは、命題の真偽を断定できないことがある。このような状況において、命題が真であると思われる度合を確率論に基づいて定義しようとすると、加法性が要求されるため、必ずしも与えられた状況が適切に表現できるとは限らない。Dempster-Shafer理論は、測度に加法性、単調性を要求しないことから、不確実な知識のもとでの推論の一方式として注目されている。Dempster-Shafer理論では、複数の知識源(センサあるいはオペレ-タなど)からの情報をいかに統合するかがひとつの中心的課題であり、情報統合規則として、Dempsterの規則とYagerの規則が知られている。本年度は、不確実情報のもとでのシステム安全制御にDempster-Shafer理論を応用する場合、情報統合規則と安全制御方式は独立に選択できないことを明らかにした。このためにまず、Dempsterの規則とYagerの規則を特殊例とする統一的規則を導出した。この統一的規則により、既知の2つの規則を内挿する規則の存在のみならず、今まで全く考えられなかった新しい形態の規則の存在も同時に明らかとなった。安全制御方式としては、「危険証明型」と「安全証明型」の2形態が考えられることを明らかにしたうえで、上述の統一的規則のもとで、各安全制御方式の最適性を保証する情報統合規則を導出した。現在は、システム異常アラ-ムにより通報されたときのシステム安全制御方式の解析を行っている。すなわち、アラ-ムには正常なアラ-ムと虚偽のアラ-ムがあり、これらを識別するための補助的情報を収集する過程を新しく導入する方式を提案し、この過程のもたらす制御の時間遅れとシステム・ダイナミクス、信頼性特性の関係を解析している。この結果の一部は国際シンポジウム(1991.2アメリカ合衆国)で公表すべく準備中である。

Knowledge is uncertain and true, and propositions are true and false.このような Status において、Proposition が真であると思われる Degree combination をAccuracy theory にbase づいてDefinition しようとすると, additive requirement されるため, necessary ずしも and えられたcondition がappropriate にexpression できるとはlimit らない. Dempster-Shafer theory は, measure に additivity, single tonality を requirement しないことから, uncertainty なな knowledge のもとでの inference の一WAY として attention されている. Dempster-Shafer theory is a source of knowledge for complex numbers.るかがひとつのcentric subject であり, information integration rules として, Dempster のrules とYager のrules が知られている. This year's Dempster-Shafer Theory of Uncertain Information and Security Control When it is used, the intelligence integration rules and security control methods are independent of each other.このためにまず, DempsterのrulesとYagerのrulesをSpecial casesとするUniform rulesをderivedした.この unified rule により, known の2 つの rule を interpolation する rule の existence のみならず, Today's まで全く考えられなかった新しいformのruleのexistingもsimultaneouslyに明らかとなった. Safety control method, "hazard proof type" and "safety proof type" 2 formsうえで, the above-mentioned unified rules のもとで, the optimum guaranty of each security control method, and the information integration rules を derived した. Now, we will report the abnormal analysis of the safety control method of the company to the company.すなわち, アラ-ムにはNormal なアラ-ムとHypocritical のアラ-ムがあり、これらをidentificationするためのsubsidiary information collection する process を新しく Import する method を proposal し, この process のもたらす control の time れとシステム・ダイナミクス, 信格性性の Relationship を analytic しいる. The results of the first part of the international シンポジウム(1991.2アメリカUnited States) are prepared for the public.