资源列表
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
30
- 弹性板计算程序,可以计算简单的楼板配筋,验算板厚是否满足要求等。-弹性板计算程序
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
FlashUpgrader
- PW 芯片方案升级软件,用于更FLASH内部程序的.
pnt
- 由Petri网pnt文件求取关联矩阵,可输出p, t,pt,ptnu,maxw等。-Obtain incidence matrix from pnt.pnt of a PN.
s0
- 已知最大空信标,求其严格极小信标。该程序需要与fs.m配合使用。-Get the Complementary Set of Siphon
fs
- 由最大空信标求严格极小信标,该程序需要与s0.m配合使用。-derive a Smin from a Smax.
wqtwf
- 处理一般PN网pnt文件,将变迁与权值分离出来,形成其与权值相对应的索引向量。-Create vectors of values and their index, which are used to compute p-by-t incidence matrix.
pnt
- 由Petri网pnt.pnt文件,求取其关联矩阵。可输出p,t,pt,ptnu,maxw.-Obtain p-by-t incidence matrix of a PN.
s0
- 由最大空信标求其严格极小信标,该程序需要与fs.m配合使用。-Get Smin from Smax.
fs
- 由最大空信标,求格严极小信标,需要与fs.m配合使用。-derive a Smin from a Smax