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

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

一类Minimax分式规划问题的迭代算法

对一类Minimax分式规划问题(MFP)提出一个迭代算法.首先通过引进变量和指数变换,将问题(MFP)等价转化为问题(Q),然后利用代数-几何平均不等式以及合适的转化过程,将等价问题(Q)压缩为凸规划问题(Q).从而根据选择不同的点所对应的压缩问题(Q),将原问题的求解过程转化为求解一系列的凸规划问题.数值实验表明算法是可行有效的.     

基于边迭代的复杂网络平均路径长度分析研究

复杂网络可以用来描述现实世界中许多复杂系统,而平均路径长度则是其中一个研究重点。针对基于边迭代的复杂网络,以Farey网络这一类网络族为实例,分析和研究其平均路径长度。研究方法将加深对这些确定性网络模型的研究,并为随机复杂网络提供新的思路。     

两种改进的非线性方程组四阶迭代求解法

文章基于两点Gauss型求积公式,分别结合梯形积分公式和Adomian分解法构造了两种牛顿型迭代格式.借助泰勒展开式,文章证明了这两种迭代格式都具有四阶收敛,并通过数值实验例子验证这两种迭代格式的有效性.     

解决一类优化问题的变分迭代法

考虑利用变分迭代方法求解最优化问题,分别给出了求解一般的有约束和无约束最优化问题的基本步骤,并通过实例说明了所给方法的有效性.     

Banach空间常微分方程初值问题的广义整体解

研究了Banach空间一阶非线性常微分方程初值问题.当f(t,u)满足弱Carath啨odory条件时,利用单调迭代方法和适当的迭代程序,获得了广义整体解的存在唯一性结果.     

求解多项式重零点的并行迭代方法

建立了一种至少4阶收敛的求解多项式重零点的并行迭代方法，分析并证明了相应的收敛性定理。     

Banach空间n阶非线性积分-微分方程初值问题解的存在性

用Tonelli方法研究了Banach空间中n阶非线性积分—微分方程初值问题，在非线性增长条件下，获得了初值问题解的存在性及其Tonelli迭代逼近。     

三对角方程组行处理法并行算法模拟

给出一个串行模拟在分布式存储ＭＩＭＤ一级３叉树机上求解任意三对角线性代数方程组的分布式迭代算法的Ｃ语言程序。     

目的论指导下的新闻英语编译

针对传统的翻译标准"忠实"、"等值"无法解释新闻翻译中必要的摘译、编译等现象,以德国功能学派翻译理论家H. J.弗米尔 (H. J. Vermeer) 提出的"目的论"为切入点,探讨了目的论在新闻翻译中的应用,目的论的提出拓宽了翻译理论研究的领域.