形式
-
列车运行安全行为建模与形式化技术研究
陈永，胡晓辉著2017 年出版269 页ISBN：9787113225797随着我国铁路事业的快速发展，对列车运行控制系统安全性的研究已成为目前铁路运输系统的重要研究问题。形式化方法为设计高可信系统提供了重要途径。本书针对列车运行过程中安全关键因素，如无线通信网络性能、...
-
意义的形式 建模系统理论与符号学分析
（美）托马斯·A.西比奥克（THOMASA.SEBEOK），（加）马塞尔·德尼西（MARCELDANESI）著；余红兵译2016 年出版220 页ISBN：9787561493588本书所提供的是一种从生物符号学领域发展出来的方法论框架，它将符号现象作为建模的过程来研究。作者为人们呈现了一个将符号学与生物学相结合的描述体系，可以用来研究不同物种所体现的“建模本能”。本书以通...
-
-
赏画识道 黄格胜绘画语言之形式赏析
黄超成著2014 年出版244 页ISBN：9787549550395本书大致上包括两部分，一是对黄格胜绘画形式语言的分析，二是追溯他成功背后的诸多因素。通过细致的研究，作者总结出黄格胜绘画形式的几种构成原则，如邻近性原则、相似性原则、延续性原则、完形性原则；黄格胜作品...
-
黑色猎手 古希腊世界的思想形式和社会形式
皮埃尔·维达尔-纳凯著2016 年出版452 页ISBN：9787567549203本书主要侧重于研究古希腊世界的思想形式和社会形式之间的关联及其相互影响，作者借助对古希腊青年、妇女、匠人、奴隶以及与城邦疏离的人等这些社会群体的探讨，通过四个不同的主题，即空间与时间；青年与战士；女人...
-
-
-
软件开发的形式化工程方法
（日）刘少英著2008 年出版408 页ISBN：7302183171本书首次开创了一个新技术，即形式化工程方法，把传统的形式化方法和软件工程有机结合起来。它提供了一个严密、系统、有效的软件开发方法，其实用性超过了目前所有形式化方法。这正好可以满足学术界、软件工程类...
-
走向虚无 贝克特小说的自我探索与形式实验 self-exploration and formal experiment in Beckett's novels
王雅华著2005 年出版220 页ISBN：7561914997本书通过对美国作家贝克特创作于1935至1950年间的五部长篇小说《莫菲》、《瓦特》、《莫洛伊》、《马洛纳之死》、《难以命名者》的系统的比较性研究与解读来阐释贝克特小说内在的连贯性、互文性，和主题的层...
-
-
-
自守形式与 Langlands 纲领
季理真等2009 年出版319 页ISBN：9787040262131Langlands纲领是20世纪数学的重要工程之一，该工程对许多领域诸如数论、表示论、算术代数几何等都起到了关键的作用。有着紧密联系的自守表示是Langlands纲领中的基础概念。在过去的几年中，几何Langlands纲领...
-
-
-
-
-
设计基础 来自观念的形式
邬烈炎编著2004 年出版99 页ISBN：7534417813本书的主要目的是引导艺术设计者如何将一个模糊的想法发展成一个清晰的观念，并找到恰当可行的途径进行视觉表达，使想法最终成为一件完整成熟的作品。...
-
寂静之音 汉语诗歌的音乐形式及其历史变迁
沈亚丹著2007 年出版322 页ISBN：7208068119作为国家社会科学基金青年项目，本书对汉语诗歌的音乐形式的产生、发展作了全面的探讨，揭示汉语诗歌音乐形式的哲学本质，对从《诗经》到散曲各种体裁的音乐形式的变迁作了深入的考察，探讨了产生这些变迁的必然性...
-
Z形式规约切片的研究
吴方君著2006 年出版185 页ISBN：7312013546本书包括基于依赖性分析的Z形式规约切片及形式化描述，基于关系演算的Z形式规约切片，变量定义和使用情况的探讨，Z形式规约切片在提升和定理证明中的应用以及基于依赖性分析的Z形式规约度量。...
-
