论文部分内容阅读
活性是Petri网的重要行为特征之一.为了得到判定AC网活性有效的算法,本文利用分治的思想,在定义极小死锁的前、后归约子网的基础上,将较大问题分而治之,把未知问题转化为已知的FC网上的问题,从而得到了判定AC网活性及活性单调性的多项式时间的算法.
判定非对称选择网活性及活性单调性的一个算法
【摘 要】
：
活性是Petri网的重要行为特征之一.为了得到判定AC网活性有效的算法,本文利用分治的思想,在定义极小死锁的前、后归约子网的基础上,将较大问题分而治之,把未知问题转化为已知
【机 构】
：
中国科学院数学与系统科学研究院,中国科学院数学与系统科学研究院
【出 处】
：
计算机科学
【发表日期】
：
2005年9期
【基金项目】
：
国家自然科学基金，国家重点基础研究发展计划(973计划)，中国科学院实验室基金，四川省自然科学基金
其他文献
观察了１７２例脑卒中患者血清促肾上腺皮质激素、皮质醇的变化，发现ＡＣＴＨ、皮质醇水平明显高于正常对照组，脑出血组高于脑梗塞组，病情轻重与ＡＣＴＨ、皮质醇的变化明显相关，治疗前后ＡＣＴＨ、皮质醇水平明
１３２例输卵管结扎并阑尾切除术临床分析朱淑琴，韩世臣（阿盟阿右旗巴温苏木卫生院，巴温苏木７３７３０６）阑尾炎是外科常见病，但在边远牧区常因交通不便、医疗条件差，急性阑尾炎穿孔引起弥漫性腹膜炎
上消化道出血是临床常见的内科急证。笔者于１９９５～１９９６年对３４例上消化道出血病人进行了严密观察及护理，取得了较好的效果。１临床资料本组３４例患者，其中男性２５例，女性９例，年龄２５～４２岁。胃穿孔２１例，十二指肠穿
腔隙性脑梗塞７３例临床分析赵敬华，赵丽玲（海拉尔农牧局中心医院急诊科，海拉尔０２１０００，航天工业总公司７３１医院）腔隙性脑梗塞又称微梗塞，是指脑小动脉硬化或来自心脏、大动脉的小栓子，引起血管闭塞
１临床资料病例１，男，１０岁。车祸致伤头部２小时入院。查体，神志不清，左额顶部有４ｃｍ头皮裂伤，双瞳等大，对光反射灵敏，ＧＣＳ评分９分。心肺未见异常，腹部平垣，无明显肌紧张。但脐旁偏左有轻触痛，腹刺无获，遂
８７例肝脏病患者胆囊壁Ｂ超的变化牛庆玲，李一真，曹菡英（内蒙古电建一公司卫生所，０１４０３０，包头一机医院Ｂ超室）包头市电业系统１９９２、１９９７年两次对１２０００名职工体检，其中对８７例确诊为肝脏疾病的患者进行８超检查时，发现
独立成分分析(ICA)方法是近几年发展起来的一种新统计方法,旨在将所观测到的多维随机向量转换成统计上尽可能独立的成分。本文基于Overcomplete(过完备)ICA算法(SCO),提出了一种新的声音压缩模型。我们的实验实现了SCO的混合压缩与分离解压功能。
方向关系是空间关系研究的重要领域,应用十分广泛.因此,空间数据库中对方向关系的研究越来越引起人们的注意.本文在分析和研究了文[6]提出的方向关系模型的基础上,对该模型做
与基于访问控制的形式安全模型相比,基于信息流的安全模型对于定义什么是安全来说更为本质.自提出信息流的无干扰概念以来,信息流模型成为安全研究的中心之一,并提出了多种无