Looking for breakthrough ideas for innovation challenges? Try Patsnap Eureka!

Smart home linear sequential logic protocol generation method and device

A linear sequential logic, smart home technology, applied in natural language translation and other directions, can solve problems such as less attention to formal specification generation

Active Publication Date: 2020-01-17
NANJING UNIV
View PDF4 Cites 2 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

Existing research mainly focuses on how to model and verify system behavior, but less attention is paid to the input of model checking, that is, the generation of formal specifications

Method used

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
View more

Image

Smart Image Click on the blue labels to locate them in the text.
Viewing Examples
Smart Image
  • Smart home linear sequential logic protocol generation method and device
  • Smart home linear sequential logic protocol generation method and device
  • Smart home linear sequential logic protocol generation method and device

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0053] The present invention will be described in further detail below in conjunction with the accompanying drawings.

[0054]The method for generating the smart home linear sequential logic statute of the present invention comprises the following five steps:

[0055] S1: get data;

[0056] S2: term replacement;

[0057] S3: generate a syntax analysis tree;

[0058] S4: The syntax analysis tree is converted into a natural semantic logic clause tree;

[0059] S5: Traverse the natural semantic logic clause tree to generate a linear temporal logic specification.

[0060] In step S1, the data in the data acquisition step consists of five parts, namely domain knowledge vocabulary, semantic translation template, protocol translation template, smart home device description information, and natural language requirement text. Among them, the domain knowledge vocabulary, semantic translation template, and protocol translation template are pre-set by this method; the smart home devic...

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to View More

PUM

No PUM Login to View More

Abstract

The invention discloses a method and a device for generating a linear sequential logic protocol by smart home, which are used for converting a natural language demand text input by a user into the linear sequential logic protocol in the field of smart home. The method comprises the following steps: firstly, preprocessing an input natural language text; then generating a grammar analysis tree and agrammar dependency relationship by using a natural language processing technology; recognizing each clause in the sentence, and a subject, a predicate, an object, a Boolean operator, a condition variable and a time sequence operator in each clause to generate a tree-shaped intermediate representation form; and finally, traversing the tree structure, and automatically generating a corresponding linear sequential logic protocol. According to the invention, the problem that a common smart home user is difficult to directly provide a formalized protocol is solved, the time and the labor cost areeffectively saved, and the defects of the existing smart home Internet of Things verification system can be overcome, so that the natural language demand proposed by the common user without professional knowledge can be automatically verified.

Description

technical field [0001] The invention relates to the automatic generation of a linear sequential logic specification in the field of intelligent home furnishing. Background technique [0002] The rapid development and popularization of smart home technologies and devices are changing people's lives. Many IoT platforms (such as IFTTT, Apple HomeKit, etc.) provide ordinary smart home users with services to build home automation, and connect multiple smart devices by writing rules. Household equipment and meet the complex needs of users. While this technology brings convenience, it also introduces some security risks. A wide variety of smart devices are connected together through complex user-defined rules, resulting in unpredictable behavior of the system, and users cannot know whether the customized smart home system can correctly meet their needs during operation. And some incorrect rules or uncertain chain reactions may even lead to safety accidents, so it is very necessar...

Claims

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to View More

Application Information

Patent Timeline
no application Login to View More
IPC IPC(8): G06F40/42
CPCY02P90/02
Inventor 卜磊翟娟张时雨张秋萍赵建华李宣东
Owner NANJING UNIV
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Patsnap Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Patsnap Eureka Blog
Learn More
PatSnap group products

Browse by: Latest US Patents, China's latest patents, Technical Efficacy Thesaurus, Application Domain, Technology Topic, Popular Technical Reports.

© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap|About US| Contact US: help@patsnap.com