线性变迁时间相关的连续Petri网(LTCPN)的动态性质及分析方法

线性变迁时间相关的连续Ｐｅｔｒｉ网是由徐学文最早提出的一类时延连续Ｐｅｒｔｉ网模型,但并未对其动态性质给出确切的定义及相应的分析方法。本文在给出ＬＴＣＰＮ有关动态性质的定义的基础上,利用微积分、微分方等分析手段,进一步对其动态性质给出了相应的判定定理。利用这些结论,可以对由ＬＴＣＰＮ模拟的系统进行性能分析。     

闭区间上连续函数间的映射规律

根据实数理论,分析了闭区间上连续函数的映射特点,得到了一个反映其规律的结论。     

二阶区间值积分微分方程初值问题解的存在唯一性

本文基于广义Hukuhara导数概念,采用弱压缩映射原理证明了二阶区间值积分微分方程解的存在唯一性,并举例验证了该结果的正确性.     

降序变换半群S-n上的自然偏序关系

设Tx是全序集X={1＜2＜…＜n}上的全变换半群,则S-n={f∈TX∶(V)x∈X,f(x)≤x}是TX的降序变换子半群.赋予降序变换半群S-n自然偏序关系,给出了S-n的特征,刻画了S-n的相容元,描述了S-n的极小元和极大元.     

基于神经元网络的非线性系统间接自校正预测控制器

提出了一种使用神经元网络的非线性系统间接自校正预测控制器。这一控制方法是基于两个神经元网络,一个用于动态过程的建模,另一方面用于获取控制信号。控制器的优化目标基于过程输出的向前多步预测。两个网络在线学习均采用了非线性最小二乘法。     

无穷维空间中微分包含可达集的唯一性

在可分Ｂａｎａｃｈ空间Ｘ中考虑下列微分包含的可达集ｘ（ｔ）∈Ｆ（ｔ,ｘ（ｔ））,ａ．ｅ．ｔ∈［ｔ０,Ｔ］ｘ（ｔ０）＝ξ｛其中Ｆ是从［ｔ０,Ｔ］×Ｘ到Ｘ的取紧凸值的非空集值映射．给出了有关可达集的一些性质,并且利用有关可达集的集值映射ｔ～→Ｒ（ｔ０,ｔ;ξ）关于ｔ的半群性质,证明了可达集的唯一性．其中Ｒ（ｔ０,ｔ;ξ）是微分包含的可达集     

集值算子最小、最大拟不动点对的存在定理

讨论了可表示成两个算子积形式的集值算子最小,最大拟不动点对的存在性及其迭代逼近,改进了ＣｈａｎｇＳｈｉｓｈｅｎｇ（１９９１）文中已知的结果．     

人工智能与自组织

介绍了系统发生自组织的２个必要条件,从自组织的角度论证了计算机系统与人工智能因不具备这２个条件而不可能像人类思维一样自组织地发展,所以计算机不可能具有像人类一样的思维,更不可能超越人类。     

腔中超冷玻色气体的扩展哈伯德模型

最近的实验中,ETH小组成功地将玻色气体载入置于腔中的光晶格中,从而在实验上实现了带有长程相互作用的扩展哈伯德模型.文章基于自洽平均场和微扰法,分析了扩展哈伯德模型的量子相变.基态相图展示了带有CDW态的有趣图案.计算了Mott绝缘相到超流相的临界跃迁振幅和超流相到正常流体的临界温度.进一步研究了在固定化学势(μ=0....     

技术系统的自组织与他组织

技术系统的演化是一个自组织过程。技术系统的进化过程，尽管有人的参与，仍是一个自组织的过程。自组织的技术系统观与技术自主论有着根本区别，是对技术自主论的辩证否定。技术和技术目的受到社会经济、政治和化的强烈制约，这就是它的他组织特征。技术既是自组织的，也是他组织的，是自组织与他组织的统一。