系统形式

摘要： 实地调研了扬州市7个住宅小区的地源热泵系统,通过对热泵机房管理人员问卷调查、查阅系统设计图纸和记录控制系统采集的数据等方式,获得了扬州地区地源热泵系统的常见形式以及系统运行现状等信息,并对其进行了相应分析。结果表明:住宅小区全年采用热泵机组热回收方式制备生活热水时,除机组冬季取热外,生活热水系统还需全年取热,系统长期运行后,部分住宅小区地下土壤出现冷堆积,冬季制热效果略有下降。针对上述存在的问题,提出了现有系统优化方案及后续系统设计建议,对于夏热冬冷地区地源热泵系统的优化设计具有借鉴意义和参考价值。

摘要： 数据中心余热回收技术可以有效降低数据中心碳排放量,提高能源综合利用率。详细介绍了数据中心余热回收技术相关标准及政策,分析了余热回收技术应用于数据中心的主要系统形式与特点,总结了各类余热回收技术的适用性,并列举了国内外数据中心余热回收技术应用案例,以期为余热回收技术在数据中心行业的推广应用提供参考。

摘要： 氟侧自然冷却系统利用室外自然冷却资源,可提高数据中心节能性.本文通过建立空调性能模型,结合典型数据中心和天气数据,对系统的节能潜力进行分析.在数据中心制冷要求下,采用适宜的氟泵节能技术可拓展机房空调系统节能技术的应用,延长制冷系统全年自然冷源利用时间,并针对不同使用区域进行应用.

摘要： 针对西藏高原丰富的太阳能资源条件和迫切的供暖需求,提出了离网光伏条件下,光伏+空气源热泵+蓄电、光伏+空气源热泵+蓄热、光伏+电采暖设备+蓄电三种离网光伏供暖技术形式.以西藏日喀则市某孤立地区居住建筑为研究对象,建立三种"光伏+"供暖系统仿真模型,重点分析了光伏面积、蓄能容量对系统太阳能保证率的影响.结果表明:三种系统中光伏+空气源热泵具有较高的能源利用效率,所需光伏面积较少;当蓄能形式为蓄热时,光伏+空气源热泵系统所需的蓄能设备容量较小,太阳能保证率较高.

摘要： 根据联合国环境规划署的数据,近40％与能源有关的二氧化碳排放来自建筑行业,而建筑运行阶段碳排放占比则达70％以上,如何定量化分析碳排放影响因素,以及在数据量高速增长的情况下快速提取物理量间内在作用规律是降低建筑碳排放需要重点解决的问题.提出了一种基于数据挖掘的空调系统形式对运行阶段碳排放影响分析方法,分析了北京市40座办公建筑,结果表明,样本运行阶段平均碳排放量为79.9 kgCO2/(m2·a),其中与电力相关的碳排放量占80％;通过k均值聚类分析,可将样本按照运行阶段碳排放水平分为三类;通过ID3决策树分析,发现使用直燃机作为冷热源的建筑二氧化碳排放量更高,而使用集中供热系统的建筑排放量最低.对于不同的冷却系统和不同的空调终端则无显著差异.因此,对于寒冷气候区的新建办公楼,在输配系统成本允许的条件下,应从政策角度鼓励采用集中供热系统.

摘要： 结合腾冲机场已建T1航站楼的设计和使用情况,介绍了T2航站楼各系统形式的设计。从给水系统、中水系统、消防灭火系统、自动喷水灭火系统、大空间智能型主动喷水灭火系统、气体灭火系统、不停航施工等方面展开,探讨了实际工程中对中小型航站楼在设计方面的建议,为类似规模航站楼提供设计参考。

摘要： 在进行现代建筑施工活动时,不仅仅要做好地上建筑建设工作,同时还要处理地下施工环境中的施工问题.在开展深基坑施工活动时,往往会建设支护系统,可采用保护、加固与支挡等方式来处理深基坑系统的侧壁等部位存有的问题.本文首先对高层建筑工程中的常见深基坑支护系统进行介绍,然后对高层建筑深基坑支护特点进行分析,并对具体的施工管理措施进行详细探究,以期为实际工程提供借鉴.

摘要： 实施采暖分户热计量后,新采暖系统和传统采暖系统在设计思路和热负荷计算上有所不同,分别讨论了几种采暖形式和热负荷的计算。

摘要： 本文通过对家用空调系统与新风系统工作原理的介绍,说明新风系统的形式、区别及选用新风系统的必要性.

摘要： 近几年来我国的社会经济水平得到了飞速提升，建筑行业的发展进程不断加快。超高层建筑作为建筑工程项目的重要组成部分，人们也开始重视超高层建筑群区的消防给水系统设计问题。消防给水系统是确保高层建筑安全性的重要系统，只有对其合理设计，才能避免在火灾发生时，人们的生命财产安全受到损失。综上所述，文章对超高层建筑群区的消防给水系统设计方案展开分析，以期提升消防给水系统在超高层建筑群区的应用效果，为人们的生命财产安全提供保障。

摘要： 在目前国内各城市地铁车辆段结合上盖物业开发的趋势背景下,从系统形式、通风效果及全寿命周期经济性的角度对比分析了纵向诱导通风系统与传统风管通风系统2种方案在杭州地铁某车辆段高大库房中的应用差异.

摘要： 博物馆是特殊的人工环境,与常规舒适性人工环境温湿度调控相比,其对温湿度的控制精度有更为严苛的要求.该领域在不断的探索中逐渐形成一套理论体系和实践方法论.本文从文物保护标准、温湿度控制系统形式和节能技术等三个方面来归纳总结了近些年来博物馆恒温恒湿系统中温湿度调控技术的理论和实践方法.

摘要： 简述了目前砂型铸造大型铸钢件生产实践中一些传统铸造工艺存在的不足。介绍和探讨了大型铸钢件铸造工艺的优化设计：应优先选用分层进液浇注系统形式，浇注系统的有效浇注时间及其最小截面积的合理确定，钢液有效过滤，冒口的优先选用形式，冷铁的合理应用，浇注工艺的一些重要工艺参数等的合理确定。

摘要： 我国传统的家庭烹饪习惯使厨房油烟的排除问题始终困扰着建筑设计者。虽然对此问题的研究已经有几十年的历史，但仍然没能彻底解决，高层住宅的出现又使问题更加复杂。本文在回顾相关研究的基础上，介绍一种比较合理的系统形式、系统设计计算方法、工程应用及实测运行效果，以供建筑投资及设计方参考。

摘要： 本申请涉及具有用于解锁（Tür‑auf）具有发动机启动和/或车辆进入系统（Kfz‑Zug）的机动车（Kfz）的机动车钥匙（Kfz‑key）的一种方法和一种设备（Kfz‑key），其中，可布置在机动车（Kfz）侧的机动车钥匙（Kfz‑key）具有蓝牙天线（BluetAnt）并且此外具有机动车通信天线（KfzKeyAnt），其中，机动车钥匙（Kfz‑key）被构造（App）用于，‑通过其蓝牙天线（BluetAnt）在使用对于机动车钥匙（Kfz‑key）已知的激活密钥（PIN）的情况下，建立与移动无线电终端装置（MS）的蓝牙连接（Bluet），‑并且指示（Entrieg）在机动车（Kfz）中安装的机动车控制装置（KfzContrl）促使机动车（Kfz）的解锁（“Tür‑auf”，“Tür‑zu”，“Motor‑an”），其中，优选地，机动车钥匙（Kfz‑key）被构造（App）用于，‑通过至移动无线电终端装置（MS）的蓝牙连接（Bluet）从服务器（Serv）请求（AuthAnfr）认证（Auth），‑并且仅仅如果机动车钥匙（Kfz‑key）从移动无线电终端装置（MS）获得服务器（Serv）的认证（Auth‑ok），则才指示（Entrieg）安装在机动车（Kfz）中的机动车控制装置（KfzContrl）解锁（“Tür‑auf”，“Tür‑zu”，“Motor‑an”）机动车（Kfz）。

摘要： 一种电梯设备(1)包括：抬升平台(11)，用于固定在电梯竖井(3)中的多个固定位置上；至少一个导轨(12)，用于在电梯竖井(3)中沿竖向引导电梯轿厢(5)，抬升平台(11)具有保护顶盖(21)，保护顶盖实施用于，保护抬升平台(11)，以防受到掉落的物体的影响；保护顶盖(21)具有轨道开口(39)，导轨(12)延伸穿过轨道开口，保护顶盖(21)具有用于遮盖轨道开口(39)的盖件(41)，盖件具有盖件开口(43)，导轨(12)延伸穿过盖件开口。

摘要： 介绍一种电梯设备(1)，其具有电梯竖井(3)，以及通常具有电梯轿厢(5)、升降平台(11)和承重机构(9)。该电梯设备(1)优选被设计成爬升式升降系统，其中，升降平台(11)可以在楼宇的不同的建筑阶段过程中固定在电梯竖井(3)内部的不同的位置上。在电梯竖井(3)中设置有保护顶(21)，该保护顶优选布置在升降平台(11)的要予以保护的组件比如驱动机器(15)上方。保护顶(21)具有中央的顶部结构(23)和外围的侧翼结构(25)。侧翼结构(25)具有侧翼壁(27)，侧翼壁固定在中央的顶部结构(23)的侧边缘(30)上，并且相对于水平线倾斜地从中央的顶部结构(23)向外突伸地布置。由于其侧翼壁(27)倾斜地布置，侧翼结构(25)可以更好地承受住掉落下来的物件，并更好地保护位于其下方的组件。悬空的边沿区域(32)必要时可以支撑在电梯竖井(3)的侧壁(4)上。

摘要： 本发明提供了一种区块链系统形式化建模与验证方法，包括：步骤1：根据有限状态机利用分层建模的方式建立单个节点的SDL(Specification and Description Language，规范描述语言)模型；步骤2：根据单个节点的SDL模型，利用模块化建模的方式建立区块链系统的SDL模型；步骤3：对整个所述区块链系统的SDL模型进行仿真分析；步骤4：形式化验证所述区块链系统的SDL模型的性质。

摘要： 一种针对嵌入式实时操作系统形式化验证方法，采用分阶段的思路对嵌入式实时操作系统进行形式化验证，首先按照需求、设计、实现三个阶段进行形式化建模和验证，用具有严格数学定义的语法、语义的语言来描述操作系统，然后建立操作系统的形式化模型，提取待验证的性质，通过数学方法分析及验证形式化模型是否满足期望的性质，通过反复迭代，最终得到满足期望性质的形式化模型。本发明方法与现有技术相比，解决了传统测试方法对无法保证操作系统需求的正确性以及代码和需求一致性的问题，具有较好的使用价值。

摘要： 本发明涉及一种基于STPA的安全攸关系统形式化开发方法、系统及存储介质，其中安全攸关系统形式化开发方法包括：步骤1：基于STPA安全分析方法确定各项不安全操作UCA所对应的约束条件；步骤2：使用形式化方法为安全攸关系统建模，并在相应层级中增加步骤1获取的各项约束条件；步骤3：完成安全攸关模型的证明；步骤4：生成可执行代码，完成安全攸关系统的开发。与现有技术相比，本发明具有可信度高、可靠性好等优点。

摘要： 一种基于联锁规则的系统形式化模型处理方法，构建联锁车站信号设备的自然语言的对象模型框架，根据基于联锁规则的自然语言的安全需求描述来完善对象模型，提取安全需求描述中的对象属性信息来填充对象模型框架，将自然语言对象模型转换为形式化语言的对象模型，将自然语言的安全需求描述转换为形式化语言的安全需求描述。本发明提高了形式化验证的有效性、灵活性、适用性和验证效率。

摘要： 本发明提出了一种基于场景分析的系统形式化模型生成方法，包括以下步骤：(1)采用OCL前/后置条件分析法对UML时序场景作一致性分析；(2)识别UML时序图中对象交互的行为序列并将其转换成相应的FSP进程代数模型；(3)将其做组合运算后，得到系统的有穷状态机模型FSM(Finite States Model)，在模型检测器LTSA中对FSM进行功能模拟；(4)判断FSM的功能行为满足系统的功能需求，则此FSM为系统的形式化模型；否，则对FSM进行修改，并重复步骤(3)和(4)。通过本发明方法选取的测试向量具有高覆盖率，解决了现有分析方法中无法证明系统没有错的问题。

摘要： 本发明提供了一种区块链系统形式化建模与验证方法，包括：步骤1：根据有限状态机利用分层建模的方式建立单个节点的SDL(Specification and Description Language，规范描述语言)模型；步骤2：根据单个节点的SDL模型，利用模块化建模的方式建立区块链系统的SDL模型；步骤3：对整个所述区块链系统的SDL模型进行仿真分析；步骤4：形式化验证所述区块链系统的SDL模型的性质。

摘要： 本实用新型公开了一种基于变制冷剂流量多联系统形式下的太阳能热泵热水器系统，包括压缩机、系统制冷剂管路、保温水箱、储液罐、吹胀板、过滤器、气液分离器和控制系统，系统制冷剂管路呈螺旋状设置在保温水箱内，一端与压缩机输出端连接，另一端与吹胀板组连接，吹胀板组的另一端依次连接过滤器、气液分离器后与压缩机输入端连接，吹胀板输入端连接有电磁阀和节流阀，输出端连接有单向阀，控制系统根据采集的环境数据控制电磁阀的开闭。本实用新型通过感知太阳光照辐射强度和环境温度等，设定控制程序及调节制冷剂流量，避免了太阳辐照强度高时蒸发温度过高，辐照强度低时又太低，保证系统始终工作在性能系数较高水平，实现不同环境下系统的高效工作。