论文部分内容阅读
几何定理机器证明的新探讨
【机 构】
：
北京大学
【出 处】
：
北京大学
【发表日期】
：
1994年期
其他文献
投入产出分析是地区经济研究中的重要理论和方法,在中国已得到较为广泛的应用.人工神经网络的是一门新的边缘学科.该文围绕投入产出分析首次在中国开发区的应用,讨论了投入产
该文首先介绍了Rubin的因果模型,指出了随机化在因果分析中的作用.针对观测研究,介绍了强可忽略的概念的研究总体总体无混杂、细无混杂、一致无混杂的定义,并在细无混杂假定
对一个预先设计好的系统,由于模型误差、外部扰动和实现时出现的参数波动等不可避免的不确定因素,它的稳定性常常会被破坏。这说明了在有不确定因素下研究神经网络稳定性的重
自从Hopfield首次提出了能量函数的概念来研究神经网络模型的稳定性并付诸电路实现以来,关于神经网络稳定性的研究从来没有间断过,且关于神经网络的各种稳定性的研究具有重要
线性约束可分凸优化问题广泛见于科学、工程及管理等领域。近年来，其求解算法取得了一系列重要的进展，在并行分解的增广拉格朗日分解算法、邻近点算法、预估校正交替方向法等方
西四主通风机担负着煤峪口矿矿井50%以上的通风任务,主通风机正常运行直接影响到矿井的安全生产。该主通风机主轴润滑系统及冷却系统的技术性能见表1。
West Fourth main ve
Golse证明了三速Broadwell型离散Boltzmann方程自相似解析解的存在性,Cabannes给出了二速Cerlemann型离散Boltazmann方程的自相似的解析解.他们受研究人员工作的启发,求三速B
反周期解作为周期解的特殊情况在神经网络的动力行为中具有重要的研究价值。论文基于Lyapunov泛函方法，线性矩阵不等式，Banach空间中的Leray-Schauder度理论和一致收敛定理，对三