ファジィペトリネットモデルとその解析システムに関する研究
模糊Petri网模型及其分析系统研究
基本信息
- 批准号:06750422
- 负责人:
- 金额:$ 0.58万
- 依托单位:
- 依托单位国家:日本
- 项目类别:Grant-in-Aid for Encouragement of Young Scientists (A)
- 财政年份:1994
- 资助国家:日本
- 起止时间:1994 至 无数据
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
本研究ではファジィ論理をペトリネットに取いれる手法について考察を行った.手法としてはTimed Petri Net(TPN)に対するものと,Predicate Transition Petri Net(PrTN)に対するものの2つについて考察を行った。具体的にはTPNに対してFuzzy Timed Petri Net(FTPN),すなはち、TPNでは固定時間で与えられるトランジションの発火時間をFUZZY数で表現するものを、PrTNに関しては、Fuzzy Predicate Transition Net (FPrTN)、そなはち、トランジションに与える述語表現をファジィルールを用いるようにしたものを定義した。この2つから特にファジィ時間ペトリネットの解析方法について考察した。まず、ファジィ表現に用いられるメンバシップ関数の演算による数学的な解析法を開発した。この方法では、ファジィ数の大小関係をPos(可能性がある)、Nes(必然性がある)の2つの観点からみる方法に基づき、ある時間tに、ある状態(マ-キング)mに可達であるかどうかを2種類のメンバシップ関数μpos(t,m)とμnes(t,m,)で求めることができる。これらよりある時間に到達すべき状態に達する必然性のメンバシップ関数や、ある時間に危険な状態になる可能性のメンバシップ関数を求めることができる。本手法については研究発表1で講演を行った。次にファジィペトリネットの解析ツールの開発を購入したコンピュータ上で行った。この際、前述の数学的な解析法はメンバシップ関数の演算が複雑になりコンピュータ上ではインプリメントするのが困難なためシミュレーションによる解析ツールを作成した。また、シミュレーションで行うことでファジィ時間のみでなく確率発火のトランジションなども含めて処理することが可能になる。本手法については後に発表する予定である。
This study is based on the theory and practice of the theory and the technique of the examination. The technique of the study is Timed Petri. Net(TPN)に対するものと,Predicate Transition Petri Net(PrTN)に対するものの2つについてinvestigationを行った. Specific にはTPNに対してFuzzy Timed Petri Net (FTPN), すなはち, TPN fixed time and えられるトランジションの発火时をFUZZY numberでexpressionするものを、PrTNに关しては、Fuzzy Predicate Transition Net (FPrTN), そなはち, トランジションに and える语Express をファジィルールを and use いるようにしたものを to define した.この2つから特にファジィ时ペトリネットのanalytical methodについてinvestigationした.まず, ファジィexpression にいられるメンバシップ Off number のcalculation による なanalytical method of mathematics を开発した.このmethodでは, ファジィの Size relationshipをPos(possibilityがある), Nes(inevitabilityがある)の2つの観Pointからみるmethodにbasedづき,あるtimetに,あるSTATE (マ-キング)mにUPDATED The numbers μpos(t,m) and μnes(t,m,) are the same.これらよりあるTimeにarriveすべきstateに达するinevitabilityのメンバシップ Off numberや、あるtimeにrisk険なstatusになるpossibilityのメンバシップ Off numberをquestめることができる. This method is based on the research and presentation of Table 1. Time analysis of にファジィペトリネットの ツールの开発をBUY したコンピュータ上で行った.この记、ANALYTICAL METHOD OF THE FOREGOING のMATHEMATICSではインプリメントするのがDifficultyなためシミュレーションによるANALYSISツールを成した.また、シミュレーションで行うことでファジィ时のみでなくOK Rate 発火のトランジションなどもHanめてprocessingすることがpossibleになる. This technique is based on the following rules and regulations.
项目成果
期刊论文数量(1)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
堂園 浩: "トランジション発火にファジィ論理を取りいれたペトリネットモデル" 電気関係学会九州支部連合大会講演論文集. 898- (1994)
Hiroshi Dozono:“将模糊逻辑纳入过渡点火的 Petri 网模型”电气工程学会九州分会会议记录 898-(1994 年)。
- DOI:
- 发表时间:
- 期刊:
- 影响因子:0
- 作者:
- 通讯作者:
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
数据更新时间:{{ journalArticles.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ monograph.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ sciAawards.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ patent.updateTime }}
堂園 浩其他文献
Analysis of Amino Acid Sequence by Self Organization Maps
通过自组织图分析氨基酸序列
- DOI:
- 发表时间:
2006 - 期刊:
- 影响因子:0
- 作者:
高橋剛志;堂園 浩 - 通讯作者:
堂園 浩
Application of Self Organizing Maps to User Authentication Using Combination of Key Stroke Timings and Pen Calligraphy
自组织映射在结合击键时序和钢笔书法的用户认证中的应用
- DOI:
- 发表时间:
2006 - 期刊:
- 影响因子:0
- 作者:
高橋剛志;堂園 浩;Okada T et al.;Koike S et al.;堂園 浩 他 - 通讯作者:
堂園 浩 他
Mapping of DNA Sequences using 2-Stage SOM
使用 2 阶段 SOM 绘制 DNA 序列
- DOI:
- 发表时间:
2007 - 期刊:
- 影响因子:0
- 作者:
堂薗 浩;徳島尚生 他;Shiomi K et al.;Nagamine S et al.;堂園 浩 - 通讯作者:
堂園 浩
堂園 浩的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('堂園 浩', 18)}}的其他基金
オブジェクトモデルを用いた事例ベース推論システムに関する研究
使用对象模型的基于案例的推理系统研究
- 批准号:
05780302 - 财政年份:1993
- 资助金额:
$ 0.58万 - 项目类别:
Grant-in-Aid for Encouragement of Young Scientists (A)
多重構造を持つオブジェクト指向ペトリネットとその解析システムに関する研究
面向对象的多重结构Petri网及其分析系统研究
- 批准号:
04750355 - 财政年份:1992
- 资助金额:
$ 0.58万 - 项目类别:
Grant-in-Aid for Encouragement of Young Scientists (A)
相似海外基金
攻撃と対策のいたちごっこを断ち切る免疫型ボットネット防衛システムの開発
开发基于免疫的僵尸网络防御系统,打破攻击与对策之间的猫鼠游戏
- 批准号:
22K12028 - 财政年份:2022
- 资助金额:
$ 0.58万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
2300名の9年コホート研究から欠損拡大の推移を予測する:ペトリネットによる検証
从2300人的9年队列研究预测赤字扩张趋势:使用Petri Net进行验证
- 批准号:
21K17039 - 财政年份:2021
- 资助金额:
$ 0.58万 - 项目类别:
Grant-in-Aid for Early-Career Scientists
鍼灸治療の科学的支援に向けたデータ解析手法とシミュレーションモデルの開発
开发数据分析方法和模拟模型,为针灸治疗提供科学支持
- 批准号:
20H04284 - 财政年份:2020
- 资助金额:
$ 0.58万 - 项目类别:
Grant-in-Aid for Scientific Research (B)
無線システムにおける端末主導ハンドオーバの研究
无线系统中终端发起的切换研究
- 批准号:
20K11781 - 财政年份:2020
- 资助金额:
$ 0.58万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
IoTマルウェアのサイバー攻撃を防ぐ善玉ボットネットシステムの開発
开发仁慈的僵尸网络系统以防止物联网恶意软件网络攻击
- 批准号:
19K11965 - 财政年份:2019
- 资助金额:
$ 0.58万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
Fusion of Meta-Scalable Theorem Prover and Parallel Model Checker to Realize Large-Scale Fast Formal Verification
元可扩展定理证明器和并行模型检查器融合,实现大规模快速形式验证
- 批准号:
19K11821 - 财政年份:2019
- 资助金额:
$ 0.58万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
Formalization of the decidability of the reachability problem for vector addition systems
向量加法系统可达性问题可判定性的形式化
- 批准号:
18K11154 - 财政年份:2018
- 资助金额:
$ 0.58万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
Expansion of Applicability of Phase Approximation for Non-Markovian Models
相位近似对非马尔可夫模型的适用性扩展
- 批准号:
17K00033 - 财政年份:2017
- 资助金额:
$ 0.58万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
On Construction and Simulation of Petri Net Model of Human Meridian Based on Oriental Medicine
基于东方医学的人体经络Petri网模型的构建与仿真
- 批准号:
16K00395 - 财政年份:2016
- 资助金额:
$ 0.58万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
Development of Integrated Support Environment for Decision-Making in Discrete Manufacturing Systems with Uncertainty
不确定性离散制造系统决策集成支持环境的开发
- 批准号:
16K06844 - 财政年份:2016
- 资助金额:
$ 0.58万 - 项目类别:
Grant-in-Aid for Scientific Research (C)














{{item.name}}会员




