【摘 要】
：
针对传统分析方法的不足 ,提出了时间 Petri网的线性逻辑表示和时间推理方法 .基于线性逻辑 ,定义了时间 Petri网中变迁之间的各种触发规则 ,在这些规则的基础上 ,提出了时间
【机 构】
：
上海交通大学自动化研究所!上海200030,上海交通大学自动化研究所!上海200030
论文部分内容阅读
针对传统分析方法的不足 ,提出了时间 Petri网的线性逻辑表示和时间推理方法 .基于线性逻辑 ,定义了时间 Petri网中变迁之间的各种触发规则 ,在这些规则的基础上 ,提出了时间 Petri网运行行为的证明方法 ,此方法能清楚地分析时间 Petri网的运行行为和进行时间推理 .
Aiming at the deficiency of the traditional analysis methods, a linear logic representation of time Petri nets and a method of time inference are proposed.Based on linear logic, various triggering rules between transitions in time Petri nets are defined, on the basis of these rules, time is proposed Petri nets to prove the operation behavior of this method can clearly analyze the time Petri nets operation behavior and time reasoning.
其他文献
报道了一种测定水溶液中核酸的方法，该法基于核酸对氯化银溶胶共振散射光的猝灭作用。在理想测定条件下，散射光的猝灭程度正比于核酸的浓度，三种核酸（ｃａｌｆ ｔｈｙｍｕｓrrrrrrrrrn ＤＮＡ， ｈｅｒｒｉｎｇ ＤＮＡ ａｎｄ Ｙｅａｓｔ ＲＮＡ）的线性
以γ-缩水甘油氧丙基三甲氧基硅烷(KH560)作中间体,用溶胶-凝胶法合成了含对硝基偶氮苯胺(DO3)生色团的新型键合型有机/无机复合非线性光学(NLO)材料,并通过FTIR,1H-NMR,UV-V
提出采用激光熔凝———稀土扩渗复合处理对钢表面改性的新方法。实验结果表明 ,该方法可以进一步改善渗稀土试样表层显微组织 ,使其晶粒得到明显细化 ,组织更加均匀、致密 ,
采用日本制造的闪光法TLP-18型仪器和线差法的TMA-30型仪器分别测试了PZT(51/49)铁电陶瓷的导温系数和热膨胀系数,并研究了温度、相变、极化处理和晶轴对其热物理性能的影响.
对零相关位相板匀滑准远场散斑的特性进行了数值模拟,并与使用随机位相板(配合二单元偏振控制板)的情形进行了比较.结果表明,尽管零相关位相板是针对入射场为平面波和作为远
研究了 6 0 Co源辐照剂量及辐照前预平衡硝酸浓度对 30 % TRPO-煤油对 Pu的萃取行为的影响。测定了用 0 .6mol/L草酸反萃后有机相中保留的 Pu的百分率。比较了辐照后 30 % TR
用电化学结晶方法合成出一种新的导电分子晶体(BEDT-TTF)_2HgCl_3·TCE,[(BEDT-TTF)=双亚乙基二硫四硫富瓦烯,TCE=1,1,2-三氯乙烷].用四圆X衍射方法确定了它的晶体结构,测得(
用变分累积展开 (VCE)方法的一阶近似计算了包括最近邻和次近邻作用的多层伊辛膜的磁学性质 ,导出了自发磁化强度、矫顽力、居里点、奈尔点、顺磁磁化率及分子场系数与层数的
从晶格材料的电子结构理论出发,推导了一个计算剪切模量G的压强二阶偏导数G″P的方法.针对93钨合金材料计算得到G″P=-0.033GPa-1,把这一结果用于Birch-Murnaghan有限应变理
利用硝酸银-硝酸钾(摩尔比0.62:0.38)的熔盐体系作反应介质,以CeO2,Ce(SO4)2,Cu(CF3CO2)2,Co(CF3CO2)2等为催化剂,在160℃和6.0MPa条件下甲烷被氧化成丙酮和/或三氟醋酸甲酯.