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

ハイブリッド・セル・オートマトンを用いた生物系と化学系の解析と検証

使用混合元胞自动机分析和验证生物和化学系统

基本信息

批准号：
14658088
负责人：
萩谷昌己
金额：
$ 1.47万
依托单位：
The University of Tokyo
依托单位国家：
日本
项目类别：
Grant-in-Aid for Exploratory Research
财政年份：
2002
资助国家：
日本
起止时间：
2002 至 2006
项目状态：
已结题

项目摘要

昨年度より、グラフ書き換え系、特にグラフの構造が変化せず、各々のノードの状態だけが変化するシステムを、時相論理を用いて解析する方法に関する研究を進めている。このようなシステムには、いわゆるセル・オートマトンも含まれる。昨年度は、時相論理を用いてセル・オートマトンを解析する方法を定式化し、実際に一次元のセル・オートマトンや分散アルゴリズムの解析を試みた。今年度は、以上の方法を発展させるために、以下の二つの方向の研究を進めた。一つは、二次元のセル・オートマトンの解析を行うために、上下左右の4方向の様相を持つ時相論理である4CTL (computation tree logic)の定式化とその充足可能性判定方法を開発した。4CTLの充足可能性判定は決定不能であるため、Presburger算術を用いた近似的な判定方法を定式化した。そして、二次元のセル・オートマトンの例として、分子コンピューティングにおけるタイリングの解析を行った。もう一つは、セル・オートマトンのハイブリッド化と、その解析方法に関する研究を行った。セル・オートマトンのハイブリッド化とは、各セルに時間とともに変化する連続パラメータを導入することを意味する。解析のための時相論理の方も、連続パラメータに対処するために拡張しなければならない。本研究では、時相論理を包含する論理として、ガード付きフラグメント(guarded fragment)とその充足可能性判定に関する研究を進めた。また、ハイブリッド化されたセル・オートマトンの例として、簡単なニューラル・ネットワークの解析を行った。

In the last year, the information system was established, the information system was established, and the status of the system was analyzed and analyzed. I'm sorry, I'm sorry. At the end of the year, we used the method of analysis and analysis to determine the format and the accuracy of the data analysis system. This year, the above methods will be exhibited, and the following two directions will be further studied. One-dimensional and two-dimensional data analysis is based on the analysis of line data, phase retention in four directions up, down, left and right, phase analysis 4CTL (computation tree logic), and the method of determining the adequacy of probability. The 4CTL "sufficient probability decision" decides that it is not possible to make a decision, and the Presburger algorithm uses the approximate "decision method" to format the decision. The two-dimensional structure, the molecular structure and the molecular structure. In the first place, we need to know how to change the situation and analyze the analytical methods. You need to know that you are not in the market, and that you have access to the information in the system. Analyze how to manage the information in a timely manner. Please contact us. Please contact us. In this study, the relationship between time and time includes the evaluation of the sufficient possibility of guarded fragment and the improvement of the research. I don't know, I don't know.