包邮建筑智能化系统的PETRI网建模与应用研究

第1章 建筑智能化系统概述 1.1 建筑智能化系统的定义 1.2 建筑智能化系统的组成 1.3 建筑智能化系统的特点 1.3.1 建筑智能化行业特征 1.3.2 建筑智能化工程建设特征 1.4 我国建筑智能化系统的发展与现状 1.5 建筑智能化系统与绿色建筑 1.5.1 绿色建筑的概念与评价 1.5.2 绿色建筑的认证 1.5.3 绿色建筑的设计理念 1.5.4 智能化技术在绿色建筑中的作用 第2章 Petri网基本概念 2.1 Petri网的研究与发展 2.2 Petri网的组成特点 2.2.1 Petri网的结构 2.2.2 Petri网的行为特点 2.3 Petri网在系统性能分析中的应用 2.3.1 Pet“网的系统性能分析方法 2.3.2 Petri网在系统性能分析中的应用实例 2.4 扩展Petri网及其应用 2.4.1 扩展Petri网 2.4.2 扩展Petri网的应用 第3章 基于随机Petri网的建筑智能化系统可靠性研究 3.1 随机Petri网 3.1.1 基本概念 3.1.2 随机Petri网的建模与分析步骤 3.1.3 随机Petri网分析的性能指标 3.1.4 随机Petri网分析工具 3.2 建筑智能化系统通信网络模型 3.3 模型抽象与细化 3.3.1 模型抽象 3.3.2 模型细化 3.4 系统的性能分析 第4章 基于有色Petri网的建筑智能化系统可靠性和安伞性研究 4.1 有色Petri网 4.1.1 有色Petri网形式化定义 4.1.2 有色Petri网的动态属性 4.1.3 有色Petri网建模方法 4.1.4 建模工具CPNTools 4.2 基于有色Petri网的建筑智能化系统结构和任务 4.2.1 基于有色Petri网的建筑智能化系统研究意义 4.2.2 基于有色Petri网的建筑智能化系统结构和任务 4.2.3 基于有色Petri网的建筑智能化系统的结构和任务的基本假设 4.3 系统可靠性和安全性建模 4.4 系统任务可靠性和安全性估计 4.4.1 任务初始时刻的资源可靠性和安全性分析 4.4.2 单一任务的可靠性和安全性分析 4.4.3 有色Petri网模型的性能验证方法 4.5 相关问题讨论 4.5.1 火灾自动报警系统的可靠性与安全性分析 4.5.2 电梯集控系统可靠性与安全性分析 第5章 基于时间Petri网的建筑智能化系统实时性研究 5.1 时间Petri网 5.1.1 时间Petri网形式化定义 5.1.2 时问Petri网的动态属性 5.1.3 时间Petri网的分析方法 5.2 时间Petri网对建筑智能化系统实时性的预测 5.2.1 建筑智能化系统的故障实时性预测 5.2.2 基于时间Petri网的建筑智能化系统的故障实时性预测的等价条件 5.2.3 基于时间Petri网的建筑智能化系统的故障实时性预测 5.3 时问Petri网对系统的实时性评价 5.3.1 Bayes试验算法 5.3.2 方差验前分布概率的统计方法 5.3.3 基于Bootstrap的故障预测算法 第6章 基于模糊Petri网的建筑智能化系统性能分析 6.1 模糊Petri网 6.1.1 模糊Petri网的定义 6.1.2 模糊Petri网中模糊规则的表示 6。2模糊推理算法 6.2.1 模糊推理算法的步骤 6.2.2 模糊知识库的表示方法 6.3 模糊Petri网模型与评估 6.3.1 模糊神经Petri网 6.3.2 模糊Petri网与专家系统 6.4 案例分析 第7章 基于混合Petri网的建筑智能化系统综合性能分析 7.1 混合Petri网 7.1.1 混合Petri网的定义 7.1.2 离散部分与连续部分的关系 7.1.3 混合Petri网中的冲突 7.2 建筑智能化系统的混合Petri网模型 7.3 混合Petri网模型的分析 7.3.1 混合Petri网的推理规则 7.3.2 混合Petri网的学习 7.4 案例分析 结束语 参考文献