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

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

谈音乐教学过程中问题的设计

音乐教学中如何用问题来引导学生欣赏音乐、关注音乐,问题设计要有实用性,要有明确的指向性,要有科学性,还要有巧妙性。以问题为契机,精心设计,释疑解惑。让学生在解决问题的过程中获取知识。     

大众数学课程设计的初步探讨

立足教改新形势,论述了大众数学的意义,分析了大众数学课程设计原则和课程内容,综述了大众数学结构体系的选定,阐述了大众数学课程设计理念.     

对我国桥梁景观设计发展的探讨

现代桥梁已不纯粹以满足功能为目的,桥梁巨大的跨度、强烈的形体表现力、超凡的尺度均对城市或大地景观产生影响.因此,人们对桥梁景观的要求越来越高,有关桥梁景观的设计与研究也应运而生.     

现代颚式破碎机设计与展望

根据现有的文献记载,作者对颚式破碎机的设计理论及应用、机型及其系列、结构和创新等进行了较全面的回顾与展望。     

论设计中砖混结构房屋抗震的若干问题

从高度和层数限值、体型均匀性的控制、结构空间刚度、抗震构造措施的设置、施工技术质量等方面探讨了砖混结构房屋的抗震设计。     

用二进制编码改进数据库多维查询

对教务管理中选课系统的数据表设计和查询中的问题进行了分析,提出了使用二进制编码来改进数据库多维查询的冲突判断,达到简化程序设计和提高计算机系统效率的目的。这种分析和设计改进的是管理中的时间冲突问题,可以运用到ERP的关键人员、关键设备的时间冲突中去。其中的程序在Microsoft的SQLServer2000中运行。     

现代高校图书馆建筑设计理念的深化

本文从环境营造、节能措施的利用、无障碍设计的实施三个方面阐述了现代高校建筑设计理念深化的必要性,体现建筑设计的人文关怀,并说明其不但对高校图书馆建筑本身有益,而且对高校的美育、德育产生积极的影响。     

数字建筑之文化符码浅析

从数字时代演化和人类行为学角度出发，简述了数字设计的概念以及文化符码的观念理论，以文化符码三层说对某数字设计的实例进行了分析，从文化符码解读了数字设计创作的方法论。