有限弱力迫的布尔值模型表示

给出模型论中弱力迫概念的一个语法特征。然后在此基础上引入弱力迫的一种布尔值模型表示,并给出这种表示对f-伴随理论的一些应用。     

3000m障碍跑场地设计的一种新方案——牛顿迭代法在场地设计中的应用

本文用牛顿迭代法求得3000m障碍跑第二弯道所需设计线应对圆心角的弧度和圆的半径,给障碍跑场地的设计和测画提供了理论依据。     

紧致性定理的纯语义证明

紧致性是一阶模型论的重要性质之一,本文给出紧致性定理的一个比较完整的纯语义证明。     

生态全息论初探

用全息科学及系统全息的思维方法,探讨了生态系统中生物与环境统一体内生态差异性的同一性及其本质——生态全息性,阐述了生态全息理论,生态全息论认为,全息现象在生态系统中普遍存在,生态圈是一个最大的全息生态系统,各子系统在一定程度上都是它的缩影。文中还论述了生态全息律、生态重演律等。生态全息论的提出对于确立新的生态整体观,建立新的生态工程,研究生态系统的发展和进化,对于预测、控制等都具有重要的理论价值和实践意义。     

Hankel矩阵的生成函数

画Ｈａｎｋｅｌ矩的生成函数，进而给同此类矩阵的相应多项式参数表示与核空间。     

严格稳定理论的中介稳定理论

在连续铁有穷的公式是稠密的条件下，建立了严格稳定的理论的中介稳定理论。     

lω1ω的一个子逻辑系统及其特征

给出了ｌω１ω的一个子逻辑系统ｌ＇ω１ω，并在其上初步讨论了一些重要的模型论性质，给出了ｌ＇ω１ω的一个特征。主要结果是：如果ｌ是一强于ｌ＇ω１ω的可有限分离的正规逻辑系统，且在ｌ上ＬＳＴ定理和ω１－紧致性定理成立，则ｌ与ｌ＇ω１ω等价。     

连续映射的扩充II

本文采用格论方法研究拓扑学中连续映射的扩充问题，给出陪域为Ｔ３空间时连续映射扩充的充要条件。     

正交增量鞅的平方变差和混合积分

研究了二参数正交增量鞅的平方变差和混合积分,证明了平方变差的存在定理。对连续的平方可积强鞅的混合积分的四个基本性质推广到对连续的正交增量鞅的混合积分的情形。     

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

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