[数学计算/工程计算] 7

说明：使用雅可比迭代法和高斯-赛德尔迭代法求方程组。用到高斯法求解方程组和三角分解法。-Using Jacobi iteration and Gauss- Seidel iteration method equations. Gauss method for solving equations used and the triangular decomposition.
<郭敏霞> 在 2025-02-08 上传 | 大小：1kb | 下载：0

[数学计算/工程计算] lunwen

说明：高精度多面函数拟合高程的论文，值得一看，非常有价值-High-precision multi-function fitting surface elevation of the paper, worth a visit
<何> 在 2025-02-08 上传 | 大小：120kb | 下载：0

[数学计算/工程计算] TesteAlgo

说明：Simple algoritm about numbers.
<cris> 在 2025-02-08 上传 | 大小：501kb | 下载：0

[数学计算/工程计算] QtCalculator

说明：手机平台上使用的计算器源码,QT编码，简易计算器-Calculator for moilephone，base in QT
<Neo King> 在 2025-02-08 上传 | 大小：16kb | 下载：0

[数学计算/工程计算] system_monitor

说明：用于系统行为验证。给出系统运行的观测数据，给定一个用MTL形式化语言描述的表达式，运行结果为该系统行为在此形式化表达式上的鲁棒值。-it is a tool for the computation of the robustness of a propositional temporal logic specification with respect to a discrete time signal.
<刘新玲> 在 2025-02-08 上传 | 大小：999kb | 下载：0

[数学计算/工程计算] LTLrobust

说明：用形式化语言LTL(linear temporal logic)离线测试系统。程序SystemMonitor采用系统运行在线测试，本程序采用离线测试。输入为系统运行数据和LTL表达式，输出为该系统的鲁棒特征值。本程序采用了动态程序设计方法。对从事系统验证工作的开发人员和研究人员非常有帮助。-Its very useful for researchers and programmers who are working on system
<刘新玲> 在 2025-02-08 上传 | 大小：384kb | 下载：0

[数学计算/工程计算] HandoutForLogic_fromArizonaStateUniversity

说明：这是亚利桑那州立大学计算机课程Logic for Computer Scientists 的原版教程。教程中重点讲述了propositional logic和逻辑编程语言（ASP）Answer set programming. 这是一种非常快速在国外刚兴起的逻辑编程语言。-This is the Arizona State University computer courses Logic for Computer Scientists
<刘新玲> 在 2025-02-08 上传 | 大小：874kb | 下载：0

[数学计算/工程计算] theory_of_computation

说明：国外计算机专业重要研究生课程 theory of computation 的中文第一版和英文原版第二版。以及课后习题答案。-Computer important overseas post-graduate courses in Chinese theory of computation of the first edition and second edition of the English original. And Homewo
<刘新玲> 在 2025-02-08 上传 | 大小：15.21mb | 下载：0

[数学计算/工程计算] binaries-2.0.5-win32

说明：上传文件包括编译运行平台和许多实例。Answer set programming(简称ASP)是国外近几年兴起的一种重要的逻辑编程语言，对于求解NP问题有良好的时间上限优势。例如图的着色问题，哈密顿回路问题，sudoku问题，生物医学的特征选择问题等等。加上我上传的logic学习资料配套使用。-uploaded file include the compile and develop platform and many examples
<刘新玲> 在 2025-02-08 上传 | 大小：2.91mb | 下载：0

[数学计算/工程计算] 43kindoffinitedifferencemethodcode(Fortran)

说明：43种计算流体力学有限差分法的格式代码 见证了计算流体力学的发展历程-43 finite difference method of computational fluid dynamics code format witnessed the course of development of computational fluid dynamics
<chengguoqiang> 在 2025-02-08 上传 | 大小：489kb | 下载：0

[数学计算/工程计算] codes

说明：sph的3d求解程序，不包含前期求解文件 很经典是美国人编的 希望有这方面兴趣的人给我发邮件 共同讨论-sph of 3d solving process to solve file does not contain a classic pre-compiled Americans want people interested in this send me an email to discuss
<周周> 在 2025-02-08 上传 | 大小：80kb | 下载：0

[数学计算/工程计算] SIFT

说明：SIFT程序，用于图像识别,对于各种变换有很强的鲁棒性，是图像标注方面的精典算法-SIFT program for image recognition, for a variety of transformation has a strong robustness, is the classical algorithm for image annotation terms
<Spring> 在 2025-02-08 上传 | 大小：48kb | 下载：0