CN110164082B - 家庭安防报警系统的静态控制器设计方法及系统 - Google Patents

家庭安防报警系统的静态控制器设计方法及系统 Download PDF

Info

Publication number
CN110164082B
CN110164082B CN201910544037.3A CN201910544037A CN110164082B CN 110164082 B CN110164082 B CN 110164082B CN 201910544037 A CN201910544037 A CN 201910544037A CN 110164082 B CN110164082 B CN 110164082B
Authority
CN
China
Prior art keywords
alarm system
home security
security alarm
matrix
original
Prior art date
Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
Expired - Fee Related
Application number
CN201910544037.3A
Other languages
English (en)
Other versions
CN110164082A (zh
Inventor
冯俊娥
王彪
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Shandong University
Original Assignee
Shandong University
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by Shandong University filed Critical Shandong University
Priority to CN201910544037.3A priority Critical patent/CN110164082B/zh
Publication of CN110164082A publication Critical patent/CN110164082A/zh
Application granted granted Critical
Publication of CN110164082B publication Critical patent/CN110164082B/zh
Expired - Fee Related legal-status Critical Current
Anticipated expiration legal-status Critical

Links

Images

Classifications

    • GPHYSICS
    • G08SIGNALLING
    • G08BSIGNALLING OR CALLING SYSTEMS; ORDER TELEGRAPHS; ALARM SYSTEMS
    • G08B19/00Alarms responsive to two or more different undesired or abnormal conditions, e.g. burglary and fire, abnormal temperature and abnormal rate of flow
    • G08B19/005Alarms responsive to two or more different undesired or abnormal conditions, e.g. burglary and fire, abnormal temperature and abnormal rate of flow combined burglary and fire alarm systems

Landscapes

  • Physics & Mathematics (AREA)
  • General Physics & Mathematics (AREA)
  • Alarm Systems (AREA)

Abstract

本发明公开了一种家庭安防报警系统的静态控制器设计方法及系统,该方法包括以下步骤:构建原始家庭安防报警系统和目标家庭安防报警系统的功能矩阵;利用原始家庭安防报警系统和目标家庭安防报警系统的功能矩阵,分别构建原始家庭安防报警系统和目标家庭安防报警系统的骨架矩阵;基于原始家庭安防报警系统和目标家庭安防报警系统的骨架矩阵的大小,判断原始家庭安防报警系统是否能匹配到目标家庭安防报警系统;若能,则计算原始家庭安防报警系统与目标家庭安防报警系统之间的不匹配输入状态对;寻找解决不匹配输入状态对的最短长度输入串,构造静态控制器功能矩阵,并对其进行优化。

Description

家庭安防报警系统的静态控制器设计方法及系统
技术领域
本公开涉及控制技术领域,具体涉及一种基于矩阵半张量积的家庭安防报警系统的静态控制器设计方法及系统。
背景技术
随着科技的进步,经济的发展,生活水平的提高,人们对家庭、公司、工厂、商场等生产生活环境的安全需求也在不断提升。而一个简单的家庭安防就是各方面安防的一个缩影。家庭安全涉及很多地方:防盗系统一般会安装门磁感应器、红外感应器、玻璃破碎探测器,当有非法闯入者时,监控系统终端会显示报警地点和性质;环境气体监测器(烟感探测器,煤气泄漏探测器),检测到烟气或者煤气浓度到某种程度时报警;热感探测器,通过检测监控人体温度来发送报警或者急救信号。家中若发生紧急情况(如打劫、突发疾病),触发紧急求助系统直接向外部求助。从生活习惯上对于个人家庭来说,最容易发生危险的时间往往是白天,而不是夜晚。通过安装视频监控,可实现手机远程查看现场实时视频,也可电脑远程登陆监控中心查看历史记录。
现有的家庭安防警报系统面临如下问题:
(1)根据常规需求或大量客户订制进行投产电路芯片,芯片的种类是有限的。在面临不同的环境条件或需求下,预设的芯片功能无法满足。
(2)已经使用许久的安防系统,由于其功能相对落后,相应电路芯片需要升级。但由于型号、环境等原因,完全替换掉旧设备耗时耗力,经济消耗较大。
(3)发现已经设计完成或安装完成的系统存在错误或者故障时,急需修改弥补早期的设计错误。
(4)集成电路的设计须考虑例如蓄意破坏或其它电子干扰带来的危害。在高科技设备下,干扰微电子设备(如微处理器、半导体存储器、功率晶体管等)中的敏感节点容易引起状态变化。这些干扰严重的会导致芯片功能的混乱或者电路直接无法工作甚至烧毁。
随着大规模和超大规模集成电路的日益普及,家庭安防系统作为民生所需,同时也是大规模安防系统的基础,已经是全世界关心的课题。目前,有学者提出了模型匹配方法来解决异步时序逻辑电路的临界竞争。该方法通过设计反馈控制器,使得控制器与异步时序电路构成的闭环系统的功能与理想逻辑电路的功能等价。利用类似的思路,模型匹配方法可以有效的处理电路芯片更新替换。这不仅节约成本,而且也为如何处理电子垃圾提供一种解决方案。还有学者首次将矩阵半张量积工具与自动机理论结合,解决了输入/状态异步时序机的模型匹配问题。该理论框架的建立为逻辑电路数值化分析开辟了一条新的路径。
发明人在研发过程中发现,现有的方法利用状态转移图和符号函数进行设计,计算过程繁琐,利用计算机实现非常复杂,难以验证匹配结果正确性。
发明内容
为了克服上述现有技术的不足,本公开提供了一种家庭安防报警系统的静态控制器设计方法及系统,通过建立原系统功能矩阵及目标系统功能矩阵,分析这两个矩阵之间的关系来实现静态控制器的设计。
本公开一方面提供的一种家庭安防报警系统的静态控制器设计方法的技术方案是:
一种家庭安防报警系统的静态控制器设计方法,其特征是,包括以下步骤:
构建原始家庭安防报警系统和目标家庭安防报警系统的功能矩阵;
利用原始家庭安防报警系统和目标家庭安防报警系统的功能矩阵,分别构建原始家庭安防报警系统和目标家庭安防报警系统的骨架矩阵;
基于原始家庭安防报警系统和目标家庭安防报警系统的骨架矩阵的大小,判断原始家庭安防报警系统是否能匹配到目标家庭安防报警系统;
若能,则计算原始家庭安防报警系统与目标家庭安防报警系统之间的不匹配输入状态对;
寻找解决不匹配输入状态对的最短长度输入串,构造静态控制器功能矩阵,并对其进行优化。
本公开一方面提供的一种家庭安防报警系统的静态控制器设计系统的技术方案是:
一种家庭安防报警系统的静态控制器设计系统,该系统包括:
向量化模块,用于构建原始家庭安防报警系统和目标家庭安防报警系统的功能矩阵;
匹配判断模块,用于利用原始家庭安防报警系统和目标家庭安防报警系统的功能矩阵,分别构建原始家庭安防报警系统和目标家庭安防报警系统的骨架矩阵;基于原始家庭安防报警系统和目标家庭安防报警系统的骨架矩阵的大小,判断原始家庭安防报警系统是否能匹配到目标家庭安防报警系统;
不匹配计算模块,用于计算原始家庭安防报警系统与目标家庭安防报警系统之间的不匹配输入状态对;
静态控制器设计模块,用于寻找解决不匹配输入状态对的最短长度输入串,构造静态控制器功能矩阵,并对其进行优化。
本公开一方面提供的一种计算机可读存储介质的技术方案是:
一种计算机可读存储介质,其上存储有计算机程序,其特征是,该程序被处理器执行时实现如上所述的家庭安防报警系统的静态控制器设计方法中的步骤。
本公开一方面提供的一种计算机设备的技术方案是:
一种计算机设备,包括存储器、处理器及存储在存储器上并可在处理器上运行的计算机程序,其特征是,所述处理器执行所述程序时实现如上所述的家庭安防报警系统的静态控制器设计方法中的步骤。
通过上述技术方案,本公开的有益效果是:
(1)对于数字电路来说,本公开设计的静态控制器不包含存储单元,仅仅由一些逻辑门构成,其规模更小、速度更快、造价更低廉,适用于不便于实现机器替换、内部修改、芯片功能升级的情形。
(2)从应用上来说,本公开避开了传统繁琐的符号设计,可用于计算机编程实现静态控制器设计,或者用来检测已设计控制器的正确性。
附图说明
构成本公开的一部分的说明书附图用来提供对本公开的进一步理解,本公开的示意性实施例及其说明用于解释本申请,并不构成对本公开的不当限定。
图1是实施例一家庭安防报警系统的静态控制器设计方法的流程图;
图2是实施例一的逻辑电路模型匹配原理图;
图3是实施例一的安防系统Σ的状态转移图
图4是实施例一的安防系统目标功能Σ'的状态转移图。
具体实施方式
下面结合附图与实施例对本公开作进一步说明。
应该指出,以下详细说明都是例示性的,旨在对本公开提供进一步的说明。除非另有指明,本公开使用的所有技术和科学术语具有与本公开所属技术领域的普通技术人员通常理解的相同含义。
需要注意的是,这里所使用的术语仅是为了描述具体实施方式,而非意图限制根据本申请的示例性实施方式。如在这里所使用的,除非上下文另外明确指出,否则单数形式也意图包括复数形式,此外,还应当理解的是,当在本说明书中使用术语“包含”和/或“包括”时,其指明存在特征、步骤、操作、器件、组件和/或它们的组合。
实施例一
本实施例提供一种家庭安防报警系统的静态控制器设计方法,在本实施例的控制问题中,已知原始系统功能和目标系统功能,主要考虑前置于原始系统的静态反馈控制器的设计;破门而入、破窗而入、烟雾检测、煤气检测、红外探测等看作是输入;盗窃报警、急救、火警等看作是不同等级的安防报警状态;静态控制器依据当前输入和当前系统状态生成输出,实现原始系统对不同环境的改造与适应。因此在本实施例中,假设原始家庭安防报警系统和目标家庭安防报警系统的功能设定是已知的。
请参阅附图1,所述家庭安防报警系统的静态控制器的设计方法包括以下步骤:
S101,对原始家庭安防报警系统Σ和目标家庭安防报警系统Σ'向量化处理,主要包括输入字符、状态字符向量化,功能转换图转化为功能矩阵表示形式。
假设输入字符集有U={u1,u2,...,um},状态字符集有X={x1,x2,...,xn}。记号
Figure BDA0002103448050000051
代表m阶单位矩阵的第j列向量;
Figure BDA0002103448050000061
代表n阶单位矩阵的第i列向量。识别各个字符为
Figure BDA0002103448050000062
Figure BDA0002103448050000063
按照如下方式写出原始家庭安防报警系统Σ的功能矩阵F=[F1,F2,...,Fm]∈Rn×mn,其表达式为:
Figure BDA0002103448050000064
其中,Fj(p,q)为矩阵Fj中(p,q)位置的元素,xp,xq∈X,为原始家庭安防报警系统的两个状态,属于状态集X。
同理,依照上述步骤,可得目标家庭安防报警系统Σ'的功能矩阵F'。
S102,基于原始家庭安防报警系统Σ和目标家庭安防报警系统Σ'的功能矩阵,确定原始家庭安防报警系统是否具有匹配目标家庭安防报警系统的能力。
具体地,确定原始家庭安防报警系统是否具有匹配目标家庭安防报警系统的能力的方法为:
利用原始家庭安防报警系统Σ的功能矩阵F,构建原始家庭安防报警系统Σ的骨架矩阵R(Σ);利用目标家庭安防报警系统Σ'的功能矩阵F',构建目标家庭安防报警系统Σ'的骨架矩阵R(Σ');
判断原始家庭安防报警系统Σ的骨架矩阵R(Σ)与目标家庭安防报警系统Σ'的骨架矩阵R(Σ')的大小是否满足如下不等式:
Figure BDA0002103448050000065
其中
Figure BDA0002103448050000066
原始家庭安防报警系统Σ的功能矩阵F=[F1,F2,...,Fm]∈Rn×mn;F'为目标家庭安防报警系统Σ'的功能矩阵;1m为m个1构成的列向量;r为幂数。
若原始家庭安防报警系统Σ的骨架矩阵R(Σ)大于等于目标家庭安防报警系统Σ'的骨架矩阵R(Σ'),则原始家庭安防报警系统具有匹配目标家庭安防报警系统的能力;若原始家庭安防报警系统Σ的骨架矩阵R(Σ)小于目标家庭安防报警系统Σ'的骨架矩阵R(Σ'),则原始家庭安防报警系统不具有匹配目标家庭安防报警系统的能力。
S103,计算原始家庭安防报警系统Σ和目标家庭安防报警系统Σ'所有不匹配输入状态对。
逻辑电路模型匹配原理图如图2所示,模型匹配方法可以有效的处理电路芯片更新替换。
具体地,所有不匹配输入状态对可由公式(2)计算得出:
Figure BDA0002103448050000071
其中,v为不匹配输入状态对中的输入字符;Im为m阶单位矩阵;
Figure BDA0002103448050000072
为mn阶单位矩阵的第j列项;x为不匹配输入状态对中的状态字符;In为n阶单位矩阵;
Figure BDA0002103448050000073
Figure BDA0002103448050000074
为n阶零列向量。
S104,寻找解决不匹配输入状态对的输入串。
假设稳态
Figure BDA0002103448050000075
能达稳态
Figure BDA0002103448050000076
寻找解决不匹配输入状态对的合理输入串的具体实现方式如下:
S104-1,构造信息矩阵
Figure BDA0002103448050000077
其中
Figure BDA0002103448050000078
的结构如下:
Figure BDA0002103448050000079
其中,F为原始家庭安防报警系统的功能矩阵,1m=[1,1,...,1]T为m个1构成的列向量;In为n阶单位矩阵;
Figure BDA00021034480500000710
为mn阶单位矩阵的第q列向量。
S104-2,对r=1,2,...,n-1,计算集合:
Figure BDA0002103448050000081
其中,Mr表示r个矩阵M在半张量积意义下相乘,M(r)表示r个矩阵M在广义半张量积意义下相乘。
对于n阶集合方阵M,其广义半张量积*定义如下:
Figure BDA0002103448050000082
S104-3,对
Figure BDA0002103448050000083
Figure BDA0002103448050000084
S104-4,对每个e∈Jr,取
Figure BDA0002103448050000085
其中,
Figure BDA0002103448050000086
的目的是为获得输入串e中的第r个字符;
则所有r长度的输入串如下:
{e|e=u(r)u(r-1)…u(1),u(p)∈U(p)}
其中,u(r)为输入串中第r个字符。
S105,基于最短理想输入串设计并优化静态控制器的功能矩阵。
具体地,静态控制器的最优设计方法如下:
S105-1,假设原始家庭安防报警系统Σ和目标家庭安防报警系统Σ'的所有不匹配输入状态对为:
Figure BDA0002103448050000087
其中,kj是输入
Figure BDA0002103448050000088
下不匹配输入状态对的数量。
S105-2,取i=1,计算不匹配状态字符
Figure BDA0002103448050000089
到理想状态字符
Figure BDA00021034480500000810
所需输入串最短长度。
具体地,不匹配状态
Figure BDA00021034480500000811
到理想状态
Figure BDA00021034480500000812
所需输入串最短长度的计算方法为:
Figure BDA0002103448050000091
其中,r'为最短长度;
Figure BDA0002103448050000092
为不匹配状态字符;F为原始家庭安防报警系统的功能矩阵;1m为m个1构成的列向量;F'为目标家庭安防报警系统的功能矩阵;
Figure BDA0002103448050000093
为m阶单位矩阵的第j列向量。
S105-3,对于最短长度r=r',r'+1,...,n-1,依据上述步骤104寻找最短长度输入串。
S105-4,若i=kj,那么进入105-5;否则,将i替换为i+1进入步骤105-2;
S105-5,依据从步骤105-2到105-4所获得的数据如下:
Figure BDA0002103448050000094
其中Ci说明可解决不匹配输入状态对
Figure BDA0002103448050000095
的输入串有ri个。
构造静态控制器功能矩阵为
Figure BDA0002103448050000096
控制模块
Figure BDA0002103448050000097
如下:
对于
Figure BDA0002103448050000098
Figure BDA0002103448050000099
对于k=1,取
Figure BDA00021034480500000910
x∈Σ(u1,x),
对于k=2,3,...,r,取
Figure BDA00021034480500000911
其中Σ(u,x)={(Fu)ix|i=0,1,...,n-1}表示原始家庭安防报警系统Σ从状态x到次稳态所经过状态的集合;Fc为静态控制器的功能矩阵;
Figure BDA00021034480500000912
为m阶单位矩阵的第j列向量;uk为输入字符。
S105-6,优化控制器功能矩阵
Figure BDA00021034480500000913
具体地,控制器功能矩阵
Figure BDA00021034480500000914
的优化方法为:
取满足
Figure BDA00021034480500000915
及非零列最少的
Figure BDA00021034480500000916
可利用得到静态控制器实现目标家庭安防报警。
实验与仿真
将本实施例提出的家庭安防报警系统的静态控制器的设计方法应用到一个简单的家庭安防报警系统。该简单的家庭安防报警系统Σ的说明及功能如表1和图3所示。输入字符u1,u2,u4分别表示潜在的可发生危险的地方:车库、房门、卧室。当某个故障警报发生时,户主可以通过输入字符u3重置系统到初始状态x1。状态x2,x3,x4是三种警报状态,状态x2和x4为高级警报并自动向监控中心发送求助,状态x2和x4的设计是为了预防盗贼、烟感探测、煤气泄露等,从而不允许被重置。假设该家庭安防报警系统需要应用到另外一个环境,目标家庭安防报警系统是实现图4中所示的功能。
表1各状态输入字符说明
状态 输入
x<sub>1</sub> 正常 u<sub>1</sub> 非法闯入
x<sub>2</sub> 高级警报 u<sub>2</sub> 非法闯入
x<sub>3</sub> 警报 u<sub>3</sub> 重置
x<sub>4</sub> 高级警报 u<sub>4</sub> 非法闯入
经过简单的计算,可得家庭安防报警系统Σ的功能矩阵,稳态功能矩阵及家庭安防报警系统Σ'的功能矩阵分别为:
F=δ4[2,3,3,0,3,0,4,4,1,0,1,0,2,2,4,4],
Figure BDA0002103448050000101
F'=δ4[3,3,3,0,4,0,4,4,1,0,1,0,2,2,2,0]。
由此可知原始家庭安防报警系统Σ和目标家庭安防报警系统Σ'的骨架矩阵为:
Figure BDA0002103448050000111
Figure BDA0002103448050000112
这确保了此例的模型匹配问题是可能解决的。下面分析静态控制器是否存在。
可找到原系统与目标系统之间存在一个不匹配输入状态对集合
Figure BDA0002103448050000113
通过输入串寻找算法可得输入串
Figure BDA0002103448050000114
因此可得静态控制器的功能矩阵为:
Fc=δ4[1,1,1,0,2,0,2,2,3,0,3,0,4,4,3,0]。
再利用半张量积工具,可得静态控制器C的配置,本实施例将其功能展示如表2,其中符号函数u1=fc(u1,x2)表示静态控制器C接收到外部输入u1和系统反馈的状态x2后,发送给系统u1。其他符号函数的含义是类似的。-=fc(u2,x2)表示静态控制器在矫正过程中不会遇见(u2,x2)。该静态控制器由11个工作结点组成。
表2静态控制器设计
Figure BDA0002103448050000115
Figure BDA0002103448050000121
对于数字电路来说,本实施例设计的静态控制器不包含存储单元,仅仅由一些逻辑门构成,其规模更小、速度更快、造价更低廉,适用于不便于实现机器替换、内部修改、芯片功能升级的情形。从应用上来说,本实施例避开了传统繁琐的符号设计,可用于计算机编程实现静态控制器设计,或者用来检测已设计控制器的正确性。
实施例二
本实施例提供一种家庭安防报警系统的静态控制器设计系统,该系统包括:
向量化模块,用于构建原始家庭安防报警系统和目标家庭安防报警系统的功能矩阵;
匹配判断模块,用于利用原始家庭安防报警系统和目标家庭安防报警系统的功能矩阵,分别构建原始家庭安防报警系统和目标家庭安防报警系统的骨架矩阵;基于原始家庭安防报警系统和目标家庭安防报警系统的骨架矩阵的大小,判断原始家庭安防报警系统是否能匹配到目标家庭安防报警系统;
不匹配计算模块,用于计算原始家庭安防报警系统与目标家庭安防报警系统之间的不匹配输入状态对;
静态控制器设计模块,用于寻找解决不匹配输入状态对的最短长度输入串,构造静态控制器功能矩阵,并对其进行优化。
实施例三
本实施例提供一种计算机可读存储介质,其上存储有计算机程序,该程序被处理器执行时实现如权图1所示的家庭安防报警系统的静态控制器设计方法中的步骤。
实施例四
本实施例提供一种计算机设备,包括存储器、处理器及存储在存储器上并可在处理器上运行的计算机程序,所述处理器执行所述程序时实现如图1所示的家庭安防报警系统的静态控制器设计方法中的步骤。
本领域内的技术人员应明白,本公开的实施例可提供为方法、系统、或计算机程序产品。因此,本公开可采用硬件实施例、软件实施例、或结合软件和硬件方面的实施例的形式。而且,本公开可采用在一个或多个其中包含有计算机可用程序代码的计算机可用存储介质(包括但不限于磁盘存储器和光学存储器等)上实施的计算机程序产品的形式。
上述虽然结合附图对本公开的具体实施方式进行了描述,但并非对本公开保护范围的限制,所属领域技术人员应该明白,在本公开的技术方案的基础上,本领域技术人员不需要付出创造性劳动即可做出的各种修改或变形仍在本公开的保护范围以内。

Claims (5)

1.一种家庭安防报警系统的静态控制器设计方法,其特征是,包括以下步骤:
构建原始家庭安防报警系统和目标家庭安防报警系统的功能矩阵:获取家庭安防报警系统的输入字符和状态字符,形成家庭安防报警系统的输入字符集和状态字符集;将家庭安防报警系统的输入字符集和状态字符集中各个字符进行向量化处理;根据家庭安防报警系统的输入字符向量与状态字符向量关系,得到家庭安防报警系统各个功能模块的值;基于家庭安防报警系统各个功能模块的值,构建家庭安防报警系统的功能矩阵;
利用原始家庭安防报警系统和目标家庭安防报警系统的功能矩阵,分别构建原始家庭安防报警系统和目标家庭安防报警系统的骨架矩阵,所述原始家庭安防报警系统和目标家庭安防报警系统的骨架矩阵的表达式分别为
Figure FDA0002725898260000011
Figure FDA0002725898260000012
其中,R(Σ)为原始家庭安防报警系统的骨架矩阵;F为原始家庭安防报警系统的功能矩阵,F=[F1,F2,...,Fm];
Figure FDA0002725898260000013
R(Σ')为目标家庭安防报警系统的骨架矩阵;F'为目标家庭安防报警系统的功能矩阵;1m为m个1构成的列向量;
基于原始家庭安防报警系统和目标家庭安防报警系统的骨架矩阵的大小,判断原始家庭安防报警系统是否能匹配到目标家庭安防报警系统:若原始家庭安防报警系统的骨架矩阵R(Σ)大于等于目标家庭安防报警系统的骨架矩阵R(Σ'),则原始家庭安防报警系统具有匹配目标家庭安防报警系统的能力;若原始家庭安防报警系统的骨架矩阵R(Σ)小于目标家庭安防报警系统的骨架矩阵R(Σ'),则原始家庭安防报警系统不具有匹配目标家庭安防报警系统的能力;
若能,则计算原始家庭安防报警系统与目标家庭安防报警系统之间的不匹配输入状态对:
Figure FDA0002725898260000021
其中,v为不匹配对中输入字符;Im为m阶单位矩阵;
Figure FDA0002725898260000022
为mn阶单位矩阵的第j列;x为不匹配对中状态字符;In为n阶单位矩阵;
Figure FDA0002725898260000023
Figure FDA0002725898260000024
Figure FDA0002725898260000025
为n阶零列向量;1n为n个1构成的列向量,
Figure FDA0002725898260000026
表示1n的转置,即,n个1构成的行向量;
寻找解决不匹配输入状态对的最短长度输入串,构造静态控制器功能矩阵,并对其进行优化;
所述寻找解决不匹配输入状态对的最短长度输入串的步骤包括:
计算不匹配输入状态对到理想状态所需输入串最短长度r';
构造信息矩阵
Figure FDA0002725898260000027
对于最短长度r=r',r'+1,...,n-1,计算集合:
Figure FDA0002725898260000028
其中,Mr表示r个矩阵M在半张量积意义下相乘,M(r)表示r个矩阵M在广义半张量积意义下相乘;
Figure FDA0002725898260000029
Figure FDA00027258982600000210
1≤p≤m;
对每个e∈Jr,取
Figure FDA00027258982600000211
则所有最短长度r的输入串为:{e|e=u(r)u(r-1)…u(1),u(p)∈U(p)};
所述静态控制器功能矩阵为
Figure FDA0002725898260000031
控制模块
Figure FDA0002725898260000032
如下:
对于
Figure FDA0002725898260000033
Figure FDA0002725898260000034
对于k=1,取
Figure FDA0002725898260000035
x∈Σ(u1,x),
对于k=2,3,...,r,取
Figure FDA0002725898260000036
其中,Σ(u,x)={(Fu)ix|i=0,1,...,n-1}表示原始家庭安防报警系统从状态x到次稳态所经过状态的集合;
Figure FDA0002725898260000037
为m阶单位矩阵的第j列向量;uk为静态控制器生成的输出字符,即,受控的原始家庭安防报警系统的输入字符;F为原始家庭安防报警系统的功能矩阵,F=[F1,F2,...,Fm];
Figure FDA0002725898260000038
所述对控制器功能矩阵进行优化的方法为:取满足
Figure FDA0002725898260000039
及非零列最少的
Figure FDA00027258982600000310
2.根据权利要求1所述的家庭安防报警系统的静态控制器设计方法,其特征是,所述不匹配输入状态对到理想状态所需输入串最短长度的计算方法为:
Figure FDA00027258982600000311
其中,r'为最短长度;
Figure FDA00027258982600000312
为不匹配对中状态字符对中状态字符;F为原始家庭安防报警系统的功能矩阵,F=[F1,F2,...,Fm];
Figure FDA00027258982600000313
1m为m个1构成的列向量;F'为目标家庭安防报警系统的功能矩阵;
Figure FDA00027258982600000314
为m阶单位矩阵的第j列向量。
3.一种家庭安防报警系统的静态控制器设计系统,其特征是,包括:
向量化模块,用于构建原始家庭安防报警系统和目标家庭安防报警系统的功能矩阵:获取家庭安防报警系统的输入字符和状态字符,形成家庭安防报警系统的输入字符集和状态字符集;将家庭安防报警系统的输入字符集和状态字符集中各个字符进行向量化处理;根据家庭安防报警系统的输入字符向量与状态字符向量关系,得到家庭安防报警系统各个功能模块的值;基于家庭安防报警系统各个功能模块的值,构建家庭安防报警系统的功能矩阵;
匹配判断模块,用于利用原始家庭安防报警系统和目标家庭安防报警系统的功能矩阵,分别构建原始家庭安防报警系统和目标家庭安防报警系统的骨架矩阵;基于原始家庭安防报警系统和目标家庭安防报警系统的骨架矩阵的大小,判断原始家庭安防报警系统是否能匹配到目标家庭安防报警系统:若原始家庭安防报警系统的骨架矩阵R(Σ)大于等于目标家庭安防报警系统的骨架矩阵R(Σ'),则原始家庭安防报警系统具有匹配目标家庭安防报警系统的能力;若原始家庭安防报警系统的骨架矩阵R(Σ)小于目标家庭安防报警系统的骨架矩阵R(Σ'),则原始家庭安防报警系统不具有匹配目标家庭安防报警系统的能力;所述原始家庭安防报警系统和目标家庭安防报警系统的骨架矩阵的表达式分别为
Figure FDA0002725898260000041
Figure FDA0002725898260000042
其中,R(Σ)为原始家庭安防报警系统的骨架矩阵;F为原始家庭安防报警系统的功能矩阵,F=[F1,F2,...,Fm];
Figure FDA0002725898260000043
R(Σ')为目标家庭安防报警系统的骨架矩阵;F'为目标家庭安防报警系统的功能矩阵;1m为m个1构成的列向量;
不匹配计算模块,用于计算原始家庭安防报警系统与目标家庭安防报警系统之间的不匹配输入状态对:
Figure FDA0002725898260000044
其中,v为不匹配对中输入字符;Im为m阶单位矩阵;
Figure FDA0002725898260000051
为mn阶单位矩阵的第j列;x为不匹配对中状态字符;In为n阶单位矩阵;
Figure FDA0002725898260000052
Figure FDA0002725898260000053
Figure FDA0002725898260000054
为n阶零列向量;1n为n个1构成的列向量,
Figure FDA0002725898260000055
表示1n的转置,即,n个1构成的行向量;
静态控制器设计模块,用于寻找解决不匹配输入状态对的最短长度输入串,构造静态控制器功能矩阵,并对其进行优化;
所述寻找解决不匹配输入状态对的最短长度输入串的步骤包括:
计算不匹配输入状态对到理想状态所需输入串最短长度r';
构造信息矩阵
Figure FDA0002725898260000056
对于最短长度r=r',r'+1,...,n-1,计算集合:
Figure FDA0002725898260000057
其中,Mr表示r个矩阵M在半张量积意义下相乘,M(r)表示r个矩阵M在广义半张量积意义下相乘;
Figure FDA0002725898260000058
Figure FDA0002725898260000059
1≤p≤m;
对每个e∈Jr,取
Figure FDA00027258982600000510
则所有最短长度r的输入串为:{e|e=u(r)u(r-1)…u(1),u(p)∈U(p)};
所述静态控制器功能矩阵为
Figure FDA00027258982600000511
控制模块
Figure FDA00027258982600000512
如下:
对于
Figure FDA00027258982600000513
Figure FDA00027258982600000514
对于k=1,取
Figure FDA00027258982600000515
x∈Σ(u1,x),
对于k=2,3,...,r,取
Figure FDA00027258982600000516
其中,Σ(u,x)={(Fu)ix|i=0,1,...,n-1}表示原始家庭安防报警系统从状态x到次稳态所经过状态的集合;
Figure FDA0002725898260000061
为m阶单位矩阵的第j列向量;uk为静态控制器生成的输出字符,即,受控的原始家庭安防报警系统的输入字符;F为原始家庭安防报警系统的功能矩阵,F=[F1,F2,...,Fm];
Figure FDA0002725898260000062
所述对控制器功能矩阵进行优化的方法为:取满足
Figure FDA0002725898260000063
及非零列最少的
Figure FDA0002725898260000064
4.一种计算机可读存储介质,其上存储有计算机程序,其特征在于,该程序被处理器执行时实现如权利要求1-2中任一项所述的家庭安防报警系统的静态控制器设计方法中的步骤。
5.一种计算机设备,包括存储器、处理器及存储在存储器上并可在处理器上运行的计算机程序,其特征在于,所述处理器执行所述程序时实现如权利要求1-2中任一项所述的家庭安防报警系统的静态控制器设计方法中的步骤。
CN201910544037.3A 2019-06-21 2019-06-21 家庭安防报警系统的静态控制器设计方法及系统 Expired - Fee Related CN110164082B (zh)

Priority Applications (1)

Application Number Priority Date Filing Date Title
CN201910544037.3A CN110164082B (zh) 2019-06-21 2019-06-21 家庭安防报警系统的静态控制器设计方法及系统

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
CN201910544037.3A CN110164082B (zh) 2019-06-21 2019-06-21 家庭安防报警系统的静态控制器设计方法及系统

Publications (2)

Publication Number Publication Date
CN110164082A CN110164082A (zh) 2019-08-23
CN110164082B true CN110164082B (zh) 2021-01-15

Family

ID=67626537

Family Applications (1)

Application Number Title Priority Date Filing Date
CN201910544037.3A Expired - Fee Related CN110164082B (zh) 2019-06-21 2019-06-21 家庭安防报警系统的静态控制器设计方法及系统

Country Status (1)

Country Link
CN (1) CN110164082B (zh)

Citations (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN101288090A (zh) * 2004-10-18 2008-10-15 曼萨特隆-Ip有限公司 对主题系统的动作施加
CN109285306A (zh) * 2018-09-28 2019-01-29 平安科技(深圳)有限公司 家庭安防方法及装置、终端与计算机可读存储介质

Family Cites Families (4)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JP2009032280A (ja) * 2008-09-25 2009-02-12 Sanyo Electric Co Ltd 監視コントローラ
CN102589092B (zh) * 2012-03-12 2014-06-18 山东建筑大学 基于新型模糊控制器的室内环境热舒适度控制方法
KR101705996B1 (ko) * 2015-11-26 2017-02-13 성균관대학교산학협력단 자바스크립트 소스 코드를 최적화하기 위한 자바스크립트 소스 코드 정적 분석 장치 및 방법
CN109739084B (zh) * 2018-12-11 2022-08-23 曲阜师范大学 系统滑模抗干扰模型获取方法、系统、控制器、控制方法

Patent Citations (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN101288090A (zh) * 2004-10-18 2008-10-15 曼萨特隆-Ip有限公司 对主题系统的动作施加
CN109285306A (zh) * 2018-09-28 2019-01-29 平安科技(深圳)有限公司 家庭安防方法及装置、终端与计算机可读存储介质

Non-Patent Citations (1)

* Cited by examiner, † Cited by third party
Title
"Reachability and state reconvery for input/state switched asynchronous sequential machines";S.Lee等;《Proceedings of 2015 European Control Conference》;20151231;1890-1895页 *

Also Published As

Publication number Publication date
CN110164082A (zh) 2019-08-23

Similar Documents

Publication Publication Date Title
US10733536B2 (en) Population-based learning with deep belief networks
Wang et al. Association rules mining based analysis of consequential alarm sequences in chemical processes
US9429960B2 (en) Integrated information framework for automated performance analysis of heating, ventilation, and air conditioning (HVAC) systems
Zhu et al. Event‐triggered control for the stabilization of probabilistic Boolean control networks
WO2017177018A1 (en) A mobile phone with system failure prediction using long short-term memory neural networks
US20150248556A1 (en) Firmware Disassembly System
Shen et al. Data‐Driven Cybersecurity Knowledge Graph Construction for Industrial Control System Security
Mansouri et al. Metaheuristic neural networks for anomaly recognition in industrial sensor networks with packet latency and jitter for smart infrastructures
Wang et al. Matrix approach to model matching of composite asynchronous sequential machines
Reis et al. Incorporation of process-specific structure in statistical process monitoring: A review
WO2021057053A1 (zh) 一种智能家居物联网系统受攻击安全验证的方法和装置
US20210117371A1 (en) Methods and devices for reducing array size and complexity in automata processors
Pacella* et al. Adaptive resonance theory-based neural algorithms for manufacturing process quality control
US20230267028A1 (en) Method and system for root cause identification of faults in manufacturing and process industries
Capacho et al. Alarm management via temporal pattern learning
Feng et al. Adaptive LII-RMPLS based data-driven process monitoring scheme for quality-relevant fault detection
CN110164082B (zh) 家庭安防报警系统的静态控制器设计方法及系统
CN105183659A (zh) 基于多级模式预测的软件系统行为异常检测方法
Cui et al. Shocks models with damage effect evolutions following Markov processes
Nashivochnikov et al. The system for operational monitoring and analytics of industry cyber-physical systems security in fuel and energy domains based on anomaly detection and prediction methods
Kusiak et al. Sensor fault detection in power plants
Wu et al. A novel unknown input observer‐based fault detection with application to a two‐stage chemical reactor
Koh Metadata Models and Methods for Smart Buildings
Zhang et al. LstFcFedLear: A LSTM‐FC with Vertical Federated Learning Network for Fault Prediction
Ji et al. Data preprocessing method and fault diagnosis based on evaluation function of information contribution degree

Legal Events

Date Code Title Description
PB01 Publication
PB01 Publication
SE01 Entry into force of request for substantive examination
SE01 Entry into force of request for substantive examination
GR01 Patent grant
GR01 Patent grant
CF01 Termination of patent right due to non-payment of annual fee
CF01 Termination of patent right due to non-payment of annual fee

Granted publication date: 20210115