消除有限容量演算中的强干扰

来源 :上海交通大学学报 | 被引量 : 0次 | 上传用户：superlife123

【摘要】

：

为了消除有限容量演算中的强干扰和控制资源的移动,改进了该演算的某些原语,提出了一种新的演算--安全有限容量演算.在新演算中,调整了2个能力,增加了3个能力(相当于动作)和2

【作者】

：

钟发荣贾泂陈建明傅育熙

【机构】

：

浙江师范大学,浙江师范大学,上海交通大学

【出处】

：

上海交通大学学报

【发表日期】

：

2005年8期

【关键词】

：

有限容量进程演算移动灰箱移动资源强干扰 bounded capacities process calculus mobile ambient mob

【基金项目】

：

国家自然科学基金，上海市科委资助项目

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

为了消除有限容量演算中的强干扰和控制资源的移动,改进了该演算的某些原语,提出了一种新的演算--安全有限容量演算.在新演算中,调整了2个能力,增加了3个能力(相当于动作)和2个余能力(余动作),并改进相应的归约语义,给出了安全有限容量演算的类型系统.该类型系统控制灰箱的移动性和线程数,并保证在计算过程中灰箱所拥有的资源数被静态地保持在其资源数范围内.

其他文献

传承红色基因构建幸福校园

<正>安徽省泗县江上青小学,一所以英雄的名字命名的学校,扎根皖东北革命根据地,承载着红色基因,沐浴着新时代的阳光,栉风沐雨,砥砺前行,奏响了"传承红色基因、培育"四有"新人

会议

具有产品返回流单级供应链系统的动态行为分析

在具有产品返回流的单级供应链系统中,制造商通过生产新产品和再造旧产品来满足市场需求,这种同时考虑制造和再造的集成运作方式显著增加了生产规划和库存管理的难度.鉴于系

期刊

产品返回流供应链系统控制理论Z变换product returns supply chain system control theory z-transf

心电信号压缩方法研究

为有效压缩心电信号,且保持信号特征,以便实现心电信号远程传输与处理,在比较了常用数据压缩算法的基础上,本文提出了心电信号小波变换调整编码压缩方法来实现心电信号的压缩

期刊

小波变换心电信号压缩调整编码信息冗余

新课程背景下教师课程素质研究

新一轮基础教育课程改革要求教师拥有全新的课程素质,这些素质包括先进的课程意识、丰富的课程知识以及高水平的课程能力。本文在分析教师课程素质的基础上,探讨了教师课程素

会议

新课■教师课程素质

呼图壁储气库多井干扰下单井不稳定试井研究

呼图壁储气库设计库容107亿方,部署注采井30口,平均井距500m,在强注强采过程中井间干扰严重,导致注采压力动态特征复杂,常规试井解释技术在储气库适应性差,难以实现试井资料

会议

呼图壁储气库多井干扰试井解释模型地层压力储层渗流参数

大数据环境下云存储平台安全机制研究

大数据环境下的云存储平台具有多用户、虚拟化和伸缩性等特点,安全问题成为其发展的瓶颈之一。指出了开源云平台Hadoop存在的不足,从云存储平台数据的完整性、机密性、可用性

期刊

大数据云存储平台HADOOP安全机制

装配过程稳定性分析

建立了面向装配过程稳定性分析的装配模型,从装配操作的稳定性和子装配体稳定位姿两方面分析装配过程的稳定性.基于支撑矩阵和增强邻接矩阵构建拆卸操作稳定判别算法来反推装

期刊

稳定性分析稳定位姿装配模型AlgorithmsDegrees of freedom (mechanics)Matrix algebraModelsStab

“爱种子”教学模式下小组合作的研究

"爱种子"教学模式是基于互联网+教育思想建构新模式。通过有效的小组合作学习以及良好的行为习惯,提高学习共同体的效率;通过应答器有效采集学生数据以及评价,开展精准化教学

会议

"爱种子"教学模式小组文化合作学习习惯评价

人防工程施工渗漏的影响因素及管控方式研究

人防工程全称为人民防空地下室工程，其在服务人民生活（社区活动站、健身活动场所、地下车库、社区办公等）、服务应急管理和公益事业、补充城市功能方面发挥着不可小觑的作用。近

期刊

人防工程施工渗漏影响因素管控方式

三江平原地下水污染源类型及分布特征

结合实际调查工作,论述了三江平原地下水污染源的分布类型及分布特征,从工业污染源、农业污染源、生活污染源等几个角度,对影响三江平原地下水水质的污染源类型进行了详尽论

期刊

地下水污染源防治措施

消除有限容量演算中的强干扰

与本文相关的学术论文