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

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

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

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

基于ASP+SQL的远程MIS系统安全特性分析与研究

为构建基于ASP+SQL体系结构的铁路电务管理信息系统,结合网络安全模型和基于角色的访问控制(RBAC)模型分别设计了实际的网络系统和应用系统,并对其安全特性进行了分析.     

基于聚类的移动查询技术研究

为使移动数据库的查询技术更接近于实际应用要求，有必要进一步提高移动数据库的查询性能。本文对传统的基于代理的移动数据库体系结构进行了研究，提出了一种改进的基于代理的三层移动查绚体系结构，并采用聚类技术缓解了蜂拥问题。通过实验表明聚类技术对节省查询时间是有效的。     

一种基于总线链式查询平等响应算法的实现

通过对总线仲裁链式查询方式的分析,提出了一种最近最常提出总线请求的平等响应算法,克服了链式查询方式中设备优先级固定的缺点,提高了设备获取总线控制权的灵活性。     

WebGIS实现方法与应用研究

在互联网高速发展的时代，基于WWW的地理信息系统应运而生。主要介绍了WebGIS的发展历程、技术特点和系统组织结构，并结合一个实际系统对其具体实现过程作了较详细的阐述。该系统构架在开发过程中取得了较好的效果。     

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

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

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

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

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

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

煤炭销售调运结算查询系统的实现

针对我国煤炭销售管理的现状，基于计算机网络技术，提出了一种高效、科学、可靠的现代化销售管理方案，利用其提供的强大的查询功能和方便的操作界面，可以彻底改变传统的手工操作方式，实现销售管理的现代化。介绍了由合同签订、铁路调运、财务结算和综合信息查询组成的销售管理系统方案的功能、设计目标、数据流程和软件实现方法。