tina-3.2.0-i386-mswin.zip Windows 98/NT/XP/Vista/7/8

Tina是一款对时间Petri网支持得比较好的软件，也是我用得较多的一款软件。 它的运行程序是解压后/bin目录下的nd.exe文件(NetDraw)，适用于Windows和Linux操作系统，也就是说他的移植性很好。 Tina的操作也比较特别，很多操作需要借助键盘按键来完成，如： Ctrl + g用来切换软件背景网格线的有无；鼠标中键用来添加库所；Ctrl +鼠标中键用来添加变迁；用鼠标中键在库所与变迁间拖拽可以添加弧。 他有专门的模拟模块，点击菜单的tools-stepper simulator可以切换到运行模拟器中，如图。其中Rand表示随机运行，完了之后可回复到初始状态进行单步运行分析等。

tina-3.2.0（linux最新版本）for Petri

用于简单的PETRI网建模，简单易用，适合初学者构建初级的模型，上手较快，图形化界面。

SAS操作入门 教程 V8版本

SAS（Statistical Analysis System）是由美国北卡罗来纳州州立大学1966年开发的统计分析软件。1976年SAS软件研究所（SAS Institute Inc.）成立，开始进行SAS系统的维护、开发、销售和培训工作。期间经历了许多版本，并经过多年来的完善和发展，SAS系统在国际上已被誉为统计分析的标准软件，在各个领域得到广泛应用。 　　SAS 是处理数据强有力的统计软件,SASV8 版是 SAS 的最新版本,界面友善,操作方便. 编写<<SAS操作入门>>的目的为了帮助初次接触SAS软件者,减轻他们使用该软件的困难, <<SAS 操作入门>>包括了常见数据处理方法,指导人们处理数据时编相应 SAS 程序或调用SAS 菜单系统完成处理工作. <<SAS操作入门>>用 Word 编写存于光盘,使用者处理数据时只要很方便地将<<SAS 操作入门>>中相应例子的程序里的数据改成自己的数据,再粘贴到SAS 的编辑窗口运行即可;或者按<<SAS 操作入门>>中使用菜单系统的每一指示步骤轻松地完成处理任务. 每章均有习题,需用 SAS 完成,书后附了所有习题的 SAS 程序. <<SAS操作入门>>中所有例题及习题的 SAS 程序均经过运行验证无误,所有例题及习题的数据文件及方法的SAS程序均可在光盘的 v8 文件中找到. <<SAS操作入门>>侧重软件使用的操作过程, 没有侧重介绍处理数据的统计方法的数学原理, 欲了解统计原理可另参阅相关书籍. <<SAS操作入门>>也不是SAS使用手册,没有全面介绍 SAS 的功能、SAS 程序、SAS 程序的选项,要全面了解掌握 SAS 请参阅相关书籍及 SAS 手册.

《高等应用数学问题的MATLAB 求解》 一书的开发函数和使用资源

高等应用数学问题的MATLAB 求解 薛定宇、陈阳泉著 清华大学出版社 内容简介 本书首先介绍了MATLAB 语言的程序设计的基本内容，在此基础上系统介绍了各个应用数 学领域的问题求解，如基于MATLAB 的微积分问题、线性代数问题的计算机求解、积分变换和 复变函数问题、非线性方程与最优化问题、常微分方程与偏微分方程问题、数据插值与函数逼近 问题、概率论与数理统计问题的解析解和数值解法等。还介绍了较新的非传统方法如模糊逻辑与 模糊推理、神经网络、遗传算法、小波分析、粗糙集及分数阶微积分学等领域。 本书可作为一般读者学习和掌握MATLAB 语言的教科书，也可作为高校理工科各类专业的 本科生和研究生学习计算机数学语言的教材和参考书，可供科技工作者、教师作为学习和应用 MATLAB 语言解决实际数学问题的参考资料，还可作为读者查询某数学问题求解方法的手册。

《高等应用数学问题的MATLAB 求解》 的例题全部代码

高等应用数学问题的MATLAB 求解 薛定宇、陈阳泉著 清华大学出版社 内容简介 本书首先介绍了MATLAB 语言的程序设计的基本内容，在此基础上系统介绍了各个应用数 学领域的问题求解，如基于MATLAB 的微积分问题、线性代数问题的计算机求解、积分变换和 复变函数问题、非线性方程与最优化问题、常微分方程与偏微分方程问题、数据插值与函数逼近 问题、概率论与数理统计问题的解析解和数值解法等。还介绍了较新的非传统方法如模糊逻辑与 模糊推理、神经网络、遗传算法、小波分析、粗糙集及分数阶微积分学等领域。 本书可作为一般读者学习和掌握MATLAB 语言的教科书，也可作为高校理工科各类专业的 本科生和研究生学习计算机数学语言的教材和参考书，可供科技工作者、教师作为学习和应用 MATLAB 语言解决实际数学问题的参考资料，还可作为读者查询某数学问题求解方法的手册。

用Maple和MATLAB解决科学计算问题（第三版）

用Maple和MATLAB解决科学计算问题（第三版），尤其适用于数学建模的学习者