Process algebra based analysis and verification for asynchronous communications appeared in parallel programs
并行程序中出现了基于过程代数的异步通信分析和验证
基本信息
- 批准号:14540121
- 负责人:
- 金额:$ 1.79万
- 依托单位:
- 依托单位国家:日本
- 项目类别:Grant-in-Aid for Scientific Research (C)
- 财政年份:2002
- 资助国家:日本
- 起止时间:2002 至 2004
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
In this year, we investigated Knuth-Morris-Pratt type algorithms for regular expression pattern matching problems (called RPM) and for characterize its position and length.These investigations were derived from our research at the previous years, in which we study parallel programs base on coordination language and tuple space. In this situation, tuple space is modeled by fineite stae machine(FSM) and trace of process is modeled by string or sequence of actions that are primitive operations in coordination language. And we treat some problems in the field of model checking as acceptance problems for FSM or equivalently RPM.To treat RPM, we adopt regular expression function based on left quotient for strings instead of finite automata approach in order to avoid the "explosion problems for state space" in state based modeling of parallel processes. As a result we constructed algorithms based on regular expression function for solving RPM and for finding the position and length of it in some case of regular expressions.We presented these results at "Ouyou-suugaku Goudou Kenkyu Syukai" and "The 67^<th> National Convention of IPSJ".
今年,我们研究了用于正则表达式模式匹配问题(称为 RPM)的 Knuth-Morris-Pratt 型算法,并描述了其位置和长度。这些研究源自我们前几年的研究,其中我们研究了并行程序的基础关于协调语言和元组空间。在这种情况下,元组空间由精细状态机(FSM)建模,过程跟踪由协调语言中的原始操作的字符串或动作序列建模。我们将模型检查领域的一些问题视为FSM或等效RPM的验收问题。对于RPM,我们采用基于字符串左商的正则表达式函数而不是有限自动机方法,以避免“状态爆炸问题”空间”在基于状态的并行过程建模中。因此,我们构建了基于正则表达式函数的算法,用于求解 RPM 并在正则表达式的某些情况下查找其位置和长度。我们在“Ouyou-suugaku Goudou Kenkyu Syukai”和“The 67^<th”中展示了这些结果> IPSJ 全国大会”。
项目成果
期刊论文数量(1)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
大塚 寛: "協調型言語に基づく並列プロセスのモデル検証"数理解析研究所講究録. 1325. 98-103 (2003)
Hiroshi Otsuka:“基于协作语言的并行过程的模型验证”数学科学研究所的 Kokyuroku 1325. 98-103 (2003)。
- 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 }}
OHTSUKA Hiroshi其他文献
OHTSUKA Hiroshi的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('OHTSUKA Hiroshi', 18)}}的其他基金
Study on the relation between the mean field of the equilibrium vortices and the vortex system
平衡涡平均场与涡系统关系的研究
- 批准号:
22540231 - 财政年份:2010
- 资助金额:
$ 1.79万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
Investigation of cause and pursuing criminal liability in case of medical accidents
医疗事故查明原因并追究刑事责任
- 批准号:
21330016 - 财政年份:2009
- 资助金额:
$ 1.79万 - 项目类别:
Grant-in-Aid for Scientific Research (B)
Study on collision phenomena of blow-up points appear in Liouville systems and those of vortices
刘维尔系统中爆炸点与涡旋碰撞现象的研究
- 批准号:
19540222 - 财政年份:2007
- 资助金额:
$ 1.79万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
Comprehensive study of criminal law interpretation and policy in the age of globalization
全球化时代刑法解释与政策综合研究
- 批准号:
18330013 - 财政年份:2006
- 资助金额:
$ 1.79万 - 项目类别:
Grant-in-Aid for Scientific Research (B)
相似国自然基金
伽玛射线暴磁主导喷流模型的观测检验
- 批准号:12373040
- 批准年份:2023
- 资助金额:52 万元
- 项目类别:面上项目
心理与教育测验Logistic加权模型的理论论证、测量技术与检验应用
- 批准号:32360204
- 批准年份:2023
- 资助金额:31 万元
- 项目类别:地区科学基金项目
精准医疗中的显著性检验问题:基于高维部分线性模型
- 批准号:12301331
- 批准年份:2023
- 资助金额:30 万元
- 项目类别:青年科学基金项目
复杂高频函数型数据模型的检验及其应用
- 批准号:12301349
- 批准年份:2023
- 资助金额:30 万元
- 项目类别:青年科学基金项目
非参数和半参数回归模型中的设定检验及其应用
- 批准号:72373007
- 批准年份:2023
- 资助金额:40 万元
- 项目类别:面上项目
相似海外基金
Development of model checking technology for dependable distributed systems
可靠分布式系统模型检测技术的开发
- 批准号:
23H03370 - 财政年份:2023
- 资助金额:
$ 1.79万 - 项目类别:
Grant-in-Aid for Scientific Research (B)
A Tableau-based Approach to Model Checking Temporal Properties for Large-scale Systems
基于 Tableau 的大型系统时态属性模型检查方法
- 批准号:
23K19959 - 财政年份:2023
- 资助金额:
$ 1.79万 - 项目类别:
Grant-in-Aid for Research Activity Start-up
Quantitative Model Checking and Synthesis
定量模型检验与综合
- 批准号:
2751001 - 财政年份:2022
- 资助金额:
$ 1.79万 - 项目类别:
Studentship
Vérification par model-checking et synthèse de contrôleur de systèmes temps réel complexes
模型检查和系统时间控制综合的验证
- 批准号:
RGPIN-2016-06393 - 财政年份:2021
- 资助金额:
$ 1.79万 - 项目类别:
Discovery Grants Program - Individual
Belief Ratio Approach of Model Checking for Right Censored Data
右删失数据模型检验的置信比法
- 批准号:
562116-2021 - 财政年份:2021
- 资助金额:
$ 1.79万 - 项目类别:
University Undergraduate Student Research Awards