期刊文献+
共找到39篇文章
< 1 2 >
每页显示 20 50 100
一种高效可靠的移动Agent间通信机制 被引量:17
1
作者 周竞扬 韬略 +1 位作者 道蓄 吕建 《软件学报》 EI CSCD 北大核心 2003年第8期1470-1480,共11页
作为未来分布式系统的一种主流计算模式,移动Agent技术具有广阔的研究前景,协作与通信是移动Agent系统必不可少的组成部分。然而由于Agent的移动性和自主性,现有研究工作所提出的移动Agent间通信机制在可靠性尤其是有效性上存在着一定... 作为未来分布式系统的一种主流计算模式,移动Agent技术具有广阔的研究前景,协作与通信是移动Agent系统必不可少的组成部分。然而由于Agent的移动性和自主性,现有研究工作所提出的移动Agent间通信机制在可靠性尤其是有效性上存在着一定的不足,如不能够在底层理想地解决通信失效等问题,针对上述问题,设计了一种具有高度自适应性的消息传递机制——EMFS(efficiently message forwarding scheme),该协议在Agent寻址上采取指针寻址和集中式寻址相结合的方式;而对于通信失效的解决则采用了以检测法为主,辅以同步的方法,从而能够在彻底解决通信失效的基础上,较大地提高整个通信系统的性能,此外还对协议的主要参数进行了讨论, 从理论上分析比较了EMFS的性能,并给出了模拟实验数据,说明了协议的正确性和高效性。 展开更多
关键词 移动计算 移动AGENT AGENT通信 消息传递
下载PDF
2022中国茶叶区域公用品牌价值评估报告 被引量:31
2
作者 胡晓云 魏春丽 韬略 《中国茶叶》 2022年第5期22-37,共16页
以浙江大学CARD中国农业品牌研究中心研发的“中国农产品区域公用品牌价值评估模型”(简称CARD模型)为理论工具,延续2010年开始的“中国茶叶区域公用品牌价值评估研究”专项课题。2022年,课题组通过多方调研,结合数字化信息技术,对2019... 以浙江大学CARD中国农业品牌研究中心研发的“中国农产品区域公用品牌价值评估模型”(简称CARD模型)为理论工具,延续2010年开始的“中国茶叶区域公用品牌价值评估研究”专项课题。2022年,课题组通过多方调研,结合数字化信息技术,对2019—2021年3年间的相关数据进行调研、甄别、赋值、评估,得出2022年中国茶叶区域公用品牌价值评估结论。同时,以本次专项评估数据为基础,结合近年来我国茶产业相关数据和信息,探讨中国茶叶区域公用品牌建设的现状和问题,并提出相应的建议。 展开更多
关键词 茶叶 区域公用品牌 品牌价值 价值评估
下载PDF
移动Agent系统通信失效问题研究 被引量:9
3
作者 周竞扬 韬略 +2 位作者 许平 陆桑璐 道蓄 《计算机科学》 CSCD 北大核心 2003年第8期108-111,共4页
The Mobile Agent is thought to be the popular computing model for the next generation's distributed sys-tem. The mobile agent has the following key features: autonomy, collaboration, security and especially mobili... The Mobile Agent is thought to be the popular computing model for the next generation's distributed sys-tem. The mobile agent has the following key features: autonomy, collaboration, security and especially mobility. Agood communication model for mobile agents cooperation is also necessary. In this article, after describing the maincommunication mechanisms, we analyze the methods to solve Agent Tracking and Communication Failure and makeclassification. We also propose a reliable and efficient mechanism named MEFS which uses Detecting methods andthen analyze its performance by giving the experimental data at the end. 展开更多
关键词 移动AGENT系统 通信失效 人工智能 INTERNET 消息传递
下载PDF
一个刻画Agent自主性的框架 被引量:7
4
作者 李斌 韬略 吕建 《南京大学学报(自然科学版)》 CAS CSCD 北大核心 2004年第2期137-145,共9页
自主性是agent最显著的特征 ,为了在理论上指导自主agent的设计和构造 ,促进基于agent的软件系统的开发 ,建立了一个刻画agent自主性的框架 .首先 ,在分析现有的agent自主性定义的基础上 ,总结了自主agent应具备的最小能力需求 ;然后 ,... 自主性是agent最显著的特征 ,为了在理论上指导自主agent的设计和构造 ,促进基于agent的软件系统的开发 ,建立了一个刻画agent自主性的框架 .首先 ,在分析现有的agent自主性定义的基础上 ,总结了自主agent应具备的最小能力需求 ;然后 ,介绍用于描述agent的语言 ,agent的心智状态及其表示 ;在此基础上 ,提出一个自主agent的框架 ;最后 。 展开更多
关键词 自主agent AGENT理论 心智状态 情境演算 人工智能
下载PDF
基于关系的两维意向结构(英文) 被引量:7
5
作者 李斌 朱朝晖 +2 位作者 韬略 吕建 朱梧槚 《软件学报》 EI CSCD 北大核心 2004年第4期512-521,共10页
从建构agent角度出发,提出了一个基于关系结构的包括agent意向、信念以及目标等认知状态的框架.在此框架中,实现目标的意向形成了两维序结构,其中一维表示意向间的时序关系,另一维表示意向间的相干关系,在此基础上,研究了信念、意向和... 从建构agent角度出发,提出了一个基于关系结构的包括agent意向、信念以及目标等认知状态的框架.在此框架中,实现目标的意向形成了两维序结构,其中一维表示意向间的时序关系,另一维表示意向间的相干关系,在此基础上,研究了信念、意向和目标的相互关系.因为摒弃了传统的用模态算子来刻画agent的意向的方法,所以在构建agent时,可以直接采用意向库以及意向间的时序、相干关系来表示agent的意向,从而缩小了agent理论模型与实际agent结构之间的差异,为agent结构的建立提供了必要的理论基础. 展开更多
关键词 AGENT理论 AGENT结构 BDI模型 意向理论 关系结构
下载PDF
猕猴桃根腐病根际土壤酶活性及真菌群落组成研究
6
作者 海生 韬略 +3 位作者 蔡林生 李振宇 方昉 金思远 《中国南方果树》 北大核心 2024年第2期144-151,共8页
分析猕猴桃根腐病感病植株和未感病植株根际土壤真菌群落差异,可为研究猕猴桃根腐病发生机制及其调控技术提供依据。在浙江省天台县街头镇的“红阳”猕猴桃种植基地,以树龄9年的猕猴桃根腐病感病植株和未感病植株根际土壤真菌为研究对象... 分析猕猴桃根腐病感病植株和未感病植株根际土壤真菌群落差异,可为研究猕猴桃根腐病发生机制及其调控技术提供依据。在浙江省天台县街头镇的“红阳”猕猴桃种植基地,以树龄9年的猕猴桃根腐病感病植株和未感病植株根际土壤真菌为研究对象,对菌群ITS序列进行高通量测序注释后,对比分析了真菌群落结构与多样性指数的差异,并测定分析了根际土壤脲酶、蔗糖酶和酸性磷酸酶的活性。结果表明,猕猴桃根腐病的发生极显著地降低了根际土壤脲酶、蔗糖酶和磷酸酶的活性(p<0.01)。感病植株根际土壤真菌群落丰富度指数(Chao1)显著低于未感病植株根际土壤(p<0.05)。在门分类水平上,感病植株根际土壤真菌中相对丰度降低的有担子菌门、未分类真菌和接合菌门,其差异均为极显著(p<0.01);相对丰度升高的为子囊菌门,其差异达极显著水平(p<0.01)。在属分类水平上,感病植株根际土壤真菌相对丰度增加的有赤霉菌属、丛赤壳属、镰刀菌属、假裸囊菌属和肉座菌属,其差异均达极显著水平(p<0.01);相对丰度降低的有未分类伞菌纲、枝鼻菌属、粗糙孔菌属、线虫草属、支顶孢属、粪盘菌属、木霉属和被孢霉属,其差异均达极显著水平(p<0.01)。猕猴桃感染根腐病后,根际土壤真菌在门和属水平上的菌群变化打破了原有的微生物拮抗平衡关系。 展开更多
关键词 猕猴桃根腐病 高通量测序 真菌群落结构 土壤酶活性
下载PDF
外源镉胁迫下葡萄根际土壤真菌群落结构及多样性特征
7
作者 海生 韬略 +3 位作者 罗文 蔡林生 方昉 李振宇 《中外葡萄与葡萄酒》 北大核心 2024年第4期70-76,共7页
研究镉(Cd)污染对浙江省中部山区河谷冲积土葡萄园土壤真菌群落结构和多样性的影响,探求有利于Cd污染农田土壤修复的耐Cd真菌菌群。采用Illumina Miseq高通量测序技术,分析外源Cd0、3.5、60 mg·kg^(-1)处理对葡萄根际土壤真菌群落... 研究镉(Cd)污染对浙江省中部山区河谷冲积土葡萄园土壤真菌群落结构和多样性的影响,探求有利于Cd污染农田土壤修复的耐Cd真菌菌群。采用Illumina Miseq高通量测序技术,分析外源Cd0、3.5、60 mg·kg^(-1)处理对葡萄根际土壤真菌群落结构和多样性指数的影响。结果表明,各Cd处理组土壤真菌隶属于11门、30纲、60目、100科、163属,Cd污染会造成葡萄根际土壤真菌多样性和群落结构发生变化。Cd浓度为3.5 mg·kg^(-1)时会导致其Chaol指数和Shannon指数上升,而Cd浓度为60 mg·kg^(-1)时会导致上述两指数大幅度下降;土壤子囊菌门和担子菌门相对丰度在Cd浓度为3.5 mg·kg^(-1)时下降,在Cd浓度为60 mg·kg^(-1)时升高;土壤接合菌门相对丰度在Cd浓度为3.5 mg·kg^(-1)时升高,在Cd浓度为60 mg·kg^(-1)时下降。在Cd浓度为60 mg·kg^(-1)条件下存在大量的未分类的子囊菌、链格孢属、亚隔孢壳属菌群,这些菌属被认为是在河谷冲积土葡萄园土壤中高抗Cd污染的真菌菌群。研究结果可为葡萄园Cd污染土壤采用微生物修复提供依据。 展开更多
关键词 镉污染 真菌群落结构 高通量测序 葡萄
下载PDF
镉污染对滨海滩涂围垦区西兰花根际土壤细菌群落结构的影响
8
作者 海生 韬略 +6 位作者 蔡林生 李若华 罗文 高永胜 李振宇 裴孝钟 王雪 《沈阳农业大学学报》 CAS CSCD 北大核心 2024年第1期21-28,共8页
研究镉(Cd)污染对滩涂湿地围垦区西兰花根际土壤细菌群落结构的影响,探求有益于Cd污染农田土壤修复的耐Cd细菌菌群。采用Illumina Miseq高通量测序技术,分析Cd浓度分别为0,3.5,60 mg·kg^(-1)时对台州湾滩涂湿地围垦区西兰花根际土... 研究镉(Cd)污染对滩涂湿地围垦区西兰花根际土壤细菌群落结构的影响,探求有益于Cd污染农田土壤修复的耐Cd细菌菌群。采用Illumina Miseq高通量测序技术,分析Cd浓度分别为0,3.5,60 mg·kg^(-1)时对台州湾滩涂湿地围垦区西兰花根际土壤细菌群落结构和多样性指数的影响。结果表明:所有样品中检测到的细菌菌群分属于35门、97纲、205目、315科、506属。低浓度Cd污染时,西兰花根际土壤细菌Chao 1指数和Shannon指数与对照相比大幅度升高,而高浓度Cd污染时,土壤细菌Chao 1指数和Shannon均大幅度下降。随着Cd污染程度的增加,西兰花根际土壤放线菌门和浮霉菌门相对丰度呈一直下降的趋势,拟杆菌门和芽单胞菌门相对丰度呈一直升高的趋势。土壤变形菌门和髌骨菌门相对丰度呈先下降后上升的趋势,而土壤酸杆菌门、棒状杆菌门、疣微菌门、硝化螺旋菌门和厚壁菌门相对丰度呈先上升后下降的趋势。变形菌门、拟杆菌门、髌骨菌门和芽单胞菌门在高浓度Cd污染下为农田土壤细菌群落的主体。土壤罗思河小杆菌属相对丰度在低浓度Cd污染时呈下降趋势,而在高浓度Cd污染时呈升高趋势,土壤鞘氨醇单胞菌属的相对丰度在低浓度Cd污染时呈上升趋势,在高浓度Cd污染时呈下降趋势。土壤罗思河小杆菌属、马赛菌属、黄杆菌属和杜擀氏菌属可以被认为是西兰花根际土壤高抗Cd污染的细菌菌属。研究结果可为滨海滩涂地西兰花重金属污染土壤微生物修复提供依据。 展开更多
关键词 镉污染 细菌群落结构 高通量测序 西兰花
下载PDF
模拟氮沉降对山区水库消落带湿地土壤细菌群落结构的影响
9
作者 海生 戴妍妍 +5 位作者 少平 李振宇 徐蒋来 韬略 金思远 刘守平 《浙江林业科技》 2023年第3期8-13,共6页
为了解氮沉降背景下水库消落带湿地土壤微生物群落结构对氮沉降浓度差异的响应,以浙江长潭水库消落带落羽杉Taxodium distichum种植区的湿地土壤为研究对象,设置了3个氮水平即低氮(NH4NO330 kg·hm^(-2)·a^(-1))、高氮(NH4NO36... 为了解氮沉降背景下水库消落带湿地土壤微生物群落结构对氮沉降浓度差异的响应,以浙江长潭水库消落带落羽杉Taxodium distichum种植区的湿地土壤为研究对象,设置了3个氮水平即低氮(NH4NO330 kg·hm^(-2)·a^(-1))、高氮(NH4NO360 kg·hm^(-2)·a^(-1))和对照(不施氮肥)的模拟氮沉降实验,采用高通量测序技术,分析水库消落带湿地土壤细菌群落对氮沉降浓度差异的响应。结果表明:在氮沉降增加条件下,水库消落带湿地土壤细菌的Shannon指数和Chao1指数在低氮条件下都是呈增加趋势,比对照分别增加了5.54%和13.29%,而在高氮条件下,其值呈降低趋势,分别比对照降低了4.41%和6.64%。氮沉降增加明显改变了消落带湿地土壤细菌群落结构,在门水平上,土壤酸杆菌门Acidobacteria相对丰度随着氮沉降的增加呈一直增加的趋势,土壤放线菌门Actinobacteria的相对丰度随着氮沉降的增加则呈一直下降的趋势;在属水平上,土壤芽单胞菌属Gemmatimonadetes和鞘脂单胞菌属Sphingomonas的相对丰度均随着氮沉降的增加呈先下降再升高的趋势。以上研究结果可为预测未来大气氮沉降对山地水库消落带湿地土壤微生物的影响以及湿地生态系统的变化提供理论参考。 展开更多
关键词 氮沉降 消落带湿地 细菌群落 高通量测序
下载PDF
浙江省鳌江流域河岸植被缓冲带湿地土壤细菌群落结构特征分析
10
作者 海生 韬略 +5 位作者 蔡林生 李振宇 少平 朱友聪 黄霄宇 李晨阳 《江西农业学报》 CAS 2023年第4期69-73,共5页
研究了浙江省鳌江流域河岸缓冲带湿地植物根际土壤细菌群落结构及其多样性,以当地河岸缓冲带湿地3种乡土禾本科植物荻草、牛筋草和白芧根际土壤样品中提取的总DNA为模板,运用Illumina Miseq高通量测序技术,对细菌16S rDNA基因V4+V5进行... 研究了浙江省鳌江流域河岸缓冲带湿地植物根际土壤细菌群落结构及其多样性,以当地河岸缓冲带湿地3种乡土禾本科植物荻草、牛筋草和白芧根际土壤样品中提取的总DNA为模板,运用Illumina Miseq高通量测序技术,对细菌16S rDNA基因V4+V5进行了测序和分析。结果表明,从3种植物根际土壤样品中共测得28门、87纲、168目、296科、696属土壤细菌,其中荻草根际土壤样品的Chao1指数和Shannon指数为最高,其次是白茅根际土壤样品的,牛筋草根际土壤样品的最低。各植物根际土壤细菌群落组成均以变形菌门、酸杆菌门为主,其次为相对丰度较高的放线菌门、厚壁菌门、拟杆菌门、绿弯菌门、芽单胞菌门、硝化螺旋菌门、疣微菌门。从纲水平来看,3种植物根际土壤细菌菌群均以α-变形菌纲,β-变形菌纲及γ-变形菌纲为优势菌纲,其他相对丰度较高的菌纲包括放线菌纲、δ-变形菌纲、芽孢杆菌纲、芽单胞菌纲。3种植物中,变形菌门和硝化螺旋菌门的相对丰度以荻草根际土壤样品的最高,说明荻草在缓冲带湿地脱氮除磷方面可能发挥着更重要的作用,绿弯菌门和酸杆菌门的相对丰度以牛筋草根际土壤样品的最高,说明该植物在缓冲带湿地中能起到更明显的降解河流污染物的作用。 展开更多
关键词 鳌江 河岸植被缓冲带 细菌群落结构 细菌多样性 高通量测序
下载PDF
一种新的锁模技术 被引量:2
11
作者 绍和 有明 +3 位作者 韬略 斯向东 杨义 邓锡铭 《科学通报》 EI CAS CSCD 北大核心 1991年第20期1542-1543,共2页
<正> 本文首次报道一种新的锁模技术——正反馈锁模,一种响应时间快而无雪崩过程,深能级掺杂的GaAs(掺Cr)光电导开关用来驱动普克尔盒实现锁模,这种光电导开关的暗电阻比本征单晶硅高近6个数量级,可达10~9Q,因此能承受几千伏直流... <正> 本文首次报道一种新的锁模技术——正反馈锁模,一种响应时间快而无雪崩过程,深能级掺杂的GaAs(掺Cr)光电导开关用来驱动普克尔盒实现锁模,这种光电导开关的暗电阻比本征单晶硅高近6个数量级,可达10~9Q,因此能承受几千伏直流高压长期工作。 展开更多
关键词 锁模技术 激光器 光电导开关
原文传递
长短脉冲振荡器同步输出的研究 被引量:2
12
作者 绍和 韬略 +4 位作者 有明 斯向东 盛国平 杨义 邓锡铭 《光学学报》 EI CAS CSCD 北大核心 1991年第12期1091-1095,共5页
本文首次报道—种新的负反馈技术和快速电路。在这基础上,两台脉冲振荡器同步输出,其间的相对抖动约±1ns。
关键词 脉冲振荡器 同步输出 抖动
原文传递
一个基于偏序事件结构的Web服务模型及其形式化组装
13
作者 韩婷婷 韬略 +1 位作者 颜峰 吕建 《计算机科学》 CSCD 北大核心 2005年第5期8-12,共5页
随着Internet的发展,服务化和Web化趋势使得一个基于Web的分布式软件服务计算环境正在形成;同时随着大规模应用需求的不断涌现,单个的Web服务往往不能很好地满足一些复杂的应用。因此Web服务之间的集成组装就显得尤为重要。分析Web服务... 随着Internet的发展,服务化和Web化趋势使得一个基于Web的分布式软件服务计算环境正在形成;同时随着大规模应用需求的不断涌现,单个的Web服务往往不能很好地满足一些复杂的应用。因此Web服务之间的集成组装就显得尤为重要。分析Web服务的交互和协同行为可以发现,分布性和并发性是基于软件服务分布计算系统的本质特征。这就往往使得组装的正确性难以得到保证,从而需要提供一定的手段加以支持;同时,基于软件服务分布计算系统的效率问题也值得关注。我们认为,利用偏序关系对这些问题加以处理是一种理想和有效的手段;而同时我们发现,在服务的组装中,服务与服务之间存在着一种自然的偏序关系。本文基于此,从形式化的角度研究了软件服务及其组装,提出了一种基于偏序事件多集的Web服务的形式化模型。本文从服务内部事件而不仅仅是服务的角度来考察并发问题,这使服务内和服务间的更多的事件可以并行执行,并使得组装后的系统可以更高效地进行实施,从而使得Web服务的并发粒度变细;在此基础上给出了一种服务组装语言和规则,以确保在组装过程中出现的局部变化不影响整体的Web服务的正确组装,从而能够从形式化的角度来规范Web服务的集成组装,使其正确性和效率能够得到保证。 展开更多
关键词 事件 服务模型 WEB服务 Internet 分布计算系统 软件服务 结构 偏序关系 基于Web 形式化模型 计算环境 WEB化 应用需求 本质特征 效率问题 并行执行 局部变化 组装过程 正确性 分布式 服务化 并发性 分布性 集成 交互
下载PDF
鲁棒环境演算类型演化系统的扩充(英文) 被引量:2
14
作者 韬略 冯扬悦 +1 位作者 吕建 韩婷婷 《南京大学学报(自然科学版)》 CAS CSCD 北大核心 2004年第5期531-539,共9页
移动计算是在网络技术发展过程中涌现出来的一种新的分布计算范型,移动环境演算是一种广为使用的描述移动计算的形式化模型,鲁棒环境演算是针对这种演算的一种改进。文献[2]提出了类型演化问题,然而其研究只是针对不含有通信原语的纯演... 移动计算是在网络技术发展过程中涌现出来的一种新的分布计算范型,移动环境演算是一种广为使用的描述移动计算的形式化模型,鲁棒环境演算是针对这种演算的一种改进。文献[2]提出了类型演化问题,然而其研究只是针对不含有通信原语的纯演算进行。在[2]的基础上,进一步讨论了此问题。通过引入消息类型和消息体类型,并将之与原有的进程类型和环境类型相结合,提出了一个支持类型演化的能够对带有消息传递的进程项类型化的类型系统,从而将[2]的工作扩充到整个鲁棒环境演算中。证明了类型系统的正确性。同时给出了一个最小类型算法,在给定类型上下文的条件下,算法能够计算出任意进程项的类型;并证明了算法的可靠性和完备性。 展开更多
关键词 进程代数 环境演算 类型演化 类型系统
下载PDF
空间逻辑的一个定义框架及其可判定性 被引量:2
15
作者 颜锋 韬略 +1 位作者 韩婷婷 吕建 《计算机科学》 CSCD 北大核心 2006年第6期7-10,共4页
空间逻辑作为一个模态逻辑,能很好地描述分布式系统的行为和空间属性。其中,逻辑公式的有效性、可满足性及模型检测问题的可判定性已经得到广泛的研究。本文即是关于空间逻辑可判定性的一个综述,为此首先提出一个空间逻辑的定义框架,据... 空间逻辑作为一个模态逻辑,能很好地描述分布式系统的行为和空间属性。其中,逻辑公式的有效性、可满足性及模型检测问题的可判定性已经得到广泛的研究。本文即是关于空间逻辑可判定性的一个综述,为此首先提出一个空间逻辑的定义框架,据此可以构造各种空间逻辑,并对它们的可判定性进行考察,从而指出影响空间逻辑的可判定性的关键因素。 展开更多
关键词 移动计算 分布式计算 空间逻辑 可判定性 定义框架
下载PDF
Nd:YLF激光器中以负反馈强迫的自锁模技术 被引量:1
16
作者 朱健强 张筑虹 +7 位作者 绍和 韬略 郭小东 有明 逮其荣 葛夏平 范滇元 邓锡铭 《光学学报》 EI CAS CSCD 北大核心 1994年第1期32-35,共4页
本文首次利用GaAs光电导开关,控制Nd:YLF激光器腔内的Q值,实现自锁模.稳态自锁脉冲序列长50μs,单脉冲脉宽为10ps,能量为0.1μJ.
关键词 自锁模 负反馈 固体激光器
原文传递
正反馈选模和调Q技术 被引量:1
17
作者 绍和 韬略 +4 位作者 有明 斯向东 盛国平 杨义 邓锡铭 《光学学报》 EI CAS CSCD 北大核心 1992年第2期158-162,共5页
把一个由GaAs光电导开关和激光腔中的普克尔盒组成的正反馈回路,用于YAG激光器中,选单纵模和调Q,获得了稳定可靠的单纵模调Q脉冲.
关键词 正反馈 纵模 选模 固体激光器 调Q
原文传递
稳态锁模产生4ps激光脉冲 被引量:1
18
作者 朱健强 绍和 +5 位作者 张筑虹 韬略 有明 郭小东 逮其荣 邓锡铭 《光学学报》 EI CAS CSCD 北大核心 1994年第2期183-186,共4页
首次利用GaAs光电导开关,控制Nd:YLF激光器腔内Q值,实现稳态锁模,获得脉宽和能量稳定性极高的4ps激光脉冲.
关键词 光电导开关 Q值 锁模技术
原文传递
同步和异步π演算的表达能力研究 被引量:1
19
作者 韩婷婷 韬略 +1 位作者 颜锋 吕建 《高技术通讯》 CAS CSCD 北大核心 2005年第8期18-22,共5页
以π演算为框架,通过研究同步和异步通信机制,澄清了各个算子对语言表达能力的影响.给出了一个编码,它以同步π演算作为编码的源语言,异步π演算作为对应的目标语言,在同步π演算中保留match算子、全复制算子、并行算子和受限算子以及... 以π演算为框架,通过研究同步和异步通信机制,澄清了各个算子对语言表达能力的影响.给出了一个编码,它以同步π演算作为编码的源语言,异步π演算作为对应的目标语言,在同步π演算中保留match算子、全复制算子、并行算子和受限算子以及输入输出前缀,而异步π演算保留lazy复制算子、并行算子、受限算子、输入前缀以及没有后继的输出消息.研究结果证明了编码在接口互模拟关系下是完全抽象的,从而证明了编码的正确性.进一步说明了在不考虑不确定选择算子的情况下同步通信机制和异步通信机制的等价性,并为π演算的实现提供了理论依据. 展开更多
关键词 同步π演算 异步π演算 编码 表达能力 语言表达能力 Π演算 异步 同步 通信机制 复制算子
下载PDF
表达式元性理论形式系统的扩充及其强标准化性质 被引量:1
20
作者 韬略 李斌 吕建 《南京大学学报(自然科学版)》 CAS CSCD 北大核心 2004年第2期156-163,共8页
在 [1 ]所给出的Martin_L f表达式元性理论形式系统的基础上 ,通过引入所谓的引用表达式和协引用表达式的形式表示 ,对其进行了扩充 .同时证明了扩充形式系统的强标准化定理 .
关键词 表达式元性理论 扩充 强标准化 形式系统 协引用表达式
下载PDF
上一页 1 2 下一页 到第
使用帮助 返回顶部