简介：住房和城乡建设部发布第1535号公告,批准《建设项目工程总承包管理规范》为国家标准,编号为GB/T50358-2017,自2018年1月1日起实施。采用BIM技术或者装配式技术的,招标文件中应当有明确要求;建设单位对承诺采用BIM技术或装配式技术的投标人应当适当设置加分条件。BIM的出现可谓是工程建设行业的第二次革命,在过去两年看BIM的时候,一些人对BIM还是

简介：

简介：摘要：某气田须家河组为一套碎屑岩储层，其测井响应为泥质含量越高，粒度越小，GR值越高，GR值大于80则为泥岩。为提高解释精度，减少工作量，在明确测井数据响应特征的基础上，运用卡奔软件的Carbon-Script语言运行相关程序，其运行结果显示自动解释结果与手工解释结果相差不大，具有一定的参考意义，仅需要少量的后期手工校正工作。自动解释岩性程序在运行前需要进行工区和层段的调研以及参数的合理配置。

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

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

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

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

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

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

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