建筑师要善于使用新技术

我上大学的时候老师说好建筑有三个要素——实用、经济、美观,直到今天我依然保持这个观点,但是实用、经济、美观存不同时期都有不同的定义、不同的理解和不同的延伸。     

在转变经济发展方式的新形势下全面推进散装水泥产业的协调发展

在秋风送爽的收获季节,正值祖国六十二华诞的前夕,全国散装水泥工作会议暨推广预拌砂浆现场会在美丽的冰城哈尔滨市召开了这是在我国实施经济和社会发展“十二五”规划开局之年召开的一次重要的行业会议,特别引起了全国散装水泥行业及有关各界的高度重视和密切关注．     

系统重构分析在油气选区前景评价研究中的应用初探

系统重构分析为一些难于用数学解析形式描述的问题、一些定性的质的关系与结构关系不断迅速变化的复杂异质系统问题提供了解决的基础。系统重构分析主要包括三方面内容:因素分析、方案评估和专家意见。由于受选区地质条件、地理环境、资源潜力等自然因素和政策法规、投资环境、市场环境等综合因素的影响,油气选区前景评价工作复杂,不确定性因素多,单一指标的评价结果具有较强的偶然性和不稳定性。应用系统重构分析,构建了油气选区前景评价系统模型,初步解决了评价研究中数据序列缺乏、非线性很强的分析评估问题。     

增强自主创新能力,促进中元持续发展

在以工程建设市场为导向,为建设工程提供全方位服务的实践中,我们注重技术进步和科技创新,努力培养和发展具有核心竞争力的专有技术。     

组群式高层建筑综合体设计初探

组群式高层建筑综合技术设计立足于综合与组群。综合与组群就是在全面满足多功能平面要求的同时，考虑整个建筑组群的平面，体型组合，外部与内部空间序列，层次，从而形成有机的呼应，有变化的，统一的群体形象。     

基于Modleica的操纵稳定性实时仿真方法研究

针对传统汽车操纵稳定性设计中缺少经验导致参数匹配不合理、数字仿真分析模型建立过程复杂、数字仿真模型与实时仿真验证模型不一致等问题,在汽车操纵稳定性原理分析基础上,建立了基于刚体力学理论的三自由度操纵稳定性数学模型;采用Modelica语言的陈述式建模方法建立了其数字仿真模型,简化了建模过程;通过Simu-link中Modelica模型导入接口,建立了其实时仿真模型,实现了数字仿真模型直接转换为实时仿真模型,为操纵稳定性实时仿真验证提供了技术支持,并以某型号车辆操纵稳定性分析为对象,对该方法进行了应用验证。     

面向半物理仿真的陈述式模型求解方法研究

通过符号操作和数值计算相结合,提出了一种求解半物理仿真模型的新方法。为了满足半物理仿真对实时性的要求,在模型编译阶段将代表数值积分的隐式离散公式插入到仿真模型中,增广后的方程系统伴随着非线性方程的出现,需要在积分的每一步对这些非线性方程进行迭代求解,而求解非线性方程的时间复杂度随维度的变大成指数增加,因此引入代数环撕裂减小代数方程块耦合变量数,以满足实时求解对粒度的要求。最后通过实例对文中提出的方法进行了验证。     

拟态路由器TCP代理设计实现与形式化验证研究CSCD

拟态路由器基于拟态防御的动态异构冗余架构进行设计,对于未知漏洞后门具有良好的防御能力。协议代理在拟态路由器中处于内外联络的枢纽位置,协议代理的安全性和功能正确性对于拟态路由器有着重要意义。本文设计实现了拟态路由器的TCP协议代理,并采用形式化方法,对其安全性和功能正确性进行了验证。TCP协议代理嗅探邻居和主执行体之间的TCP报文,模拟邻居和从执行体建立TCP连接,并向上层应用层协议代理提供程序接口。基于分离逻辑与组合思想,采用Verifast定理证明器,对TCP协议代理的低级属性,包括指针安全使用、无内存泄露、无死代码等,进行了验证;同时,还对TCP协议代理的各主要功能模块的部分高级属性进行了形式化验证。搭建了包含3个执行体的拟态路由器实验环境,对实现结果进行了实际测试,结果表明所实现的TCP代理实现了预期功能。TCP协议代理实现总计1611行C代码,其中形式化验证所需人工引导定理检查器书写的证明共计588行。实际开发过程中,书写代码实现与书写人工证明所需的时间约为1︰1。本文对TCP协议代理的实现与形式化验证工作证明了将形式化验证引入拟态路由器的关键组件开发中是确实可行的,且证明代价可以接受。     

打造先进、和谐、创新、文明的国际化企业

中国中元国际工程公司是以中元国际工程设计研究院（原机械工业部设计研究总院）为核心，以工程技术为龙头的集设计咨询、工程总承包、项目管理、建设监理、设备成套为一体的国有大型工程公司。 它坚持“以工程技术为龙头，为工程建设全方位服务，实现多元化经营”的市场定位和“巩固建筑工程设计咨询优势，振兴工业工程设计规划研究，发展工程项目管理与工程总承包”的工作方针，在拓展服务领域中，诞生了一批具代表性标志性的工程项目。中国中元国际工程公司在城乡建设落实科学发展观，研究和实施工程建设的节约型服务技术措施，以及打造工程勘察设计质量和市场诚信品牌，秉承“质量是生命，精心设计、创优工程、诚信服务，保护环境，珍爱生活”的管理方针，坚持团结、敬业、求实的企业精神，是全国勘察设计综合实力、工程承包和项目管理百强之一，自2005年连续3年被亚洲建筑师协会评为中国十大建筑设计企业之一。 本期选择企业管理方面的部分论述予以刊登。供参考。[编者按]     

超高层大跨超重带状桁架双机抬吊施工

带状桁架具有跨度长、钢板厚、杆件多、体量大的特点,属于巨型结构,施工困难且周期长。带状桁架安装采用单个杆件按步骤吊装时,由于杆件数量多,会产生大量吊次和高空对接接头数量,导致高空焊接临时支撑措施和安装工期的增加,且施工安全和施工质量保障难度加大。当采用带状桁架整体吊装方法时,更有利于保障施工质量和安全,但前提条件是,既要有足够的场地满足桁架拼装,又要有足够的起重设备满足吊装需求。然而,由于桁架整体外形尺寸和重量超大,通常单台起重设备提供的吊重有限,不能满足吊装需求。根据带状桁架的结构特点和连接方式,并结合市中心超高层建筑施工现场狭小的拼装场地条件限制,总结出超高层大跨超重带状桁架双机抬吊施工工艺。