Petri网系统的可达性分析

对Petri网系统的可达性问题做了综合性的阐述和分析, 提出了利用能量优化方法来解决可达性问题的方法, 并在此基础上结合计算代数方法和神经计算模型对可达性问题做了进一步的研究. 主要工作包括 1.给出了Petri网到线性空间的映射规则及其可达性的等价性定理; 2.建立了能量优化模型, 将可达性判断化为优化问题; 3.用神经网络来求解能量优化模型; 4. 最后综合了计算代数方法和能量优化模型的优点给出一个基于计算代数和神经计算的方法. 作者提出了一种利用基于硬件的大规模并行的神经计算来代替基于软件的串行的数字计算的可达性判断的解决方案.     

一阶混合单调脉冲微分方程解的存在性

脉冲微分方程理论是微分方程的一个重要分支，混合单调迭代技术是其重要基础之一。在Banach空间中，利用混合单调迭代技术及Shaulder不动点定理，考虑混合单调脉冲微分方程初值问题，给出方程解和藕合最大最小解的存在性定理及单调迭代方法。     

铈基非晶合金的形成机理研究取得新进展

近日，物理所汪卫华小组和美国North Carolina大学WuYue研究小组合作，采用核磁共振NMR27A1方法系统研究了微量元素Co掺杂对Ce基非晶形成能力的影响。研究结果证明铈基非晶材料是由Al为中心的二十面体cluster密堆组成的，这些cluster的几何对称性对非晶形成能力有重要影响。微量元素Co掺杂对Ce基非晶形成能力的影响与Al原子所在位置的对称性Co掺杂影响而显著改变相关联，     

一类时滞泛函微分方程三个正周期解的存在性

该文利用Leggett-Williams不动点定理讨论了一类时滞泛函微分方程三个正周期解的存在性.     

加配重复摆振动周期的变化规律

通过理论推导、研究和分析，得出了加配重复摆振动周期的变化规律．     

积分中值定理的推广及在常微分方程中的应用

对定积分中值定理作出推广并应用于方程初值问题解的延拓，得出了关于解向右延拓的两个结果。     

小模数齿轮基节偏差影响下的降噪研究

深入分析了齿轮基节偏差影响下噪声的产生机理，在研究现有降噪措施的基础上，提出了一种新的降噪方案。该方案结构简单，安装调试方便，对轴承的影响小，尤其对小模数齿轮传动，效果更佳。     

二阶时滞微分方程三点边值问题的多重正解

 研究了一个二阶时滞微分方程的三点边值问题,给出了其至少有2个正解的充分条件.     

Ｗeak（S）—积分的极限定理

在引进了Weak^*(S)－积分的基础之后，对Weak^*(S)－积分的极限定理进行研究，并给出了两个重要的Weak^*(S)-积分的积分极限定理。     

KosnioWski-Stong公式的一个简单证明

Kosniowski-Stong公式是近年来带对合协边领域的一个较重要的结果，它来源于Atiyah与Singer在指标定理方面的工作。此公式现有2种证明方法，其中属于带对合协边理论的是一种验算性质的证明。现利用带对合协边理论基本定理直接导出了此公式，由此可看出这2个重要结果是紧密相连的。