Horn子句逻辑程序的Petri网模型

Horn 子句逻辑程序 H 可以逻辑等价地转化为 Petri 网模型 M,在 M 中从初始标识 N_0到目标变迁/g(?)形成的发射序列对应着求解 H 的调用序列,在 M 中存在变迁不变式 X≥(?),并且 X(tg)≠0是 H 有解的充要条件。     

在非线性三波耦合的不稳定饱和过程中的Lorenz型混沌

我们证明了在等离子体中,三波耦合方程同构于 Lorenz 型方程,预言了在此过程中会出现 Lorenz 型混沌.     

双梁门式起重机结构分析中的若干问题及程序研制

本文对梁门式起重机结构设计中的几个棘手问题进行了探讨和分析,提出解决方法.在此基础上编制“GCSA”软件,并成功地用于系列产品设计.     

高效稠油破乳剂的研究

本文介绍一类新的高效稠油破乳剂对南阳、辽河及克拉玛依油田稠油的破乳试验结果。经常规脱水与电脱水试验表明,这种破乳剂的脱水速率明显大于常规破乳剂。     

慈姑主茎和匍匐茎的形态解剖学研究

本文对慈姑主茎的初生加厚分生组织,腋生小鳞片的属性及功能,匍匐茎的发生与形态结构进行了观察分析。匍匐茎的细胞中具有复合淀粉及筛管中的P—型质体中具楔形蛋白体均属首次报道。     

L─模糊拓扑空间的α─连通性

在Ｌ—模糊拓扑空间中，引进了α—连通性的概念，研究了它的某些性质；给出了α—连通分支的定义，最后讨论了拓扑上成的Ｌ—模糊拓扑空间的α—连通性的性质．     

C-D生产函数参数估计的改进算法

本文针对C-D生产函数参数估计中时常会出现负值弹性系数的情况,提出三种在取消对技术水平的假定条件下进行参数估计的组合最优化算法。通过对南京市工业系统技术进步的测算分析表明,这三种算法都能有效地避免负值弹性系数的出现。     

正多面体法的改进

简要介绍了正多面体法，并对之进行了改进，使其可靠性得到了较大的提高。