一阶逻辑完备性定理的新代数证明

给出了一阶逻辑完备性定理的一个新的代数证明，这个证明不使用依赖于Boole代数表示定理的γ-解释，但使用关于Q-滤子△↓的△↓-解释，也需要用到选择公理，另外指出了已有代数证明的不足之处，并作了修正。     

系统￡*中极大相容理论结构刻画的归纳证明

在不使用系统￡*的强完备性定理,而利用关于公式复杂度的归纳法给出了该系统中极大相容理论的结构刻画,得到了每一个极大相容理论必然具有形式D({ψ1,ψ2,…}),这里ψi∈是系统￡*中全体命题变元,进而给出了极大相容理论的若干刻画条件;证明了系统￡*的满足性定理和紧致性定理,其结果完善了系统￡*的理论体系.     

CIPN宽带接入网建设探讨

详细介绍了CIPN模型下的接入网的优点、技术实现方法和物理构成,阐述了CIPN模型下的接入网,为将来城域网组成建设提供了新思路.     

R_0-代数上的滤子拓扑空间

在R0-代数M上以全体MP滤子之集为拓扑基建立了一个滤子拓扑空间（M,TM）,给出了导集、闭包以及内部的计算公式。证明了（M,TM）是连通的、覆盖紧的且满足第一可数性公理;（M,TM）满足第二可数性公理当且仅当主滤子之集是可数集,（M,TM）不是T1的,不是T2的,也不是正则的或正规的;（M,TM）是T0空间当且仅当M是Boole代数。最后讨论了积R0-代数上的积空间。     

一个叶片异常、根向重力性消失的拟南芥

分离并鉴定了一个拟南芥突变体alr1,其叶片向下卷曲且不对称发育,顶端优势增强,根向重力性消失,下胚轴缩短,寿限延长. 此外,alr1叶片呈现较高的超氧物歧化酶活性. 遗传分析表明alr1是隐性单基因突变. 采用简单序列长度多态性标记将alr1的突变位点定位于第一条染色体上,距标记nga111约7.89 cM.     

基于MM440变频器和S7-300PLC的定氧加铝系统

针对炼钢工序中定氧加铝系统的工艺及控制要求，基于西门子S7-300 PLC，MM440变频器和现场总线技术设计了定氧加铝自动控制系统，PLC和MM440之间采用PROFIBUS DP现场总线技术进行通讯。运行结果表明，该自动控制系统运行稳定，具有良好的准确性、快速性和即时性等。     

基于等效时间的混凝土徐变模型

基于水泥浆的微观结构,研究了混凝土徐变发生的几种机理,指出徐变是由于荷载作用下混凝土内部水的运动以及与外界发生水交换而引起的.采用国外学者的试验数据,提出了基于等效时间的混凝土徐变模型,研究了不同养护温度(20℃,40℃,65℃)对混凝土徐变的影响.研究结果表明,环境温度升高加快了水泥的水化反应速率和水分的蒸发速率,混...     

温度对混凝土徐变的影响

基于水泥浆的微观结构和力学模型，研究了混凝土徐变发生的几种机理，揭示了徐变的生是由于混凝土在持载作用下混凝土内部水分的运动以及与外界环境发生水分交换而引起的.考虑环境温度升高加快了水泥的水化反应速率和水分的蒸发速率，混凝土的早期强度发展加快，收缩减小，因而徐变减少;另一方面，温度升高降低了水泥浆中水的粘滞性，又增加了混凝土的徐变.研究中采用了国外学者的试验图表，分析了环境温度升高时混凝土徐变的变化规律.研究结果表明，混凝土早期短时间暴露在炎热干燥的环境中有利于降低徐变，而长时间处于高温环境中(＜70℃)的混凝土的徐变将随温度的升高而增大.     

浅谈弹性分组环技术分析

弹性分组环(Resilient Packet Ring)技术是主要结合了SONET/SDH和以太网的优点而形成的一种基于分组交换的网络技术,主要目标是应用于城域网.本文从讨论SONET/SDH和以太网技术的优缺点中引出弹性分组环的出现背景、分析了RPR的技术特点和实现方法以及对将来应用前景的展望.     

闭区间上单调不减函数的右连续伪逆及其在三角余模构造中的应用

针对三角模基于单调函数的左连续伪逆的构造法无法直接对偶到三角余模上的情况,提出利用单调函数的右连续伪逆和准逆构造三角余模的方法,找到了与三角模的左连续伪逆构造方法的相对方法。研究了闭区间上单调函数的右连续伪逆的基本性质,分别利用单位闭区间上单调不减函数的右连续伪逆与准逆给出了三角余模的多种构造方法,并通过具体实例加以验证。