petri网性质的线性时序逻辑描述与Spin检验

petri网原理与系统模块(超星版),既有原理,也在应用,相信对学习petri网有帮助。

对光学某些模型的介绍,涵盖了许多基础性质的应用

麻省理工的时序逻辑讲义。形象，深入，科学。

介绍着色petri的建模方法的文档，对于新手了解着色petri有很大的帮助，让我们可以大致了解构建过程

主要介绍了sklearn线性逻辑回归和非线性逻辑回归的实现,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友们下面随着小编来一起学习学习吧

这个资源是华为内部进行培训时用的，对fpga开发中的时序分析很有帮助，对初学者而言更是大有用处

线性与非线性回归模型检验方法研究，李武选，，在进行回归分析建模时，模型的准确性是极其重要的，不恰当的模型，会歪曲所研究问题的事实真相，误导人们对问题的正确理解。在取

脉冲光纤激光器具有灵活、可靠及紧凑的特性,可为终端用户提供免校准、开机即用的便利,在科研、医疗、工业等领域得到了广泛应用,已发展成为一种成熟有效的工具。脉冲光纤激光器主要利用可饱和吸收体实现被动锁模和

基于PLD芯片的时序逻辑设计与实现 不错的ppt 可以看看

随着计算机技术的发展, 电子电路的设计与分析方法发生了重大变革, 可以通过计算机辅助分析和仿真技术来完成。EDA 技术是在电子CAD 技术基础上发展起来的通用软件系统, 是指以计算机为工作平台, 融合