简介：摘要随着城市建筑结构形式的不断发展，大空间、大跨度建筑越来越多，建筑功能越来越完善，因而结构设计也越来越复杂。因此，张弦梁结构应运而生。张弦梁结构施工技术从钢索及撑杆安装到与钢架节点安装，从拉索张拉到张拉过程检测，妥善解决了椭圆球体钢屋盖预应力张弦结构在大跨度空间上合理受力的问题，应用后取得良好效果。哈尔滨市哈西客运综合交通枢纽工程公路客运站应用张弦梁施工技术，增加了建筑空间，充分满足建筑使用功能，更好地解决客运站售票中庭大厅、地铁换乘区大厅及商场采光穹顶等大空间、大跨度结构采光、使用功能问题。

简介：摘要沪通长江大桥为双塔连续钢桁梁斜拉桥，主跨达到1092m，在国内同类型桥梁中跨度最大。主梁采用双节点整体桁片式结构，双节点杆件长约28m，箱体内高2200mm，内宽1000mm，最重杆件约108吨。本文结合杆件结构特点，提出各项优化工艺，实现对超长双整体节点杆件几何尺寸、焊接收缩、扭曲、旁弯及线形控制，解决超长杆件工厂制造关键技术各项难题。

简介：摘要本文简述了摩擦式卷扬机传动特点，如何应用欧拉公式校核摩擦系数。

简介：摘要暴雨强度公式是当前市政排水设计的重要公式，通过相应的公式能够为城市排水系统的设计提供数据保障。尤其是雨水排放系统，必须将城市的降水情况作为管网设计的首要参考对象，才能对排水系统做出进一步研究。而随着降雨水文资料的累积，各城市逐步将年最大值法作为推求暴雨强度公式的最佳方法，但该公式并非具有固定形式，而且不同地区的暴雨强度公式有所不同。只有对各地区暴雨强度公式做出深入分析，才能有效其合理地运用在市政排水设计中。

简介：摘要刚重比是高层建筑结构的一项十分重要的指标，直接关系到结构的整体安全。本文对《高层建筑混凝土结构技术规程》JGJ3-2010式5.4.4进行推导，并提出工程实践应用中需注意的几个问题。

简介：摘要肇庆新区体育中心体育馆屋盖是弦支穹顶结构，与常规弦支穹顶结构具有跨度大（跨度130m）、偏心不对称的特点，其张拉施工方法的合理性是本体育馆能否安全完成钢结构卸载的关键。本文以此为主要研究载体，重点阐述了索张拉过程所采取的方法及相关经验总结。

简介：摘要爱因斯坦“物理上真实的东西一定是逻辑上简单的东西，也就是说在基础上具有统一性”。历经多年的猜想难题须拓展创新叉形质变认识理论来诠释，则无理数W未知性登场。此文以宇环图形⊙之实数线段格（格始点♂→格内点d→格末点1）（数理格环1=1=Pd）与其包围的点♂或面Φ来诠释猜想难题，得出结论是四色猜想在基础理论上得到简洁证明，而费马猜想与哥德猜想都是不可明确证明的命题。

简介：实数线段格（♂-1）两端互为质象、里表、根症，各居半边理论江山故“天不出点论，万古暗如夜。”2016年5月30日全国科技大会习主席英明指出我国科技发展取得举世瞩目的伟大成就，科技整体能力持续提升，一些重要领域方向跻身世界先进行列，正处于从量的积累向质的飞跃、点的突破向系统能力提升的重要时期。要勇于创新、善于创新，要尊重科学研究灵感瞬间性、方式随意性、路径不确定性的特点。要允许科学家自由畅想、大胆假设、认真求证。

简介：摘要民用机场道面水泥混凝土面层质量验收，除每500m3成型1组28d试件、每3000m3增做不少于1组试件，供竣工验收时进行试验外，还应每20000m2钻芯一处进行劈裂强度试验，每个标段不少于3个芯样。劈裂强度与标准小梁弯拉强度的折算公式需要试验来确定。本文阐述了圆柱体劈裂强度与标准小梁弯拉强度统计折算公式试验的过程。

简介：摘要理论系统化必是多本质共存合论与本质叉变架构直观形式逻辑分析的本质概念系统，统一在存在，叉变区分在本质公理，明确在一至一，模糊在一叉多。故理论系统化必是含未知、000、∞、NP、无否、不等、不可数、无理数、点、点阶跃、格内点…等多本质论述的理论，不是单一本质的数形推演。则钱学森之问之因便是无源头本质分叉。

简介：摘要此文由理论基础⊙无极图展出理论体系，本因作为首篇，出现在这里实属无奈，这也许就是科学发展的曲折！

简介：摘要缺少质变分析的量变推导会出乱，即数理表达式异变有异质。则科学革命先革数学基础，再以革新的数学工具去打造物理理论体系。因ZFC集合公理已不适宜，理论体系重建是必须的。群论中若不满足封闭性则出现本质叉变，故理论系统化是多本质共存合论与本质叉变架构直观形式逻辑分析的，会出现质变量变形变论述“点●、直曲折格—⌒～∧、叉、环⊙◎○”。“多”是模糊概念，无穷多质变超出了证明管辖范围导致哥德巴赫猜想与费马大猜想不可明证。

简介：摘要1899年公理化运动主要是数量上的形式逻辑关系；2016年的公理化深入拓展再运动是本质与数量的变化逻辑架构。本质架构定理、方程与现象并回答为什么的问题，故没有点论本质就无法诠释格论定理。方程的变换会出现本质的增减变化，论述方法也得作相应的转换，不可在原本质上继续求索。若命题是无穷质变分析则无法明确证明，若在有限的本质内变来变去则捉摸不定。故基础质变理论一经建立便知相关命题是否可证。

简介：摘要爱因斯坦“物理上真实的东西一定是逻辑上简单的东西，也就是说在基础上具有统一性”。历经多年的猜想难题须拓展创新叉形质变认识理论来诠释，则无理数W未知性登场。此文以宇环图形⊙之实数线段格（格始点♂→格内点d→格末点1）（数理格环○1=1=Pd）与其包围的点♂或面Φ来诠释猜想难题，得出结论是四色猜想在基础理论上得到简洁证明，而费马猜想与哥德猜想都是不可明确证明的命题。

简介：摘要前文已经论述“无→点→线→面→体”中点是系统理论源头，由“无→未知→可知→已知”说明理论体系逻辑源头是未知不可证也无法言语（源于混沌），只能通过质变方式将未知质变为已知成为公认的本质公理。此文对“长度”概念作一个观念改变，分为“点量度”与“格量度”，以便匹配“一与多”或其它本质概念作系统理论。一叉多不对等不完备，得不到一至一明确，直接否定用含多质的一个代数字母符号及表达式去证明哥德巴赫猜想与费马大猜想。