资源列表
s0
- 由最大空信标求其严格极小信标，该程序需要与fs.m配合使用。-Get Smin from Smax.
pnt
- 由Petri网pnt.pnt文件，求取其关联矩阵。可输出p,t,pt,ptnu,maxw.-Obtain p-by-t incidence matrix of a PN.
wqtwf
- 处理一般PN网pnt文件，将变迁与权值分离出来，形成其与权值相对应的索引向量。-Create vectors of values and their index, which are used to compute p-by-t incidence matrix.
fs
- 由最大空信标求严格极小信标，该程序需要与s0.m配合使用。-derive a Smin from a Smax.
s0
- 已知最大空信标，求其严格极小信标。该程序需要与fs.m配合使用。-Get the Complementary Set of Siphon
pnt
- 由Petri网pnt文件求取关联矩阵,可输出p, t,pt,ptnu,maxw等。-Obtain incidence matrix from pnt.pnt of a PN.
FlashUpgrader
- PW 芯片方案升级软件,用于更FLASH内部程序的.
linkcheck
- Java Link Checker A Spider Written in Java The Java Link Checker spider is a simple spider that I wrote in Java to check for invalid links on a web site. The spider portion is well isolated and could easily be used in other Java projects where yo
30
- 弹性板计算程序，可以计算简单的楼板配筋，验算板厚是否满足要求等。-弹性板计算程序
REGULARIZE
- langan法射线追踪及层析矩阵求解。参数化方式为矩形网格参数化。射线追踪和层析矩阵求解过程中采用压缩存储方式，正则化约束以矩阵方式补入。-ray tracing and langan chromatography method for solving matrix. Parameterization for the parameters of the rectangular grid. Ray-tracing process chromatography matrix used to solv
IMS
- 基于VC6.0的车友管理系统，包括简单的数据库操作-IMS