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

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

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

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

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

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

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

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

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

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

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

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

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

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