合法变迁引发序列判定中的T-不变量添加

Petri网的合法变迁引发序列(Legal Firing Sequence,简称LFS)问题是Petri网可达性问题的子问题,目前已有较多的研究成果。通过反例指出,对于Petri网(N,M0)状态方程的任意一个非负整数解X,和N的任意一个T-不变量,LFS(N,M0,X)不一定等于LFS(N,M0,X+Y)。在一般情况下,不能在待判定的解向量X中添加T-不变量。这是Petri网合法变迁引发序列判定的一个性质。     

关于雷诺方程的渐近解

本文主要证明了如下问题:[ε(H(X) εH_1(X))YY′]′-[(G(X) εG_1(X))Y]′=M(X) εM_1(X)Y(0,ε)=Y(1,ε)=1在H(X),G(X),M(X),H_1(X),G_1(X),M_1(X)满足一定条件下,和参数ε>0且充分小时,存在解且唯一。并确定了解的一致有效渐近展开式。更一般地(εH(X,ε)YY′)′-(G(X,ε)Y)′=M(X,ε)Y(0,ε)=Y(1,ε)=1在H(x,ε),G(X,ε),M(X,ε)满足一定条件时,且参数ε>0充分小,也有解的存在性及唯一性,及解的一致有效渐近展开式。     

3阶上三角算子矩阵亏谱的扰动

设H1,H2和H3为无穷维可分的Hilbert空间,对于给定的A∈B(H1),B∈B(H2)和C∈B(H3),定义3阶上三角缺项算子矩阵M(X,Y,Z)=(A X Y0 B Z0 0 C.).给出缺项算子矩阵M(的亏谱和近似点谱的扰动结果.     

关于X_0-sn-网的一些性质

拓扑空间中的X_0-sn-弱第一可数空间与X_0-sn-网之间关系密切,拓扑空间X是X_0-sn-弱第一可数空间,且P是X中的一个点可数cs-网,如果P是有限交封闭的,则存在P的一个子族B,使得B是X的一个X_0-sn-网.证明得到以下条件等价:1)X具有点可数X_0-sn-网.2)存在一个度量空间M和一个序列商点可数映射f:M→X.3)存在一个度量空间M和一个序列商s-映射f:M→X,使得对x∈X,都有f-1(x)≤ω.     

一个关于紧映射序列极限的不动点定理

设M为Banach空间X中的有界子集,在M上有一致收敛于f0的紧映射序列{Fn}。当{Fn}中每个元Fn满足一定条件时,Fn在集{Fn(x),x∈M}上均有不动点且唯一,然后讨论极限映射f0在集D=f0({f0x,x∈M})上不动点的存在性与唯一性。     

Banach空间的一个新几何常数(英文)

设X是一个Banach空间,M是X的非空有界闭子集,称非负实数b关于X的向量拓扑τ和集,M有性质(pr):如果对所有x,y∈M及r>0,和M中τ收敛于x的序列≤br则,本文研究这种数的性质及其他结构常数的关系。     

■_0-sn-网的性质

为研究■0-sn-网与cs-网的关系,并给出了关于■0-sn-度量空间的一个刻画.研究结果有:X是■0-sn-弱第一可数空间并且是空间X的点可数cs-网,如果对有限交封闭,则存在的子族B使得B是空间X的■0-sn-网;证明了下列命题在序列空间X中等价:空间X是■0-sn-度量空间;存在从度量空间M到序列商、σ、可数对一映射f.     

拟Orlicz序列空间的完备性

设(X,‖·‖)为赋拟范空间,M(t)是满足条件△2的凸Φ函数.再设x是取值于X的一个无限序列.在x序列构成的线性空间中,通过Orlicz序列空间的构造方式得到拟Orlicz序列空间(LM(X),‖·‖M).当(X,‖·‖)是完备的,(LM(X),‖·‖M)也是完备的.     

关于M序列伪随机性的注记

通过对M序列自相关性的讨论证明了：当X是n阶本原M序列且n 1为合数时，CX(n 1)只能取-4，0，4这3个值．     

关于常平均曲率曲面的一个pinchnig定理

本文在文[1]基础上,讨论了E~3中曲面M为常平均曲率曲面的条件,得出:对于Gauss曲率k>0的曲面M,如果M上存在两个正交的单位向量v_1,v_2∈T_P(m),(m∈M),使得v_1H=0,v_2v_2H=0,且在αM上,v_2H=0,则在M上,H=常数.     

时态逻辑与并发程序

分别阐述了基于Ｍａｎｎａ－Ｐｎｕｅｌｉ框架的命题线性时态逻辑ＰＬＴＬ和基于共享变量方式的并发程序（转换图）模型,并给出该模型与转换系统之间的对应关系;将时态逻辑与公平转移系统ＦＴＳ相结合来描述并发程序及其性质（公平性、安全性及活性）;指出了时态逻辑具备其它形式化方法（ＦＳＭ、Ｐｅｔｒｉ网）所没有的一些优势。     

FPGA组合逻辑程序的Petri网建模方法

针对现场可编程门阵列(FPGA)组合逻辑程序,提出其普通Petri网建模方法.首先,将状态变量描述为库所对,程序中的逻辑运算描述为变迁,从而将系统程序转换为一个普通Petri网结构;然后,根据Petri网的动态分析性能,给出系统状态可达图的计算方法,实现了状态可达图等价描述FPGA组合逻辑系统运行过程.研究结果表明:该Petri网能够准确地描述变量间的逻辑关系,提出的方法可以为FPGA组合逻辑程序的形式化设计和验证提供建模依据.     

与时间相关系统的Petri网模型

首先简介一般加时间Ｐｅｔｒｉ网模型及其使能规则和点火规则,然后给出几种典型的加时间的Ｐｅｔｒｉ网模型及其动态行为及点火规则,其中,通讯时间Ｐｅｔｒｉ网侧重于网与环境之间的通讯;ＴＣＰＮ侧重于讨论变迁的最早和最晚点火时间以及点火持续时间;ＧＳＰＮ侧重于从概率的角度讨论变迁的点火时间问题,本还给出三种具有代表性的用于描述多媒体同步的Ｐｅｔｒｉ网模型及其点火规则。     

无刷直流电机DSP逻辑控制程序的Petri网设计方法

提出一种无刷直流(BLDC)电机数字信号处理(DSP)逻辑控制程序的Petri网设计方法.首先,建立霍尔传感器和电机旋转方向的Petri网模型;其次,利用功率管(MOSFET)二二切换规则,设计功率管通断的变迁,获得电机的逻辑控制Petri网模型,并根据Petri网可达图算法,计算无刷直流电机动态系统的状态集合,并利用换相逻辑逐个验证;最后,借助Petri网变迁的激发规则,设计无刷直流电机DSP逻辑控制程序,并对文中方法进行实验验证.结果表明:文中方法能够保证控制程序的正确性和可靠性,可以有效地简化无刷直流电机DSP逻辑控制程序的调试过程.     

基于模糊Petri网的事故树模糊分析方法研究

为了降低获取现场采样数据精确值的难度并提高事故诊断的准确性,根据模糊事故树和模糊Petri网均具有描述事件发生因果关系链这一共同特征,采用模糊Petri网来表示事故树,建立了事故树的模糊Petri网模型,在Petri网中对事故树进行了模糊分析研究.该方法不仅可以对顶上事件各特征量进行估算,还能利用模糊Petri网推理算法进行事故诊断,实现了Petri网与事故树的紧密结合,使事故诊断更加切合实际.引入模糊集合理论到事故树分析方法,用模糊数来表示事件发生的概率,减小了获取底事件发生概率精确值的难度,在一定程度上修正了事故概率统计数据的误差.该方法可以将生产现场的实测数据与专家经验数据结合起来,使得分析结果更接近于工程实际.图2,表1,参13.     

基于带抑制弧时间Petri网的CNC软件模型

提出了一个扩展的时间Petri网———带抑制弧时间Petri网.该网中以抑制弧结合时延变迁来描述实时系统中的中断功能;运用所提出的带抑制弧时间Petri网建立了前后台结构模式的CNC(computernumericalcontrol)软件模型;应用所建立的模型,采用等误差直线逼近法加工一段曲率半径较小的曲线轮廓,对CNC软件中各个任务的时序逻辑进行了分析,并给出了时序分析结果.结果表明,无须对软件进行实际的运行测试,只需要知道CNC软件的时间参数和结构以及控制要求,就可以运用所建立的模型,正确地对该类CNC软件进行时序逻辑分析,评估CNC软件的控制性能.所提出的模型为在CNC软件总体设计阶段就能对其进行时序逻辑分析,为评估CNC软件的控制性能提供了方法和工具.     

基于Petri网的ECA规则建模

在Petri网理论基础上,对ECA规则进行了建模研究,建立了基本Petri网模型. 对如何用Petri网表示具有复合事件ECA规则进行了专门分析. 提出了扩展的Petri网系统,并综合考虑ECA规则自身特性,建立了ECA规则系统Petri网模型,比较全面地反映了ECA规则系统特性. 通过构建可达树和变迁序列,可以较为清楚地了解ECA规则系统及其行为特性,便于对规则系统进行合理性验证,以帮助系统管理员对其进行分析和管理.     

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

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

HIGHER-ORDER PETRI NET MODELS BASED ON ARTIFICIAL NEURAL NETWORKS

提出了一种新型Ｐｅｔｒｉ网———高阶Ｐｅｔｒｉ网，这种网可以应用于一阶谓词逻辑中的多项式子句集问题；还研究了目标转移结点Ｔ－不变量之间的关系，最后给出了几个例子。