WIMS技术资料

本文件目前显示成indexed格式. 你也可以改成 integral或 folding格式. 这里还有 总帮助以及关于WIMS的 一篇文章.

-------- 目 录 --------


Wims目前的功能

  1. 写html网页时可以利用可编程的扩展: 变量替换、条件分支等. 这个对html的扩充不需要在浏览器端增加任何插件, 因为所有wims命令都是由服务器处理的, 送给用户的已经是标准的html网页.
    举例来说, 这样你可以定义各种网页格式并能动态变换格式.
    并且这样的扩展可以和当前的所有html标准共存, 包括java applets, javascripts, 嵌入对象, dhtml等. 这是因为wims扩展严格遵循行间隔的原则 (即wims命令必须是行的起首词), 而html标准与换行无关.
    因此甚至能把wims扩展嵌入javascripts, applets, dhtml...
  2. 图形、TeX格式的数学公式可以动态插入html网页. 例如你可以把下面的一行命令插入wims扩展html页. 在浏览器端, 用户可以看到一个TeX格式的矩阵, 其内容由变量 $matrix 的值确定:
          !instex $$ \left( $matrix \right) $$
    此外, 实现了动态插入后, 以后的升级就不需对模块作任何改动. (比方说, 如果有更好的方法生成数学公式, 只要在服务器端作简单的改动, 就能使所有的 !instex 命令行同时采用新标准.)
  3. 内嵌图形可以是动画! 例见工具 轨迹动画 .
  4. 提供直接调用外部软件包的界面. 例如你可以用下面的命令行定义一个变量 `factor':
          factor=!exec pari print(factor($number))
    在执行这一行时, 变量 $number 将用它的当前值代入, 然后用命令串 `print(factor(<value of $number>))' 调用软件包 `PARI' 执行此命令. 从输出结果中挑出所需的值赋给变量 `factor'.
    在wims 4.29a 里提供的界面有: PARI, Maxima, MuPAD, Coq, Povray, gnuplot, PostgreSQL, Fly (gif作图), CALC (作者Keith Matthew).
  5. 既简单又适应性强的语言. Wims模块使用的语言是广泛使用的html语言的扩展. 这个扩展语言设计得简单易用, 又贴近自然语言. 并且尽可能接受同义词. 例如为了插入另一文件的内容, 你不必记住wims命令是 include (如C), 或 input (如TeX), 因为两者都有效.
  6. 方便的串操作指令: 如利用正则表示式作置换, 从项目表中提取子集合, 字符重排, 数学公式赋值等.
  7. 易用的内嵌数学符号: 只要输入 $m_pi 就能得到 , $m_RR 得到 , $m_le 得到 , $m_Rightarrow 得到 , 等等.
  8. 对数学公式的智能化处理: 内建的解释程序能够在容许范围内接受简化的表达式, 例如 2y (即 2*y) 或 (x+1)(x-1) (即 (x+1)*(x-1)), 也能把原始数学表达式转化成美观的html源码 (如 x^3-3*x^2+1*x-5 转化为 x3-3x2+x-5 ), 或转为TeX源码.
  9. 强有力的随机性能: 如随机置换(字符重排), 从数据库随机挑选记录, 随机文件名等.