标签：数据   软件   symbolic regression   

各种操作系统，试用30天版本下载：点击打开链接

2009年的时候初次了解这个软件，0.7.7版，以及0.80.2还都是免费的，只是觉得好玩而已；

主要因为Connel大学有人在Science上发了一篇report,介绍了类似symbolic regression概念；

后来一直想找出来，可惜忘记软件名字了，一个关键词也想不起来了；一直找不到；

今天翻旧电脑的老硬盘偶然发现还在一个偏僻的文件夹里；于是找出来了！ 留个记号；

http://nutonian.wikidot.com/

现在0.9.9最新版本已经开始收费了（挺贵）

但symbolic regression在不同的语言和编程环境下都有自己的实现方式了。

Mathematica对应的是MathModeler；还有针对R,Matlab,Python之类的开源的实现方式吧？

以前的Beta版还能找到，不知道是不是也限制使用时间的：

点击打开链接

age2RRS

下面是介绍；这个软件似乎有两个名字：

Eureqa is a scientific data mining software package that searches for mathematical patterns hidden in your data. Download the program here for Windows, Linux, or Mac. An overview of Formulize can be found on the Introduction Video.

This user-guide wiki contains basic instructions and examples, as well as in-depth information for more advanced users. We welcome your suggestions and requests for improving this resource. If you‘re interested in contributing to the wiki directly, please contact us so we can add you as a member.

The user guide from 10,000 feet

Eureqa‘s user interface is organized as a set of seven tabs that correspond to the normal workflow through the program, and this user guide is organized around those tabs. The seven main pages linked to below explain the most important features and options available on each tab.

Enter Data	Prepare Data	Set Target	Start Search	View Results	Analysis Tools	Use The Cloud

User guide contents (blog posts included)

Many of those main pages link to other wiki pages or posts on the Eureqa blog that provide more detailed information. Below you‘ll find the seven main pages again, this time with all the pages they link to, and any other relevant pages, grouped beneath them.

• Enter Data Tab
  • Working with discontinuous data (blog post)
• Prepare Data Tab
  • Normalizing data variables (blog post)
  • Row Weight — explains how an expression or variable can be used to assign different importance to data in different rows and gives examples of when that might be useful.
  • Using date and time variables (blog post)
• Set Target Tab
  • Target Expression Examples — shows how to design your target expression so that Eureqa will search for the kind of model you want.
  • Building Blocks List — lists and briefly explains the functions and operations you can choose to include in your formula search.
  • Error Metrics List — lists and briefly explains the error metrics you can use to assess potential solutions.
  • Prior Solutions — explains how to use prior solutions and/or initial gases to give Eureqa a headstart.
  • Setting and using validation data (blog post)
  • Row Weight (the same page as that found above under "Prepare Data Tab")
  • Modeling Binary Output
  • Custom error metrics and special search relations (blog post)
  • Using time delays or time lags of a variable (blog post)
  • Modeling outputs that have a range of values (blog post)
• Start Search Tab
• View Results Tab
• Analysis Tools Tab
• Use the Cloud Tab
  • Data Security
  • Cloud Pricing
  • Amazon Security Keys
  • Cloud Shutdown

Discussion groups

Both of the following groups actively discuss the current version of the program. If you‘re only going to join one group, we suggest you join the Eureqa group.

• Eureqa Google Group

Nutonian.com

So you‘ll have maps to the whole Eureqa universe in one place, here‘s a site map of Nutonian.com:

• Home
• Eureqa
• Getting Started
• Documentation (Largely just links back to pages in this user guide.)
• Download Eureqa Software
• Download Eureqa Dedicated Server
• Eureqa Pricing
• Cloud pricing
• Contact

使用者的博客：

点击打开链接

My Eureqa/Formulize page

Formulize

• Documentation
• Formulize discussion group (google groups)
• Eureqa | blog
• Wiki

My Formulize data sets

• first.fxp
  • Boyles law
  • Fib 25
  • Gelman 4
  • Planets
  • Odd parity
  • Sin formula
  • ChickenEgg
  • BRUS
  • Grass 1
  • Circle 1 fixed
  • P4 GAP
  • Logit formula
  • Iris
  • Sunspots
  • Factorial test
  • Factorial test 2
  • Hofstadter Conway
  • Golf putting
  • Tic Tac Toe
  • quake
  • Fib 38 ix
  • ISBN
  • Multiplexer 6
  • If Else Test
  • Triangular
  • Robert Pickering
  • Two Spirals
  • Kepler
  • Sum
  • Titanic
  • Leap Year
  • F2C
  • Longley
  • Majority on 3
  • Mod test
  • Catalan
  • Voterra Lotka
  • Primes ix
  • Is Prime
  • Is Prime 500
• second.fxp
  • Ackermann
  • Alldifferent1
  • Alldifferent2
  • P10
  • Unknown
  • Func
  • GEP test
  • Henon 100
  • Heron
  • Birthday rank
  • Lazy caterer
  • Lazy caterer 2
  • Alternating factorial
  • Alternating factorial 2
  • Alternating factorial 3
• third.fxp
  • Bell numbers
  • Pell
  • Mobius
  • Alsing
  • Regression Koza
  • Sigmoid
  • Fahrenheit/Celsius
  • Majority on 3
  • Multiplexer-11
  • Since function
  • Integer partitions
  • Perfect shuffles
  • Collatz
  • Test
  • Unlabelled graphs
• alternating_factorial2.fxp
• primes_step.fxp
• oeis.fxp
  Testing different integer sequences (numbers refers to The On-line Encyclopedia of Integer Sequences (OEIS)). Note: Some of these experiments are not very successful.
  • Tribonacci numbers
  • Catalan (again)
  • A074677
  • A056594
  • A009116
  • A001405
  • A125625
  • A000081
  • A031363
  • A001011
  • A004001
  • A000931
  • A001045
  • A014551
  • A094683
  • A000073

Eureqa

• 2010-01-24: On my Swedish blog Eureqa: equation discovery med genetisk programmering, Google translation: Eureqa: equations discovery with genetic programming.
• 2010-02-22: Eureqa version 0.78beta released
• 2010-02-25: Experimenting with Eureqa‘s API, where I create a simple command line program (eureqa_apitest1.cpp) with the new API.

Some Eureqa links

• Download page
• User Guide (PDF)
• Discussion Group (google group)
• FAQ
• Eureqa Known Issues
• Requested Features
• Summary of Eureqa Fitness Metrics
• Building Blocks Summary
• Eureqa API (see Programs below for an example using the API)
• Video: "Introduction to Eureqa": Eureqa page, and on YouTube Introduction to Eureqa (1/2), Introduction to Eureqa (1/2)
• Hod Lipson and Michael Schmidt is the developers of Eureqa. Their Science article Distilling Free-Form Natural Laws from Experimental Data,supplemental materials (PDF). More info on Sciences page Distilling Free-Form Natural Laws from Experimental Data, Supporting Online Material, e.g. the data used invar_datasets.zip. These files are in some strange format and must be fixed.

Other articles about Eureqa

• Wired: Download Your Own Robot Scientist
• Guardian: ‘Eureka machine‘ puts scientists in the shade by working out laws of nature
• Guardian: ‘Eureka machine‘ can discover laws of nature (video)
• Physorg.com: Eureqa, the robot scientist (w/ Video)
• Andrew Gelman (blogs on "Statistical Modeling, Causal Inference, and Social Science"): Equation search, part 1, Equation search, part 2.

Programs

• eureqa_cli.cpp which has more options than eureqa_apitest1.cpp.
  

    Syntax:
          eureca_cli datafile relationship functions fitness_method population_size crossover_prob mutation_prob
  where only the data file and relationship must be stated
  

  Running the program without any arguments shows valid options.
• My very first try with the API was eureqa_apitest1.cpp which tries to discover the closed form of Fibonacci sequence. The data file used isfib_38_ix.txt containing the first 38 Fibonacci numbers (1..38).

My Eureqa data sets

• gelman.csv: Linear regression
  Data from Andrew Gelman‘s blog post Equation search, part 1, Equation search, part 2.
• planets.txt: Kepler‘s third law 
  Data from DTREG
• odd_parity.txt: Odd parity
  As of writing, Eureqa lacks the boolean operators (AND, OR, and XOR) so this is not meaningful yet.
• sin_formula.txt: Sinus formula
  Created by perl -le ‘for (-100..100) { print $_/100, " ", sin(2*$_/100)+3}‘
• sin_formula2.txt: Sinus formula Created by perl -le ‘for (-100..100) { print $_/100, " ", rand(1)+sin(2*$_/100)+3}
• sqrt_formula.txt
  Created by perl -le ‘for (-100..100) { print $_/100, " ", sqrt(abs(2*$_/100))+3}‘
• iris.txt: Iris data set
• Sunspots.txt: Sunspots
• sin_formula_rand20.txt: Sinus 
  Created by perl -le ‘for (1..20) { my $x = rand(2*3.14159); print "$x ", sin($x)+exp($x)+3}‘
• boyles_law.txt: Boyle‘s law
• fib_25.txt: Fibonacci
  The 25 first Fibonacci numbers, as a "time series".
• fib_38_ix.txt: Fibonacci
  The 38 first Fibonacci numbers, with index. This is used in my first program testing the API: eureqa_apitest1.cpp.
• fib_50.txt: Fibonacci
  The 50 first Fibonacci numbers, with index.
• catalan.txt: Catalan numbers
  See Catalan number.
• not_squares.txt: Not squares
  Numbers not squares.
• primes.txt: Primes
  Prime numbers as a time serie.
• primes_with_index.txt: Primes with index
  
• p4_gap.txt: Polynom
  From JGAP (a general genetic programming system), where the problem is to find the polynom x^4 + x^3 + x^2 - x.
• p4_1.txt: Polynom p(4)
  The polynom p(4) = x^4 + x^3 + x^2 + x
• p10_1.txt Polynom p(10)
  
• p6_1.txt: Polynom p(6)
• p7_1.txt: Polynom p(7)
• circle_1_fixed.txt: Circle
  

• My JGAP page, my implementation of Symbolic Regression in JGAP.
• My Weka page
• The category Genetic programming/algorithms of my blog Arrays in Flux

Eureqa Formulize从实验数据中自动筛选函数关系的symbolic regression符号回归软件,布布扣,bubuko.com

Eureqa Formulize从实验数据中自动筛选函数关系的symbolic regression符号回归软件

标签：数据   软件   symbolic regression   

原文地址：http://blog.csdn.net/stereohomology/article/details/38706893