云计算视角下可验证计算的分析研究

云计算能否在未来的各个领域中被广泛运用,决定因素在于其可信度。可验证计算在检测云计算结果的可信度方面具有其独特优势。利用可验证计算协议可验证云服务器端所返回的数据是否正确,它成为实现云计算可信度的重要保障。文中在阐述可验证计算基本内容和相关设计原则的基础上,分析了可验证计算协议的一般流程、设计原则及计算模型,并结合基于交互系统的可验证计算协议分析,探讨在云计算视角下可验证计算的研究展望。     

基于扫描数据零件轮廓特征自动识别的方法

主要研究基于扫描数据自动识别零件轮廓特征的方法与技术．首先给出了零件轮廓特征自动识别的工作流程，然后提出了零件轮廓特征自动识别的原理与算法，最后通过具体实例验证了本方法的优点及可行性。     

放射治疗剂量分布的Monte Carlo模拟

利用Monte Carlo方法模拟放射治疗剂量分布,改写现有的放射治疗软件DPM,并进行剂量计算。与图形处理方便的Matlab软件相结合,给出直观的显示结果。该方法是一个很有前景的研究方向,因为它既可以获得很快的仿真速度,又能得到直观的仿真结果图形。运行结果表明剂量计算能在1min之内完成,计算速度和精度满足要求。该方法对于提高放射治疗水平具有重要的指导意义和应用价值。     

极低硫钢的精炼脱硫动力学模型

通过对影响脱硫反应限制性环节的分析,将持续接触和瞬时接触两种反应模式综合考虑,建立了精炼脱硫动力学模型,并通过实验室"极低硫钢精炼脱硫"实验数据对模型进行验证.结果表明,本模型的预测结果与实验结果比较吻合.     

图书档案γ辐照消毒

本文介绍γ辐照消毒用于图书档案纸张的灭菌研究,结果表明,4.3kGy的辐射剂量对微生物的杀灭率可达99.9％;纸张经200kGy的Y辐射纸质无明显下降,辐照对装订线的影响极小,对油墨性能无影响。     

高压CMOS管工艺的设计、模拟和验证

模拟和验证了一种低成本的，以标准CMOS工艺为基础，无需对原工艺流程进行改动的高压工艺技术。讨论了低压器件中的各种击穿机理，相应提出了高压器件中所做出的改进，列举了该工艺技术中所用的特殊版图；对此工艺的应用性进行了二维的工艺和器件模拟；将模拟结果与实际测试结果进行了比较，验证了这种高压工艺技术的实用性。     

滚动工具在Windows应用程序对话栏中的使用

介绍了用Visual C 6.0编写基于文档视图结构的单文档或文档Windows应用程序时在对话栏中使用各种滚动工具的方法，通过上引入基于CDialogBar类的派生类，解决了对话栏中滚动工具发出的滚动消 响应问题，使得对话栏中各种控件的数据交换和验证变得更加容易。     

阿斯匹林抑制血小板功能的临床研究

在冠心病的防治中 ,长期口服阿斯匹林 (ＡＳＡ)可有效抑制血小板聚集 ,这一点已被公认。但是在剂量及药效时间上尚有争议。本文应用阿斯匹林观察其抑制血小板的时间效应及其最佳剂量 ,并对机制做了初步的探讨。1　对象与方法1 1　观察 2 0 0 0年 10月 - 2 0 0 1年 10月胸痛可疑冠心病 (ＣＨＤ)或ＣＨＤ及稳定心绞痛的住院病人 6 0例。年龄 2 5 - 70岁。近 2周内未服用ＡＳＡ及影响血小板功能的药物 ,有出血倾向 ,血小板减少 ,肝肾功不全 ,心功不全及ＡＳＡ过敏者除外。1 2　将患者分为两组。一组口服ＡＳＡ10 0ｍｇ ,另一组口服ＡＳＡ30 0ｍ…