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

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

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

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

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

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

论大学生公民意识培养

大学生公民意识的培养应当是高校思想政治工作的重要内容。本文从大学生公民意识的现状出发，探讨了大学生公民意识缺失的原因，并提出了培养和提高大学生公民意识的具体措施。     

长春市主要广场城市森林结构的研究

通过样地调查对长春市主要广场的城市森林结构进行分析得出：广场森林的密度为160株／hm^2，广场共有乔木树种52种，花灌木30种。树木的平均胸径为21．6cm，树木的总叶面积为739172．8m^2，叶面积指数为1．2，广场森林总生物量为5174．2t，Shannon-Wiener指数平均为1．7。从以上分析可以看出长春市主要广场园林植物种类丰富，并已达到森林水平可以发挥出很大生态效益。     

“3＋2”方案忧思录

今年全国有24个省、自治区、直辖市在高中会考的基础上实行了“3 2”方案，即高考科目的设置为文理科均考语、数、外，文科另加政、史；理科另加物、化。该方案在高考科目中，理科取消了政治科，这一新举措出台后在师生中引起了强烈反响．其利弊得失．众说纷纭，莫衷一是，笔者仅从政治学科的角度对“3 2”方案略陈管见，以抛砖引玉。     

一致与非一致复杂类的模型论性质

自从1965年J.Edmonds和A.Cobham提出P-NP问题以来已有30年的研究历史。目前环绕这个问题的大量学术论文和研究专著已使它发展成为计算机科学中最新和最活跃的研究领域之一,近年来,人们除了对由各种类型的图灵机确定的复杂类(如P,NP,PSPACE等)进行研究外,对一些用其他方法定义的非一致复杂类(如P/poly,P/log,NP/poly等)也越来越有兴趣,而且许     

系统结构模型分部的底层要素法

本文从系统的底层要素出发，提出并证明了底层要素存在性、底层要素后果集并集的完全性以及它们在同一部分的充分必要条件，由此导出了系统结构模型分部的算法，实际应用进一步说明了这一方法的有效性。     

深化教育教学改革 办出高等职业教育特色

成都大学是综合性地方大学,学校坚持为地方经济建设和社会发展培养合格的高级应用型人才的办学宗旨,在积极开展教育教学改革方面进行了努力开拓和创新,本文仅反映成都大学办出高等职业教育特色方面所作的一些探索和实践,以作引玉之砖,共同开展高等职教研究。