文件名称:Rough-Set_src_1.0
- 所属分类：
- JSP源码/Java
- 资源属性：
- [MacOS] [Java] [源码]
- 上传时间：
- 2012-11-26
- 文件大小：
- 2.2mb
- 下载次数：
- 0次
- 提 供 者：
- Muon ******
- 相关连接：
- 无
- 下载说明：
- 别用迅雷下载，失败请重下，重下不扣分！
介绍说明－－下载内容均来自于网络，请自行研究使用
Temporal Rough Logic is a combination of both Normal and Temporal Modal Logics. TRL formulas are interpreted over Dynamic Approximation Spaces. For checking validiy in TRL a Prefixed Tableaux System was proposed by Md.Aquil Khan and Dr.M.Banerjee in
(系统自动生成,下载前可以参看下载内容)
下载文件列表
Rough Set
.........\bin
.........\src
.........\.settings
.........\bin\META-INF
.........\...\Screenshots
.........\...\doc
.........\src\Screenshots
.........\...\doc
.........\...\META-INF
.........\bin\doc\resources
.........\src\doc\resources
.........\graphspace.dot
.........\graphspace.dot~
.........\rset.pdf
.........\graphrset.dot
.........\.classpath
.........\.project
.........\graphrset.png
.........\graphspace.png
.........\bin\ApproxSpace.class
.........\...\DisMat.class
.........\...\Formula.class
.........\...\GUI.class
.........\...\InfoSystem.class
.........\...\RTLModel.class
.........\...\RoughSet.class
.........\...\Set.class
.........\...\Table.class
.........\...\Term.class
.........\...\Terminal.class
.........\...\graph_dot.class
.........\...\screen.class
.........\...\test_22_2.class
.........\...\test_all.class
.........\...\test_infs.class
.........\...\test_logic.class
.........\...\test_rough.class
.........\...\ApproxSpace.java~
.........\...\GUI.java~
.........\...\InfoSystem.java~
.........\...\README.TXT
.........\...\RoughSet.java~
.........\...\Set.java~
.........\...\SimpleTableDemo.java~
.........\...\Table.java~
.........\...\Terminal.java#backup
.........\...\Terminal.java~
.........\...\apple.pdf
.........\...\apple2.pdf
.........\...\canvas.java~
.........\...\graph.dot
.........\...\graph.png
.........\...\graph1.pdf
.........\...\graph_dot.java~
.........\...\graphrset.dot
.........\...\graphrset.gif
.........\...\graphrset.png
.........\...\graphrset.svg
.........\...\graphspace.dot
.........\...\graphspace.png
.........\...\model.png
.........\...\package.bluej
.........\...\screen.java~
.........\...\ssdsa.java~
.........\...\terminal.java~
.........\...\test_all.java~
.........\src\test_logic.java
.........\...\Formula.java
.........\...\DisMat.java
.........\...\test_infs.java
.........\...\RTLModel.java
.........\...\model.png
.........\...\Term.java
.........\...\test_all.java~
.........\...\test_all.java
.........\...\test_all.class
.........\...\test_22_2.java
.........\...\test_22_2.class
.........\...\terminal.java~
.........\...\Terminal.java~
.........\...\Terminal.java#backup
.........\...\Terminal.java
.........\...\Terminal.class
.........\...\Table.java~
.........\...\Table.java
.........\...\Table.class
.........\...\ssdsa.java~
.........\...\SimpleTableDemo.java~
.........\...\SimpleTableDemo$2.class
.........\...\SimpleTableDemo$1.class
.........\...\Set.java~
.........\...\Set.class
.........\...\screen.java~
.........\...\screen.java
.........\...\screen.class
.........\...\screen$1.class
.........\...\RoughSet.java~
.........\...\RoughSet.class
.........\...\README.TXT
.........\bin
.........\src
.........\.settings
.........\bin\META-INF
.........\...\Screenshots
.........\...\doc
.........\src\Screenshots
.........\...\doc
.........\...\META-INF
.........\bin\doc\resources
.........\src\doc\resources
.........\graphspace.dot
.........\graphspace.dot~
.........\rset.pdf
.........\graphrset.dot
.........\.classpath
.........\.project
.........\graphrset.png
.........\graphspace.png
.........\bin\ApproxSpace.class
.........\...\DisMat.class
.........\...\Formula.class
.........\...\GUI.class
.........\...\InfoSystem.class
.........\...\RTLModel.class
.........\...\RoughSet.class
.........\...\Set.class
.........\...\Table.class
.........\...\Term.class
.........\...\Terminal.class
.........\...\graph_dot.class
.........\...\screen.class
.........\...\test_22_2.class
.........\...\test_all.class
.........\...\test_infs.class
.........\...\test_logic.class
.........\...\test_rough.class
.........\...\ApproxSpace.java~
.........\...\GUI.java~
.........\...\InfoSystem.java~
.........\...\README.TXT
.........\...\RoughSet.java~
.........\...\Set.java~
.........\...\SimpleTableDemo.java~
.........\...\Table.java~
.........\...\Terminal.java#backup
.........\...\Terminal.java~
.........\...\apple.pdf
.........\...\apple2.pdf
.........\...\canvas.java~
.........\...\graph.dot
.........\...\graph.png
.........\...\graph1.pdf
.........\...\graph_dot.java~
.........\...\graphrset.dot
.........\...\graphrset.gif
.........\...\graphrset.png
.........\...\graphrset.svg
.........\...\graphspace.dot
.........\...\graphspace.png
.........\...\model.png
.........\...\package.bluej
.........\...\screen.java~
.........\...\ssdsa.java~
.........\...\terminal.java~
.........\...\test_all.java~
.........\src\test_logic.java
.........\...\Formula.java
.........\...\DisMat.java
.........\...\test_infs.java
.........\...\RTLModel.java
.........\...\model.png
.........\...\Term.java
.........\...\test_all.java~
.........\...\test_all.java
.........\...\test_all.class
.........\...\test_22_2.java
.........\...\test_22_2.class
.........\...\terminal.java~
.........\...\Terminal.java~
.........\...\Terminal.java#backup
.........\...\Terminal.java
.........\...\Terminal.class
.........\...\Table.java~
.........\...\Table.java
.........\...\Table.class
.........\...\ssdsa.java~
.........\...\SimpleTableDemo.java~
.........\...\SimpleTableDemo$2.class
.........\...\SimpleTableDemo$1.class
.........\...\Set.java~
.........\...\Set.class
.........\...\screen.java~
.........\...\screen.java
.........\...\screen.class
.........\...\screen$1.class
.........\...\RoughSet.java~
.........\...\RoughSet.class
.........\...\README.TXT