摘要:循环迭代程序作为软件的基本组成部分，其正确运行具有重要意义.然而，有时（比如其相关错数大于0时）计算时的舍入误差（或表示误差）会导致循环迭代的计算结果不稳定.基于“中间计算精度自动动态调整”的计算技术，给出了循环迭代程序的一种可信计算算法.利用该算法，可获得循环迭代程序任意次迭代的任意位的正确有效数字.目前，通过C++语言该算法已被编程实现于ISReal中.
Abstract:As a basic component of software, the correct running of cyclic iteration program is of great significance. However, sometimes (e.g., when its NID is greater than 0) the rounding error (or representation error) in the calculation can lead to unstable results of the cyclic iteration. Based on the computing technology of “automatic dynamic adjustment of intermediate calculation accuracy”, a reliable calculation algorithm for cyclic iteration is presented in this paper. By using this algorithm, the value of arbitrary precision of cyclic iteration can be obtained. At present, the algorithm has been programmed and implemented in ISReal through C++ language.
PDF全文下载地址:
http://jos.org.cn/jos/article/pdf/5883
删除或更新信息，请邮件至freekaoyan#163.com(#换成@)
循环迭代程序的一种可信计算算法
本站小编 Free考研考试/2022-01-02
相关话题/计算 程序 语言 数字 技术
领限时大额优惠券,享本站正版考研考试资料!
优惠券领取后72小时内有效，10万种最新考研考试考证类电子打印资料任你选。涵盖全国500余所院校考研专业课、200多种职业资格考试、1100多种经典教材，产品类型包含电子书、题库、全套资料以及视频，无论您是考研复习、考证刷题，还是考前冲刺等，不同类型的产品可满足您学习上的不同需求。 ...考试优惠券 本站小编 Free壹佰分学习网 2022-09-19基于区块链技术的公平合约交换协议的实现
摘要:当前的区块链技术，只在链上实现了“利益”的可信传递，而对应的“责任”传递还未有对应的链上实现，其关键问题是“责任”的载体及“责任”传递的接收确认.只包含“利益”的链上传递，因此，链上建立的信任关系是单向的，无法建立传递发起方对接收方的信任.从线上公平合约交换协议研究出发，给出了无可信第三方的、 ...中科院软件研究所 本站小编 Free考研考试 2022-01-02子图相似性的恶意程序检测方法
摘要:动态行为分析是一种常见的恶意程序分析方法，常用图来表示恶意程序系统调用或资源依赖等，通过图挖掘算法找出已知恶意程序样本中公共的恶意特征子图，并通过这些特征子图对恶意程序进行检测.然而这些方法往往依赖于图匹配算法，且图匹配不可避免计算慢，同时，算法中还忽视了子图之间的关系，而考虑子图间的关系有助 ...中科院软件研究所 本站小编 Free考研考试 2022-01-02在离线混部作业调度与资源管理技术研究综述
摘要:数据中心是重要的信息基础设施，也是企业互联网应用的关键支撑.然而，目前数据中心的服务器资源利用率较低（仅为10%~20%），导致大量的资源浪费，带来了极大的额外运维成本，成为制约各大企业提升计算效能的关键问题.混部（colocation），即将在线作业与离线作业混合部署，以空闲的在线集群资源满 ...中科院软件研究所 本站小编 Free考研考试 2022-01-02抗电路板级物理攻击的操作系统防御技术研究
摘要:计算设备处理和存储日益增多的敏感信息，如口令和指纹信息等，对安全性提出更高要求.物理攻击技术的发展催生了一种通过攻击电路板级硬件组件来获取操作系统机密信息的攻击方法：电路板级物理攻击.该类攻击具有工具简单、成本低、易流程化等特点，极容易被攻击者利用形成黑色产业，是操作系统面临的新安全威胁和挑战 ...中科院软件研究所 本站小编 Free考研考试 2022-01-02支持OR语义的高效受限Top-k空间关键字查询技术
摘要:近些年，随着定位系统和移动设备的普及，空间文本对象的数量日益庞大，基于位置的地理信息服务在人们的生活中发挥着越来越重要的作用.对于空间关键字查询搜索的研究亦如火如荼.然而，现有许多研究工作只适用于AND语义，支持OR语义的搜索研究相对较少.当用户放松对关键字匹配的要求时，支持OR语义的搜索技术 ...中科院软件研究所 本站小编 Free考研考试 2022-01-02面向边缘计算的目标追踪应用部署策略研究
摘要:目标追踪算法虽已在诸多领域得到广泛应用，然而由于实时性和功耗问题，使得基于深度学习模型的算法难以在移动终端设备上部署应用.结合边缘计算技术，从应用部署优化的角度，对目标追踪算法在移动设备上的部署策略进行研究.通过对目标追踪应用特点、移动设备特性以及边缘云网络架构的分析，提出一种面向边缘计算的目 ...中科院软件研究所 本站小编 Free考研考试 2022-01-02区块链的数据管理技术综述
摘要:最近几年，随着加密货币和去中心化应用的流行，区块链技术受到了各行业极大的关注.从数据管理的角度，区块链可以视作是在一个分布式环境下众多不可信节点共同维护且不可篡改的账本.由于节点间相互不可信，区块链通过共识协议，确保数据存储的一致性，实现去中心化的数据管理.针对区块链的安全性以及共识协议，已有 ...中科院软件研究所 本站小编 Free考研考试 2022-01-02一种包解析器硬件配置描述语言及其编译结构
摘要:设计了一种用于实现可重构网络数据包解析器的专用硬件配置描述语言P3.由于要有利于高安全等级网络的实现，侧重于从高可信性角度进行语言设计，包括形式化定义该语言的类型系统和操作语义，以及设计其可信编译结构.基于对可重构硬件基本需求的充分理解，从软硬件协同角度出发，最终明确了P3语言的核心特性及其编 ...中科院软件研究所 本站小编 Free考研考试 2022-01-02基于信息检索的软件缺陷定位技术研究进展
摘要:缺陷定位是软件工程研究最活跃的领域之一.大部分软件缺陷都会被提交到类似于Bugzilla和Jira的缺陷追踪系统中.由于提交的缺陷报告数量过多，开发人员不能及时处理，因而迫切需要一个自动化工具来帮助开发人员识别缺陷相关源代码文件.研究人员已提出了大量缺陷定位技术.基于信息检索的软件缺陷定位技术 ...中科院软件研究所 本站小编 Free考研考试 2022-01-02多媒体内容的多维度相似性计算与搜索专题前言
摘要:Abstract:PDF全文下载地址:http://jos.org.cn/jos/article/pdf/5936 ...中科院软件研究所 本站小编 Free考研考试 2022-01-02
