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

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

基于轨迹交叉理论的高校信息安全事故分析

近年来,随着我国信息技术的快速发展,尤其是高校信息安全问题日益受到大家的重视.高校信息管理非常重要,因为其涉及到一些项目创新,最新的科技成果和涉密的研究信息,那么加强高校的信息安全事故分析,然后采取必要的措施进行处理,如此便可达到究其根源、治其病根的效果.该文主要根据轨迹交叉理论来对高校信息安全事故进行分析,并针对相应的有效解决途径进行研究.     

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

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

脑的微环路

<正>前言脑中微环路的研究,是介于还原到神经元、综合到心理与行为两个层次间的大问题。简单的定义,就是研究神经元相互之间是什么关系,几十个到几千个神经元作为整体是怎样运作的,并怎样产生高级功能的。只有理解了这个中间层次的问题,我     

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

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

交叉配血发现高效价IgG抗A致（B—A）HDNl例

1病例简介患儿 ,男 ,(母亲孕1产1,无输血史) ,孕32w因受外力致胎膜早破 ,保胎未果 ,30h后胎儿娩出 ,产后2h因呕吐咖啡色样物而在当地医院儿科治疗 ,次日患儿出现黄疸 ,且便中带血 ,经治疗无明显好转 ,一周后转入我院 ,诊断为①早产儿 ;②新生儿坏死性小肠炎 ;③新生儿生理性黄疸。申请输同型血。2实验室检查总胆219 17μmol/L;间胆199 94μmol/L;红细胞计数3 75×1012/L;血红蛋白浓度97 5g/L。3血型血清学检查患儿血型A型Rh( +) ,用一同型血与患儿血样行交叉配血 ,结果见表1:表1交叉配血结果由此可见患儿血清中存在IgG抗A ,查HDN三项试…     

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

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

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

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

用遗传算法求解课程表问题

课程表问题是NP完全类问题.近些年来人们尝试着用进化算法求此问题.本文根据大学编排课表的特点设计了一种全新的编码和适应值函数,并应用遗传算法求解.试验说明了该方法的可行性和有效性.