不具备M—矩阵条件的时滞Hopfield神经网络模型的收敛性

考虑了一类具有时滞的Hopfield神经网络模型解的收敛性. 在不需要M-矩阵条件的前提下,获得了该网络的所有解当t→∞时都趋向于平衡点. 其结果补充和完善了已有文献的相应结果.     

浅谈集抄技术在供电企业的应用

本文着重阐述集中抄表技术的发展、集中抄表系统的模式和特点、运用集中抄表系统的效益，说明集抄技术在供电企业的应用。     

带模理论的回答集程序设计

基于回答集语义的逻辑程序（ASP）是一种描述性问题求解的典范，目前人们提出了各种ASP的扩张。本文提出带背景理论的回答集程序设计框架，它不仅是正规逻辑程序的一般化，对带聚合函数的ASP而言，也与SPT—PDB的回答集语义一致。经证明，当背景理论是命题逻辑时，该框架与Shen和You提出的方法一致。     

面向数字孪生的动态数据驱动建模与仿真方法

信息物理系统(cyber-physical system, CPS)是支撑信息化和工业化深度融合的综合技术体系,传统的建模与仿真方法难以满足其应用需求。因此,提出面向数字孪生的动态数据驱动建模与仿真方法,通过随机有限集对CPS中的物理实体和传感器进行数据驱动建模,并使用基于贝叶斯推理的预测与校正过程支持数据驱动的仿真模型运行。该方法能够很好地实现数字孪生机制下虚实结合的仿真运行,并实现数据驱动的CPS仿真模型解算,通过以实利虚的方式有效提高了仿真结果的准确性和可信性。最后,通过水面舰艇作战应用案例,验证了该方法的可行性和有效性。     

一类二层多目标规划的解法

在上层决策变量作为参数的情况下，将上层为单目标，下层为线性多目标的两层优化问题，转化为含参变量的有效集上的单目标问题，给出了一个相应的算法。     

等价关系与集合的分类,求子群的陪集、商群、商环的元素的联系

本文详细讨论了等价关系的概念及其用法。     

广义I型三角剖分下二元样条函数空间S25(～△(1)mn)的维数

利用 B-网方法和最小决定集技术,在广义I 型三角剖分～△(1) mn 下构造了二元五次C 2样条函数空间S 2 5(～△(1) mn )的一个最小决定集,给出了空间S 2 5(～△(1) mn )的维数.     

半平面上有限级B值Dirichlet级数的增长性

运用级数比较法研究了半平面上有限级B值Dirichlet级数的增长性与正规增长性,得到了两个充要条件,从而改良了一系列定理,并且使相应结论推广到了Banach空间.