【摘 要】
：
研究了S4PR（systems of sequential systems with shared resources）网的虹吸寻找问题.S4PR网是一类典型的用于建模顺序资源共享分配系统的Petri网模型.在S4PR网中,虹吸的不充
【机 构】
：
杭州师范大学杭州国际服务工程学院,浙江大学电子电路与信息系统研究所
论文部分内容阅读
研究了S4PR（systems of sequential systems with shared resources）网的虹吸寻找问题.S4PR网是一类典型的用于建模顺序资源共享分配系统的Petri网模型.在S4PR网中,虹吸的不充分标识会导致死锁.现有的虹吸寻找算法得到的虹吸集合中,存在着不需要进行控制的冗余虹吸,对其添加控制器将会导致控制的冗余和受控系统行为允许度的降低.提出了一种基于混合整数规划（MIP）的虹吸寻找方法,并证明了当该方法没有合适的解时,网系统是活的.与现有的其他算法相比,这一方法能
其他文献
目前,较少文献报道分数阶多翅膀混沌吸引子的设计及它们的电路实现.基于一个分数阶线性系统,得到分数阶多翅膀混沌系统的一种理论设计和电路实现方法.通过设计非线性状态反馈
目的:在TA2小鼠自发乳腺癌肺转移BCML模型上,采用了基因芯片技术,比较TA2小鼠低转移MA737模型与高转移BCML模型基因表达的差异,以期从基因水平上揭示乳腺癌的转移机制并为进
英国在早期珠三角地区的铁路利益是其在华经济利益侵略中的一个侧面。学界似未对英国在此时空背景下所主导的影响进行系统的梳理。事实上,除为人所熟知的广九铁路外,英国对该
目的:探讨C-反应蛋白(CRP)在各种炎症的急性期或组织损伤时浓度的变化.方法:使用Orion Diag-nostica公司的Quikread CRP定量分析仪对234例各种炎症及50例正常人的血清进行测
利用对AANA随机变量做截尾方法处理,给出AANA随机变量序列的三级数定理.研究了在矩条件下,AANA随机变量序列的一类强极限定理和强大数定律.由于AANA随机变量序列比NA随机变量
应用权系数方法，给出一个新的带有最佳常数的半离散Hilbert型不等式，同时给出相应的等价形式．
从具有不耐烦顾客和修理工多重延误休假的角度,利用马尔可夫过程理论、稳态平衡方程、母函数方程的方法,研究两部件（服务台）并联的可修排队系统,并求出稳态平均队长,从而检测该
运用文献资料法、数理统计法、逻辑归纳法等方法对近十年我国优秀链球运动员在国内外各田径大赛上所取得的最好成绩进行研究,分析总结我国链球运动竞技水平的发展态势及存在
目的：探讨治疗股骨髁骨折治疗方法。方法：2006年3月～2008年10月对56例股骨髁部骨折分别应用解剖型锁定钢板作内固定治疗．随访10～24个月，平均15个月。结果：根据疼痛、功能、活动度、
目的:探讨nm23基因在临床Ⅰ期乳腺癌中的表达情况及其与预后、转移的关系.方法:应用免疫组化方法,对112例原发Ⅰ期乳腺癌病例进行了nm23蛋白表达的检测,并进行回顾性研究.结