排序方式: 共有4条查询结果,搜索用时 0 毫秒
1
1.
离散Hopfield网络的4环吸引子可用于信息的存储,但目前没有好的方法确定网络的存储容量,即环吸引子的数目.通过理论分析和计算模拟证明三角形反对称离散Hopfield网络的环吸引子向量的均匀编码性质,从而推出了环吸引子数目.结果表明这是一个计数#P困难问题. 相似文献
2.
非形式化的需求规格说明容易产生歧义,导致所开发的软件系统不能满足用户的功能要求.Z语言是一种基于集合和一阶谓词逻辑的模式规约语言,可用于产生精确的需求规格说明.介绍了需求分析的Z语言形式化方法,并给出了一个通用堆栈的Z语言描述实例,同时指出这种形式化方法有待进一步研究的地方. 相似文献
3.
4.
两个耦合复杂网络的自适应同步 总被引:1,自引:0,他引:1
研究了两个具有相同拓扑结构的全同耦合复杂网络之间的同步,它是一个网络内的结点同步的推广.设计具有动态演化强度的简单线性反馈控制器使两耦合网络同步.对著名的罗伦兹系统为动力学结点的两个耦合网络给出了数值模拟结果,证明了所提出的方法的有效性. 相似文献
1