[其它] 部分四值逻辑中保三元单纯可离关系函数集最小覆盖之确定

说明：根据部分K值逻辑的完备性理论和相似关系概念,定出并证明了属于准完备集最小覆盖的保三元单纯可离关系函数集.
<weixin_38552239> 上传 | 大小：392kb

[其它] 部分K值逻辑中最小覆盖之判定的一些结果

说明：根据部分K值逻辑完备性理论,证明了当m=2,σ=e时,若正则可离关系G2=G2({1,2})∪G"2之关系图的基础图仅为N图,则T(G2)不是PK*的最小覆盖成员。
<weixin_38750644> 上传 | 大小：460kb

[其它] 分布时滞反应扩散Hopfield神经网络的全局指数稳定性

说明：利用拓扑度理论和广义Halanay不等式研究了分布时滞反应扩散Hopfield神经网络的平衡点的存在性及全局指数稳定性.给出的判别指数稳定性的代数判据易于验证.具有广泛适用性.
<weixin_38605538> 上传 | 大小：204kb

[其它] 一类具有时变时滞的不确定分布参数系统的变结构滑模控制

说明：本文考虑了一类具有变时滞的抛物型线性不确定分布参数系统的滑模控制问题。设计了排除时滞项的滑模控制器和使系统状态在有限时间内到达滑模面。给出了滑模运动渐近稳定的充分条件。最后重新数值模拟来说明所给方法的有效性。
<weixin_38706197> 上传 | 大小：909kb

[其它] de Bruijn序列间的映射及降级算法

说明：通过由一个n级deBruijn序列找出它的LOOK-UP表标签,并由该LOOK-UP表标签经修正找出n-1级LOOK-UP表标签,再由它计算出n-1级deBruijn序列,从而建立起n级deBruijn序列到n-1级deBruijn序列的映射,发现deBruijn序列间的一种内在联系,导出一类任意元deBruijn序列的降级算法。
<weixin_38630091> 上传 | 大小：162kb

[其它] cyberorca.github.io-源码

说明：cyberorca.github.io
<weixin_42136791> 上传 | 大小：45mb

[其它] 非自治分布时滞BAM神经网络的绝对指数稳定性

说明：利用Brouwer不动点理论和不等式技巧,讨论了非自治分布时滞BAM神经网络的绝对指数稳定性.给出了实用有效的判定条件,仅要求激活函数满足局部Lipschitz条件,所得结果更容易验证.例子说明结果的有效性。
<weixin_38738272> 上传 | 大小：159kb

[其它] wariableFont：演示成功的woff2可变字体转换-源码

说明：wariableFont.github.io 演示成功的woff2可变字体转换
<weixin_42174098> 上传 | 大小：1mb

[其它] Mvvm协程-源码

说明：Mvvm协程
<weixin_42119989> 上传 | 大小：158kb

[其它] 部分四值逻辑中Sheffer函数的判定与构造

说明：根据部分K值逻辑的完备性理论和相似关系概念,利用部分多值逻辑函数集中准完备集之最小覆盖成员的判定构造了部分四值逻辑函数集P4*中的Sheffer函数。
<weixin_38723373> 上传 | 大小：149kb

[其它] n95babu.github.io-源码

说明：n95babu.github.io n95babu.github.io
<weixin_42110533> 上传 | 大小：2mb

[其它] Blasius-Flow：求解ODE系统，该系统描述了给定Prandtl数的Blasius流（不可压缩的平板边界层）及其速度和温度分布。 包括白色验证（“粘性流体流量”，2006年）-源码

说明：Blasius-Flow：求解ODE系统，该系统描述了给定Prandtl数的Blasius流（不可压缩的平板边界层）及其速度和温度分布。 包括白色验证（“粘性流体流量”，2006年）
<weixin_42121725> 上传 | 大小：5kb