CN111563036A - 功能逻辑判断方法、装置、智能设备和存储介质 - Google Patents

功能逻辑判断方法、装置、智能设备和存储介质 Download PDF

Info

Publication number
CN111563036A
CN111563036A CN202010339553.5A CN202010339553A CN111563036A CN 111563036 A CN111563036 A CN 111563036A CN 202010339553 A CN202010339553 A CN 202010339553A CN 111563036 A CN111563036 A CN 111563036A
Authority
CN
China
Prior art keywords
function
identifier
logic
activation request
state information
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.)
Granted
Application number
CN202010339553.5A
Other languages
English (en)
Other versions
CN111563036B (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.)
Gree Electric Appliances Inc of Zhuhai
Zhuhai Lianyun Technology Co Ltd
Original Assignee
Gree Electric Appliances Inc of Zhuhai
Zhuhai Lianyun Technology Co Ltd
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 Gree Electric Appliances Inc of Zhuhai, Zhuhai Lianyun Technology Co Ltd filed Critical Gree Electric Appliances Inc of Zhuhai
Priority to CN202010339553.5A priority Critical patent/CN111563036B/zh
Publication of CN111563036A publication Critical patent/CN111563036A/zh
Application granted granted Critical
Publication of CN111563036B publication Critical patent/CN111563036B/zh
Active legal-status Critical Current
Anticipated expiration legal-status Critical

Links

Images

Classifications

    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00Error detection; Error correction; Monitoring
    • G06F11/36Preventing errors by testing or debugging software
    • G06F11/3668Software testing
    • G06F11/3672Test management

Abstract

本申请涉及一种功能逻辑判断方法、装置、计算机设备和存储介质。所述方法包括:接收用于激活智能设备的当前功能的激活请求,所述激活请求携带所述当前功能的功能标识;当所述智能设备的功能中存在状态为开启的功能时,获取状态为开启的功能对应的功能标识,得到第一功能标识;根据逻辑规范、所述当前功能的功能标识和所述第一功能标识,判断所述激活请求是否合理,所述逻辑规范中包含所述智能设备各个功能之间的逻辑关系。根据逻辑规范自动判断当前功能的功能标识与正在运行中的功能是否为互斥关系,无需针对每个智能设备需求对应功能之间的互斥逻辑关系进行单独的代码编辑,提高了开发效率。

Description

功能逻辑判断方法、装置、智能设备和存储介质
技术领域
本申请涉及信息技术领域,尤其涉及一种功能逻辑判断方法、装置、智能设备和存储介质。
背景技术
目前页面开发现状为:由各技术部门提出产品需求,后端管理人员根据产品需求进行页面开发和产品调试,在对产品需求进行页面开发的过程中,需要进行代码编写每个产品需求对应功能之间的互斥逻辑关系,后端管理人员的工作量较大,且易存在编写错误的情况,当后端管理人员在代码编写过程中出现失误时,需要通过测试才能发现代码中的错误,根据测试结果进行修改和重新测试的反复调试过程,确保功能之间的互斥逻辑关系准确无误,导致页面开发效率较低。
发明内容
为了解决页面开发效率较低的技术问题,本申请提供了一种功能逻辑判断方法、装置、智能设备和存储介质。
第一方面,本申请提供了一种功能逻辑判断方法,包括:
接收用于激活智能设备的当前功能的激活请求,所述激活请求携带所述当前功能的功能标识;
当所述智能设备的功能中存在状态为开启的功能时,获取状态为开启的功能对应的功能标识,得到第一功能标识;
根据逻辑规范、所述当前功能的功能标识和所述第一功能标识,判断所述激活请求是否合理,所述逻辑规范中包含所述智能设备各个功能之间的逻辑关系。
可选地,所述方法还包括:
当所述激活请求合理时,响应所述激活请求;
当所述激活请求不合理时,禁止响应所述激活请求。
可选地,所述根据逻辑规范、所述当前功能的功能标识和所述第一功能标识,判断所述激活请求是否合理,包括:
通过所述逻辑规范,查询所述当前功能的功能标识和所述第一功能标识中的每个功能标识是否互斥;
当所述当前功能的功能标识和所述第一功能标识中的至少一个功能标识互斥时,判定所述激活请求不合理;
当所述当前功能的功能标识和所述第一功能标识中的每个功能标识都不互斥时,判定所述激活请求合理。
可选地,生成所述逻辑规范,包括:
获取所述智能设备的各个功能标识及对应的状态信息,以及各个功能之间的互斥关系,所述智能设备包括至少两个相互互斥的功能;
输入任意两个不同的功能标识和对应的状态信息,至互斥逻辑模型中,根据所述互斥逻辑模型中的互斥算法,生成任意两个不同功能标识之间的逻辑规范。
可选地,所述状态信息包括开启和关闭,所述逻辑规范包括第一规范和第二规范,所述输入任意两个不同的功能标识和对应的状态信息,至互斥逻辑模型中,根据所述互斥逻辑模型中的互斥算法,生成任意两个不同功能标识之间的逻辑规范,包括:
获取任意两个不同的功能标识及对应的状态信息,分别作为第一参考标识和第二参考标识;
当所述第一参考标识的状态信息为关闭时,根据所述第一参考标识生成第一激活请求;
判断所述第二参考标识的状态信息是否为开启;
当所述第二参考标识的状态信息为关闭时,生成用于响应所述第一激活请求的第一规范;
当第二参考标识的状态信息为开启时,生成用于禁止响应所述第一激活请求的第二规范。
可选地,所述获取同一智能设备的各个功能标识及对应的状态信息,包括:
接收用户在界面上选取的所述智能设备的各个功能标识及对应的状态信息;和/或
接收用户在界面上输入的所述智能设备的各个功能标识及对应的状态信息。
第二方面,本实施例提供了一种功能逻辑判断装置,所述装置包括:
请求接收模块,用于接收用于激活智能设备的当前功能的激活请求,所述激活请求携带所述当前功能的功能标识;
状态检测模块,用于当所述智能设备的功能中存在状态为开启的功能时,获取状态为开启的功能对应的功能标识,得到第一功能标识;
激活判断模块,用于根据逻辑规范、所述当前功能的功能标识和所述第一功能标识,判断所述激活请求是否合理,所述逻辑规范中包含所述智能设备各个功能之间的逻辑关系。
可选地,所述装置还包括:
关系获取模块,用于获取所述智能设备的各个功能标识及对应的状态信息,以及各个功能之间的互斥关系,所述智能设备包括至少两个相互互斥的功能;
规范生成模块,用于输入任意两个不同的功能标识和对应的状态信息,至互斥逻辑模型中,根据所述互斥逻辑模型中的互斥算法,生成任意两个不同功能标识之间的逻辑规范。
一种计算机设备,包括存储器、处理器及存储在存储器上并可在处理器上运行的计算机程序,所述处理器执行所述计算机程序时实现以下步骤:
接收用于激活智能设备的当前功能的激活请求,所述激活请求携带所述当前功能的功能标识;
当所述智能设备的功能中存在状态为开启的功能时,获取状态为开启的功能对应的功能标识,得到第一功能标识;
根据逻辑规范、所述当前功能的功能标识和所述第一功能标识,判断所述激活请求是否合理,所述逻辑规范中包含所述智能设备各个功能之间的逻辑关系。
一种计算机可读存储介质,其上存储有计算机程序,所述计算机程序被处理器执行时实现以下步骤:
接收用于激活智能设备的当前功能的激活请求,所述激活请求携带所述当前功能的功能标识;
当所述智能设备的功能中存在状态为开启的功能时,获取状态为开启的功能对应的功能标识,得到第一功能标识;
根据逻辑规范、所述当前功能的功能标识和所述第一功能标识,判断所述激活请求是否合理,所述逻辑规范中包含所述智能设备各个功能之间的逻辑关系。
上述功能逻辑判断方法、装置、计算机设备和存储介质,所述方法包括:接收用于激活智能设备的当前功能的激活请求,所述激活请求携带所述当前功能的功能标识;当所述智能设备的功能中存在状态为开启的功能时,获取状态为开启的功能对应的功能标识,得到第一功能标识;根据逻辑规范、所述当前功能的功能标识和所述第一功能标识,判断所述激活请求是否合理,所述逻辑规范中包含所述智能设备各个功能之间的逻辑关系。根据逻辑规范自动判断当前功能的功能标识与正在运行中的功能是否为互斥关系,无需针对每个智能设备需求对应功能之间的互斥逻辑关系进行单独的代码编辑,提高了开发效率。
附图说明
此处的附图被并入说明书中并构成本说明书的一部分,示出了符合本发明的实施例,并与说明书一起用于解释本发明的原理。
为了更清楚地说明本发明实施例或现有技术中的技术方案,下面将对实施例或现有技术描述中所需要使用的附图作简单地介绍,显而易见地,对于本领域普通技术人员而言,在不付出创造性劳动性的前提下,还可以根据这些附图获得其他的附图。
图1为一个实施例中功能逻辑判断方法的流程示意图;
图2为一个实施例中一种配置页面示意图;
图3为一个实施例中一种配置页面示意图;
图4为一个实施例中功能逻辑判断装置的结构框图;
图5为一个实施例中计算机设备的内部结构图。
具体实施方式
为使本申请实施例的目的、技术方案和优点更加清楚,下面将结合本申请实施例中的附图,对本申请实施例中的技术方案进行清楚、完整地描述,显然,所描述的实施例是本申请的一部分实施例,而不是全部的实施例。基于本申请中的实施例,本领域普通技术人员在没有做出创造性劳动的前提下所获得的所有其他实施例,都属于本申请保护的范围。
在一个实施例中,功能逻辑判断方法的执行主体为逻辑控制单元,逻辑控制单元可以设置在智能设备所在的局域网中,如设置在网关中或者局域网服务器中;逻辑控制单元也可以设置在用于控制智能设备的控制设备中,如设置在遥控器、移动终端等设备中,移动终端具体可以手机、平板电脑、笔记本电脑等中的至少一种;逻辑控制单元还可以设置在云平台中。智能设备处于逻辑控制单元所在的环境,或者接入逻辑控制单元所在的局域网或者云平台,就可以实现本实施例的功能逻辑判断方法。
图1为一个实施例中功能逻辑判断方法的流程示意图,参照图1,提供了一种功能逻辑判断方法。本实施例主要以该方法应用于逻辑控制单元来举例说明,该功能逻辑判断方法具体包括如下步骤:
步骤S110,接收用于激活智能设备的当前功能的激活请求,激活请求携带当前功能的功能标识。
在本实施例中,逻辑控制单元可以控制至少一个智能设备,智能设备包括至少两个功能,当前功能对应关闭状态下的功能,功能标识包括功能参数和智能设备信息,功能参数可以为开关机、温度、风速、音量、音乐、模式等,智能设备信息与智能设备一一对应,智能设备信息可以为智能设备的识别编码,根据智能设备信息确定当前功能的功能标识对应的智能设备。
步骤S120,当智能设备的功能中存在状态为开启的功能时,获取状态为开启的功能对应的功能标识,得到第一功能标识。
在本实施例中,逻辑控制单元获取智能设备的运行信息,根据智能设备的运行信息确定同一智能设备中,状态为开启的功能及对应的功能标识,第一功能标识包括至少一个状态为开启的功能对应的功能标识。
步骤S130,根据逻辑规范、当前功能的功能标识和第一功能标识,判断激活请求是否合理,逻辑规范中包含智能设备各个功能之间的逻辑关系。
在本实施例中,逻辑规范基于智能设备的功能需求生成,逻辑规范包含至少一个智能设备的各个功能之间的相互关系,根据激活请求携带的功能标识确定智能设备和对应的第一功能标识。通过逻辑规范,查询智能设备的当前功能与第一功能标识对应功能之间的逻辑关系,逻辑关系包括互斥和兼容,根据逻辑关系判断激活请求是否合理。
根据逻辑关系确定当前功能的激活请求合理时,响应激活请求。
根据逻辑关系确定当前功能的激活请求不合理时,禁止响应激活请求。
根据逻辑规范自动判断当前功能的功能标识与正在运行中的功能是否为互斥关系,确定功能之间的关系,使智能设备保持单一功能进程运行,无需针对每个智能设备需求对应功能之间的互斥逻辑关系进行单独的代码编辑,提高了开发效率。
例如获取到温度的激活请求,即想要进行温度参数调节的请求,通过该激活请求可确定智能设备为空调,功能参数为温度,此时空调的风速调节功能处于开启状态,即风速调节的进程处于运行中,根据逻辑规范查询温度与风速的逻辑关系是否互斥,确定温度与风速的逻辑关系为互斥,则禁止响应温度调节的请求。
在一个实施例中,通过逻辑规范,查询当前功能的功能标识和第一功能标识中的每个功能标识是否互斥;当当前功能的功能标识和第一功能标识中的至少一个功能标识互斥时,判定激活请求不合理;当当前功能的功能标识和第一功能标识中的每个功能标识都不互斥时,判定激活请求合理。
具体地,在逻辑规范中查询当前功能的功能标识和第一功能标识中每个功能标识之间的关系,即判断当前功能与第一功能标识中的每个功能是否互斥,第一功能标识中的各个功能之间的关系为兼容,查询确定当前功能与第一功能标识中至少一个功能互斥,则判定当前功能的激活请求不合理,无法在第一功能标识的功能为开启状态下开启当前功能。查询确定当前功能与第一功能标识中的功能都兼容时,当前功能的激活请求合理,允许开启当前功能。
在一个实施例中,获取智能设备的各个功能标识及对应的状态信息,以及各个功能之间的互斥关系,智能设备包括至少两个相互互斥的功能;输入任意两个不同的功能标识和对应的状态信息,至互斥逻辑模型中,根据互斥逻辑模型中的互斥算法,生成任意两个不同功能标识之间的逻辑规范。
具体地,互斥逻辑模型基于互斥算法生成,互斥算法可以具体为Dekker算法、Lamport算法或Maekawa算法等。本实施例采用Dekker算法,输入两个互斥的功能标识及对应的状态信息,至互斥逻辑模型中,生成对应的逻辑规范,逻辑规范为两个功能标识对应功能之间,状态变化请求执行与否的依据。
在一个实施例中,状态信息包括开启和关闭,逻辑规范包括第一规范和第二规范,获取任意两个不同的功能标识及对应的状态信息,分别作为第一参考标识和第二参考标识;当第一参考标识的状态信息为关闭时,根据第一参考标识生成第一激活请求;判断第二参考标识的状态信息是否为开启;当第二参考标识的状态信息为关闭时,生成用于响应第一激活请求的第一规范;当第二参考标识的状态信息为开启时,生成用于禁止响应第一激活请求的第二规范。
具体地,获取智能设备任意两个不同的功能标识及对应的状态信息,分别作为第一参考标识和第二参考标识,当第一参考标识对应的功能处于关闭状态,发出第一激活请求时,根据第二参考标识的状态信息确定是否响应第一激活请求,根据响应与否生成对应的第一规范和第二规范。第一规范包括响应第一激活请求,即开启第一参考标识对应的功能,等第一参考标识对应的功能执行完毕后,再判断是否检测到第二参考标识对应的功能发出的第二激活请求,若检测到第二激活请求,响应第二激活请求,开启第二参考标识对应的功能。
第二规范包括禁止响应第一激活请求,并实时检测第二参考功能的状态是否为关闭,当第二参考功能的状态为关闭时,则响应第一激活请求。
依照第一规范和第二规范组成的逻辑规范,判断当前功能与第一功能标识之间的逻辑关系,并决定是否响应当前功能的激活请求。
在一个实施例中,接收用户在界面上选取的智能设备的各个功能标识及对应的状态信息;和/或接收用户在界面上输入的智能设备的各个功能标识及对应的状态信息。
具体地,智能设备的各个功能标识即对应的状态信息可以源于预先配置的,如在将配置的数据存储在服务器或终端,界面上展示功能标识和对应的状态信息,用户从界面上提供的功能标识中进行按需选择,和/或用户自定义输入智能设备的各个功能标识及对应的状态信息,将选择的功能标识及对应的状态信息、和/或用户自定义输入的功能标识及对应的状态信息输入至逻辑控制单元,用户对应页面开发的需求方。在逻辑控制单元内,基于获取的功能标识及对应的状态信息生成逻辑规范。无需人为手动进行代码编写每个智能设备需求对应功能之间的互斥逻辑关系,提高了页面的开发效率。页面可以具体为逻辑控制单元执行上述逻辑判断方法对应的显示界面,例如搭载在控制设备上的应用软件。
在一个具体的实施例中,采用上述功能逻辑判断方法之前,还包括:生成页面,其中,页面可以具体为逻辑控制单元执行上述逻辑判断方法对应的显示界面,例如搭载在控制设备上的应用软件。
在一个实施例中,图2为一个实施例中一种配置页面示意图,参照图2,图2中的配置页面对应获取智能设备的各个功能标识及对应的状态信息的执行内容,图2中品类对应智能设备的种类,如冰箱、洗衣机、空调、扫地机等。品牌对应生产销售智能设备的商标名称。产品名称包括智能设备的规格,如2公斤的洗衣机或双开门的冰箱等。产品型号对应具体产品的销售型号,通过配置页面再配置逻辑控制单元与智能设备之间的配网方式,如在配置页面中选择设备类型、通讯方式、是否休眠、对接方式等。其中,智能设备的产品名称和产品型号可通过用户自己输入。
图3为一个实施例中一种配置页面示意图,参照图3,图3中的配置页面对应获取智能设备的各个功能标识及状态信息的执行内容,图中对应的智能设备为空调,用户在配置页面中自定义各个功能标识之间的逻辑关系,逻辑控制单元接收用户配置好的逻辑关系,并生成逻辑规范,逻辑规范用于保证智能设备的各个功能的进程之间为互斥关系。
图1为一个实施例中功能逻辑判断方法的流程示意图。应该理解的是,虽然图1的流程图中的各个步骤按照箭头的指示依次显示,但是这些步骤并不是必然按照箭头指示的顺序依次执行。除非本文中有明确的说明,这些步骤的执行并没有严格的顺序限制,这些步骤可以以其它的顺序执行。而且,图1中的至少一部分步骤可以包括多个子步骤或者多个阶段,这些子步骤或者阶段并不必然是在同一时刻执行完成,而是可以在不同的时刻执行,这些子步骤或者阶段的执行顺序也不必然是依次进行,而是可以与其它步骤或者其它步骤的子步骤或者阶段的至少一部分轮流或者交替地执行。
在一个实施例中,图4为一个实施例中功能逻辑判断装置的结构框图,如图4所示,提供了一种功能逻辑判断装置,装置包括:
请求接收模块210,用于接收用于激活智能设备的当前功能的激活请求,激活请求携带当前功能的功能标识;
状态检测模块220,用于当智能设备的功能中存在状态为开启的功能时,获取状态为开启的功能对应的功能标识,得到第一功能标识;
激活判断模块230,用于根据逻辑规范、当前功能的功能标识和第一功能标识,判断激活请求是否合理,逻辑规范中包含智能设备各个功能之间的逻辑关系。
在一个实施例中,装置包括:
响应模块,用于当激活请求合理时,响应激活请求;
禁止模块,用于当激活请求不合理时,禁止响应激活请求。
在一个实施例中,激活判断模块230包括:
查询单元,用于通过逻辑规范,查询当前功能的功能标识和第一功能标识中的每个功能标识是否互斥;
禁止单元,用于当当前功能的功能标识和第一功能标识中的至少一个功能标识互斥时,判定激活请求不合理;
响应单元,用于当当前功能的功能标识和第一功能标识中的每个功能标识都不互斥时,判定激活请求合理。
在一个实施例中,装置还包括:
关系获取模块,用于获取智能设备的各个功能标识及对应的状态信息,以及各个功能之间的互斥关系,智能设备包括至少两个相互互斥的功能;
规范生成模块,用于输入任意两个不同的功能标识和对应的状态信息,至互斥逻辑模型中,根据互斥逻辑模型中的互斥算法,生成任意两个不同功能标识之间的逻辑规范。
在一个实施例中,状态信息包括开启和关闭,逻辑规范包括第一规范和第二规范,规范生成模块包括:
选取单元,用于获取任意两个不同的功能标识及对应的状态信息,分别作为第一参考标识和第二参考标识;
请求单元,用于当第一参考标识的状态信息为关闭时,根据第一参考标识生成第一激活请求;
状态监测单元,用于判断第二参考标识的状态信息是否为开启;
第一规范生成单元,用于当第二参考标识的状态信息为关闭时,生成用于响应第一激活请求的第一规范;
第二规范生成单元,用于当第二参考标识的状态信息为开启时,生成用于禁止响应第一激活请求的第二规范。
在一个实施例中,关系获取模块包括:
关系获取单元,用于接收用户在界面上选取的智能设备的各个功能标识及对应的状态信息;和/或接收用户在界面上输入的智能设备的各个功能标识及对应的状态信息。
图5示出了一个实施例中计算机设备的内部结构图。该计算机设备具体可以是逻辑控制单元。如图5所示,该计算机设备包括该计算机设备包括通过系统总线连接的处理器、存储器、网络接口、输入装置和显示屏。其中,存储器包括非易失性存储介质和内存储器。该计算机设备的非易失性存储介质存储有操作系统,还可存储有计算机程序,该计算机程序被处理器执行时,可使得处理器实现功能逻辑判断方法。该内存储器中也可储存有计算机程序,该计算机程序被处理器执行时,可使得处理器执行功能逻辑判断方法。计算机设备的显示屏可以是液晶显示屏或者电子墨水显示屏,计算机设备的输入装置可以是显示屏上覆盖的触摸层,也可以是计算机设备外壳上设置的按键、轨迹球或触控板,还可以是外接的键盘、触控板或鼠标等。
本领域技术人员可以理解,图5中示出的结构,仅仅是与本申请方案相关的部分结构的框图,并不构成对本申请方案所应用于其上的计算机设备的限定,具体的计算机设备可以包括比图中所示更多或更少的部件,或者组合某些部件,或者具有不同的部件布置。
在一个实施例中,本申请提供的功能逻辑判断装置可以实现为一种计算机程序的形式,计算机程序可在如图5所示的计算机设备上运行。计算机设备的存储器中可存储组成该功能逻辑判断装置的各个程序模块,比如,图4所示的请求接收模块210、状态检测模块220和激活判断模块230。各个程序模块构成的计算机程序使得处理器执行本说明书中描述的本申请各个实施例的功能逻辑判断方法中的步骤。
图5所示的计算机设备可以通过如图4所示的功能逻辑判断装置中的请求接收模块210执行接收用于激活智能设备的当前功能的激活请求,激活请求携带当前功能的功能标识。计算机设备可通过状态检测模块220执行当智能设备的功能中存在状态为开启的功能时,获取状态为开启的功能对应的功能标识,得到第一功能标识。计算机设备可通过激活判断模块230执行根据逻辑规范、当前功能的功能标识和第一功能标识,判断激活请求是否合理,逻辑规范中包含智能设备各个功能之间的逻辑关系。
在一个实施例中,提供了一种计算机设备,包括存储器、处理器及存储在存储器上并可在处理器上运行的计算机程序,处理器执行计算机程序时实现以下步骤:接收用于激活智能设备的当前功能的激活请求,激活请求携带当前功能的功能标识;当智能设备的功能中存在状态为开启的功能时,获取状态为开启的功能对应的功能标识,得到第一功能标识;根据逻辑规范、当前功能的功能标识和第一功能标识,判断激活请求是否合理,逻辑规范中包含智能设备各个功能之间的逻辑关系。
在一个实施例中,处理器执行计算机程序时还实现以下步骤:当激活请求合理时,响应激活请求;当激活请求不合理时,禁止响应激活请求。
在一个实施例中,处理器执行计算机程序时还实现以下步骤:通过逻辑规范,查询当前功能的功能标识和第一功能标识中的每个功能标识是否互斥;当当前功能的功能标识和第一功能标识中的至少一个功能标识互斥时,判定激活请求不合理;当当前功能的功能标识和第一功能标识中的每个功能标识都不互斥时,判定激活请求合理。
在一个实施例中,处理器执行计算机程序时还实现以下步骤:获取智能设备的各个功能标识及对应的状态信息,以及各个功能之间的互斥关系,智能设备包括至少两个相互互斥的功能;输入任意两个不同的功能标识和对应的状态信息,至互斥逻辑模型中,根据互斥逻辑模型中的互斥算法,生成任意两个不同功能标识之间的逻辑规范。
在一个实施例中,处理器执行计算机程序时还实现以下步骤:获取任意两个不同的功能标识及对应的状态信息,分别作为第一参考标识和第二参考标识;当第一参考标识的状态信息为关闭时,根据第一参考标识生成第一激活请求;判断第二参考标识的状态信息是否为开启;当第二参考标识的状态信息为关闭时,生成用于响应第一激活请求的第一规范;当第二参考标识的状态信息为开启时,生成用于禁止响应第一激活请求的第二规范。
在一个实施例中,处理器执行计算机程序时还实现以下步骤:接收用户在界面上选取的智能设备的各个功能标识及对应的状态信息;和/或接收用户在界面上输入的智能设备的各个功能标识及对应的状态信息。
在一个实施例中,提供了一种计算机可读存储介质,其上存储有计算机程序,计算机程序被处理器执行时实现以下步骤:接收用于激活智能设备的当前功能的激活请求,激活请求携带当前功能的功能标识;当智能设备的功能中存在状态为开启的功能时,获取状态为开启的功能对应的功能标识,得到第一功能标识;根据逻辑规范、当前功能的功能标识和第一功能标识,判断激活请求是否合理,逻辑规范中包含智能设备各个功能之间的逻辑关系。
在一个实施例中,计算机程序被处理器执行时还实现以下步骤:当激活请求合理时,响应激活请求;当激活请求不合理时,禁止响应激活请求。
在一个实施例中,计算机程序被处理器执行时还实现以下步骤:通过逻辑规范,查询当前功能的功能标识和第一功能标识中的每个功能标识是否互斥;当当前功能的功能标识和第一功能标识中的至少一个功能标识互斥时,判定激活请求不合理;当当前功能的功能标识和第一功能标识中的每个功能标识都不互斥时,判定激活请求合理。
在一个实施例中,计算机程序被处理器执行时还实现以下步骤:获取智能设备的各个功能标识及对应的状态信息,以及各个功能之间的互斥关系,智能设备包括至少两个相互互斥的功能;输入任意两个不同的功能标识和对应的状态信息,至互斥逻辑模型中,根据互斥逻辑模型中的互斥算法,生成任意两个不同功能标识之间的逻辑规范。
在一个实施例中,计算机程序被处理器执行时还实现以下步骤:获取任意两个不同的功能标识及对应的状态信息,分别作为第一参考标识和第二参考标识;当第一参考标识的状态信息为关闭时,根据第一参考标识生成第一激活请求;判断第二参考标识的状态信息是否为开启;当第二参考标识的状态信息为关闭时,生成用于响应第一激活请求的第一规范;当第二参考标识的状态信息为开启时,生成用于禁止响应第一激活请求的第二规范。
在一个实施例中,计算机程序被处理器执行时还实现以下步骤:接收用户在界面上选取的智能设备的各个功能标识及对应的状态信息;和/或接收用户在界面上输入的智能设备的各个功能标识及对应的状态信息。
本领域普通技术人员可以理解实现上述实施例方法中的全部或部分流程,是可以通过计算机程序来指令相关的硬件来完成,的程序可存储于一非易失性计算机可读取存储介质中,该程序在执行时,可包括如上述各方法的实施例的流程。其中,本申请所提供的各实施例中所使用的对存储器、存储、数据库或其它介质的任何引用,均可包括非易失性和/或易失性存储器。非易失性存储器可包括只读存储器(ROM)、可编程ROM(PROM)、电可编程ROM(EPROM)、电可擦除可编程ROM(EEPROM)或闪存。易失性存储器可包括随机存取存储器(RAM)或者外部高速缓冲存储器。作为说明而非局限,RAM以多种形式可得,诸如静态RAM(SRAM)、动态RAM(DRAM)、同步DRAM(SDRAM)、双数据率SDRAM(DDRSDRAM)、增强型SDRAM(ESDRAM)、同步链路(Synchlink)DRAM(SLDRAM)、存储器总线(Rambus)直接RAM(RDRAM)、直接存储器总线动态RAM(DRDRAM)、以及存储器总线动态RAM(RDRAM)等。
需要说明的是,在本文中,诸如“第一”和“第二”等之类的关系术语仅仅用来将一个实体或者操作与另一个实体或操作区分开来,而不一定要求或者暗示这些实体或操作之间存在任何这种实际的关系或者顺序。而且,术语“包括”、“包含”或者其任何其他变体意在涵盖非排他性的包含,从而使得包括一系列要素的过程、方法、物品或者智能设备不仅包括那些要素,而且还包括没有明确列出的其他要素,或者是还包括为这种过程、方法、物品或者智能设备所固有的要素。在没有更多限制的情况下,由语句“包括一个……”限定的要素,并不排除在包括要素的过程、方法、物品或者智能设备中还存在另外的相同要素。
以上所述仅是本发明的具体实施方式,使本领域技术人员能够理解或实现本发明。对这些实施例的多种修改对本领域的技术人员来说将是显而易见的,本文中所定义的一般原理可以在不脱离本发明的精神或范围的情况下,在其它实施例中实现。因此,本发明将不会被限制于本文所示的这些实施例,而是要符合与本文所申请的原理和新颖特点相一致的最宽的范围。

Claims (10)

1.一种功能逻辑判断方法,其特征在于,所述方法包括:
接收用于激活智能设备的当前功能的激活请求,所述激活请求携带所述当前功能的功能标识;
当所述智能设备的功能中存在状态为开启的功能时,获取状态为开启的功能对应的功能标识,得到第一功能标识;
根据逻辑规范、所述当前功能的功能标识和所述第一功能标识,判断所述激活请求是否合理,所述逻辑规范中包含所述智能设备各个功能之间的逻辑关系。
2.根据权利要求1所述的方法,其特征在于,所述方法还包括:
当所述激活请求合理时,响应所述激活请求;
当所述激活请求不合理时,禁止响应所述激活请求。
3.根据权利要求1所述的方法,其特征在于,所述根据逻辑规范、所述当前功能的功能标识和所述第一功能标识,判断所述激活请求是否合理,包括:
通过所述逻辑规范,查询所述当前功能的功能标识和所述第一功能标识中的每个功能标识是否互斥;
当所述当前功能的功能标识和所述第一功能标识中的至少一个功能标识互斥时,判定所述激活请求不合理;
当所述当前功能的功能标识和所述第一功能标识中的每个功能标识都不互斥时,判定所述激活请求合理。
4.根据权利要求1所述的方法,其特征在于,生成所述逻辑规范,包括:
获取所述智能设备的各个功能标识及对应的状态信息,以及各个功能之间的互斥关系,所述智能设备包括至少两个相互互斥的功能;
输入任意两个不同的功能标识和对应的状态信息,至互斥逻辑模型中,根据所述互斥逻辑模型中的互斥算法,生成任意两个不同功能标识之间的逻辑规范。
5.根据权利要求4所述的方法,其特征在于,所述状态信息包括开启和关闭,所述逻辑规范包括第一规范和第二规范,所述输入任意两个不同的功能标识和对应的状态信息,至互斥逻辑模型中,根据所述互斥逻辑模型中的互斥算法,生成任意两个不同功能标识之间的逻辑规范,包括:
获取任意两个不同的功能标识及对应的状态信息,分别作为第一参考标识和第二参考标识;
当所述第一参考标识的状态信息为关闭时,根据所述第一参考标识生成第一激活请求;
判断所述第二参考标识的状态信息是否为开启;
当所述第二参考标识的状态信息为关闭时,生成用于响应所述第一激活请求的第一规范;
当第二参考标识的状态信息为开启时,生成用于禁止响应所述第一激活请求的第二规范。
6.根据权利要求4所述的方法,其特征在于,所述获取同一智能设备的各个功能标识及对应的状态信息,包括:
接收用户在界面上选取的所述智能设备的各个功能标识及对应的状态信息;和/或
接收用户在界面上输入的所述智能设备的各个功能标识及对应的状态信息。
7.一种功能逻辑判断装置,其特征在于,所述装置包括:
请求接收模块,用于接收用于激活智能设备的当前功能的激活请求,所述激活请求携带所述当前功能的功能标识;
状态检测模块,用于当所述智能设备的功能中存在状态为开启的功能时,获取状态为开启的功能对应的功能标识,得到第一功能标识;
激活判断模块,用于根据逻辑规范、所述当前功能的功能标识和所述第一功能标识,判断所述激活请求是否合理,所述逻辑规范中包含所述智能设备各个功能之间的逻辑关系。
8.根据权利要求7所述的装置,其特征在于,所述装置还包括:
关系获取模块,用于获取所述智能设备的各个功能标识及对应的状态信息,以及各个功能之间的互斥关系,所述智能设备包括至少两个相互互斥的功能;
规范生成模块,用于输入任意两个不同的功能标识和对应的状态信息,至互斥逻辑模型中,根据所述互斥逻辑模型中的互斥算法,生成任意两个不同功能标识之间的逻辑规范。
9.一种计算机设备,包括存储器、处理器及存储在存储器上并可在处理器上运行的计算机程序,其特征在于,所述处理器执行所述计算机程序时实现权利要求1至7中任一项所述方法的步骤。
10.一种计算机可读存储介质,其上存储有计算机程序,其特征在于,所述计算机程序被处理器执行时实现权利要求1至7中任一项所述的方法的步骤。
CN202010339553.5A 2020-04-26 2020-04-26 功能逻辑判断方法、装置、智能设备和存储介质 Active CN111563036B (zh)

Priority Applications (1)

Application Number Priority Date Filing Date Title
CN202010339553.5A CN111563036B (zh) 2020-04-26 2020-04-26 功能逻辑判断方法、装置、智能设备和存储介质

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
CN202010339553.5A CN111563036B (zh) 2020-04-26 2020-04-26 功能逻辑判断方法、装置、智能设备和存储介质

Publications (2)

Publication Number Publication Date
CN111563036A true CN111563036A (zh) 2020-08-21
CN111563036B CN111563036B (zh) 2021-07-20

Family

ID=72074392

Family Applications (1)

Application Number Title Priority Date Filing Date
CN202010339553.5A Active CN111563036B (zh) 2020-04-26 2020-04-26 功能逻辑判断方法、装置、智能设备和存储介质

Country Status (1)

Country Link
CN (1) CN111563036B (zh)

Cited By (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN112130725A (zh) * 2020-09-24 2020-12-25 中国第一汽车股份有限公司 一种界面显示管理方法、装置、电子设备和存储介质

Citations (6)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN101765112A (zh) * 2009-12-22 2010-06-30 中国联合网络通信集团有限公司 增值业务互斥鉴权方法与装置
US8615484B2 (en) * 2006-08-28 2013-12-24 Manyworlds, Inc. Relationship-based people matching system and method
US20140229922A1 (en) * 2011-03-11 2014-08-14 Oracle International Corporation Efficient model checking technique for finding software defects
CN105516782A (zh) * 2015-12-10 2016-04-20 四川长虹电器股份有限公司 Android系统智能电视悬浮界面互斥功能的实现方法及系统
CN110688172A (zh) * 2019-09-27 2020-01-14 南京博联智能科技有限公司 设备功能互斥逻辑配置方法、装置、电子设备及存储介质
CN110943862A (zh) * 2019-11-26 2020-03-31 北京达佳互联信息技术有限公司 互斥业务判断方法、装置、电子设备及存储介质

Patent Citations (6)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US8615484B2 (en) * 2006-08-28 2013-12-24 Manyworlds, Inc. Relationship-based people matching system and method
CN101765112A (zh) * 2009-12-22 2010-06-30 中国联合网络通信集团有限公司 增值业务互斥鉴权方法与装置
US20140229922A1 (en) * 2011-03-11 2014-08-14 Oracle International Corporation Efficient model checking technique for finding software defects
CN105516782A (zh) * 2015-12-10 2016-04-20 四川长虹电器股份有限公司 Android系统智能电视悬浮界面互斥功能的实现方法及系统
CN110688172A (zh) * 2019-09-27 2020-01-14 南京博联智能科技有限公司 设备功能互斥逻辑配置方法、装置、电子设备及存储介质
CN110943862A (zh) * 2019-11-26 2020-03-31 北京达佳互联信息技术有限公司 互斥业务判断方法、装置、电子设备及存储介质

Non-Patent Citations (1)

* Cited by examiner, † Cited by third party
Title
WZNING0421: "Dekker互斥算法解析", 《CSDN博客 HTTPS://BLOG.CSDN.NET/HANZHEN7541/ARTICLE/DETAILS/101001257》 *

Cited By (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN112130725A (zh) * 2020-09-24 2020-12-25 中国第一汽车股份有限公司 一种界面显示管理方法、装置、电子设备和存储介质

Also Published As

Publication number Publication date
CN111563036B (zh) 2021-07-20

Similar Documents

Publication Publication Date Title
CN111596965B (zh) 项目工程初始化方法、装置、计算机设备和存储介质
CN108595919B (zh) 软件激活方法、装置、系统和存储介质
CN101533481B (zh) 掩膜智能卡的功能扩展方法
CN112612214B (zh) 用于功能界面生成的方法、系统和电子设备
CN110781214A (zh) 数据库读写方法、装置、计算机设备和存储介质
CN106648787A (zh) 一种资源更新的方法及终端
CN111428166A (zh) 页面配置方法、页面元素替换方法、装置、设备及介质
JP2017514218A (ja) サードパーティアプリケーションの実行
CA3139243A1 (en) Information collection method, device, computer equipment and storage medium
CN109597979B (zh) 清单表格生成方法、装置、计算机设备和存储介质
CN111563036B (zh) 功能逻辑判断方法、装置、智能设备和存储介质
CN115167831A (zh) 基于autosar的软件集成方法、设备和使用方法
CN111857777A (zh) 基于双芯智能电表的系统更新方法、装置和计算机设备
CN108241516B (zh) 嵌入式系统程序加载方法、装置、计算机设备和存储介质
CN112835808A (zh) 接口测试方法、装置、计算机设备及存储介质
CN105812414A (zh) Vnf的部署方法和设备
CN109542962B (zh) 数据处理方法、装置、计算机设备和存储介质
CN113672263B (zh) 固件参数更新控制方法、装置及电子设备
CN111949529B (zh) 系统调试方法、装置、计算机设备和存储介质
CN107491316A (zh) 基板管理控制器的扩展方法、装置及电子设备
CN106569408B (zh) 一种智能设备的个性化信息的处理系统、方法及装置
CN111414236A (zh) Cpu和内存的在线调整方法、装置和虚拟电子设备
CN110324410A (zh) 发起网页请求的方法、装置、计算机设备和存储介质
CN111158998A (zh) 一种埋点数据的显示方法及装置
CN111090442A (zh) 一种应用更新方法、装置和存储介质

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