新型钢-砼组合结构构件的研究与应用

在工程设计和施工中，对钢管砼及型钢砼-钢筋砼组合的结构提出了许多问题．据此，对这种新型钢-混凝土组合结构构件进行了一系列的试验研究及工程应用．本文是对近8年来研究工作的归纳、总结．其中，提出的较优化的钢筋砼环梁节点、钢加强环节点、钢管砼柱与钢筋砼柱节点、钢骨砼柱与钢筋砼梁节点、钢骨砼柱与组合梁节点及组合梁设计方法、预应力叠层空腹桁架等，都已应用于实际高层建筑中．文中提出的建议，可供工程设计参考使用．     

工程建设用地综合评价及辅助决策系统的研究

综述了＂工程建设用地综合评价和辅助决策系统的研究＂的研制背景、研究内容和研制意义，并概括介绍了评价指标体系的建立、评价方法数学模型和开发用于建设用地管理和辅助决策的四个软件系统，并简介其今后发展前景     

一致渐近在特征值问题中的应用

利用由Bassom等提出的一致渐近方法研究了具有简单转折点的大特征值问题,得到了大特征值问题的严格的Airy渐近解,它在Stokes线上一致成立;并得到了大特征值的近似表达式.     

干线协调交叉口多相公交信号优先控制策略

针对干线协调交叉口多个相位有公交车到达的情况,为降低公交车延误,建立了以不破坏协调绿波带为前提的多相位公交优先控制策略.在该策略中,提出了“就近原则”以解决多个相位的公交优先申请冲突,对公交优先级别进行排序,并建立了多相位公交优先控制流程;考虑最高优先级别公交车的不同相位属性,采用绿灯延长和绿灯提前起亮两种优先方式,分...     

关于机器证明

本文简介机器证明的理论与实践．并附一篇关于用模型论方法证明无限地图的四色定理．     

车辆监控系统设计的关键技术分析

介绍了车辆监控系统的软硬件部分，给出了总体架构设计。提出了利用MapX和MapXTreme进行电子地图显示，通过定位匹配将车辆位置、状态等信息有效地与电子地图整合，从而对车辆进行准确地定位和监控．     

Materials informatics and study on its further development

NOWADAYS,WITH THE DEVELOPMENT OF MATERIALS SCI-ENCE AND TECHNOLOGY AND WITH THE CONTINUOUS EMER-GENCE OF NEW MATERIALS,TECHNOLOGIES,PROCESSES AND METHODS,PROLIFERATION AND COMPLEXITY OF MATERIAL SCI-ENCE DATA HAVE INCREASED ENORMOUSLY.THEREFORE,DIFFI-CULT…     

一个具扩散的捕食模型非常数正解的存在性

考虑一个Neumann边界条件下具扩散和Holling型功能反应的捕食-被捕食模型的平衡态问题,获得了该模型正平衡态解的一些结果.首先,给出了正解的先验估计,进而,用能量方法得到其非常数正解的不存在性,用拓扑度理论得出其非常数正解的存在性结果.     

Hematocrit as an index of changes in plasma volume in conscious dogs.

Hematocrit (HCT) measurements were made in intact and splenectomized conscious dogs to determine if observed decreases in HCT were produced by plasma volume expansion or splenic sequestration of erythrocytes. We found that in conscious dogs HCT is a poor indicator of changes in plasma volume.     

_（ω1ω）语言格值模型论的省略型定理及其应用

利用和谐性质的方法给出_(ω_１ω)片断上的省略型定理。作为应用，对中的完备理论Ｔ，讨论了原子模型的存在性，Ｔ有素模型的充要条件以及模型ｕ为素模型的充要条件，并给出了原子模型与素模型之间的关系。