PCC技术的应用和改进

来源 :上海交通大学学报 | 被引量 : 0次 | 上传用户:qxy489354518
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
随着基于Internet的分布式计算的兴起,如何在确保系统安全的情况下有效地使用网络上的各种计算资源已成为计算机科学的研究热点之一,由Necula和Lee提出的自带证明代码(PCC)概念被认为一种可行的技术,文中研究PCC技术所涉及的技术问题,分析比较了PCC和其他安全技术的适应性,指出了该技术的优点和限制,提出了相应的改进措施,探讨了其在远程高性能并行计算及可移动代码迁移系统中应用的可能性。
其他文献
以结构目标可靠度约束条件对潜艇耐压圆柱壳进行了优化设计研究,根据潜艇耐压圆柱壳结构的确定设计变量和相应的结构失效模式,并确定结构优化时的优化目标及有关约束条件,其中,可
为在现代电子战争中可靠的识别敌我,提出了一种基于激光束编码的合作式目标识别方法。该方法通过半导体激光器发射含有询问、应答密码信号的调制光束进行通信,完成敌我目标的主
用变结构控制理论,根据视线制导规律,推导了水下机器人在垂直平面内的变结构导航控制器。它有效地排除了非线性干扰,仿真结果令人满意。
提出了一种新的微纳米传动机的及其传动比的设计计算方法,并为实验所验证,介绍了一种亚微米量级的闭环测控系统,工作稳定可靠,测控精度高,为微驱动器的研制成功打下了坚实基础,确保
关联规则是数据挖掘的重要研究内容。由于数据库中频繁追加新数据,使得已挖掘的关联规则发生变化,递增修正技术用于维护与修正并联规则。讨论了关联规则的递增修正问题,提出了递
关于SCI和中国引文索引丁晓清(上海交通大学图书馆)关键词科学引文索引;文献检索中图法分类号G354收稿日期:1998-4-20丁晓清:女,1954年生,馆员.邮编:200030中国科技信息研究所每年公布的学术排名榜[1],是以国际著名检
通过对电力系统水电站群联合补偿调节原理的分析和研究,建立了水电群联合补偿调节模型;为了提高基因算法的计算效率和精度以及改善其全局收敛性能,结合水电补偿问题题的目标函数
导出了在边缘简支下压电陶瓷圆片弯曲振动位移响应,给出谐振频率,输入导纳,发射功率响应和接收灵敏度响应,所得理论结果得到了实验测量的支持。
对分布式在经事务处理系统中的事务模型和事务处理及其优化工作作了较为详细地讨论和研究,在静态优化中,对串行,并行和混合方式的事务处理提出了一种完整,有效的估算代价的方法,即
如何将产品数据管理系统(PDM)建立在异构的环境上,并保护用户在CIMS中原有的资源是PDM能否具有生命力的关键,论述了一个典型的PDM系统体系及其基于CORBA的实现,重点讨论了PDM与CAx,MRPII应用系统的集成工具在CORBA上的