电气113周子睦2011013702
2019湖南大学电气与信息工程学院硕士研究生拟录取名单
080800
电气工程
非定向
全日制
59
邵习文
105329103640700
推荐免试
080800
电气工程
非定向
全日制
60
吕昊泽
105329100780701
推荐免试
080800
电气工程
非定向
全日制
61
王丰
105329104600702
推荐免试
080800
电气工程
非定向
全日制
62
徐媛媛
105329105320703
推荐免试
080800
电气工程
非定向
全日制
优秀营员
63
杨伟峰
105329101420704
推荐免试
080800
电气工程
非定向
全日制
64
雷洲
105329102140705
推荐免试
080800
电气工程
非定向
全日制
65
向芷漫
105329104070706
推荐免试
080800
电气工程
非定向
全日制
66
李孟波
105329107000707
89
刘钊瑞
105329102000730
推荐免试
080800
电气工程
非定向
全日制
90
杨江伟
105329101100731
推荐免试
080800
电气工程
非定向
全日制
优秀营员
91
马健
105329104030732
推荐免试
080800
电气工程
基于知识图谱的低压配电网拓扑结构辨识方法
(1.武汉大学电气与自动化学院,湖北 武汉 430072;2.南方电网科学研究院,广东 广州 510080)
摘要:低压配电网中正确的拓扑关系是至关重要的。低压配电网实际拓扑结构因运维需要变动频繁且巨大,配电 网信息系统中的数据更新不及时、流通性低以及质量差等不能正确反映低压配电网的实际拓扑结构,有必要进行 拓扑辨识。知识图谱技术可以清晰地反映出数据间的现有关系,推理挖掘出隐藏知识,适用于低压配电网的拓扑 辨识。因此应用知识图谱技术于拓扑辨识中,首先分析知识图谱构建方法,运用知识图谱技术,对多个低压配电 网信息系统中的数据进行整合,推理出缺失数据,挖掘出各数据之间的关系。然后构建出低压配电网拓扑结构的 知识图谱。最后结合《低压配电网基建工程典型设计规范》以及语义分词技术,对低压配电网信息系统中的户变 关系进行辨识。算例实验效果良好,表明所提出的辨识方法具有理论价值和实际应用价值。 关键词:知识图谱;语义分词技术;知识推理;户变关系;拓扑辨识
2015年电气与自动化工程学院拟录取硕士研究生名单
控制工程
103595210004952
倪宵
控制工程
103595210004984
陈美轮
控制工程
103595210004962
李炳辉
控制工程
103595210004970
陈思颖
控制工程
103595210004941
王昊
控制工程
103595210004956
陆苏月
控制工程
103595210004972
李娟
电工理论与新技术
103595105300161
丁晨迪
电工理论与新技术
103595105640162
王礼康
电工理论与新技术
103595103570163
张悦
电工理论与新技术
103595103850164
史露强
电工理论与新技术
103595210002264
陈远洋
电工理论与新技术
103595210002268
103595103590144
胡迪
电力系统及其自动化
103595103590145
李晓静
电力系统及其自动化
103595103590146
肖传亮
电力系统及其自动化
103595103590147
刘众前
电力系统及其自动化
103595102900148
桂旭
电力系统及其自动化
103595103590149
黄杰杰
孙瑞松
电气工程
103595103590287
罗闰三
电气工程
103595103590288
史盛亮
电气工程
103595103590289
程清
电子电工(学生组)成绩
姓名
董大鑫 童金蒙 肖许敏 连金福 杨温阳 潘晓文 林横 潘高烦 柯进疆 腾玉龙 蔡振国 麻新苗 明亮
ቤተ መጻሕፍቲ ባይዱ性别
男 男 男 男 女 男 男 男 男 男 男 男 男
所在学校
温州职业中等专业学校 温州市机电技师学院 永嘉第二职业学校 乐清柳市职业学校 温州职业中等专业学校 温州职业中等专业学校 瑞安职业中专教育集团 永嘉第二职业学校 洞头职教中心 温州市机电技师学院 瑞安职业中专教育集团 永嘉第二职业学校 龙湾曙光综合高中
2013年温州中职学校师生技能大赛(电子产品装配与调试)学生组名次
参赛号 2013DD613 2013DD621 2013DD631 2013DD628 2013DD601 2013DD624 2013DD608 2013DD622 2013DD603 2013DD610 2013DD619 2013DD611 2013DD627
奖项 一等奖 二等奖 二等奖 二等奖 二等奖
指导师 杨玉凤 王静
杨汉鹏 徐同 盟 戴建法 章艳 蕾 李旦 林乐英 杨玉凤 王静
三等奖 三等奖 三等奖 三等奖 三等奖 三等奖 三等奖 三等奖 徐京岗 张再 益 戴建法 章艳 蕾 林阳阳 傅志 清 杨汉鹏 徐同 盟 徐京岗 张再 益 戴建法 章艳 蕾 付海荣
2018年自动化学院一志愿考生复试名单
61
92
92 296
43
52
125 278
序号 36 81 24 95 201 26 34 14 198 53 193 142 125 98 28 99 114 208 32 118 18 91 128 54 106 200 56 115 17 110 94 192 38 86 179 135 211 58 139 3 169 210 19 63 104 205 206 57
57
79
114 309
53
92
102 308
46
93
106 307
44
86
113 307
58
63
120 307
56
75
115 307
45
93
105 306
61
77
112 306
51
71
118 306
47
75
119 305
54
76
112 304
50
95
106 303
53
79
113 303
51
78
111 303
53
96
110 314
42
93
126 313
63
85
111 312
44
82
113 311
60
71
116 311
62
88
101 311
46
97
112 310
58
104
101 310
50
83
112 310
55
76
112 310
61
76
北京交通大学电气工程学院2013年硕士生复试结果公示
100043130604135 梁凤宾 406
100043130604102 梁雨
355
100043130303798 连巧娜 388
100043441109901 廖知卓 414
100043613610375 李渤弘 359
100043370107651 李超
357
100043370308097 李春敏43410408967 100043110401163 100043370207976 100043140505346 100043370608329 100043130704204 100043321106619 100043110401033 100043130604115 100043370808413 100043321106627 100043110401109 100043110401025 100043130203620 100043130604133 100043131404657 100043131605148 100043110402045 100043371108622 100043410709088 100043130303789 100043131504807 100043110401123 100043130604118 100043110401971 100043611410289 100043110402017 100043420509546 100043370308091 100043153105843 100043110402024 100043110401092 100043131605135 100043110403015 100043110401113 100043360807250 100043360707244 100043130203607 100043130604110 100043110401058 100043120403313
11电气1班成绩汇总
74 70 71 89 80
73 82 80 71 81 60 78
85 74 80
76 69 80
78
65 80 81 65
84 83 84
71 68 64
2013-2014学年第2学期11电气工程本1班级成绩汇总表
单片机应用技术课程设计(实践)/实践 大学英语2/专业课 课/1 /4 不及格 不及格 良好 中等 及格 及格 良好 良好 中等 及格 良好 中等 良好 中等 中等 中等 良好 及格 中等 及格 及格 中等 及格 及格 及格 中等 中等 及格 及格 0 0 73 78 70 58 65 77 74 66 75 57 65 71 71 74 76 74 70 75 60 65 70 72 76 60 74 72 65 嵌入式系统/专业课 /2.5
19 15.5 23 20 15.5 20 19 20 15.5 27.5 13 15.5 20.5 23.5 15.5 20 20 23 18 20 20.5 20 20 24 23 23 15.5 20.5 15.5 15.5 15.5 20.5 20.5 22.5 20 15.5 20 15.5 15.5 20 15.5 15.5 15.5 20 23 20 20
87 88 91
继电保护与自动装置/专业限选 课/3 0 0 76 90 76 79 93 95 76 75 95 90 92 74 84 79 76 72 1 81
电路/专业课 /4.5
电机及电力拖动/专业课 大学英语4/公共基础课 /3.5 /4
序 号 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29
湖南大学2012年电气工程研究生录取名单
电气工程 电气工程 电气工程 电气工程 电气工程 电气工程 电气工程 电气工程 电气工程 电气工程 电气工程 电气工程 电气工程 电气工程 电气工程 电气工程 电气工程 电气工程 电气工程 电气工程 电气工程 电气工程 电气工程 电气工程 电气工程 电气工程 电气工程 电气工程 电气工程 电气工程 电气工程 电气工程 电气工程 电气工程 电气工程 电气工程 电气工程 电气工程 电气工程 电气工程 电气工程 电气工程 电气工程 电气工程 电气工程 电气工程 电气工程
19 31 24 22 22 14 19 22 16 22 8 26 28 16 11 21 12 22 14 18 11 11 21 19 20 22 15 21 18 26 19 16 17 8 18.5 11 17 21 13 24 26 12 13 23 14.5 17 20.5
105322420513755 李知宇 105322432409215 朱彩虹 105322432509397 黄禹 105322431807864 李文英 105322430405704 曹阳 105322431306820 黄超 105322360111651 熊正斌 105322431707532 吴芳榕 105322430205508 杨韬 105322351211554 祁琦 105322431407101 胡雪峰 105322432008473 李宇东 105322431707541 陈萍 105322431306824 廖玲珑 105322430301692 胡躲华 105322430301667 梁崇淦 105322422414254 张佳锐 105322141010370 任海龙 105322422014146 蒋国保
29 21 21 12 20 11 23 23 26 15 25 24 21 24 17.5 8 8 18 22.5 33
一种具有母排快速插入装置的插入式装置的壳体[实用新型专利]
专利名称:一种具有母排快速插入装置的插入式装置的壳体专利类型:实用新型专利
发明人:毛海锋,金华斌
申请号:CN201220223047.0
申请日:20120518
公开号:CN202651007U
公开日:
20130102
专利内容由知识产权出版社提供
摘要:本实用新型涉及一种具有母排快速插入装置的插入式装置的壳体,包含壳体主体、母排插入槽;所述壳体主体的端部设置有凹槽,所述母排插入槽设置在凹槽的底部,用来卡住母排;本实用新型的具有母排快速插入装置的断路器壳体,所述壳体主体的端部设置有凹槽,所述母排插入槽设置在凹槽的底部,用来卡住母排;本实用新型方案母排间紧定时可提高安装效率,而且当为了环保、节能,合理减簿联接母排厚度后可有效大幅提升联接时母排的机械强度。
申请人:苏州未来电器有限公司
地址:215144 江苏省苏州市相城区北格街道庄基村
国籍:CN
代理机构:南京众联专利代理有限公司
代理人:吕书桁
更多信息请下载全文后查看。
金华市邦特电气有限公司介绍企业发展分析报告
Enterprise Development专业品质权威Analysis Report企业发展分析报告金华市邦特电气有限公司免责声明:本报告通过对该企业公开数据进行分析生成,并不完全代表我方对该企业的意见,如有错误请及时联系;本报告出于对企业发展研究目的产生,仅供参考,在任何情况下,使用本报告所引起的一切后果,我方不承担任何责任:本报告不得用于一切商业用途,如需引用或合作,请与我方联系:金华市邦特电气有限公司1企业发展分析结果1.1 企业发展指数得分企业发展指数得分金华市邦特电气有限公司综合得分说明:企业发展指数根据企业规模、企业创新、企业风险、企业活力四个维度对企业发展情况进行评价。
该企业的综合评价得分需要您得到该公司授权后,我们将协助您分析给出。
1.2 企业画像类别内容行业空资质增值税一般纳税人产品服务、高低压电器及配件的制造、销售(除电镀等有1.3 发展历程2工商2.1工商信息2.2工商变更2.3股东结构2.4主要人员2.5分支机构2.6对外投资2.7企业年报2.8股权出质2.9动产抵押2.10司法协助2.11清算2.12注销3投融资3.1融资历史3.2投资事件3.3核心团队3.4企业业务4企业信用4.1企业信用4.2行政许可-工商局4.3行政处罚-信用中国4.4行政处罚-工商局4.5税务评级4.6税务处罚4.7经营异常4.8经营异常-工商局4.9采购不良行为4.10产品抽查4.11产品抽查-工商局4.12欠税公告4.13环保处罚4.14被执行人5司法文书5.1法律诉讼(当事人)5.2法律诉讼(相关人)5.3开庭公告5.4被执行人5.5法院公告5.6破产暂无破产数据6企业资质6.1资质许可6.2人员资质6.3产品许可6.4特殊许可7知识产权7.1商标7.2专利7.3软件著作权7.4作品著作权7.5网站备案7.6应用APP7.7微信公众号8招标中标8.1政府招标8.2政府中标8.3央企招标8.4央企中标9标准9.1国家标准9.2行业标准9.3团体标准9.4地方标准10成果奖励10.1国家奖励10.2省部奖励10.3社会奖励10.4科技成果11土地11.1大块土地出让11.2出让公告11.3土地抵押11.4地块公示11.5大企业购地11.6土地出租11.7土地结果11.8土地转让12基金12.1国家自然基金12.2国家自然基金成果12.3国家社科基金13招聘13.1招聘信息感谢阅读:感谢您耐心地阅读这份企业调查分析报告。
高压直流接触器旋转灭弧分断技术研究
现有新能源应用领域中$动力电池系统一般 为 Z-+'' Y$未来可能大幅度提升% 市场主流高 压直流接触器产品性能如表 " 所示%
表 EF市场主流高压直流接触器产品性能
产品参数
产品性能内容
厂家 型号 电流等#39;'
&,' %''
BY-,'' ,'' #''
松下 4BY1''
1'' +,'
极限分断能力 短耐能力 结构形式
& ''' 4*+,' Y
& ''' 4*1&' YZ-
1 ''' 4*+'' Y
质聚集在灭弧室腔体后部保证主腔体的洁净度 以及绝缘电阻 !&#F电气性能验证
陪试品选用额定电压 Z-$,' Y额定电流约 1'' 4试验中涉及到的时间常数为 , P=以上 指标验证过程中旋转灭弧方案采用磁吹灭弧方 式灭弧腔体内上下各布置一组栅片灭弧室排气 通道位于接触器的上部腔体
样机试验对比如表 & 所示
图 +!本方案主视图与俯视图 图 ,!磁吹灭弧与电弧路径
Copyright©博看网. All Rights Reserved.
研究与分析
电器与能效管理技术!"!#$%&'
电工电子类拟录名单
准考证号 12977010449 12977010352 12977010165 12977010394 12977010381 12977010185 12977010348 12977010191 12977010236 12977010382 12977010380 12977010004 12977010379 12977010409 12977010388 12977010355 12977010400 12977010411 12977010047 12977010069 12977010131 12977010283 12977010343 12977010345 12977010111 12977010270 12977010365 12977010361 12977010104 12977010366 12977010322 12977010419 12977010226 12977010002 12977010384 12977010458 12977010351 12977010386 12977010408 12977010308 12977010099
刘帆 赵阳 范伟伦 杨乾 张娟 易恒 杨宇 喻凯 彭广 冯志黎 朱亚红
Hale Waihona Puke 12977010448 12977010130 12977010082 12977010133 12977010248 12977010089 12977010027 12977010012 12977010282 12977010323 12977010100
直线感应电机驱动特性分析等效电路及分析方法[发明专利]
专利名称:直线感应电机驱动特性分析等效电路及分析方法专利类型:发明专利
发明人:徐伟,穆朝絮
申请号:CN201410131650.X
申请日:20140402
公开号:CN103904978A
公开日:
20140702
专利内容由知识产权出版社提供
摘要:本发明公开了一种直线感应电机驱动特性分析等效电路及分析方法。
把Maxwell方程和绕组函数法相结合,从直线感应电机初级实际绕组的分布出发,得到直线感应电机的初级绕组函数、次级基波绕组函数和次级边端效应波绕组函数。
然后根据绕组函数基本理论,分析计算出直线感应电机的等效电感、运动电势系数,并建立直线感应电机的电压和磁链方程式,进一步建立直线感应电机新型等效电路模型。
利用新型等效电路模型,对直线感应电机的稳态和动态特性进行分析。
本发明从电机的实际绕组分布情况出发,合理考虑了直线感应电机的横向边缘效应、纵向边端效应和初级半填充槽对电机电感和次级电阻的影响,可对直线感应电机的驱动特性进行准确有效的分析。
申请人:华中科技大学
地址:430074 湖北省武汉市洪山区珞喻路1037号
国籍:CN
代理机构:华中科技大学专利中心
代理人:廖盈春
更多信息请下载全文后查看。
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
附件1:文献综述火灾预警控制技术概述专业班级:电气113 姓名:周子睦学号:2011013702摘要: 火灾,作为一种自然和社会现象,给人类社会带来的巨大威胁。
现代社会,由于人口密度较大,高层建筑普及等因素,一旦发生火灾,后果要不可估量。
“预防重于救险”。
为了避免火灾的灾难性后果,火灾预警控制技术不断发展。
本文首先阐述火灾预警系统的重要性,接着通过分析国内外火灾预警系统的现状,引出其中的关键火灾预警控制技术;接着通过简单介绍不同的技术,并加以总结。
关键词:火灾;预警系统;控制技术1. 引言随着工业技术的不断发展,各类电气火灾的频繁发生,人类带来的损失是巨大的、不可估量的。
火灾预警控制技术是人们为了早期发现通报火灾,并及时采取有效措施,控制和扑灭火灾,而设置在建筑物中或其它场所的一种自动消防设施,是人们同火灾作斗争的有力工具。
火灾预警控制系统作为防范电气火灾的重要监控设备,其研究对国民经济的发展有着重要的意义[1]。
二十多年前,中国的消防报警产品刚刚起步,无论产品技术含量、产品系列完整性、使用性,还是社会影响程度都是相当低的。
随着社会和经济的发展,火灾频繁的发生,消防工作的重要性就越来越突出[2]。
由此,火灾预警装置在消防工作就的作用也尤为突出了。
我国的火灾预警控制技术经历了从无到有、从简单到复杂的发展过程,其智能化程度也越来越高。
但目前国内厂家多偏重用于大型仓库、商场、高级写字楼、宾馆等场所大型火灾报警系统的研发,他们采用集中区域报警控制方式,其系统复杂、成本较高。
而在居民住宅区、机房、办公室等小型防火单位,需要设置一种单一或区域联网、廉价实用的火灾自动探测预警装置,因此,研制一种结构简单、价格低廉的语音数字联网火灾报警器是非常必要的[3]。
2. 国内外火灾预警系统现状国外火灾预警技术以市场为导向,以应用高新技术为先导,以减少误报率、提高可靠性、灵敏度和扩大探测范围为根本目的,在开展基础理论和应用技术研究、老产品技术改造、新产品开发、标准和规范制修订、产品质量认证和检验、系统设计安装和维护、扩大应用范围和提高应用效益等方面,国外火灾预警系统从火灾探测、报警传输、信号处理、报警控制显示到与其他系统联动等都有了很大的发展[4]。
目前,国外普遍采用的火灾自动报警技术,主要有两种。
一种是非智能火灾自动报警技术,包括嫁接新技术的老式或传统火灾自动报警技术,由于成本低,能满足众多小型民用和商业防火保护需要,而被许多国家广泛应用。
另一种是代表现代化火灾自动报警技术发展水平和发展趋势的智能火灾自动报警技术(即由智能探测器做报警决策的智能火灾自动报警技术)[5]。
当前,智能火灾自动报警技术发展的一个显著特点和重要趋势是模糊逻辑和神经网络高级算法软件人工智能理论和交互技术被越来越多的智能火灾自动探测系统采用,已成为智能火灾自动报警技术中的前沿技术和核心技术[6]。
我国的火灾预警技术主要分为:感烟火灾自动预警技术;感温火灾自动预警技术;火焰自动预警技术;气体火灾自动探测技术;其他火灾预警技术;其他火灾预警技术我国目前还处在探索和研究的阶段。
感烟自动预警是通过烟雾传感器,对火灾产生的烟雾产生感应,利用单片机技术[7]。
信号之间通过A/D转换,在上位机处设置一个报警装置,从而实现感烟火灾的预警。
例如感温,火焰,气体等自动预警装备原理是差不多的,区别在于采用对应的传感器[8]。
在目前中国许多冠名以高新技术的行业中,中国企业大多做的是下游的制造和服务,分取极少一部分的利润,象消防报警产品那样又拥有自我知识产权,又拥有大量市场的行业其实是很少的。
在消防报警产品的技术含量上,国内产品和国外产品差距不是很大,许多指标已经超越,存在的问题是:类似于国外消防报警产品的大批量规模化的生产才刚起步,有待于积累经验和技术;也因此在产品一致性和长期稳定性上有一些差距;国内正在形成权重的大型企业和集团,这样可以带领国内的各家企业去冲击海外市场,并最终占领海外的消防报警市场[9]。
3. 火灾预警控制技术3.1可视化火灾预警控制技术可视化火灾预警监控系统采用总线型结构,分为中心监控平台和前端报警探测机两个部分,其网络拓扑如图1所示.图1 监控系统拓扑图中心监控平台通过RS-485网络可同时连接127台探测机,每台探测机有8个通道(探测机有8通道剩余电流、8通道温度、4通道电流并4通道温度几种型号,供现场安装时使用),即最多能同时监管1016个监控区.中心监控平台采用嵌入式平板主机来实现,其内嵌硬件看门狗,能在故障时自动复位,确保系统稳定靠的运行.当前端报警探测机发现火灾隐患后,现场发出声光报警,并将警情上传中心,并第一时间通知工作人员.这种结构在确保监控区安全的同时,也大大提高了火灾预警监控的方便性[10]。
3.2 基于CAN总线的电气火灾预警控制技术火灾预警系统设计的关键有2个,一是要实现大范围的实时监控,同时要保证监控地点的设备与值班室上位机之间快速、可靠的通信,及时让值班人员了解信息,CAN总线与一般的通信总线相比,它的数据通信具有突出的可靠性、实时性和灵活性,另外,CAN网络的有效节点高达110个,能很好地保证CAN总线监控系统的有效覆盖范围。
CAN总线具有广泛的应用领域,目前已经成为国际标准;二是对于火灾趋势预测的准确性与可靠性,尽可能的减少因误报和漏报而带来的人员恐慌。
CAN总线火灾预警系统为分散式控制系统,采用三级级联结构,由上位机,USB-CAN 转接口和CAN总线监控节点3个部分组成。
其中,上位机的主要作用是让值班人员通过上位机了解目前系统的监控情况,并对整个系统进行控制;USB-CAN转接口负责上位机与CAN网络的连接;CAN总线监控节点用于完成数据采集和部分数据分析功能,CAN网络负责上位机与CAN总线节点间信息的传递。
CAN总线网络结构的有效节点可达110个,并且还可以通过中继进行扩展,有效保证了系统的监控范围。
系统的具体结构如图3 所示。
图3 灾预警系统的结构框图CAN总线火灾预警系统运用了当今电子通信和自动化领域的先进技术,使用了SOPC 嵌入式处理系统和现场总线技术,符合我国大型建筑的火灾报警系统的要求,并且该系统克服了以往火灾报警系统的诸多缺点。
经实际测试表明,该系统具有实时性强、可靠性高以及误报、漏报率低的特点。
随着电子技术、计算机控制技术和通讯技术的逐步发展,以及电子工业产品生产成本的进一步降低,该系统在楼宇自动化、消防以及监控等领域的应用会越来越广泛[12]。
4. 总结火灾预警控制技术在国内的发展虽然不如国外火灾自动报警技术在市场开发,标准和检验技术等研究,但我国是人口大国,人口密度大,将来在火灾预警装置的应用和火灾预警控制技术的研究方面会越来越先进和大众化。
火灾预警控制技术将越趋近于智能化和网络化,例如主动采集温度,湿度,灰层,光波等数据模拟量并采用人的思维一样进行计算处理,从而准确的预报和探测火灾,避免误报和漏报现象。
参考文献[1] 洪黎明.基于单片机的电气火灾预警系统设计[J]. 中国民航机场建设集团西南分公司,2012,4:65~66.[2] 赵志强,刘瑞明.电气火灾预警技术分析[J].河北工程技术高等专科学校学报,2009,12,4:50~51.[3] 熊橙梁,马昕廖文,彭浩明,谷霖,智能电气火灾预警系统研究[J]. 长沙宽维信息技术有限公司,2012,02,45(242):19~20.[4] Maja Stula & Damir Krstinic & Ljiljana Seric, Intelligent forest fire monitoringsystem[J]. Springer Science+Business Media, LLC,2011,3,30,728~729[5] Sergio Feo-Arenis, Bernd Westphal, Daniel Dietsch,Marco Mu˜niz, and Ahmad SiyarAndisha,The Wireless Fire Alarm System:Ensuring Conformance to Industrial Standards through Formal Verification[J]. nternational Publishing Switzerland 2014, Jones, P. Pihlajasaari, and J. Sun (Eds.): FM 2014, LNCS 8442, pp.658–672,[6] 项新建,李明,波官勇.基于MSP430的电气火灾探测器设计[J].浙江科技学院,2011,2,23(1):32~33[7] 丁环,张认成,杜建华. 基于电流分析的汽车电气火灾预警方法[J]. 华侨大学机电及自动化学院,2012,11,32(3):337~338[8] 庞建莹,施云波,修德斌,米继耀,王立权.基于红外传感器的电气火灾预警系统[J].哈尔滨理工大学和工程大学,2011,3,3,64~65.[9] 陈小兵,基于MSP430的低压电气火灾预计装置设计[J].江门新会成人高等专科学校,2012,6:139~140.[10] 邱文挺,杜勇前,可视化电气火灾预警系统的设计与实现[J]. 华侨大学计算机科学与技术学院,2013,11,34(6):645~646.[11] 王万岗,马东,蒋强.电弧型电气火灾检测方法研究[J].沈阳理工大学信息与工程学院,2013,6,34(6):16~17.[12] 王彬,曾照福.基于CAN总线的电气火灾预警系统设计与实现[J].湖南科技大学,2011,12,34(12):24~26.。