プロセス代数の応用に関する研究
过程代数应用研究
基本信息
- 批准号:05750326
- 负责人:
- 金额:$ 0.58万
- 依托单位:
- 依托单位国家:日本
- 项目类别:Grant-in-Aid for Encouragement of Young Scientists (A)
- 财政年份:1993
- 资助国家:日本
- 起止时间:1993 至 无数据
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
プロセス代数は,特に同期型通信システムのモデルとして有効であることが認識されているにもかかわらず,LOTOS以外実用面にまだほとんど応用されていない.本研究では,プロセス代数の理論を特に等価性に基づいて,同期型通信システムの検証などに応用するとともに,その応用面での可能性について考察した.通信システムの検証においては,対象とする状態数が爆発的に増加してしまうという大きな問題点が従来から指摘されて未解決となっている.本研究では,この問題に対する一つのアプローチとして,等価性の概念を用いて状態空間をそれと等価な状態数の少ないものへと変換し,変換後の状態空間に対して従来の検証法を適用することにより効率的に検証を行う手法を開発した.さらに,この変換を自動的に行うアルゴリズムを開発し,そのシステムを開発中である.また,大規模な仕様に関してはそれを適切にモジュール化することが重要な問題であるが,この問題に関しても等価性の立場から,複雑な仕様を簡単な幾つかの仕様が結合した形式に等価変換するための手法について考察した.その結果,強bisimulation等価の概念を用いると複雑な仕様をある程度自動的にモジュール化することが可能であった.しかし,強bisimulation等価の概念は等価性としては制限が強すぎ,仕様に柔軟性が失われるため,もう少し制限の緩い等価性を用いた融通性のある変換法の開発が今後の課題である.
In addition to LOTOS,LOTOS is also used in applications other than LOTOS. In this paper, we investigate the theoretical basis of the equivalence of the synchronous communication system, and the feasibility of its application. During the verification of the communication system, the number of object states has increased and problems have been identified but remain unresolved. In this paper, we propose a new method for the identification of equivalence in state space. In this case, the automatic change of the system is under way. For example, large-scale enterprises are concerned with the appropriate forms of integration and transformation of important problems, problems of equal nature, complex problems, simple and simple forms of integration and transformation of methods. As a result, strong bisimulation and other concepts are used in complex systems to a certain extent automatically. The concept of strong bisimulation and so on is equal to the nature of the strong, the soft and the soft, and the soft and the soft.
项目成果
期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
数据更新时间:{{ journalArticles.updateTime }}
{{
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)}}的其他基金
コンピュータ・ネットワーク・マネージメントに関する研究
计算机网络管理研究
- 批准号:
04750298 - 财政年份:1992
- 资助金额:
$ 0.58万 - 项目类别:
Grant-in-Aid for Encouragement of Young Scientists (A)
LOTOS仕様の検証法に関する研究
LOTOS规范验证方法研究
- 批准号:
03750254 - 财政年份:1991
- 资助金额:
$ 0.58万 - 项目类别:
Grant-in-Aid for Encouragement of Young Scientists (A)
通信プロトコルの知的検証法に関する研究
通信协议智能验证方法研究
- 批准号:
02750242 - 财政年份:1990
- 资助金额:
$ 0.58万 - 项目类别:
Grant-in-Aid for Encouragement of Young Scientists (A)
相似海外基金
Formulating microstructural equivalence: A route to consistent scale-up of medicine manufacture
制定微观结构等效性:药物生产持续扩大规模的途径
- 批准号:
EP/Z532988/1 - 财政年份:2024
- 资助金额:
$ 0.58万 - 项目类别:
Research Grant
Finding equivalence between natural and artificial intelligences
寻找自然智能和人工智能之间的等价性
- 批准号:
DP240100400 - 财政年份:2024
- 资助金额:
$ 0.58万 - 项目类别:
Discovery Projects
異なる体格に適合する身体動作タスク等価性評価と動作データ変換への応用
应用于身体运动任务等价性评估及运动数据转换以适应不同体质
- 批准号:
24K15061 - 财政年份:2024
- 资助金额:
$ 0.58万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
Doctoral Dissertation Research in Economics: Two Experiments on the Behavioral Equivalence of Dirty Faces Games
经济学博士论文研究:脏脸游戏行为等价性的两个实验
- 批准号:
2243268 - 财政年份:2023
- 资助金额:
$ 0.58万 - 项目类别:
Standard Grant
Maximizing the reach of universal child sexual abuse prevention: An equivalence trial
最大限度地扩大普遍预防儿童性虐待的范围:等效试验
- 批准号:
10739900 - 财政年份:2023
- 资助金额:
$ 0.58万 - 项目类别:
Testing the Equivalence Principle in Quantum Regime and Exploring the Quantum Nature of Gravity
测试量子体系中的等效原理并探索引力的量子本质
- 批准号:
23H00106 - 财政年份:2023
- 资助金额:
$ 0.58万 - 项目类别:
Grant-in-Aid for Scientific Research (A)
Testing the weak equivalence principle with antimatter via Rydberg-Atom Interferometry
通过里德堡原子干涉仪测试反物质的弱等效原理
- 批准号:
2868587 - 财政年份:2023
- 资助金额:
$ 0.58万 - 项目类别:
Studentship
Classification and invariants for Borel equivalence relations
Borel 等价关系的分类和不变量
- 批准号:
2246746 - 财政年份:2023
- 资助金额:
$ 0.58万 - 项目类别:
Standard Grant
Analytic group properties that are von Neumann equivalence invariant
冯·诺依曼等价不变的解析群属性
- 批准号:
22KF0182 - 财政年份:2023
- 资助金额:
$ 0.58万 - 项目类别:
Grant-in-Aid for JSPS Fellows