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

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

多自由度系统振动的Barnett-Lothe矩阵

利用Stroh理论的本征方程与多自由度振动的方程非常相似特点,将Stroh理论推广到多自由度系统振动的分析研究中,获得多自由度振动的Barnett-Lothe矩阵及Barnett-Lothe积分公式,避免了求解特征值和特征向量的麻烦。     

职业锚理论在大学生职业生涯规划教育中的应用

职业锚是依据个人自省的才干和能力、动机和价值所做出的职业定位。在介绍职业锚理论基础上,指出大学生职业生涯规划中存在的误区,最终尝试将职业锚思想融入到大学生职业生涯规划教育并给出了几点启示。     

理论化学基础理论和应用研究取得系列成果

在国家自然科学基金等资助下,南京大学理论与计算化学研究所在量子化学、分子动力学的基础理论和应用研究等方面,取得了系列重要成果.     

20世纪西方道德教育理论发展及对中国的启示

20世纪西方道德教育理论围绕着四大主题与四大流派而发展的，从“突出个人主义”、“强调主体意识”到“体现人本思想”，完成了由“以人为主”向“以人为本”的路径转换。如何认识和理解20世纪西方道德教育理论的发展与转向并加以借鉴和运用，对于丰富中国道德教育理论和实践具有重要意义。     

试析目标设置理论在科研组织的应用

如何实现对科研人员进行有效的组织激励是科研管理的核心内容，合理的目标设置则是其中甚为重要的方面。针对科研活动的特点，结合管理科学中目标设置理论的研究结论，重点讨论了科研组织目标激励中如下几个方面的问题：科研组织及其成员间的目标协同，科研目标难度和明确度的合理设置，以及科研人员目标取向的引导等。     

N=1扰动超共形孤子理论与超Leibniz法则与量子守恒流

利用Ｎ＝１扰动超共形场论研究超对称ｓｉｎｅ－Ｇｏｒｄｏｎ理论，借助于超Ｌｅｉｂｎｉｚ法则求出了一组量子守恒流的一般形式．     

用数量化理论建立教育评价模型的方法

本文讨论了用数量化理论建立教育评价模型的方法。