曾小平
- 作品数：10 被引量：41H指数：2
- 供职机构：上海交通大学电子信息与电气工程学院计算机科学与工程系更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 微内核操作系统设计方法及其设计实例的比较
- 1998年
- 超级计算机技术发展的趋势是大规模并行计算机,这种计算机的每个结点上运行的操作系统和一般计算机上的操作系统有极大区别。微内核操作系统提供了并行计算机所需的功能和性能,是并行操作系统的发展方向。本文讨论微内核操作系统的基本设计方法,并介绍几个典型实例:Amoeba,Mach,Chorus。
- 施嵘曾小平
- 关键词：操作系统微内核计算机
- 微内核操作系统设计方法及其设计实例的比较被引量：1
- 1997年
- 超级计算机技术是展的趋势是大规模并行计算机，这种计算机的每个结点上运行的操作系统和一般计算机上的操作系统有极大区别．微内控操作系统提供了并行计算机所需的功能和性能，是并行操作系统的发展方向．本主讨论微向核操作系统的基本设计方法，并介绍几个典型实的：Amoeba，Mach，Chorus．
- 施嵘曾小平
- 关键词：操作系统微内核计算机
- 可视化的Mole
- 1999年
- 移动代理是为解决网络低带宽、高延迟而提出的一种新的分布式计算模型，而Ｍｏｌｅ是Ｓｔｕｔｔｇａｒｔ大学开发的一个移动代理系统。Ｍｏｌｅ实现了一个移动代理系统的基本功能，但它过于简单的字符界面给系统使用带来许多限制和不便。在分析这些不足的基础上，设计并实现了Ｍｏｌｅ的可视化，同时增强了系统的控制功能。
- 谢建华曾小平孙永强
- 关键词：移动代理可视化INTERNET网
- 移动代理系统的类装载器的设计与实现被引量：1
- 1999年
- 移动代理是一种为解决网络低带宽、高延迟而提出的一种新的分布式计算模型，而网络类装载器在移动代理系统中起着呈关重要的作用。讨论了一个移动代理系统的类装载器所必须满足的要求，设计并实现了一个满足这种要求的类装载器──MoleClassLoader。
- 谢建华曾小平孙永强
- 关键词：类装载器移动代理系统计算机网络
- 一种面向应用的开放式并行操作系统的设计原理
- 1997年
- 设计了一个能降低系统自举时间，避免系统调用瓶颈、容错、动态可变以及面向应用的开放式并行操作系统．系统范围的消息传递是低延迟高效率的．把并行操作系统设计成一族程序模块，并行应用是这个族不可缺少的组成部分。
- 曾小平孙永强
- 关键词：并行操作系统面向对象操作系统
- 基于移动代理的主动网络被引量：29
- 2000年
- 在介绍主动网络的基础上 ,提出了一个在移动代理系统基础上建立的安全而高效的主动网络系统框架MANet(mobile agents based active network) .通过将程序代码和数据封装成主动数据包在主动结点上作为代理来运行 ,这个框架实现了集成化的主动网络 ,并且通过基于 Code Broker的代码装载和缓存技术改善了整个主动网络的性能和灵活性 .
- 曾小平孙永强谢建华
- 关键词：主动网络移动代理计算机网络
- 用Spi演算描述和验证密码学安全协议被引量：5
- 1999年
- 讨论了针对共享密钥安全协议的Spi演算，而且对安全协议的Spi演算描述和验证进行了深入的探讨。
- 曾小平孙永强
- 关键词：PI演算SPI演算安全协议密码学计算机安全
- 一个描述密码学安全协议的演算:Spi演算被引量：1
- 1999年
- Spi演算是M.Abadi和A.D.Gordon在pi演算基础上加以扩充,从而实现用pi演算来描述和分析基于密码学的安全协议的模型。pi演算作为并发计算的基础,其最重要之处是引入了通道(channel)的概念。通过产生并将这种有名字的通道传送给其它进程可以在这些进程之间建立起新的通信。通道具有确定的作用域(scope),作用域之外的进程不能对该通道进行存取。
- 曾小平孙永强
- 关键词：SPI演算密码学安全协议计算机安全
- 用Spi演算描述密码学安全协议被引量：2
- 1998年
- Ｓｐｉ演算通过在Ｐｉ演算中增加描述密码学协议的原语支持对基于共享密钥的安全协议的描述，通过测试等价Ｓｐｉ演算简化了对所描述的安全协议的验证．它为密码学安全协议系统的描述和验证提供了坚实而有效的支持．
- 曾小平孙永强
- 关键词：SPI演算计算机安全性
- 微内核操作系统的设计及其设计实例比较被引量：2
- 1997年
- 超级计算机技术发展的趋势是大规模并行计算机。在这种计算机的每个结点上运行的操作系统和一般计算机上的操作系统有极大区别。微内核操作系统提供了并行计算机所需的功能和性能，是并行操作系统的发展方向。本文讨论了微内核操作系统的基本设计方法，并对三个典型实例Amoeba、Mach、Chorus进行了分析比较。
- 施嵘曾小平
- 关键词：操作系统微内核并行处理计算机
