软件系统模型检查概要介绍

用于实验的概要设计,完全是更具软件工程的要求来写的

软件文档-需求，概要，详细设计,有实例，符合cmmi标准，多个文档

NULL 博文链接:https://gurudk.iteye.com/blog/288286

Model checking is a technique for verifying finite state concurrent systems such as sequential circu

SID模型介绍，按兴趣的朋友可以下载看看！

IBIS（Input/OutputBufferInformationSpecification）模型是一种基于V/I曲线的对I/OBUFFER快速准确建模的方法，是反映芯片驱动和接收电气特性的一种国际

BRDF模型介绍得非常详细，photemetric stereo多光技术的非朗伯反射方法大多基于BRDF模型，有了一个清晰的认识

文中介绍了当前比较主流的主题模型LSA.PLSA ,LDA等，同时分析了其演化过程和关联关系。另外，介绍了LDA的一些变种。对于学习主题模型的同学来说，这是一个相当不错的总结。

LDA经典paper值得一看。WedescribelatentDirichletallocation(LDA),agenerativeprobabilisticmodelforcollectionso

介绍了五种IO模型，可以快速了解IO模型相关基础知识点