A Behavior-Based Remote Trust Attestation Model

0 IntroductionDue to the fast development of communication technolo-gies ,the lowered cost of hardware,there is anincreas-ing reliance on computer networks . However ,along with thetremendous convenience provided,there is increasing numberof network based attacks .One particular kind of attacks exploits software vulnera-bilities .It is lunched by a virus or worm.Some examples in-clude earlier worms such as Code Red, Ni mda as well as re-cently high speed worms ,such as Slammer , Witty and F…     

改进的多版本软件扩展表决系统

本文提出了一种改进的扩展表决系统，该系统是利用自动分析表决系统可靠性等参数的工具来构建的。在软件容错中采用N模块冗余(N Modular Redundancy NMR)及N版本编程(N version Programming)，应用表决技术，可以屏蔽整个软件系统中出错的部分。在实践中直接应用理论的表决模型会发现很难得到理论分析的结果。针对这样的问题，本文提出一种基于多数(plurality)的扩展表决系统：使用构造决策树的方法和进行DFT遍历作为自动化的计算工具；通过对基本的多数表决系统进行模型扩展，加入指导性规则对决策树进行重构，以自动计算工具的结果作为参考，从而选择更加可靠的表决结果作为输出。最终的模拟测试表明，所提出的扩展表决系统能够提高系统输出的正确率。     

EDT毛化轧辊表面凹坑形成过程

针对轧辊表面电火花毛化过程中放电中心温度的变化、凹坑形状与电参数的关系等问题进行了研究.通过分析放电通道形成过程和热流密度分布函数,采用解析法建立了单个脉冲放电通道的热传导模型,并运用积分变换法和有限差分相结合的方法进行了温度场求解.讨论了轧辊表面在不同峰值电流下放电区域中心位置的瞬态温度变化,确立了峰值电流和脉冲宽度与熔化凹坑形状的关系.结果表明,理论计算值与实验结果相吻合,所建模型与采用的方法正确,可用于轧辊表面形貌形成过程的仿真.     

Sm2Fe17合金的热稳定性

用热重/差热(TG/DTA)分析法研究了粒度及升温速度对Sm2Fe17合金热稳定性的影响,结合XRD物相分析结果说明Sm2Fe17合金氧化过程中发生的化学反应,用Kinssinger法计算了Sm2Fe17合金被氧化所需的表观活化能并推断了其反应机理. 结果表明:Sm2Fe17合金粉的粒度越细,其热稳定性越差;升温速度越快,Sm2Fe17合金的氧化温度增高,放出的热量减小. Kinssinger法计算Sm2Fe17合金在低温氧化时的表观活化能为162kJ·mol-1,在高温氧化时为189.8kJ·mol-1.     

预应力锚索框架内力计算的有限差分法

根据Winkler弹性地基模型,考虑在不同的锚固力、地基系数、抗弯刚度条件下,利用差分法对锚索框架的内力计算公式进行了推导,并根据静力平衡和横梁与竖肋的变形协调进行锚索力的分配,使计算结果更接近于实际情况.应用此方法对某工程实例进行计算,并把计算结果与现场实测结果进行比较,证明此方法可行性和适用性.     

基于校园网格的多学科计算及协同可视化

针对浙江大学各高性能计算资源过于分散、无法充分利用的问题,提出一种校园网格的架构.通过使用Globus Toolkit和Sun Grid Engine两种网格中间件,部署层次化结构的校园网格,并在此基础上提供科学计算、生物信息、流体力学等服务.通过在不同节点数的网格中的应用程序运行情况的测试,表明校园网格能够提供高效、稳定的计算能力.提供了在校园网格环境下本地绘制和服务器绘制两种可视化服务,用户可以针对不同的数据和计算环境,选择不同的可视化方法;用户可对可视化结果进行协同操作,便于联合研究和分析.     

网格数据查询优化中的缓存管理研究

鉴于缓存管理在分布式系统中可以减少网络流量,提高系统响应速度,尤其在网格计算环境中可以克服网络连接的带宽瓶颈,提出了一个用于优化网格信息查询的缓存管理模型.网格搜索引擎进行信息检索时,依据用户的查询需求,从网格异地异构数据库中查询并自动抽取信息,进行查询集成并存储在高速缓存中;根据缓存调度算法合理地组织中间结果;按照打分函数的控制,在生成的评分表下进行Top-K排序,合并生成最终结果;在保证网格查询准确性的同时,提高网格异构数据源查询速度.实验表明此方法是有效的.     

基于代理的网格作业全局自适应迁移

作业迁移是实现网格作业服务质量保证和系统高效能的重要方法,在分析了传统进程迁移技术的基础上,根据网格系统的特点,提出了一种基于代理的网格作业全局自适应迁移模型,通过设计网格作业全局自适应迁移对象选定原则、迁移时机确定机制和作业迁移信息监控管理,解决了网格环境下作业迁移的关键问题.试验结果以及在西北工业大学校园计算网格中的实际应用验证了模型的有效性.     

谈谈污水泵的实用节能改造技术

随着网络上web服务数量的剧增,面对用户提交的一个服务请求,可能同时存在多个功能上与之相匹配的服务,而这些服务非功能性因素(如服务响应时间、可靠性等)可能存在很大的差异,因此,服务匹配的任务不仅仅是为用户找到一个可用的服务,而且应该对多个功能相似的服务加以区别,为用户找到一个性能最好的服务。为此本文改进了传统的web服务架构,引入了服务质量QOS作为衡量web服务非功能性因素的标准,建立了可扩展的QOS模型,提出基于此模型的QOS计算方法,通过对相似服务的QOS进行计算,能筛选出性能最好的服务返回给用户。     

首都国际机场3号航站楼屋面雪荷载分布研究

采用两相流理论模拟风荷载雪漂作用,认为空气相和雪相的关系为单向耦合,雪在风(空气相)的作用下发生漂移.对通用计算流体动力学软件FLUENT进行了二次开发,计算了在风作用下积雪发生迁移后屋盖表面的雪压分布,并对雪荷载改变量以及雪压分布的规律进行了分析,为结构设计提供了依据.