电信业务特性集成的时序着色Petri网模型

来源 :华南理工大学学报：自然科学版 | 被引量 : 0次 | 上传用户：RTTR123

【摘要】

：

提出了一个电信系统业务特性集成的建模和检验方法.根据这个方法,现有的系统和新的业务特性分别表述为一个着色Petri网,业务特性的功能可表述为时序逻辑公式(称为功能公式),

【作者】

：

陆以勤韦岗贺前华

【机构】

：

华南理工大学

【出处】

：

华南理工大学学报：自然科学版

【发表日期】

：

2002年1期

【关键词】

：

着色PETRI网特性集成不变量软件检验电信系统时序逻辑业务检测 colored Petri net feature integration inva

【基金项目】

：

国家自然科学基金，广东省自然科学基金，教育部优秀青年教师资助计划

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

提出了一个电信系统业务特性集成的建模和检验方法.根据这个方法,现有的系统和新的业务特性分别表述为一个着色Petri网,业务特性的功能可表述为时序逻辑公式(称为功能公式), 而业务特性的行为可表述为实现这个着色Petri网的变迁不变量(T不变量)的引发序列(称为业务).通过检测业务是否满足功能公式,可对业务特性进行检验.

其他文献

八种常见贝类脂肪酸含量的研究

对大连沿海常见的腹足纲的扁玉螺，香螺，瓣鳃纲的毛蚶，紫贻贝，栉孔扇贝，菲律宾蛤仔，四角蛤蜊，益蛏等８种贝类的脂肪酸组成，含量进行了研究。并同海参，对虾，蝼蛄虾，三疣梭子蟹进行了比较。从

期刊

腹足纲瓣鳃纲贝类脂肪酸Gastropoda Lamellibranchiashellfishfatty acids

荧光光谱研究强聚电解质在稀水溶液中的行为

用萘和芘单或双标记,共聚合成了一系列电荷密度不同的磺酸基强聚电解质,通过萘、芘之间的非辐射能量转移、标记芘的激基缔合物荧光强度与单体态荧光强度之比(IE/IM)、荧光衰

期刊

强聚电解质稀水溶液荧光光谱接触浓度反离子凝聚聚集状态荧光强度分子形态polyelectrolyte fluorescence spectrum

一些在亚贝尔群上与多项式相联系的函数方程（Ⅰ）

在亚贝尔群上得到函数方程f3(x1+x2+x3)-[f21(x1+x2)+f22(x1+x2)+f23(x2+x3)]+f11(x1)+f12(x2)+f13(x3)=0和f(x1+x2+…+xn)-（n-1∑i=1 n∑j=2 x＜j(xi+xj)+∑i=1 ）fi(xi)=0的一般

期刊

亚贝尔群函数方程一般解多项式abelian group functional equation general solution polynomi

国务院常务会议研究部署推进长江等内河水运发展工作

国务院总理温家宝8月25日主持召开国务院常务会议，研究部署推进煤矿企业兼并重组和长江等内河水运发展工作。会议在谈到内河水运工作时指出，我国内河水运资源丰富，加快长江等内

期刊

国务院常务会议内河水运水运发展长江部署现代综合运输体系区域经济协调发展企业兼并重组

中国物流业迎来“黄金十年”

有专家认为，国内现代物流产业尚处于起步发展阶段，与美国、日本相比，我国物流费用占GDP的比重过高，物流发展水平与发达国家差距甚远。并预测在经济快速发展推动下，现代物流业务发

期刊

中国物流业黄金现代物流产业现代物流业务物流费用发达国家物流发展发展潜力

城市声音空间组合的软件寻优及诊断

由法国CRESSON研发的软件C．H．A．O．S，通过在一个“时间轴”上标识各种类型的噪声源、各种有“社会-文化”价值的声音场景，实现对城市声音环境的高质量再现．但该软件不能针对使用者的

期刊

声音空间寻优诊断sound space optimization diagnosis

罗非鱼的脂肪酸组成

使用气相色谱对罗非鱼的不同部位脂肪酸成分进行分析.结果表明,罗非鱼体内各部分含量最多的脂肪酸均为C16:0,C16:1,C18:0,C18:1,C18:2,它们占总脂肪酸的80%以上.此外还含有少

期刊

气相色谱脂肪酸罗非鱼gas chromatographyfatty acidtilapia

太阳能集热铜片与铜管的超声波缝焊技术

研究了太阳能集热铜片和铜管的超声波缝焊机理.认为焊缝是由焊接界面金属原子之间的相互扩散、接触峰点之间的相互熔焊及焊缝界面金属之间的机械嵌合共同作用形成的.同时对焊

期刊

太阳能热水器集热铜片集热铜管超声波缝焊摩擦振动原子扩散拉伸强度ultrasonic seam weldingfriction vibration

汉语中“绿色”词汇的英译策略

词义的变迁可以反映一个社会的时代面貌。随着绿色文化的兴起，汉语中涌现出大量的“绿色”词汇，“绿色”的意义不断扩张。对汉语中的“绿”和英语中的green的语义理据对比分析，

期刊

绿色文化“绿色”词汇跨文化传播翻译原则与方法green culture green- related words cross- cultural t

甘糖酯对肺心病患者抗氧化作用机制的探讨

慢性肺心病３６例，随机分为２组，甘糖酯组１８例在常规治疗基础上加用ＰＧＭＳ２００ｍｇ于５％葡萄糖氯化钠注射液５００ｍｌ中静滴，ｑｄ，共１０ｄ。并与常规治疗组１８例对照。结果：治疗后２组脂质过氧化物的均显著降低。谷胱甘肽过氧化物酶

期刊

肺心病甘糖酯抗氧化作用海洋药中医药疗法heparinoid PGMS glutathione peroxidase superoxide dis

电信业务特性集成的时序着色Petri网模型

与本文相关的学术论文