【摘 要】
：
本文首先给出了一个Petri网系统的有效可重复向量的两个性质.随后,又给出了用有效可重复向量判断Petri网系统弱公平性相关问题的一个充分必要条件.在一个Petri网系统中,任意
【基金项目】
：
国家自然科学基金资助项目（60673053）, 福建省教育厅资助科技项目（JK2010037）, 漳州师范学院博士科研启动基金资助项目
论文部分内容阅读
本文首先给出了一个Petri网系统的有效可重复向量的两个性质.随后,又给出了用有效可重复向量判断Petri网系统弱公平性相关问题的一个充分必要条件.在一个Petri网系统中,任意的两个变迁ti,tj,则tj弱公平依赖于ti,当且仅当不存在这样的有效可重复向量X,使得X（j）〉0且X（i）=0.最后,用一个实例展示结论的应用过程.
其他文献
本文通过解析当前医院信息化实际情况，首次将医学数据中心模型划分为分体式、大集中式、B／S、C／S混合分布式．并依据对医学数据中心模型发展趋势的分析，提出云式医学数据中心模型．通
通过查阅文献和专家问卷调查,选取反映射门进球过程主要统计指标,对2012年欧洲杯足球赛决赛阶段76粒进球过程进行统计,运用SPSS软件对数据综合处理和分析.结果表明：运用因子分
研究了文蛤酶解多肽对体外培养的人肝癌HEPG2细胞的抑制作用，结果表明，经50．0μg/mL文蛤酶解多肽作用后，HEPG2细胞生长受到强烈抑制，抑制率高达88．5％，其群体倍增时间延长3．9倍；经文蛤酶
分析了第Ⅰ类部分响应系统的抗噪声性能,并利用MATLAB软件仿真计算不同信噪比下的误码率,得出近似的最佳判决门限,为实际的应用提供理论指导.
基于盐酸丙卡特罗（Procaterol hydrochloride,Prh）阻抑氯酸钾（KClO3）氧化异硫氰酸荧光素（FITC）生成无磷光化合物而导致FITC的室温磷光（RTP）信号剧烈增强,以及ΔIp值与Prh含量呈线性关
在R.M.Porter和L.F.Reséndis研究径向映照的爆破性的基础上,进一步研究单位圆到单位圆上的拟共形映照类具有形如f（z）=ρ（r,θ）e^iφ（r,θ）的双曲面积问题,得到了此类拟共形映
本文运用了文献资料法,数据统计法,逻辑分析法等,针对目前国内CBA篮球联赛中出现的外援问题进行了研究和分析.结果表明,外援的引进对于国内篮球运动的发展是一把双刃剑,既有
采用嵌入式ARM系列处理器S3C2440和开放源代码的Linux平台，研究并设计了基于BoaWEB服务器的远程控制系统，用户可以根据权限在通用浏览器上访问并控制远程设备终端．系统对平台依
首先讨论了区间直觉模糊软集在实际问题的应用,其次定义了区间直觉模糊软粗糙集,最后给出了区间直觉模糊软截集的定义及区间直觉模糊软分解定理和区间直觉模糊软表现定理,得
对于给定的图H，称π是蕴含H可图的，如果π有一个实现包含H作为子图．Kk，Ck，Pk分别表示k阶完全图，圈长为k的圈和路长为k的路．Z4表示K4-P2.K5-Z4表示从5阶完全图中删去Z4的4条边．本文刻