2007年上海大学博士学位论文 9 非线性规划中的罚函数及填充函数方法

几何定理机器证明的基本原理 初等几何部分

1984年，吴文俊的学术专著《几何定理机器证明的基本原理》由科学出版社出版，这部专著遵循机械化思想引进数系和公理，依照机械化观点系统地分析了各类几何体系，明确建立了各类几何的机械化定理，着重阐明几何定理机...

建筑与环境设计艺术表现 成品项目的实际操作流程及设计表现技法分解实例

本书是集建筑、景观、室内于一体的综合性创作设计表现书籍，书中附有技法和设计创意技巧的拓展介绍，更加深了技术的内涵和适用性，使技法和设计的创意构思得以垂直提升。是著名建筑师实际工程项目中的结晶。...

分布参数系统的传递函数方法

本书主要内容包括：1）一维分布参数系统的传递函数理论；2）圆柱壳的传递函数方法；3）圆锥壳的传递函数方法；4）条形传递函数方法；5）条形传递函数与有限元的分区耦合方法；6）一维非线性分布参数系统的传递函数方法......

随机模型构造性计算理论及其应用 RG-分解方法

本书主要目的是为随机系统的数值计算理论提供一种基于RG-分解方法的统一的、构造性的算法框架，可以借此处理更一般的分块结构随机模型。

电力机车优化操纵基本知识及操纵方法

本书主要内容包括：机车优化操纵、操纵环境的定义，列车运行限制条件，安全、效率、经济的涵义等机车优化操纵基本观点；机车牵引、惰行、制动优化操纵及综合问题；机车开放式和保守式两种宏观优化操纵方法；列车跟踪.....

初等数学复习及研究（立体几何）

本书以中学平面几何和立体几何为基础写成，为了方便读者学习，特别注意全内容自成系统，对立体几何知识加以系统地复习、整理和适当地加深、提高。...

体能训练的基本理论与方法

本书是一本关于人体体能训练基本理论与实际操作方法的教材。本书的内容主要包括体能训练导论、力量素质训练的基本理论与方法速度、素质训练的基本理论与方法、耐力素质训练的基本理论与方法等。...

复变函数疑难分析与解题方法

本书按复变函数教学大纲编写，内容包括函数与复变函数、解析函数、复变函数的积分、级数、函数等，每章分为主要内容、疑难分析、典型例题等部分，是大学生需诶学该课程的良师益友。...

真理与方法诠释学 1 哲学诠释学的基本特征 修订译本