工业关键系统的形式化方法 应用综述 【工业技术】

形式化方法以数学为基础，其目标是建立精确的、无二义性的语义，对系统开发的各个阶段进行有效的描述，使系统的结构具有先天的合理性、正确性和良好的维护性，能较好地满足用户需求。本书记录和展示了作者关于形式...

现代建筑形式语言的先驱 申克尔手绘建筑图集 【工业技术】

本书收录了现代建筑形式语言先驱卡尔·弗里德里希·申克尔重要的建筑设计作品、城市规划作品、家具及舞台设计作品，共计200多幅精美设计图，是不可多得的珍贵资料。其作品消除历史上各种形式语言的冲突，强调线...

形式语言与自动机及程序设计 【工业技术】

本书介绍了乔姆斯文法体系的四类文法及相应的实例，以及无限自动机、下推机、图灵机及相应实例。利用VC++6.0实现了给定文法所产生的句子、确定的有限自动机、不确定的有限自动机、带空转移的有限自动机、带...

世界室内装饰设计资料集 第12集 餐饮空间设计 局部空间设计 建筑局部俯瞰 特型室内设计 古典建筑形式 【工业技术】

17世纪初至现当代法国建筑观念与形式演变 【工业技术】

17世纪法国至20世纪法国建筑发展变迁的历程，是文艺复兴建筑和现代主义建筑之间流变的重要组成部分。我们曾以巴洛克、洛可可、新古典主义、新歌特建筑风格分阶段地认识这段历史，但这种较为单纯的阶段划分很难...

微分代数系统控制理论在电力系统中的应用 【工业技术】

本书是在经典的非线性系统几何结构理论的发展基础上，系统地介绍了用于控制微分代数系统的反馈线性化技术理论和方法，对具有非线性负荷的结构保留电力系统非线性控制的理论及方法进行了深入的研究。全书分七章...

无线局域网可视电话原理及应用 【工业技术】

本书论述了无线局域网可视电话的原理及应用，主要介绍了无线局域网技术，以及实现无线局域网可视电话系统所需的呼叫控制协议、实时传输协议和无线局域网可视电话系统实现部分。本书共分十章，第一章介绍了无线局...

21世纪大学本科计算机专业系列教材 形式语言与自动机理论 第3版 【工业技术】

本书结合作者30年在哈工大、北工大讲授形式语言与自动机理论的经验，选择和组织有关内容撰写而成。全书分10章，介绍基础知识，形式语言，文法，正则语言的文法、自动机、正则表达式描述和性质，上下文无关语言的文法.....

产品几何技术规范（GPS）系列标准应用问答丛书 几何误差检测问答 【工业技术】

本书根据最新和现行国家标准，以问答的形式，简明扼要地论述了关于几何误差检测的基本概念，各种几何误差特征的定义与评定方法，基准与基准体系的建立与体现，形状、方向、位置和轮廓误差及跳动等各种几何误差特征的...

画法几何及机械制图 【工业技术】