数学软件
mathsoperator
这个作者很懒,什么都没留下…
展开
-
用图语言描述一个智力题的求解过程
% 问题描述:% 小明和小强都是张老师的学生,张老师的生日是M月N日,2人都知道张老师的生日是下列10组中的一天,% 3月4日 3月5日 3月8日% 6月4日 6月7日% 9月1日 9月5日% 12月1日 12月2日 12月8日% 张老师把M值告诉了小明,把N值告诉了小强,张老师问他们知道他的生日是那一天吗?% 小明说:如果我不知道的话,小强肯定也不知道。% 小强说:本来我也不知道原创 2015-10-07 22:16:45 · 579 阅读 · 0 评论 -
TeX系列: cmap宏包
cmap宏包目的是让使用pdflatex产生的pdf文档“可搜索和拷贝”.使用起来很简单, 在TeX文档的导言区加上\usepackage{cmap}即可.这里讲得很清楚呀. http://bbs.chinatex.org/forum.php?mod=viewthread&tid=3766原创 2011-10-21 17:09:31 · 1025 阅读 · 0 评论 -
网页中插入数学公式的便利工具: mimetex和mathtex
mimetex代码:http://www.forkosh.com/mimetex.cgi? \small\red x=\frac{-b\pm\sqrt{b^2-4ac}}{2a}" alt="" />直接插入到网页代码中就可以产生一元二次方程求根公式,效果还算可以,有需要的朋友不妨一试。下面是mimetex的官网的一些例子: mathtex与mimetex用法很相近原创 2009-08-20 23:32:00 · 4951 阅读 · 0 评论 -
MiniZinc: 约束建模语言
MiniZinc是一个适度的约束建模语言. 它高级到足以易于表示绝大多数约束问题, 低级到易于和一致地转化为已存在的求解器. 它是高级语言Zinc的一个子集. 希望能够被约束编程社区采纳成为一个标准. 以下两个网址有足够的资料供感兴趣的人们来学习.官方网站: http://www.g12.cs.mu.oz.au/minizinc/开发者网站:http://www.hakank.org/m原创 2011-11-20 12:10:50 · 3034 阅读 · 0 评论 -
一个填充函数法(filled function method)的AMPL实现
全局最优就是在可行域中目标函数最大或最小,而局部最优仅仅是指在可行域的某个邻域内目标函数最大或最小,与通常所说的极值相同。对于局部最优可供使用的算法很多,效果也不错,应运而生的软件业很多。比如基于AMPL的求解器就有三四十之多。由于全局最优求解的复杂性与困难程度,发展进程十分缓慢。填充函数法是其典型代表。这里基于AMPL实现了一下传统的填充函数法,效果还不错哟!上代码吧。param PI=3.原创 2011-11-21 06:49:51 · 1046 阅读 · 0 评论 -
TeX系列: 常用宏包
暂存这里, 方便以后查找哟! LaTeX编辑部之常用宏包 http://zzg34b.w3.c361.com/package/table.htm转载 2011-10-06 06:18:47 · 658 阅读 · 0 评论 -
TeX系列: 图文混排宏包picins
转载自http://www.ctex.org/documents/latex/graphics/node117.html Picins 宏包 picins 宏包定义了一个命令 \parpic命令,允许将 图形等 LATEX 对象放置在文本段落中。并且,设定适当的参数, 可把该对象置于一带框的盒子,有阴影的盒子等等。 \parpic 的用法如下:\parpi转载 2011-10-21 16:13:11 · 4122 阅读 · 1 评论 -
TeX系列: epstopdf宏包
转载自 jiyeqian最终编辑 superpanda1985pdflatex不支持插入eps格式图片。1. 将eps图片转成pdf或者将pdf图片转成eps,也就是说一张图片有pdf、eps两种格式。方法一:\includegraphics{pic} %不要扩展名。这样pdflatex自动调相应的pdf文件,而latex自动调eps文件。方法二:转载 2011-10-21 16:10:53 · 5772 阅读 · 0 评论 -
Tex系列: pgfplots安装
(1) 上网下载最新宏包压缩包 http://sourceforge.net/projects/pgfplots/files/pgfplots/(2)解压压缩包,把该包下的tex子目录拷贝至D:\texmf\ 下,全部覆盖即可。(3)重建TeX文件名数据库,执行DOS命令: texhash --admin 用pdflatex编译文档的过程中,可能由于绘图数据过多导致内存原创 2011-09-25 14:05:46 · 2915 阅读 · 0 评论 -
TeX系列: tkz宏包组合
安装步骤:(1) 下载tkz下所有八个宏包http://www.ctan.org/tex-archive/macros/latex/contrib/tkz或者这里是我下载后的八个宏包的压缩文件 点击下载(2) 把上述文件解压后都放在tkz目录, 然后拷贝至Te原创 2011-09-27 19:22:01 · 779 阅读 · 0 评论 -
数学建模语言AMPL及其应用
贴上两个AMPL的文件,大家看看AMPL软件及其应用AMPL使用入门(课件)原创 2011-09-16 06:54:46 · 3431 阅读 · 3 评论 -
基于Mathematica进行矩阵公式的推导
使用Mathematica进行矩阵公式的推导, 它与一般符号计算的区别在于它的乘法不满足交换律. 具体实现如下.原创 2011-11-12 20:03:32 · 6715 阅读 · 1 评论 -
AMPL和MATLAB结合使用示例
以运输问题为例。M脚本文件transp2.m:m=80;n=100;orig=1:m;dest=1:n;supply=round(n*rand(1,m)+1);demand=round(m*rand(1,n)+1);if sum(supply)>sum(demand) demand(1)=demand(1)+sum(supply)-sum(demand);else原创 2012-01-15 20:19:08 · 5218 阅读 · 14 评论 -
Julia编程语言
Julia 是个灵活的动态语言,适合科学和数值计算,性能可与传统静态类型语言媲美。通过使用类型推断和 即时(JIT)编译 ,以及 LLVM , Julia 具有可选的类型声明,重载,高性能等特性。Julia 是多编程范式的,包含指令式、函数式和面向对象编程的特征。 它提供了简易和简洁的高等数值计算,它类似于 R 、 MATLAB 和 Python ,但避免了其局限性。 为了达到这个目的,Julia转载 2013-11-13 05:51:38 · 4552 阅读 · 0 评论 -
TeX系列: dot2tex 和 dot2texi 配置步骤
(1)下载exemaker包 http://effbot.org/downloads/#exemaker(2)下载dot2tex包 http://www.fauskes.net/code/dot2tex/download/(3)制作dot2tex.exe可执行文件 先分别解压缩exemaker和dot2tex压缩包,然后把dot2tex解压后的目录下的dot2原创 2011-09-04 19:54:18 · 1585 阅读 · 0 评论 -
LP和MIP基础知识
LP和MIP是经典的建模工具, 如何快速求解一直是大家非常关心的问题. gurobi可能是目前此类问题的最优秀的求解工具, 但是对它的正确理解和适当的使用也很重要, 看看下面的的LP和MIP基础知识应该有所帮助. http://www.gurobi.com/resources/getting-started/lp-basicshttp://www.gurobi.com/resour转载 2013-06-30 07:20:01 · 3285 阅读 · 0 评论 -
Singular和SciTE的结合
Singular是一个针对多项式系统的计算机代数系统, 特别强调交换代数, 非交换代数, 代数几何和奇异值理论. 在windows系统上需要借助于cygwin运行. 软件运行速度不错, 使用起来也很方便. 这里简要给出如何在Scite中编辑并运行Singular程序.(1) 安装Singular和SciTE(2) 打开SciTE, 模仿着SciTE支持的其它文件格式, 制作一个支持Sing原创 2013-03-10 08:31:48 · 1361 阅读 · 0 评论 -
AMPL中使用第二类特殊有序集SOS2
AMPL支持第二类特殊有序集,不过也需要求解器的支持,比如cplex和gurobi就可以。贴段代码吧。param N:=5;param c{1..N};var lambda{1..N} >=0 <=1;suffix sosno integer IN;suffix ref integer IN;for{i in 1..N}{ let lambda[i].ref :=i; l原创 2013-03-07 15:44:03 · 1988 阅读 · 0 评论 -
Matlab 正则表达式零基础起步教程
摘 要:正则表达式是一个重要的编程概念。应用正则表达式可以实现很多强大的字符处理功能,有时也可以为常规方法解决起来比较复杂的问题另辟蹊径。本文试图通过比较详尽的示例为没有基础的读者介绍正则表达式的基本概念、用法及其在Matlab中的实现。文末附上几个应用表达式解决实际问题的实例,以利于读者在自己的实践中应用。关 键 词:正则表达式 Matlab regexp转载 2012-02-03 20:00:09 · 9111 阅读 · 0 评论 -
利用AMPL实现矩阵的加、乘和求逆
上代码吧,看得很清楚哟。意思不太大,就当是熟悉一下AMPL编程吧。param N:=3;param A{1..N,1..N};param B{1..N,1..N};var Ainv{1..N,1..N};data;param A := : 1 2 3 := 1 1 4 7 2 2 5 8 3 3 6 1 ;let{i in 1..N, j in 1.原创 2012-01-25 19:30:15 · 1958 阅读 · 1 评论 -
s-t最大流问题AMPL代码
最大流问题可做为最小费用流问题的特例,当然可直接借用最小费用问题的AMPL代码,这里稍作修改给出一个更简洁些的版本。option randseed 1;param N >=2 integer;param density >0,<1 :=20/N;set cities:=1..N;set links:=setof{i in 1..ceil(N*N*density)} (ceil(N*Un原创 2012-01-25 19:09:34 · 1191 阅读 · 0 评论 -
AMPL中产生幂集
有时做穷举时需要得到某集合的幂集,使用AMPL实现的代码如下:set S ordered;set P{j in 0..2^card(S)-1} ordered by S := {i in S: (j div (2**(ord(i)-1))) mod 2 =1};data;set S:=A B C;display P;其基本思想就是用自然数的二进制表示和幂集做了一个一一对应。到的原创 2012-01-22 13:30:11 · 882 阅读 · 0 评论 -
最小费用s-t可行流问题的AMPL描述及求解器的速度
上代码吧,通过调节N值和求解器观察求解时间即可。在本人的计算机测试表明cplex最快,gurobi表现也相当好,当规模达到100000个顶点2000000条边时在40秒(包括了从问题构建到最终求解的全过程)内求解完毕。option randseed 1;param N >=2 integer;param density >0,<1 :=20/N;set cities:=1..N;s原创 2012-01-21 17:39:40 · 1229 阅读 · 0 评论 -
R与MATLAB的互操作: R.matlab包介绍
针对R和MATLAB的互操作问题, 这里主要介绍一个R包: R.matlab.这个包提供了在R中读写MATLAB数据文件(MAT文件)的方法. 由此可把MATLAB做为客户端, R做为服务器. 把MATLAB不方便处理的数据用save命令写到MAT文件中, 然后做一个R脚本文原创 2011-09-28 22:16:26 · 5528 阅读 · 0 评论 -
TeX系列: tikz & pgf 宏包安装步骤
(1) 假设texmf目录在D:盘根目录下,删除pgf相关的所有目录,执行如下DOS命令rd /s D:\texmf\tex\plain\pgfrd /s D:\texmf\tex\latex\pgfrd /s D:\texmf\tex\generic\pgf原创 2011-09-04 15:21:38 · 7956 阅读 · 0 评论 -
把由Word绘图得到的图形转化成latex/beamer中可用的pdf格式的矢量图
1. 由Word绘图绘制图形2. 两种方法都可 方法 1: 通过页面设置调整文档页面大小至刚好放下图形为好; 通过选择"adobe pdf"打印机把Word文档打印至pdf文件 方法2: 通过选择"adobe pdf"打印机把Word文档打印原创 2011-08-17 21:38:45 · 1476 阅读 · 0 评论 -
AMPL编辑器:SciTE
AMPL环境配置步骤如下(以Windows环境为例):(1) 从http://www.ampl.com/DOWNLOADS/index.html中下载amplcml.zip,该版本是免费的, 有限制;(2) 把amplcml.zip解压至一个目录下,然后找到ampl.exe文件所在的目录, 称为ampl根目录,比如C:/amplcml;(3) 把ampl根目录设置到Windows路径上原创 2009-10-19 17:16:00 · 6614 阅读 · 6 评论 -
矩阵类的C#代码
今天是国庆节,祝贺我们的祖国越来越昌盛!我把以前编写的矩阵类的C#代码贴出来与大家共享,有不对的地方多提宝贵意见哟。本贴如果转帖一定要注明出处呀!namespace Maths{ using System; using System.Text; using Maths.Statistic; /// /// 这是一个实矩阵类,矩阵大小可更改 /// /// 功能如下: /// (1)矩阵原创 2009-10-01 05:27:00 · 10597 阅读 · 11 评论 -
TSP的AMPL代码
AMPL代码: #旅行售货员问题param N:=30;param locx{1..N}:=Uniform01();param locy{1..N}:=Uniform01();var u{1..N};param dist{1..N,1..N};var x{1..N,1..N} binary;for{i in 1..N,j in 1..N: i<>j} let原创 2009-09-22 09:09:00 · 2607 阅读 · 1 评论 -
GECODE:GEneral COnstraint Development Environment 通用约束开发环境
Gecode是开源的、免费的、容易得到的和高效的约束系统和应用的开发环境。看兴趣的朋友可以到这里http://www.gecode.org/看看咯。原创 2009-09-03 11:56:00 · 852 阅读 · 0 评论 -
AMPL(A Mathematical Programming Language):一个代数建模语言简介
最近学习了AMPL,感觉和LINGO建模语言比较相似。不过感觉使用起来更方便,并且有许多商业和开源的求解器支持AMPL,尤其开源的,这为我们的开发带来了便利。AMPL官方站点http://www.ampl.com/不可不看,当前提供了一个全功能测试版,可以下载试用。这是一个网上的免费优化服务器:http://www-neos.mcs.anl.gov/,网站中介绍了一些支持AMPL的求解原创 2009-08-17 10:31:00 · 16357 阅读 · 28 评论 -
MATLAB图论工具箱MatlabBGL
一个很不错的图论工具箱,使用了Boost图论库,稳定快速。参考http://www.stanford.edu/~dgleich/programs/matlab_bgl/。我有一个计划就是搞一个实现更多图论算法的基于MATLAB平台的图论工具箱,方法是站在巨人的肩上比巨人更高。; )原创 2009-05-10 19:38:00 · 11147 阅读 · 4 评论 -
符号计算软件maxima
一个比较好用的开源符号计算软件。参考http://maxima.sourceforge.net/ http://www.forkosh.dreamhost.com/mimetex.cgi?/x=/frac{-b/pm/sqrt{b^2-4ac}}{2a}">原创 2009-05-12 11:10:00 · 1604 阅读 · 0 评论 -
《LINGO8.0 for Windows软件及其应用》要更新了
近期我准备把《LINGO8.0 for Windows软件及其应用》的内容升级到LINGO11.0,敬请喜欢使用LINGO的朋友们关注,批评指导!您们的关注就是我的动力!原创 2009-05-10 06:42:00 · 939 阅读 · 0 评论 -
一个非常好的MATLAB学习网站
大家可以到这个网站看看,也许会有帮助哟!http://www.ilovematlab.cn原创 2009-05-10 06:25:00 · 1149 阅读 · 0 评论 -
LINGO8.0 for Windows软件及应用
LINGO8.0 for Windows软件及应用 为了建模培训工作,编译了《LINGO8.0 for windows软件及应用》教程。看到论坛上甚是热闹,爱好建模的人这么多,很是高兴。准备把教程贴出,希望大家支持,多提宝贵意见。谢谢先! 前 言 运筹学,即最优化理论,或在有的领域被称为管理科学,是近几十原创 2006-04-08 16:57:00 · 5412 阅读 · 82 评论 -
AMPL:A Mathematical Programming Language 翻译
最近翻译了一篇有关AMPL作者写的文章,点击下载(把下载后的文件扩展名改为rar然后解压即可),后面附录的例子见这里。AMPL:一门数学规划语言Robert Fourer西北大学,Evanston,伊利诺伊州,60201Brian W. Kernighan贝尔实验室,Murray Hill,新泽西州,07974Robert Fourer, David M. Gay翻译 2009-10-19 19:12:00 · 10457 阅读 · 11 评论 -
高度非线性函数的最小值
用LINGO和AMPL演示了求一个高度非线性三元函数最小值的过程.原创 2010-08-03 10:30:00 · 1077 阅读 · 0 评论 -
TeX系列: matlab2tikz--matlab图形数据转化为tikz命令
到目前为止, matlab2tikz还不支持所有MATLAB图形的转换. 比如对于3维点图和线图就不支持. 如果你有一个漂亮的二维图形, matlab2tikz支持得很好. matlab2tikz 支持功能完全涵盖它的前任matfig2pgf.支持的特征有(不限于):原创 2011-09-27 14:52:08 · 4332 阅读 · 0 评论 -
TeX系列: Sketch--三维图形翻译器
Sketch是一个产生二维和三维对象和场景中的线图的轻量而简单的系统. 它可以产生质量精美且没有无关细节的数学感觉的图形. Sketch接受一个有限的场景描述, 产生PSTricks 或者 TikZ/PGF 代码.Sketch 语言同PSTricks 很接近, 这使得熟悉PSTr原创 2011-09-28 22:50:19 · 775 阅读 · 0 评论