基于Petri网仿真的推理算法设计

本文介绍了Ｐｅｔｒｉ网的有关概念,着重讨论了在计算机上实现Ｐｅｔｒｉ网仿真所遵循的原则,采取的策略、数据结构,以及推理机的仿真推理。     

灰色关联分析在部队基层分队管理中的应用

本文应用灰色理论中的相关分析原理,对部队基层分队管理的各项主要工作进行关联分析,找出影响部队基层分队管理效果的关联优势因素,其结果可为部队基层分队领导实施管理与决策提供科学依据。     

双正常算子及其性质

讨论Hilbert空间上具有A A与AA可交换的算子类的性质及其刻画,考察这类算子与其它算子类的关系,并给出了一些例子,用以说明有关算子类的包含关系.     

关于强增生算子的非线性方程迭代解

利用两种迭代法(Mann和Ishikawa)给出了非线性方程Tx=f解的逼近。     

局部耗散型算子的Ishikawa迭代序列收敛性判别准则

给出了局部耗散型算子的Ishikawa迭代序列的收敛定理,将近期该领域的许多结果一般化。     

算子值解析函数的 Julia-Wolff引理

本文将单位圆上有界复值解析函数的Julia-wolff引理推广到算子值解析函数。     

外层空间防御述评

本文在简述外层空间防御必要性的基础上提出了三类空间防御的对象,详细分析了这三类防御对象的技术水平和对付这三类对象的技术难易程度;本文还阐述了空间防御对航天高技术发展的巨大带动性,列举了近几年来动能拦截器在智能化、轻质量、小体积与低成本等方面所取得的成就;本文还指明了美国GPALS系统具有多层次拦截的特点;文章最后归纳了本文述评要点。