大模型 + 在线运行 + ISRealsoft ⇒ 编程运行验证一体化

       最近在撰写《计算机的错误计算》系列内容。其中用到三种在线工具,分别是大语言模型、在线运行软件以及 ISRealsoft 在线软件。

       系列主要介绍各种软硬件关于数值计算的误差或错误计算。比如,各种数学库 math 中涉及的函数的误差,或算术表达式,或循环迭代程序的结果中含有的错误数字个数。

       要讨论上述内容,那么需要两个步骤:首先,寻到一些可能出错的点;其次,对它们进行编程、运行、验证。其中,第一个步骤是寻找文献中提供的案例或构造新的案例(当然是符合要求的案例,比如 IEEE 754-2019中包含的函数,并且自变量是在其定义域范围内);而第二步不妨依靠三种工具。

       下面举例说明三种工具的使用场景。

       对于正切函数 \tan(x)\,,  计算机有三种类型的错误计算:当自变量为大数、k\pi(k\neq 0) 附近数以及 k\pi+\frac{\pi}{2} 附近数时,各种软硬件的输出会出现错误。下面案例将展示第三种类型的错误计算。

例1.  已知 x_0=80.110613\approx 25\pi+\frac{\pi}{2}\,.  计算 \tan(x_0)\,.

       (1)不妨在 Fortran 语言下计算,并且不妨使用讯飞星火大语言模型生成相应代码:

program tan_calculationimplicit nonereal :: x, resultx = 80.110613result = tan(x)print *, result
end program tan_calculation

       (2)然后在 在线运行Fortran - JSON中文网 中运行上述代码,则输出正数 586639.062 . 

       (3)再在ISRealsoft 中输入 tan(80.110613),那么它会输出9位的正确结果 -0.299885798e7 .   

       这样,通过比较上述两个输出结果,知,Fortran编译器输出了错误结果。

       点评:

     (1)在撰写《计算机的错误计算》系列内容时,虽然每一个案例均是简单的,但是,为了尽可能地说明问题,一般尽量在不同的环境下展示。比如,不同的语言或不同的库等,既有C语言、C++、Java,也有Python,甚至Go语言、Rust、Maple、Php等。这样,就出现一个问题:对于个别语言,其语法本人并不是很熟悉,同时,电脑中也未必安装有每一种编程环境。因此,有时,需要利用大语言模型获得代码,再用在线计算网站获得结果。于是,这二个工具帮助本人极大地提高了撰写效率。

     (2)在十年前,若要查看一个算式的正确结果,那么有下面几种方法。第一种,用Gmp等编程多精度代码,运行后比较结果。第二种,用 Maple 软件计算,也是先算出高精度的结果,然后显示所要精度的值。第三种,是用 Mathematica的符号计算,这时需要将小数换成分数。不管以上哪一种方法,均不仅繁琐,还不能保证结果正确(举例其中一个共同缺点:计算时均要设置参数,若参数错误,结果就错误;而参数如何设置,没有理论支撑)。

       ISRealsoft 是误差可控的一款软件。它基于数值(浮点)计算,在所有中间计算中均考虑了误差。它需要的,仅是用户告知要保留的有效位数。因此,相比前面的三种方法,利用 ISRealsoft 获得正确结果,那是秒秒钟的事,因为它不需要人工干预。所以,ISRealsoft 同样帮助作者极大地提高了撰写效率。

     (3)未来,若能将大模型、在线运行、ISRealsoft 整合在一起,去掉人工干预或只有极少的干预,那么效率就更高了。

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.xdnf.cn/news/1558592.html

如若内容造成侵权/违法违规/事实不符,请联系一条长河网进行投诉反馈,一经查实,立即删除!

相关文章

用伪代码Prompt让LLM进行图推理,生成更精准内容

最近有研究发现,当LLM面对结构化数据,特别是图数据时,LLM的表现却不尽如人意。这几天,来自希腊和法国的研究团队提出了一种创新方法——利用伪代码提示来增强LLM的图推理能力。我基于这项研究先写了一个伪代码的SYSYTEM PROMPT运行…

【智能算法应用】正切搜索算法求解二维路径规划问题

摘要 本文提出了基于正切搜索算法的二维路径规划方法,用于解决包含障碍物的复杂路径规划问题。通过在二维平面中建立障碍物模型和路径目标点,利用正切搜索算法进行路径搜索,找出从起点到终点的最优路径。实验结果显示,该算法在不…

5. PH47 代码框架软件开发环境搭建

5.1. 概述 PH47 软件开发环境搭建比较简单,但毫无疑问非常重要。主要涉及到 stm32 编译链接工具 Keil;代码编辑器 Visual Studio 或者 VS code。 若需要更进一步进行 PH47 框架在不同 stm32 芯片间移植,那么还需要Stm32CubeMx 初始化代码生成…

Python 如何使用 SQLAlchemy 进行复杂查询

Python 如何使用 SQLAlchemy 进行复杂查询 一、引言 SQLAlchemy 是 Python 生态系统中非常流行的数据库处理库,它提供了一种高效、简洁的方式与数据库进行交互。SQLAlchemy 是一个功能强大的数据库工具,支持结构化查询语言(SQL)…

小白入门《大模型应用开发极简入门》学习成为善用 AI 的人!

《大模型应用开发极简入门:基于 GPT-4 和 ChatGPT》这本书旨在为读者提供一个从零开始,快速掌握大语言模型(LLM)开发的入门指南,特别是基于 GPT-4 和 ChatGPT 的应用开发。书中内容涵盖了大模型的基础概念、架构原理、…

PCL 计算点云包围盒

目录 一、概述二、代码三、结果 一、概述 PCL中计算点云包围盒的简单使用案例 二、代码 moment_of_inertia.cpp #include <vector> #include <thread>#include <pcl/features/moment_of_inertia_estimation.h> #include <pcl/io/pcd_io.h> #include…

使用java分别输出二叉树的深度遍历和广度遍历

代码功能 这段Java代码定义了一个二叉树&#xff0c;并实现了两种遍历方法&#xff1a;深度优先搜索&#xff08;DFS&#xff09;和广度优先搜索&#xff08;BFS&#xff09;。通过DFS&#xff0c;代码从根节点开始&#xff0c;优先访问子节点&#xff0c;直至最深的节点&…

常用的十款文件加密软件分享|2024办公文件怎么加密?赶快码住!

在现代办公环境中&#xff0c;数据安全和隐私保护变得尤为重要&#xff0c;尤其是随着远程办公、跨平台协作的普及&#xff0c;文件的加密需求大大增加。为了保障敏感信息的安全性&#xff0c;选择合适的加密软件成为必不可少的一步。本文将为大家推荐2024年常用的十款文件加密…

‌视频画面添加滚动字幕剪辑:提升观众体验的创意技巧

在视频制作中&#xff0c;字幕不仅是传达信息的重要工具&#xff0c;也是提升观众体验的关键元素。本文将探讨如何在视频画面中添加滚动字幕剪辑&#xff0c;以提升观众的观看体验。 1打开软件&#xff0c;在功能栏里切换到“任务剪辑”版块上 2添加原视频导入到表格里&#x…

简单花20分钟学会top 命令手册 (linux上的任务管理器)

1. 介绍 top 是一个常用的 Linux 命令行工具&#xff0c;用于实时监视系统资源和进程的运行情况。用户可以通过 top 命令查看系统的 CPU 使用率、内存占用情况、进程列表等重要信息&#xff0c;帮助快速了解系统运行状态并进行性能监控。该工具可以认为相当于windows上的任务管…

探索Theine:Python中的AI缓存新贵

文章目录 探索Theine&#xff1a;Python中的AI缓存新贵背景&#xff1a;为何选择Theine&#xff1f;Theine是什么&#xff1f;如何安装Theine&#xff1f;简单的库函数使用方法场景应用场景一&#xff1a;Web应用缓存场景二&#xff1a;分布式系统中的数据共享场景三&#xff1…

【DFDT】DFDT: An End-to-End DeepFake Detection Framework Using Vision Transformer

文章目录 DFDT: An End-to-End DeepFake Detection Framework Using Vision Transformerkey points贡献方法补丁提取和嵌入基于注意力的补丁选择多流transformer块多尺度分类器实验DFDT: An End-to-End DeepFake Detection Framework Using Vision Transformer 会议/期刊:App…

Java 函数式编程(1 万字)

此笔记来自于B站黑马程序员 good Java 历史版本及其优势 函数式编程, Stream API 一.函数伊始函数、函数对象 函数对象 行为参数法 延迟执行 a-lambda b-方法引用 复习小测 Math::random () -> Math.random()Math::sqrt (double number) -> Math.sqrt(number)Student:…

光路科技TSN交换机:驱动自动驾驶技术革新,保障高精度实时数据传输

自动驾驶技术正快速演进&#xff0c;对实时数据处理能力的需求激增。光路科技推出的TSN&#xff08;时间敏感网络&#xff09;交换机&#xff0c;在比亚迪最新车型中的成功应用&#xff0c;显著推动了这一领域的技术进步。 自动驾驶技术面临的挑战 自动驾驶系统需整合来自雷达…

揭秘!尤雨溪成立的VoidZero如何改变前端世界

前言 Vue和Vite之父尤雨溪宣布成立公司 VoidZero&#xff0c;目前已经融资3200万。这篇文章欧阳将带你了解VoidZero是如何改变javascript的世界&#xff01; 加入欧阳的高质量vue源码交流群、欧阳平时写文章参考的多本vue源码电子书 痛点1: 工具太多&#xff0c;学不动 公司…

Library介绍(四)

标准单元描述 标准单元主要由以下几个部分构成&#xff0c;分别是引脚电容、power、timing组成。其中引脚电容主要包含input/output pin的电容值。 power主要包含每个pin的leakage power和internal power。 timing主要包括cell的input pin到output pin的rise delay和fall del…

Shuffle Net系列详解 (1) Shuffle Net论 V1论文理论部分详解

Shuffle Net 系列 论文精讲部分0.摘要1. 引文2. 相关工作3. Approach方法3.1 Channel Shuffle for Group Convolutions 通道重排针对分组卷积3.2 模型块Blocka Blockb Blockc Block 3.3 模型整体架构 4 实验5 总结 论文精讲部分 本专栏致力于深度剖析轻量级模型相关的学术论文…

浏览器书签的同步和备份工具Elysian

什么是 Elysian &#xff1f; Elysian 是一个自托管工具&#xff0c;用于将您经常使用的书签从浏览器的书签工具栏备份到您的家庭实验室。包括服务和浏览器插件两部分。 Elysian 主要专注于将您浏览器的常用书签备份到您家庭实验室中运行的 Elysian 服务器。浏览器插件使用 chr…

利用1688商品数据洞察市场:优化策略,提升业绩

对1688商品通过API接口的数据进行详细分析&#xff0c;可以帮助商家更好地了解商品的市场表现、用户需求及行为&#xff0c;从而优化商品供应和销售策略。以下是对1688商品数据的详细分析&#xff0c;包括需要分析的具体数据、分析过程及结果、以及基于分析结果的建议。 一、需…

【日记】我不想调回去啊啊啊(341 字)

正文 新电脑不知道为什么有时键盘会突然没反应。 今天没有客户&#xff0c;工作上几乎没什么可说的。唯一听到的消息&#xff0c;似乎是我可能不久之后就要被调回去&#xff0c;因为市分行有人要人事调动。 救命啊&#xff01;我不想回市分行。在下面吃住都比市分行好&#xff…