PDA

查看完整版本 : A Model Checking Example- Solving Sudoku Using Simulink Design Verifier


labfans
2010-10-15, 02:24
This excerpt from the second edition of Digital Image Processing Using MATLAB teaches what morphological reconstruction means, illustrates some useful manipulations of binary images, and shows how you can use functions in Image Processing Toolbox to quickly perform these manipulations.

更多... (http://www.mathworks.com/company/newsletters/digest/2010/sept/model-checking-example.html)