凸规划的内椭球法与原始-对偶仿射尺度算法

对线性约束的凸规划问题给出了一个原始-对偶仿射尺度算法，比较了这种方法与“内椭球法”两种算法的关系，并证明了该算法的迭代复杂性是O(nL^2)。     

面向传值进程的一阶模态逻辑的可判定性与模型检测

对于面向传值进程的Hennessy-Milner逻辑的一阶扩充HML(FO), 给出了基于带赋值的符号迁移图的语义解释. 证明了HML(FO)的子逻辑HML(FO²)是满足性可判定的, 并且讨论了判定的复杂性. 最后给出传值进程关于HML(FO²)的模型检测的可判定性结果.     

用方向导数分析JC法的误差

用一次二阶矩法求工程结构的可靠度会产生误差 ,这误差产生的原因是将极限状态函数在验算点处的泰勒级数仅取线性部分来近似 ,本文用二阶方向导数分析这误差对工程的影响 .     

混凝土结构中箍筋的锈蚀机理分析

根据金属腐蚀的电化学原理分析了混凝土结构中箍筋的锈蚀机理，认为在混凝土碳化过程中在箍筋与纵筋间存在宏观电池腐蚀及其它增加箍筋锈蚀量因素，利用已有的试验结果证明本文提出的观点，并提出了箍筋与纵筋的联合经时模型．     

有限信念集上修正的一种方法

讨论了信念集是有限子句集时的信念修正方法，首先给出了一阶逻辑上求所有极小不协调子集的一个过程，证明了该过程的正确性，讨论了由所有极小不协调的子集来实现信念修正的方法，介绍了我们开发的信念修正的原型系统，最后和相关工作进行了比较。     

Bent函数偶侣与Bent互补函数偶族的构造方法

在提出一类新的类Bent函数——Bent互补函数偶族的概念基础上，进一步研究了Bent互补函数偶族的构造方法，通过提出Bent函数偶侣的概念，运用具有这种特殊关系的两个Bent互补函数偶族，采用递归的方法，可以用低维Bent互补函数偶族递归构造出高维Bent互补函数偶族，丰富了Bent互补函数偶族的构造方法，扩大了Bent互补函数偶族的可选取范围。     

二连通二部图的偶泛圈性

范更华证明了如下结论:设G是具有n个点的二连通图(n≥3),若对任一对使d(u,v)=2的点有max{d(u),v(v)}≥π/2,则G是哈密顿圈的。将范氏条件限制在二部图上,已经得到二连通的二部图是哈密顿圈的一个类似充分条件。本文证明该充分条件亦保证了二部图的偶泛圈性:设二连通的平衡二部图G=(X,Y;E)每部有n个点,若对任一对使d(U,v)=2的点有max{d(u),d(v)}>π/2,则G为偶泛圈的。该结果是最好的可能。     

关于有限群可解的几个定理

讨论有限群的特殊极大子群的θ—子群偶对该群可解性的影响，得出几个充要条件.     

Weierstrass不等式的加强与推广

给出Weierstrass不等式的加强与推广形式，并利用该结果建立两个条件不等式。     

一阶电路三要素法的另一种形式

给出了一阶电路暂态过程三要素法的另一种形式，避开了作ｔ＝０＋时的等效电路，使求解过程更加简单。