【摘 要】
：
智能家居赋予家庭设备以智能,受到用户的广泛欢迎.由于用户需求不同,服务提供商采用“触发-动作”编程(TAP)模式以支持用户定制规则.然而,现在TAP编程和智能家居执行引擎中流行的Event-State时序范式极易出错,且难以修改规则和追踪运行错误.对TAP缺陷的原因进行系统分析之后,提出一种编写和修改难度较低、且能够检测规则运行异常的方案,记为SSRules.SSRules允许用户以一种改进的State-State时序范式输入规则,并基于Z3定理证明器将其翻译为Event-State时序范式,且为开源智能
【机 构】
：
中国科学技术大学 计算机科学与技术学院 下一代移动计算与数据创新实验室,安徽 合肥 230027;中国科学院 无线光电通信重点实验室,安徽 合肥 230027
论文部分内容阅读
智能家居赋予家庭设备以智能,受到用户的广泛欢迎.由于用户需求不同,服务提供商采用“触发-动作”编程(TAP)模式以支持用户定制规则.然而,现在TAP编程和智能家居执行引擎中流行的Event-State时序范式极易出错,且难以修改规则和追踪运行错误.对TAP缺陷的原因进行系统分析之后,提出一种编写和修改难度较低、且能够检测规则运行异常的方案,记为SSRules.SSRules允许用户以一种改进的State-State时序范式输入规则,并基于Z3定理证明器将其翻译为Event-State时序范式,且为开源智能家居系统Home Assistant所接受的规则输入.考虑到智能家居需要实时掌握设备的动态,SSRules引入了运行时子系统获取实体状态信息,并对规则执行有效性检查.最后,基于Unity3D开发了智能家居模拟器HA-Simulator.测试结果表明:SSRules与传统方法相比表达简洁,规则数目平均减少60％左右,且能够及时检测瞬时异常并记录原因,更易被用户理解和使用.
其他文献
随着现代体育事业高速发展,对体育训练的针对性、科学性及合理性提出了更高的要求.传统以经验为依据的体育训练方法已经无法适应新时代体育发展新形势,呈现出明显的滞后性与局限性.基于此,本文探讨了体育运动训练及计算机技术,分析了适用于体育运动训练的计算机辅助系统,研究了计算机技术在体育运动训练中的应用.
为了满足计算机网络的科学发展,需要强化计算机网络安全技术的应用,做到对安全问题的科学处理.目前,有很多不法分子想要利用计算机网络获取高额的利益,因此在当前的计算机网络中,安全管理尤为重要,急需进行问题的解决与优化.数据加密技术是计算机网络安全管理中的关键技术,通过该技术应用能够满足计算机网络安全管理的要求.基于此,本文针对数据加密技术在计算机网络安全中的应用进行分析,仅供参考.
数据资源对于互联网发展而言至关重要,并且体现出重大潜在价值,对数据进行深层次挖掘,能够全面推动互联网发展.社交网络在现阶段社会发展中得到广泛普及,与传统网络运用模式相比较,社交网络用户存在较强主体性特点,同时具备数据内容多元化、用户联系紧密、信息传递高速等优势.本文从用户特征角度分析社交网络数据挖掘(以下简称“数据挖掘”),以供参考.
针对互联网时代面临的通过人工对海量新闻进行分类较为困难的问题,本文通过贝叶斯、RidgeClassifier和fastText这三种分类器进行新闻文本分类,分析比较了这三种分类器对新闻文本分类的效果.实验结果表明,三种分类器均可以实现新闻文本分类的任务,其中fastText方法在匿名新闻文本分类问题中各方面性能指标最优,本文从算法理论上分析了产生这一差异的原因.
计算机网络技术越先进,病毒就越难制预防.为了增强计算机网络对于病毒防护效果,需要加强数据挖掘的利用.数据挖掘技术是打破传统空间和时间限制的互联网技术,利用数据挖掘技术可以有效的预防计算机网络病毒的攻击.对此,本文分析了数据挖掘技术原理,包括数据库的数据采集、处理和分析等.在计算机中发挥防病毒作用,为构建和谐的运行环境打下坚实的基础.
在我国现代教育发展过程中,高等院校需要对其课程体系和教学模式进行科学改革,软件专业教师在具体落实教育工作时,需要对其相关工作进行综合探究,确保能够合理优化课程体系和教学模式,保证学生能够更为高效地参与课堂学习,强化学生整体素质,推进现代素质教育的进一步发展,本文首先分析其教学模式,然后综合探究创新课程体系和教学模式的具体策略.
“智能+”时代的到来给人们的生活带来了巨大的变化,“智能+”企业层出不穷,新技术不断涌现,急需人工智能相关专业的高端人才.而目前高校相关专业的实践教学内容和模式相对还比较陈旧,这样的现状使得高校毕业生很难适应“智能+”时代的发展,造成高校人才专业能力与“智能+”新技术发展的脱节.本文提出一种在“智能+”时代背景下,以新技术为导向的实践教学改革方法以供探讨研究.本方法主要在实践教学中更加融合人工智能产品和技术的元素,将人工智能时代的新技术贯穿在高校实践教学的各个环节和不同年级学生的学习阶段.对学生分层次进行
作为一种二维的形式化方法,图文法为可视化语言提供了直观而规范的描述手段.然而,大多数图文法形式框架在空间语义处理能力方面有所不足,影响了图文法的表达能力及其实际应用范围.针对现存的问题,构建了一种新型空间图文法形式框架vCGG(virtual-node based coordinate graph grammar).区别于其他空间图文法,vCGG在产生式中通过定义虚结点的概念描述产生式与主图之间的语法结构与空间语义关系,在保留抽象能力的同时,提高了其空间语义配置性能.通过与几种典型空间图文法框架比较,vC
在开源社区中,不同开发人员提交的代码水平参差不齐,需要代码评审检查提交代码质量.决策者是代码评审的关键人物,审核提交代码,发现软件缺陷.代码评审情况会对开源软件质量产生影响,因此需要建立评审过程度量体系,了解代码评审情况,促进提高开源软件项目质量.现有的软件过程度量方法主要考虑提交代码和评审评论活动,缺乏考虑决策活动,难以充分度量人员的评审行为.引入决策者因素,提出了一个开源社区评审过程度量体系,包括评审活动指标和人员分布指标.评审活动指标包含评审次数、评审信息长度、评审代码改动行数以及评审时间.人员分布
二维带形装箱问题是一个经典的NP-hard的组合优化问题,该问题在实际的生活和工业生产中有着广泛的应用.研究该问题,对企业节约成本、节约资源以及提高生产效率有着重要的意义.提出了一个强化学习求解算法.新颖地使用强化学习为启发式算法提供一个初始的装箱序列,有效地改善启发式冷启动的问题.该强化学习模型能进行自我驱动学习,仅使用启发式计算的解决方案的目标值作为奖励信号来优化网络,使网络能学习到更好的装箱序列.使用简化版的指针网络来解码输出装箱序列,该模型由嵌入层、解码器和注意力机制组成.使用Actor-Crit