搜索资源列表
TestBNF
- 扩展巴氏范式判别器及测试程序，实现符号表、语法树、语法判别算法。-expansion Pap paradigm checker and test procedures to achieve the symbol table, the syntax tree, grammar discrimination algorithm.
CMM.rar
- 这个语法分析器用到的是自顶向下的递归调用的方法，根据Cminus语言的文法规则 的BNF范式编写递归调用的代码，parse方法是程序的入口，它调用的stmt_sequence完成整个语法分析工作，stmt_sequence背后是12个互相调用的方法，它本身也在语法分析的过程中被调用到。 每个方法在最后会返回一个构造好的节点DefaultMutableTreeNode节点t给调用它的方法，然后调用它的方法用这个返回的节点继续构造，最后语法分析完成后会返回一棵完全构造好了的树节点，然后将这个树节点
MYUGPDM
- 对构建系统所涉及的关键技术进行了论述，对本系统所采用的 数据库进行了选择，按照PDM思想和数据库范式设计理论，构建了 关系型的零件信息数据库，进而在系统中实现了零件信息的分类管 理，零件信息的添加、删除和编辑，零件工程图和三维图的查看； 论述了参数化建模的方法，介绍了UG软件的三维参数化设计，三维 参数化零件库的建立，同时根据具体实例来说明三维参数化设计的 方法，提出了一种通用零件参数化设计过程，进行COM/DCOM编程， 构建了一个基于UG外部开发的零件参数化设计组
SAT
- SAT问题也称为合取范式的可满足问题，一个合取范式形如：A1∧A2∧…∧An，子句Ai（1≤i≤n）形如：a1∨a2∨…∨ak，其中ai为文字，为某一布尔变量或该布尔变量的非。SAT问题是指：是否存在一组对所有布尔变量的赋值（TRUE或FALSE），使得整个合取范式取指为真。-SAT problem, also known as conjunctive normal to meet a conjunctive normal form: A1 ∧ A2 ∧ ... ∧ An clause Ai (
Sparse image and signal processing
- 这本书在稀疏的多尺度图像和信号处理提出了艺术状态，包括线性多尺度变换，如小波，脊波和曲波变换、非线性、多尺度变换基于中值和数学形态学算子。最近的稀疏性和形态多样性的概念描述和利用各种问题，如去噪，反问题正规化，稀疏信号分解，盲源分离，压缩感知。 这本书的理论和实践研究相结合的领域，如天文学、生物学、物理学、数字媒体应用和取证。最后一章探讨了信号处理中的一个范式转换，表明以前的信息取样和提取的限制可以用非常重要的方法加以克服。 MATLAB和IDL代码伴随这些方法和应用程序重现。 实验并说明