【摘 要】
：
膜计算是自然计算的一个分支,膜计算中所研究的模型均称为膜系统,而细胞间通讯是膜系统的一个重要特征。带膜分裂的通讯膜系统是一种分布式并行计算模型,可以在多项式时间内
【基金项目】
：
国家自然科学基金(61972138,61602192),中央高校基本科研业务费(531118010355)
论文部分内容阅读
膜计算是自然计算的一个分支,膜计算中所研究的模型均称为膜系统,而细胞间通讯是膜系统的一个重要特征。带膜分裂的通讯膜系统是一种分布式并行计算模型,可以在多项式时间内解决计算困难问题。文中将促进剂引入带膜分裂的类细胞型通讯膜系统,提出了膜系统的一种变型——带膜分裂和促进剂的通讯膜系统,其中,一个促进剂可以同时控制多条规则,而促进剂本身不参与该条规则的进化。文中研究了带膜分裂和促进剂的通讯膜系统的计算效率,证明该类膜系统在使用同向规则长度为2,每条规则中促进剂的个数最多为1时,可以在多项式时间内求解PSPACE
其他文献
近年来,形式论证已逐渐成为人工智能领域的研究热点之一。自Dung于1995年提出抽象辩论框架起,学术界普遍认为论辩的核心任务是在各种基于外延的语义下对论点集进行评估,以确
很多人牙龈老是出血，就断定自己缺乏维生素，而盲目补充维生素。笔者在此提醒，牙龈出血不一定因为缺乏维生素。牙龈炎、牙周炎都可能导致牙龈局部出血。妇女在妊娠的中、晚期，牙龈
香蕉是公认的最佳鲜果之一,但常因迅速成熟衰老而带来经济损失和影响货架寿命。国内外以香蕉为对象研究成熟衰老机理虽然已有不少报导,但引发成熟的原因迄今仍不清楚,涉及与能量代谢有关的腺苷三磷酸代谢尚未见报道。本文重点探索了香蕉在成熟过程中呼吸跃变,腺苷三磷酸代谢与成熟衰老的关系。
围绕以水冷长炉龄、高温热风冲天炉为代表的新型冲天炉，指出了我国应用新型冲天炉技术的基本特点和目前所面临的危机；分析对比了冲天炉与感应电炉铁液的熔化成本；说明了新型冲天
一个月前双腿被当地医生判断必须截肢的张老伯，日前竟然一步一步稳稳地走进自己的家门。张老伯逢人便讲，是重医大附一院血管外科赵渝主任，在他的大腿根部扎了一个小眼，解决了大问
2016年5月26日，由济南铸造锻压机械研究所有限公司牵头承担的“轿车铝合金缸盖、缸体低压铸造成套设备”国家科技重大专项课题在用户现场天长缸盖有限公司顺利通过了重大专项
为了提高系统的可靠性,构建了两机冷备系统,提出了基于半马尔可夫过程的冷备系统预防性维护模型,该模型考虑随机失效、退化失效两种失效形式,采用了小修、大修、预防性维护相
没有感冒，却鼻部不适；开始享受春日阳光，身上却多了莫名红痒的疹块；想躺上床好好休息，夜半却长咳不止……过敏，让很多人的生活充满了不便与困扰。更可怕的是，它往往扮演着导火线的角