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

说明：邻接矩阵，我平时做的作业，感觉还蛮简洁的-Adjacency matrix, I usually do the job, feeling quite simple
<yuanming> 在 2025-02-10 上传 | 大小：1kb | 下载：0

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

说明：在vc环境下，用C++编二进制香农编码，安全-In vc environment, using C++ code compiled binary Shannon, security
<red> 在 2025-02-10 上传 | 大小：1kb | 下载：0

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

说明：邻接矩阵，大家可以看看，变得比较简洁，而且运行的不错-Adjacency matrix, we can see, has become more concise, and well run
<yuanming> 在 2025-02-10 上传 | 大小：1kb | 下载：0

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

说明：数值转化，大家可以看看，变得比较简洁，而且运行的不错-Numerical transformation, we can see, has become more concise, and well run
<yuanming> 在 2025-02-10 上传 | 大小：1kb | 下载：0

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

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

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

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

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

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

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

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

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

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