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

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

无约束平差与秩亏自由网平差在GPS数据处理中的比较

本文介绍了常规的无约束平差与近代的秩亏自由网平差,并用这两种方法对某城市的GPS监测网的测量数据进行处理,对各种方法解算的结果进行了对比分析,得出两种方法在精度、未知参数的改正数和基线向量的改正数上存在差异,并对其使用条件提出建议.     

《文心雕龙》注释商榷五则

后世历代学者对《文心雕龙》进行注释时,不同学者由于自身思想和理论观念的差异,在对同一文本进行注释时有着不同的解释。通过对“梗概”、“少算”、“嚣俗”、“黎献”、“技诈”五则词语的注释进行分析,可以更好地帮助我们学习和理解《文心雕龙》的特点和价值。     

人教版物理教科书与科学探索者丛书的水循环过程对比分析

现如今，水资源问题已经成为一个直接威胁人类生存的问题。初中物理教材应利用水资源相关知识展现环境保护的重要性，提高学生的保护环境的意识。该文以人教版初中物理教材与科学探索者版本中的水循环过程为例，从课程标准、教材的知识纬度与教材可行度纬度三方面对比了水循环相关知识在不同版本教材中课程设置情况，通过对比分析从另一个角度来认识我国初中物理教材中的STS内容。     

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

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

空气自动站监测与传统监测方法测定值的对比分析

为保证不同监测方法下监测数据的连续性、可比性以及正确判断环境空气变化规律，通过自动监测与传统的连续监测、五日法监测方法进行实验对比分析，找出传统方法与自动监测定值之间的偏差，探讨产生偏差的原因。     

1151系列式传感器上毛细管的疲劳寿命对比试验

设计了1151系列电容式传感器上非标准件的疲劳寿命对比试验,对铂-铑合金毛细管和铂-铱合金毛细管试件进行对比试验。采用等强度悬臂梁对试件施力,电阻应变片接收施力反馈信号,并采取多项措施提高试验精度。结果表明,铂-铱合金毛细管可以代替铂-铑合金毛细管。     

改扩建项目费用效益判定和计算方法的研究

提出了改扩建项目的概念分析及范围界定，介绍了改扩建项目增量效益和费用的识别和计算方法。     

一种改进的基于效用理论的TOPSIS决策方法

提出了一种改进的TOPSIS决策方法.该方法更多地融合了决策者的主观意愿:用决策者对属性的效用评价代替方案的原始属性数据;用模糊数替代精确值反映决策者对效用值的理解模糊不确定性;同时关注决策者对最佳决策方案属性效用的综合性、均衡性考虑.最后,通过对一个具体决策实例的分析,验证了方法的合理性和有效性.     

一种二元决策图底事件排序的新方法

故障树分析(Fault Tree Analysis, FTA)是对系统进行可靠性分析的一种有效方法.而在现在所有的故障树分析中,二元决策图(Binary Decision Diagram, BDD)又是其中最有效的方法之一.由于BDI)的节点数在很大程度上依赖于输入的底事件的排列次序,所以从故障树到BDD的转换过程中,需要先对底事件进行排序.而如何对底事件进行有效的排序则成为一个重要且未完全解决的课题.本文提出了一种新的底事件排序法--相邻底事件优先法.其基本思想是利用故障树的相邻关系来给其赋予不同的排序优先级.该排序方法所具备的特点包括:其底事件排序过程是静态的,但在BDD的构造过程中,能动态地对已经排序的底事件进行筛选,同时它还支持在BDD的不同分支采用不同的底事件排序方法.实验证明,与现有的最优方法相比,相邻底事件优先法可有效提高75%的故障树的BDD转化效率.