严涛
- 作品数：3 被引量：3H指数：1
- 供职机构：南京大学计算机科学与技术系计算机软件新技术国家重点实验室更多>>
- 发文基金：江苏省自然科学基金国家高技术研究发展计划国家自然科学基金更多>>
- 相关领域：自动化与计算机技术电气工程交通运输工程更多>>
- 电力网格通信方式的研究和实现被引量：1
- 2008年
- 电力网格是网格技术和电力监控与自动化调度技术结合发展的产物。网格技术对于网络上的各种资源具有巨大的整合能力,电力网格能解决现有电力系统中存在的一些问题。同时,电力网格作为网格技术的新应用,它给网格技术的发展带来了新的研究背景和发展方向。但是电力系统有其特殊性,并非所有的网格技术都可以不加变化地照搬到电力网格中。电力网格对数据通信的实时性、兼容性和开放性有比较高的要求。针对电力网格的以上特点,分析了传统网格通信方式在电力网格应用中的困难。最后,根据电力网格的一个应用范例——PGP平台,提出了自己的解决方案,并验证了该方案的技术可行性。
- 王昊吕琦严涛陆桑璐陈道蓄
- 关键词：网格电力网格通信协议
- 基于TAG的电力网格分布式资源管理的研究与实现被引量：2
- 2008年
- 电力系统对全网范围内分布、异构、海量数据全面共享和集成的需要催生了网格技术和传统电力调度监控技术的结合---电力网格。电力网格通过统一的软件平台连结电力调度中心,整合分布的软硬件资源,提供信息和计算的共享。对电力网格平台的资源管理机制进行了研究,提出了一种基于TAG(标签)的信息分类模式,克服了传统树型分类的缺点;设计实现了一套由多台RSS Server(资源监控服务器)协同完成的分布式资源存储与检索机制。并在此基础上,分析了TAG分类模式和分布式检索策略的优点。性能比较和系统运行表明该方案是有效和可行的。
- 严涛吕琦司春锋陆桑璐陈道蓄
- 关键词：电力网格TAG资源管理分布式检索
- 并发语言OCCAM的指称语义
- 2002年
- 在研究关于 CSP并发指称语义的不同研究方法的基础之上 ,利用广义状态的概念和完备距离空间作为指称的方法 ,讨论了 OCCAM的一个子集 OCCAM/ TOY的并发语义。针对目前交叠并发语义研究方法的问题和不足 ,首先在 OCCAM/ TOY的语法中引入了一类具体的原子语句 ,并从语义上考虑了原子语句的语义对整个程序语义的影响 ;其次 ,对于通常语义方法中合并处理的一对通信原语的一次通信分开处理 ,描述了单个通信步骤的语义及其对程序的影响。在构造语义域时 ,利用完备距离空间作为指称 ,讨论了在距离空间范畴中语义域议程的解的存在性 ;并且在定义语义函数时 ,保证了递归定义的语义函数的存在性。给出了 OCCAM/ TOY的完全意义上的并发指称语义 ,既体现了由于并发而导致的执行过程的不确定性 。
- 钱悦晨严涛赖蓉宋方敏
- 关键词：并发语言OCCAM指称语义程序设计语言CSP
