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

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

【摘要】

：

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

【作者】

：

陆以勤韦岗贺前华

【机构】

：

华南理工大学

【出处】

：

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

【发表日期】

：

2002年1期

【关键词】

：

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

【基金项目】

：

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

下载到本地 , 更方便阅读

下载此文赞助VIP

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

论文部分内容阅读

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

其他文献

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

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

罗非鱼的脂肪酸组成

使用气相色谱对罗非鱼的不同部位脂肪酸成分进行分析.结果表明,罗非鱼体内各部分含量最多的脂肪酸均为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

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

其他学术论文