基于OBDD时序电路设计的验证

依据有序二叉判定图（OBDD）和计算树逻辑（或称分支时态逻辑）CTL（Computational Tree Logic)的基本原理，分析了基于OBDD和CTL的验证数据电路设计的基本原理，并在此基础上，给出了时序电路等价验证的方法。     

紧度量空间中的不动点定理

在紧度量空间中讨论了压缩型和膨胀型不动点定理 ,推广和改进了 [2 ]和 [5 ]中的若干结果     

树与色树

给出了色树的两种性质；（１）色树相关联的两个顶点对应的串是色分划的不同色组对应的串；（２）色树顶点的对应串所含链的上等。并应用构造方法证明了任意树都是以树，从而解决了遗留问题。     

钢筋混凝土连续梁弹塑性弯矩系数研究

试验验证表明,用二次规划求解的强迫转角法是进行钢筋混凝土连续梁弹塑性分析的有效方法。应用该方法对承受均布荷载和集中荷载的连续梁弹塑性弯矩值进行了计算模拟试验,总结出一套供设计使用的弯矩系数建议值。     

结构方程模型在兴安落叶松林生长中的应用

【目的】通过结构方程模型,确定气候、土壤和海拔对兴安落叶松林生长指标的影响以及路径关系。【方法】选取年平均气温、年平均降水量、太阳辐射、土壤全氮含量、土壤有机碳密度和海拔作为影响因素,探究兴安落叶松地上生物量、地下生物量、树高与这些影响因素的关系,并利用AMOS 21.0软件构建衡量兴安落叶松生长的3个指标与气候、土壤和海拔的结构方程模型。【结果】兴安落叶松的地上生物量、地下生物量随着海拔、年平均降水量的增大呈现先增大后减少的趋势,树高随着海拔的增加而增加。地上和地下生物量随着土壤有机碳密度的增加而增加。海拔对兴安落叶松生长的总效应系数为0.200且是正向效应,海拔对兴安落叶松生长的直接效应(0.224)大于间接效应(-0.024);气候因子对兴安落叶松林生长的总影响系数为-0.771且是负向效应;土壤因子对兴安落叶松生长的总影响系数为-0.216,其对兴安落叶松林生长起到一定的抑制作用。【结论】根据结构方程模型的路径系数,气候因子的总影响系数绝对值最大,其次是土壤和海拔,兴安落叶松林静态生长主要受到气候因子的制约。     

墩高对不对称高墩连续刚构桥力学特性的影响（英文）

对不同墩高下的不对称高墩连续刚构桥成桥阶段进行了力学特性研究,获得了高墩连续刚构桥在不同墩高下的主梁和桥墩的内力、位移变形特性.研究结果表明,桥墩墩高的变化对主梁内力、主梁竖向位移、墩内力、墩横向位移均产生不同程度的影响,其中对跨中主梁竖向位移和墩顶剪力的影响较大,主梁竖向位移随着墩高的增大而增大,最大位移处平均增幅14.3%,墩顶主梁剪力随着墩高的增大而减小,平均变化率37.1%.     

棉纺厂管理信息系统的研制

本文根据开发CTU-JMS管理信息系统已取得的成功经验,介绍CTU—JMS管理信息系统的运行环境;总体规划中运用的两种设计策略——“由顶向下”分析法和“由下至上”分析法;MIS中建立大型基础数据库采用的主要技术;MIS决策管理层的形成以及生产经营决策子系统的技术特点。为推进我国的纺织企业管理信息系统的开发和实现现代化管理作了探索。     

消除电磁搅拌连铸坯中“白亮带”的试验研究

针对电磁搅拌连铸坯中的“白亮带”问题进行试验研究和理论分析．结果表明：铸坯凝固过程中电磁搅拌引起的钢液运动特点是能否产生“白亮带”的关键．特殊的电磁搅拌方式有效地抑制“白亮带”的产生．     

秦淮河流域典型排涝泵站前池水质与降雨特征响应关系

为分析排涝泵站前池水质与降雨特征的响应关系,对南京市城区秦淮河沿线2个排涝泵站前池水质以及降水量开展高频在线自动监测,结合回归树方法分析了不同降雨强度、前期干旱时间条件下排涝泵站前池水质变化规律,探讨了不同类型排涝泵站前池水质的主要影响因素。结果表明:晴雨天均有生活污水汇入的A泵站前池氨氮质量浓度在大雨强下降低,中雨强下先升高后降低,小雨强下平缓上升,A泵站前池污染物质量浓度主要受降雨强度和次降水量影响;主要接收降雨径流,雨量大时有生活污水溢流汇入的B泵站,前池污染物质量浓度在大雨强下先升高后逐渐降低,中雨强下降低,小雨强下变化不大,B泵站前池水质主要受次降水量、前期干旱时间和降雨强度影响;2个泵站前池CODMn质量浓度变化与降雨的响应规律相似,但更多受到与前期干旱时间关联的地表径流冲刷作用影响;连续降雨均导致泵站前池氨氮质量浓度和CODMn质量浓度波动变化较大,而前期干旱时间越长,降雨发生后泵站前池水质越差。     

Cartesian closedness of categories of completely distributive lattices

The category of completely distributive lattices with Scott continuous functions is cartesian closed. Neither the category of completely distributive lattices with arbitrary union preserving mappings nor the category of completely distributive lattices with nonempty union preserving mappings is cartesian closed.