ペトリネットを用いた大規模生産システムの系統的解析・設計に関する研究

利用Petri网进行大规模生产系统的系统分析与设计研究

基本信息

  • 批准号:
    07750455
  • 负责人:
  • 金额:
    $ 0.64万
  • 依托单位:
  • 依托单位国家:
    日本
  • 项目类别:
    Grant-in-Aid for Encouragement of Young Scientists (A)
  • 财政年份:
    1995
  • 资助国家:
    日本
  • 起止时间:
    1995 至 无数据
  • 项目状态:
    已结题

项目摘要

生産システム全体の系統的設計をペトリネットモデルを用いて容易に行うための理論的研究と理論的成果を実システムへ応用するため、以下に示すような理論的検討およびCADプログラムの開発を行った。1.理論的検討:システムの制御の問題は(a)ペトリネットの可到達性を、システムの不用な停止の有無は(b)ペトリネットの活性を調べることにより解析する事ができる。本年度は、系統的設計を行うための基礎理論として以下の研究を行った。特に、大規模なシステムの解析・設計をする場合には、(1)各機能部分ごとに解析・設計をし、全体システムを組み立てるという手法と(2)全体システムを分割して解析・設計を行うという手法が用いられるので、本研究でも次のように2つのアプローチで研究を行った。(1)プロトコルを規定する状態遷移表のモデル化規則導出時の検討結果を踏まえ、それらのモデルの結合規則と結合後に得られるペトリネットモデルの検証しやすい可達性必要十分条件とその検証アルゴリズムを導出した。(2)平成元年度〜平成6年度のシーケンス制御系に対する可到達性、活性の結果をふまえ、トランスポート層のペトリネットモデル化規則の導出した。更に、プロトコル機能の一部をモデル化する場合に有用である拡張マークグラフ(ペトリネットのサブクラス)の可到達性を検討し、その必要十分条件を導出した。更に、可到達性を保った拡張マークグラフの分割規則を導出した。2.CAD用プログラムの開発:上記理論的検討に基づいた生産システム解析・設計用プログラムパッケージを開発した。更に、平成元年度〜6年度に開発済のシーケンス制御解析・設計用CADプログラムのプロトタイプ(シミュレータ、有界性、可到達性検証、活性検証)に本解析・設計用プログラムを統合するため、開発済プログラムの改善を行った。
The design of the whole system is easy to use. The results of the research theory are easy to use. The results of the CAD theory are easy to use. The following table shows the design and development of the system. 1. In the theory, you need to make sure that you have a problem. (a) you can do it. You can do it. You don't have to stop it. (B) you don't have a problem. This year, the design of the school and system will be reviewed on the basis of basic theory and the following research review. Special and large-scale equipment analysis devices, (1) partial analysis devices of each machine, and all equipment components. (2) all devices are segmented and analyzed. In this study, two experiments are performed in this study. (1) it is required that the status transfer table should be activated when the rules are directed, and when the rules are combined with the rules, it is necessary to make sure that it is necessary to prevent the failure. (2) from the year of Pingchengyuan to the year of Pingcheng, the performance of the system is available, the results of the test results are not valid, and the rules are not valid. The machine is able to use the equipment to make sure that it is useful to make sure that the information is available and that it is necessary to use the necessary conditions. You can use the Segmentation rules to improve the performance of the Segmentation rules. 2.CAD starts with information management: the basis of the above theory is to analyze the analysis of students and students in the previous theory. In the beginning of the year ~ 6, the system of CAD equipment is designed to improve the performance of the system by improving the performance of the system.

项目成果

期刊论文数量(4)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
T.Matsumoto: "Necessary and Sufficient Conditoin of Structural Liveness for General Petri Nets-Virtual Deadlock-Trap Properties-" Transactions of the IEICE of Japan. Vol.E78-A. 1862-1874 (1995)
T.Matsumoto:“一般 Petri 网结构活性的必要和充分条件 - 虚拟死锁 - 陷阱属性 -”日本 IEICE 的交易。
  • DOI:
  • 发表时间:
  • 期刊:
  • 影响因子:
    0
  • 作者:
  • 通讯作者:
K.Tsuji: "On the Properties of Solutions for its State Equation in Extended Marked Graphs" Proceedings of 1995 Joint Technical Conference on Circuits/Systems,Computes and Communications. 770-773 (1995)
K.Tsuji:“On the Properties of Solutions for its State Equation in Extended Marked Graphs”1995 年电路/系统、计算和通信联合技术会议论文集。
  • DOI:
  • 发表时间:
  • 期刊:
  • 影响因子:
    0
  • 作者:
  • 通讯作者:
辻孝吉: "ペトリネットによる通信プロトコル状態の遷移表モデル化と動作検証" 電気学会論文誌. Vol.115-C. 713-718 (1995)
Kokichi Tsuji:“使用 Petri 网进行通信协议状态的转换表建模和操作验证”日本电气工程师学会汇刊第 115-C 卷(1995 年)。
  • DOI:
  • 发表时间:
  • 期刊:
  • 影响因子:
    0
  • 作者:
  • 通讯作者:
T.Matsumoto: "Fuzzy Petri Nets and their Applications to Fuzzy Reasoning Systems Control" Fuzzy Logic and its Applications to Engineering,Information Sciences,and Intelligent Systems;Kluwer Acadsmic Publishers. 225-234 (1995)
T.Matsumoto:“模糊 Petri 网及其在模糊推理系统控制中的应用”模糊逻辑及其在工程、信息科学和智能系统中的应用;Kluwer Acadsmic 出版社。
  • 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 }}

辻 孝吉其他文献

辻 孝吉的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('辻 孝吉', 18)}}的其他基金

ペトリネットモデルを用いた大規模生産システムの系統的解析・設計に関する研究
利用Petri网模型进行大规模生产系统的系统分析与设计研究
  • 批准号:
    08650468
  • 财政年份:
    1996
  • 资助金额:
    $ 0.64万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
時間付きペトリネットモデルを用いたシーケンス制御系の系統的設計に関する研究
基于定时Petri网模型的顺序控制系统系统设计研究
  • 批准号:
    05750407
  • 财政年份:
    1993
  • 资助金额:
    $ 0.64万
  • 项目类别:
    Grant-in-Aid for Encouragement of Young Scientists (A)
時間付きペトリネットモデルを用いたシーケンス制御系の系統的設計に関する研究
基于定时Petri网模型的顺序控制系统系统设计研究
  • 批准号:
    04750405
  • 财政年份:
    1992
  • 资助金额:
    $ 0.64万
  • 项目类别:
    Grant-in-Aid for Encouragement of Young Scientists (A)
時間付ペトリネットモデルを用いたシーケンス制御系の設計に関する研究
基于定时Petri网模型的顺序控制系统设计研究
  • 批准号:
    03750347
  • 财政年份:
    1991
  • 资助金额:
    $ 0.64万
  • 项目类别:
    Grant-in-Aid for Encouragement of Young Scientists (A)
時間付ペトリネットモデルによるシーケンス制御系の設計に関する研究
基于定时Petri网模型的顺序控制系统设计研究
  • 批准号:
    02750340
  • 财政年份:
    1990
  • 资助金额:
    $ 0.64万
  • 项目类别:
    Grant-in-Aid for Encouragement of Young Scientists (A)
時間付ペトリネットを用いたシーケンス制御系の設計に関する研究
基于定时Petri网的顺序控制系统设计研究
  • 批准号:
    01750394
  • 财政年份:
    1989
  • 资助金额:
    $ 0.64万
  • 项目类别:
    Grant-in-Aid for Encouragement of Young Scientists (A)

相似海外基金

事象の同時生起を考慮した離散事象システムのスーパバイザ制御とその工学的応用
考虑事件同时发生的离散事件系统监控及其工程应用
  • 批准号:
    15760321
  • 财政年份:
    2003
  • 资助金额:
    $ 0.64万
  • 项目类别:
    Grant-in-Aid for Young Scientists (B)
離散事象システムに対するリライアブルかつノンブロッキングな分散スーパバイザの設計
为离散事件系统设计可靠且无阻塞的分布式监控器
  • 批准号:
    13750421
  • 财政年份:
    2001
  • 资助金额:
    $ 0.64万
  • 项目类别:
    Grant-in-Aid for Young Scientists (B)
モバイル通信機能をもつ複合離散事象システムのモデリングと分散スーパバイザ制御
具有移动通信功能的复杂离散事件系统的建模和分布式监控
  • 批准号:
    12875080
  • 财政年份:
    2000
  • 资助金额:
    $ 0.64万
  • 项目类别:
    Grant-in-Aid for Exploratory Research
離散事象システムに対するロバストなスーパバイザの設計とその生産システムへの応用
离散事件系统鲁棒监控器的设计及其在生产系统中的应用
  • 批准号:
    11750395
  • 财政年份:
    1999
  • 资助金额:
    $ 0.64万
  • 项目类别:
    Grant-in-Aid for Encouragement of Young Scientists (A)
離散事象システム論に基づく短期需給計画の決定
基于离散事件系统理论的短期供需计划确定
  • 批准号:
    10750217
  • 财政年份:
    1998
  • 资助金额:
    $ 0.64万
  • 项目类别:
    Grant-in-Aid for Encouragement of Young Scientists (A)
条件/事象ネットに基づく離散事象システムの階層設計
基于条件/事件网络的离散事件系统分层设计
  • 批准号:
    09750492
  • 财政年份:
    1997
  • 资助金额:
    $ 0.64万
  • 项目类别:
    Grant-in-Aid for Encouragement of Young Scientists (A)
Max-Plus代数による離散事象システムの制御とその生産システムへの応用
使用 Max-Plus 代数控制离散事件系统及其在生产系统中的应用
  • 批准号:
    09750502
  • 财政年份:
    1997
  • 资助金额:
    $ 0.64万
  • 项目类别:
    Grant-in-Aid for Encouragement of Young Scientists (A)
定常入力をもつ確率離散事象システムの動的制御に関する研究
稳态输入随机离散事件系统动态控制研究
  • 批准号:
    09750451
  • 财政年份:
    1997
  • 资助金额:
    $ 0.64万
  • 项目类别:
    Grant-in-Aid for Encouragement of Young Scientists (A)
大規模離散事象システムの階層型状態フィードバック制御とそのFMSへの応用
大规模离散事件系统的分层状态反馈控制及其在FMS中的应用
  • 批准号:
    08750526
  • 财政年份:
    1996
  • 资助金额:
    $ 0.64万
  • 项目类别:
    Grant-in-Aid for Encouragement of Young Scientists (A)
数理計画法による離散事象システムの動作解析とその応用
离散事件系统的数学规划行为分析及其应用
  • 批准号:
    08650460
  • 财政年份:
    1996
  • 资助金额:
    $ 0.64万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了