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

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

设立银川水文站必要性和可行性分析

银川河位于积石山县境内,近100年来发生4次大洪水,给该县人民造成了重大人员伤亡和巨大经济损失。就设立银川水文站的必要性和可行性进行论证分析,建成后银川水文站将为当地防汛抗旱,确保沿河村镇及城区防洪安全,发挥重要作用。     

科技创新获利能力形成机理研究

科技创新已成为影响企业获利和社会经济增长的关键性因素。在对科技创新获利能力的形成动因厦路径进行详细分析的基础上，对其形成过程中的规律及效果进行了深入的研究与评价．并运用指标体系法构建起科技创新获利能力形成评价体系．对科技创新获利能力的增强提供了理论依据与指导．具有一定的前瞻性和可行性。     

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

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

加速闽西奶业发展的可行性分析

通过对龙岩奶制品市场和龙岩发展奶业的基础调查，结合我市区位优势和交通日益发达利于就近融入闽南经济圈的大好形势，对我市发展奶业的可行性进行了分析，并简要提出一些发展措施。     

铝合金加工用刀具的使用研究（三）

当前我国各机械加工生产厂家引进国外进口设备及生产线较多，实现引进设备及生产线上刀具的国产化以降低生产成本，成为当前国内整个机械加工领域亟待解决的问题。     

谢桥矿提高回采上限设计实践

淮南矿业集团谢桥煤矿在1201(3)综放工作面设计中,对提高回采上限进行了可行性分析,通过对"两带"高度以及其它可行性因素的分析,将回采上限比原设计提高了6.4m,多回收了煤炭资源,也为今后13-1煤层以及其它煤层提高上限开采提供了实例借鉴。     

如何撰写科技型中小企业技术创新基金项目可行性研究报告(二)

科技型中小企业技术创新基金项目可行性研究报告主要内容包括总论,申报企业情况,项目的技术可行性和成熟性分析,项目产品市场调查与竞争能力预测,项目实施方案,投资预算与资金筹措,经济、社会效益分析,项目可行性研究报告编制说明等.     

我国中小企业外贸拓展问题研究

从界定中小企业涵义入手,分析我国中小企业的现状及存在的矛盾,以及在开拓国际市场时所存在的优势和劣势,并从多角度对其必要性进行研究。对中小企业如何开拓国际市场进行了初步探讨,并提出可行性方案,旨在为我国中小企业的发展提出建设性意见。     

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

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