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

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

基于数据场联合PRI变换与聚类的雷达信号分选

基于脉冲描述字进行雷达信号分选时,传统聚类算法需要预先人工设定聚类中心和聚类数目。针对该问题,提出一种基于数据场理论联合脉冲重复间隔(pulse repetition interval,PRI)变换与聚类的雷达信号分选新方法。首先,依据数据场理论,基于势值大小实现干扰点剔除,而后利用PRI变换算法进行PRI估计,依据PRI估计值将归一化脉冲描述字数据预分类,进而以各类数据集中心间的欧氏距离小于辐射因子为准则进行类别合并,自动得到初始聚类中心和聚类数目,最后通过改进K-Means算法完成聚类分选。仿真实验表明:所提方法能够应对存在频率捷变,重频参差、抖动、参数交叠、局部脉冲丢失的复杂信号环境,分选正确率明显提升。     

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

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

分裂域和重复根式扩张

设E为系数在F上的多荐式f(x)的分裂域,若f(x)在F上根式可解,则E必含在F的一个重复根式扩张中,而E不一定是F的重复根式扩张.本文继续探讨了这一问题,当CharF()n=deg(f(x))时证明:(1)若Galiois群Gal(E/F)可解,E包含pi次本原单位根,则E是F的重复根式扩张,这里pi是deg(f(x))的全部素因子;(2)若E是F的重复根式塔,则E包含pI次本原单位根;并讨论了n=2spt11pt22...ptkk,pi为Fermat素数的情形.     

对大学英语写作教学的思考——大学生英语写作之中国文化思维方式解析

思维方式与语言密不可分。在语言的学习和使用中体现着人的思维方式。对上海某高校非英语专业学生四级资格考试作文进行抽样,通过大量例证分析,表明高校学生的英语作文在圆式思维模式、集体主义价值观、高语境文化和重复强调四个方面体现出强烈的中国文化思维方式。因此,高校英语写作教学应在文化内涵传授和交际能力训练等方面进行加强和提高。     

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

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

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

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

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

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

犯罪嫌疑人手上的炸药残留物检验

本文通过两例案件，利用现场快速检验和实验室验证的方法，检验犯罪嫌疑人手上的炸药残留物，以期为办理类似案件提供参考。     

基于Protel的通信电子线路仿真分析

简要介绍了Protel的主要组成及其仿真特性，分析了它在通信电子线路实验教学中的应用前景一实用、安全、高效、所见即所得．通过对MC1496双差分对平衡调制电路的仿真分析，直观、清晰、实用、简明而严谨的对理论进行了验证，做到了理论联系实际．