系统设计的正式方法和模型

微电子设计的规模和设计能力之间的鸿沟正在越变越大，需要工具和技术去填补这一鸿沟。另外，我们也需要更新颖的方法以使理论能变为实际。本书正是出于这个目的而编写的。全书总结了以往各种正式的结构分解、抽象和精练的方法，重点强调了系统的行为和结构特性。书中的内容是以一系列学术论文的形式呈现给读者。论文的作者都运用自己的正式方法以完成软硬件设计，提供开发方法和工具的优化，或形成理论公式。     

高层建筑方案阶段的结构概念设计

结合概念设计的原理，阐述了高层建筑方案阶段结构设计的原则和应考虑的问题，运用整体设计的思想处理结构体系与建筑功能之间的矛盾．     

高等农业院校扩大留学生教育的若干思考

本文总结了2 0 0 0年至2 0 0 3年四年间我国留学生招生的总体趋势,分析了我国高等农业院校招收留学生的现状和造成的原因,提出了高等农业院校扩大留学生招生和教育规模的一些措施。     

加快杭州市第三方物流产业发展的若干建议

近日,由中国社会科学院牵头完成的2004年《中国城市竞争力报告》中,对10大功能指数排名:杭州市在物流中心功能指数中得分名列第八位,在综合中心功能指数中得分名列第七位。说明杭州市的物流产业发展已取得了一定的成绩。然而据浙江省统计局统计,2003年杭州市社会物流总成本为436.3亿元,比上年增长20.20%(按现价计算),占生产总值的比重为20.4%,比上年下降0.1个百分点。2003年全市物流业增加值为256.05亿元,比上年增长10.6%(按现值计算),低于同期生产总值的现价增速,物流业增加值占生产总值的比重为12.0%,比上年下降1.1个百分点,占我市第三产…     

南京市城市绿地规模与经济发展水平关系分析

城市绿地是城市生态环境的重要组成因子之一．发展城市绿地，不仅可为城市居民创造良好的生存环境，而且通过改善城市人居环境，促进旅游业和服务业的发展，以及创造更好的外商投资环境，将间接地对城市经济的发展产生显著的促进作用．以南京市为研究对象，采用回归分析方法，分析南京市城市绿地规模与城市经济发展水平之间的定量关系，结果表明二者之间有显著相关性．此外，还建立了南京市城市经济增长与各驱动因子之间的多元线性回归模型，并据此模型对南京市2003～2010年城市经济增长对人均公共绿地面积的需求做了初步预测，发现2010年的预测值与南京市编制的城市绿地规划所规定的该年人均公共绿地面积较为接近，表明本研究的方法和成果具有较好的可靠性．     

高科技创造城市“牛皮癣”终结者

深圳自主研发的一种高分子环保材料，在“山城”重庆治理城市“牛皮癣”的战役中派上了用场。日前，重庆市市政管理委员会正式选用这种新材料，在主要市政公用设施的表面进行涂刷，以清除和预防乱张贴、“涂鸦”等“牛皮癣”。