第01章线性规划第02章整数规划第03章非线性规划第04章动态规划----第30章偏最小二乘回归附录一Matlab入门附录二Matlab在线性代数中的应用附录三运筹学的LINGO软件附录四判别分析code.rar
2025/6/7 5:06:06
12.54MB
一款Mapgis文件修复软件，主要针对于工程文件收到损坏而导致的文件不能打开，使用修复软件加载受损工程文件然后修复即可。
2025/6/7 4:30:31
174KB
《软件开发的形式化方法》对软件开发中的形式化方法进行了介绍和讨论，内容涵盖了SE2004中关于"软件的形式化方法"的知识点，主要包括：有限状态机、Statecharts、Petri网、通信顺序进程、通信系统演算、一阶逻辑、程序正确性证明、时态逻辑、模型检验、Z、VDM、Larch等。
形式化方法是建立在严格数学基础上、具有精确数学语义的开发方法。
从广义角度，形式化方法是软件开发过程中分析、设计及实现的系统工程方法。
狭义地，形式化方法是软件规格和验证的方法。
形式化方法是建立在严格数学基础上、具有精确数学语义的开发方法。
从广义角度，形式化方法是软件开发过程中分析、设计及实现的系统工程方法。
狭义地，形式化方法是软件规格和验证的方法。
2025/6/5 18:40:51
10.93MB