摘要：通过大连理工大学辽东湾校区图书信息中心项目十年跨度下涵盖设计、施工、运维和使用后跟踪评测的全过程探索,尝试从方案创作阶段的绿色理念导入、技术深化阶段的绿色技术创新、建成使用阶段的绿色性能监测评估和优化推广等方面的研究,将公共建筑绿色设计的焦点从单纯技术研发回归到建筑创作本体范畴之中,强调在适宜性思想下多元协同的设计过程。

摘要：教育的演进与更新对未来中小学提出多样化、个性化的物质功能与精神文化需求。校园作为教育场所,承担教化育人的主要职责,促使设计师重新思考中小学校园的规划设计理念、空间体系架构、场所氛围营造等。着眼于教育的未来使命,从教育理念变革、培养目标设定、学习方式演化、信息技术推动、教师角色转变等方面梳理未来教育与传统教育差异与变化,探讨未来教育发展模式下中小学校园的演进方向与设计趋势,以期为我国中小学校园建设提供参考。

摘要：东北地区自然光入射角较低,教室使用大尺度侧窗易导致严重眩光和热量散失。通过引入动态采光模拟分析,从优化立面侧窗形态和增加自然采光补偿两方面入手,以改善教室自然光环境的均匀度为核心目标,探索与之相适应的采光设计方法,并在实践中加以验证。

摘要：离心器的强度设计王哲民南京玻璃纤维研究设计院离心器是离心喷吹法生产玻璃棉的主机——离心机的最主要零件，它在高温下高转速工作，离心应力易引起高温蠕变与持久断裂，所以对它进行合理的强度设计从而提出适当的高温机械性能指标极为重要。１离心压力的确定离心压力由...

摘要：介绍了采用矿(岩)棉厂的废料和普通粘结剂生产吸声板的工艺和生产线规模。指出建设矿(岩)棉吸声板生产线很适合目前我国市场需要。

摘要：本文介绍采用矿（岩）棉或者废料为原料，加以普通粘结剂，生产矿（岩）棉吸声板的技术以及产品性能。这种吸声板适于在我国各地区长期使用。

摘要：浅谈岩棉的摆锤法生产技术王哲民南京玻璃纤维研究设计院在诸多纤维保温材料中岩（矿）棉生产量最大。这是因为它利用了工业废料一矿渣和生产中使用我国极为普遍的煤炭制取的焦碳为主要燃料，建厂条件不太受限，成本较低。１９８３年北京新型建筑材料总厂从瑞典引进的年产...

摘要：＠王哲民￥南京玻璃纤维研究设计院在《浅谈岩棉的摆锤法生产技术》一文发表后，不少同行希望本人再详细介绍岩棉摆锤法的一些原理。岩棉的摆锤法原理包括：摆锤法的离心成纤原理、除渣与初棉带形成原理、摆动带运动分析、摆动铺毡原理、迭层带纵向压缩（打褶）原理。在摆动铺毡...

摘要：在诸多纤维保温材料中岩(矿)棉生产量最大,这是因为它利用了工业废料和矿渣做原料,主要燃料使用了我国极为普遍的煤炭制取的焦碳,建厂条件限制少,成本较低.1983年北京新型建筑材料总厂从瑞典引进的年产1.63万t岩棉生产线投产以来,我国的岩(矿)棉工业取得了前所未有的迅猛发展.目前全国岩(矿)棉年生产能力已达40余万t,产品已发展成(半)硬板、保温棉毡、保温带、保温管套、装饰吸音板、粒状棉喷涂材料等等.

摘要：随着软件规模的不断增大,如何保证软件的可靠性和安全性成为学术界和工业界越来越关注的问题.运行时验证是一种新型的程序自动验证技术,弥补了静态分析和模型检测等常用方法的缺点.设计一种针对C程序的监控器规约语言,用于描述针对C程序的形式化规约.该语言支持基于有限状态自动机和正则表达式的参数化运行时验证.本文借助开源工具flex和bison实现了支持该语言的参数化运行时验证工具M OVEC.为了对运行时产生的大量监控器进行索引,我们提出并实现了一种层次哈希森林的数据结构.实验证明该工具是可行且高效的.