-
题名同步合成Petri网系统活性与无死锁性的保持性
被引量：19
- 1
-
-
作者
蒲飞
陆维明
-
机构
中国科学院数学与系统科学研究院数学研究所
-
出处
《软件学报》
EI
CSCD
北大核心
2003年第12期1977-1988,共12页
-
基金
国家自然科学基金
国家重点基础研究发展规划(973)~~
-
文摘
合成操作是Petri网系统建模中一种重要的自底向上建模方法,而在Petri网系统的合成研究中,一些好性质,如活性、无死锁性、可回复性等的保持性,是一个重要的研究问题.研究了Petri网系统同步合成操作活性与无死锁性的保持性.与以往研究工作不同,基于路径的并发合成用并发语言的方法,提出并证明了同步合成Petri网系统的一个并发语言关系式.该语言关系式可用于判定同步合成Petri网系统的活性与无死锁性,同时给出了同步合成Petri网系统活性与无死锁性的充要条件.最后提出一些条件,在这些条件下,同步合成Petri网系统有活与无死锁的保持性质.
-
关键词
同步合成操作
活性与无死锁性的保持性
并发语言
同步路径
路径并发合成
-
Keywords
Computer programming languages
Parallel processing systems
Synchronization
Theorem proving
-
分类号
TP301
[自动化与计算机技术—计算机系统结构]
-
-
题名Petri网系统合成操作的活性保持性研究
被引量：1
- 2
-
-
作者
蒲飞
陆维明
-
机构
中国科学院数学与系统科学研究院
-
出处
《系统仿真学报》
CAS
CSCD
2003年第z1期17-25,共9页
-
基金
国家自然科学基金(60073013)
国家重大基础研究基金(G1998030416)
+1 种基金
中科院管理
决策与信息系统开放实验室基金。
-
文摘
合成操作是Petri网系统建模中一种重要的自底向上建模方法,而在Petri网系统的合成过程中,保性性质是一个重要的研究问题。本文综述了我们对Petri网系统两种合成操作(共享合成、同步合成)活性保持性的研究工作。与以往研究不同,侧重从并发语言的角度讨论。定义了相应合成操作的路径并发合成运算,以此建立两种合成操作Petri网系统的并发语言关系式。这些语言关系式可用于判定相应合成操作Petri网系统的活性与无死锁性,同时给出合成的Petri网系统活性与无死锁性的充要条件。最后分别给出条件使得合成的Petri网系统有活性保持性质。
-
关键词
合成操作
活性保持性
并发语言
递归
路径并发合成
-
Keywords
synthesis process
preservation of liveness
concurrent language
recursiveness
concurrent composition of paths
-
分类号
TP301
[自动化与计算机技术—计算机系统结构]
-
-
题名碱性蓄电池的芯体以及使用此芯体的电池
- 3
-
-
-
机构
东洋钢钣株式会社
-
出处
《表面技术》
EI
CAS
CSCD
2007年第3期69-69,共1页
-
文摘
本发明提供一种使用薄钢板且活性材料保持性优良的碱性蓄电池的芯体和使用该芯体的电池。此芯体通过在薄钢板上形成弥散有石墨的镍或弥散有石墨的镍合金镀层而构成。此舍金镀层优选包括镍-钴舍金、镍-钴-铁合金、镍．锰舍金、镍-磷合金或镍-铋合金。由于其表面包含镍或镍合金和石墨，芯体具有凹凸状的表面，能充分地固定活性材料。
-
关键词
碱性蓄电池
芯体
镍合金镀层
活性材料
镍-磷合金
薄钢板
镍-钴
保持性
-
分类号
TQ336.2
[化学工程—橡胶工业]
-
