Petri网系统的可达性分析

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

中立型多滞量微分系统Runge-Kutta方法的A(a)稳定性分析

在中立型多滞量线性微分方程系统的理论解的基础上,讨论Runge-Kutta 方法的稳定性,得到一个)(aA稳定的充分条件。     

论降低网损的途径

本文分析了网损的产生,并从改善网络中的无功功率分布提高功率因数,安排合理运行方式、抑制谐波污染等几方面谈降低网损的措施。     

面向对象Petri网及其在告警服务代理软件中的应用

首先介绍面向对象Petri网(OOPN)的定义和图形表示法,接着以告警服务代理软件设计为例,对其OOPN进行了详细分析,最后给出该系统实现的主体代码结构。     

Mechanical Properties of Laterally Driven Microresonance with a One-Side Straight-Leg Suspension

The mechanical properties of lateral polysilicon comb-driven microresonators suspended from one-side straight-leg beams, which are widely used in linear microvibromotors, are investigated in this paper.The lateral vibration of the microresonator was modeled assuming that the symmetry of the microstructures and the applied loads are different. Methods were given to calculate the stress, lateral displacement, spring coefficient, and resonant frequency. The results show that the simple mechanical model is a superfluous system with three unknown variables. The results differ from pervious results for a microresonator suspended from double-side straight-leg beams, which has been commonly used to design linear microvibromotors.     

用超滤法处理回用生活污水

研究了用超滤法处理山西铝厂生活污水站出水的阻力特性及清洗可恢复性,通过试验对比了颗粒活性炭、微滤 颗粒活性炭和混凝进行处理污水后的超滤效果.试验结果表明,污水经微滤 颗粒活性炭预处理后,可以得到较好的过滤效果,过滤阻力低;用质量浓度为500mg/L的NaClO溶液反洗浸泡后可以得到较好的清洗效果;混凝可以去除悬浮物、胶体及污水中的部分有机物,明显降低了膜过滤阻力;超滤的产水水质符合生活杂用水标准GB JXX—2001的要求.     

氢键分子系统的二分量孤子偶模型中的非谐特性

以氢键分子系统中二分量孤子模型为基础，采用直接微扰方法，研究了氢键系统中非谐相互作用下扭结孤子偶的运动特性，获得了3次方到4闪方非谐项古孤子偶的非对称解，计算了源于非谐项下孤子偶的能量，与实验观察相一致。