二元决策图及其扩展形式在系统可靠性分析中的应用 【自然科学】

西方音乐体裁及形式的演进 修订版 【艺术】

该书讲述了西方自中世纪至近现代的重要音乐体裁，分为中世纪、文艺复兴、巴洛克、古典及浪漫主义时期三大部分，涉及声乐、器乐多种体裁形式。由钱亦平和王丹丹两位教授合作完成，是西方音乐体裁研究的经典教材性...

私人艺术史·绘画篇 绘画形式解读 【艺术】

本书从一个实践者的角度，避开“知识”化的表达方式，仅仅从绘画语言本身来呈现作者对于绘画的理解。作者通过另外一种路径，它是非“知识”的和非概念的途径，靠视觉、形象、构图、色彩、笔触、一块块色斑的组合来...

我们学有所依的语言形式 得意莫忘形 【语言文字】

书稿从语言的核心形式即词汇和语法，语言的内外形式即语音和书写角度出发，精心选取数十个词语和例句，分别展开语言形式与内容方面的探讨和分析，涉及语言学、文学、修辞、翻译等多个领域，试图为英语学习者揭示深入...

形式动词句式的认知与功能研究 【语言文字】

在现代汉语中形式动词句式与普通的主动宾句式相比，是一种特殊的句式。它们具有独特的表达功效，在汉语的句式系统中有独立的地位和价值。本书在认知语言学与功能语言学的背景下，运用事件语义学理论、名词化理论...

形式语义学引论 第2版 【工业技术】

本书包含三个内容：操作语义学、指称语义学和公理语义学，但不包括代数语义学。本书涉及非确定性和并发性，也介绍了一些时态语义。本书的前三章以一个简单的程序设计语言为例，介绍操作语义学、指称语义学和公理语...

形式与本质 出口信用保险基础问题研究 【经济】

本书围绕出口信用保险合同这1个中心，在紧密联系实务操作（形式）的前提下，重点分析论述了五个方面的基础原理（本质）问题：一是”出口险基本原则（保险利益、最大诚信、风险分担）”；二是”出口险合同的成立生效......

形式语言与自动机理论引论 【工业技术】

本书照我国计算机相关学科研究生教育的现状需要编写，结合作者30来年先后在哈尔滨工业大学和北京工业大学讲授形式语言与自动机理论的经验，选择和组织有关内容撰写而成。全书分9章，介绍语言与文法，正则语言的文...

泛函微分双时滞系统的稳定性 【工业技术】

本书探讨了一般微分泛函双时滞方程的Lyapunov稳定性基本理论，借助微分差分双时滞方程描述的标称系统的基本解及其解的表达式获得保证系统稳定的充分必要的Lyapunov-Krasovskii泛函的表达式，将其泛函推广应用...

微分方程基础教程 上 【数理化】

本套教材包含微分方程的基础内容。教材分上、下册。上册主要内容为常微分方程理论基础，包括基本概念、初等积分法、高阶线性微分方程、常微分方程组、基本定理、定性与稳定性理论初步和离散动力系统简介等。...