基于物联网技术的智能家居演示系统

21世纪的信息化社会已经向传统房屋提出了新的要求,为顺应家庭生活的现代化,出现了智能家居这样一个多样化网络结构系统。基于ARM开发平台设计的智能家居演示系统,涵盖的主要功能包含智能厨房、智能门禁、智能照明、智能窗户等。通过软件和硬件的设计与协调可保障系统的完美运行,从而达到智能控制的效果。     

云智慧技术引领高端制造业革命——第三次工业革命正在到来

指出了云智慧技术是第三次工业革命的核心发动机。云智慧技术由VI技术+互联网（物联网）+云计算+软件制造组成,将引领高端制造业的革命。论述了云智慧技术、云智慧仪器与软件制造的概念;云智慧技术概念发展的里程碑;云智慧技术与科学技术的关系;云智慧技术与工农业生产及家庭的关系;云智慧技术引领制造业革命。最后给出了云智慧技术的架构图和COINV实现云智慧仪器和应用实例。指出了第三次工业革命正在到来。     

智慧安居解决方案研究

智慧城市建设如火如荼地开展,作为民生类代表应用的智慧安居成为各地智慧城市建设的重点.本文从智慧安居内涵和需求评估入手,重点对智慧安居解决方案、关键成功要素以及实施建议展开讨论,以期给智慧安居实施提供参考借鉴.     

智能电网分代研究

智能电网的分代研究有助于把握和引导智能电网的发展趋势。文章首先从人类智能出发,溯源了智能电网的智能本质,分析了人类智能的发展阶段,指出人工智能是对人类智能的模拟、延伸和扩展,智能电网是人工智能在传统电网中的应用;其次,在智能电网的本质基础上,提出了智能电网分代的原则和标准,建立了智能电网分代模型,并将智能电网划分为自感知、自适应、自趋优三代智能电网;最后,探讨了智能电网分代的社会经济意义。     

物联网技术在智慧城市建设中的应用

通过分析物联网的概念及特点,总结了物联网技术在智慧城市建设中的核心应用。同时对城市智慧交通、智慧医疗、智能电网、智慧物流、智慧水利、智慧旅游、智慧校园等方面的物联网应用进行了描述。     

面向智能用电的信息化方案设计

智能用电是智能电网建设的重要组成部分,分析智能用电方案的种类及特点。信息化建设是智能用电发展的基础关键,分析各智能用电方案对信息化技术的需求,包括数据采集、信息管理以及辅助决策。对用户内部智能用电、信息计量、信息管理及智能决策四个方面设计智能用电信息化方案。     

浅谈智能电网的发展

智能电网是经济和技术发展的必然结果。文章简述和分析了智能电网的概念、特性和发展智能电网的驱动力,总结智能电网技术的国内外研究现状以及发展智能电网对中国的重要意义,分析了我国发展智能电网的重要环节,推进智能电网技术的研究和应用。     

基于智能点的工厂模型设计与实现

在参考连接点和对偶点技术的基础上,提出了智能点的概念,避免了以前方法在模型统一性和结构简单性方面的缺陷,对智能点进行了详细的描述和分类,并提出了智能组的概念,基于智能点和智能组,提出了单根管线图的深度优先搜索算法。     

面向智能用电的信息化方案设计

智能用电是智能电网建设的重要组成部分,分析智能用电方案的种类及特点。信息化建设是智能用电发展的基础关键,分析各智能用电方案对信息化技术的需求,包括数据采集、信息管理以及辅助决策。对用户内部智能用电、信息计量、信息管理及智能决策四个方面设计智能用电信息化方案。     

智能电网中的智能抄表技术分析

抄表系统的智能化发展已成为一种趋势,智能抄表系统具有节约成本,高效管理,抄表精确,方便用户等优点,在智能电网中有着重要的意义.本文介绍了智能电网中智能抄表的意义,列举了现有的智能抄表技术,然后对智能抄表的新热点进行了探讨,并设计实现了基于Zigbee的抄表系统,给出了系统组成及工作原理和系统软件设计过程,说明了该系统的实用性和优越性,最后对全文进行了总结.     

Mutual authentication scheme for smart devices in IoT-enabled smart home systems

The emergence of Internet of Things (IoT) technology has yielded a firm technical basis for the construction of a smart home. A smart home system offers occupants the convenience of remote control and automation of household systems. However, there are also potential security risks associated with smart home technologies. The security of users in a smart home environment is related to their life and possessions. A significant amount of research has been devoted to studying the security risks associated with IoT-enabled smart home systems. The increasing intelligence of devices has led to a trend of independent authentication between devices in smart homes. Therefore, mutual authentication for smart devices is essential in smart home systems. In this paper, a mutual authentication scheme is proposed for smart devices in IoT-enabled smart home systems. Signature updates are provided for each device. In addition, with the assistance of a home gateway, the proposed scheme can enable devices to verify the identity of each other. According to the analysis, the proposed scheme is secure against a forged SD or a semi-trusted HG. The computational cost of the proposed scheme in the simulation is acceptable for the application in smart home systems.     

智能电网安全架构与分析

文章介绍了智能电网的概念、特征和用途,总结了智能电网的通信与网络架构,分析了智能电网的安全架构和安全需求,综述了智能电网安全的研究现状,指出了需要研究的安全问题。     

智能合约的时间约束模式及其形式化验证

智能合约是一套以数字形式定义的承诺.通过智能合约可以大大减少协议制定的中间环节, 提高协议制定的效率.区块链技术为智能合约的执行提供了可信平台.随着区块链应用的拓广与深入, 智能合约的作用必然越来越突出, 智能合约的可靠性问题也将更加突显.以提高智能合约可靠性为目的的研究日益得到重视, 但尚未有人对智能合约的时间性质可能引起的可靠性问题进行过系统的研究.本文通过分析典型智能合约, 对智能合约时间约束的不同表现形式进行梳理, 提炼出相应的时间约束模式并对其进行形式化; 定义Solidity智能合约到时间自动机的转换规则并实现其到实时模型检测工具UPPAAL入口模型的自动转换; 再利用UPPAAL验证合约的时间相关性质.最后对两个实际合约进行实例研究, 结果表明本文所提炼模式的普遍性以及本文所提出形式化验证方案的可行性和有效性.     

基于UCONABC的智能卡分析与应用

在现有智能卡规范中,对于来自终端的访问缺少有效的安全访问控制管理,容易导致智能卡在使用过程中存在非法输入、重放攻击、旁路攻击、强制复位等安全风险.为此,对智能卡的应用过程进行分析,并对UCONABC访问控制模型的特点进行研究,提出一种基于UCONABC的智能卡访问控制管理方法.将基于UCONABC的访问控制管理子系统嵌...     

具有路径记忆功能的智能车控制系统

研究一种具有路径记忆功能的智能车控制系统。该智能车使用红外光电传感器实现路径识别,依靠电机驱动前进,使用舵机帮助智能车转向。该系统采用路径记忆算法对智能车进行控制,将记忆下的赛道信息作为主要控制信息,通过提前判断弯道的曲率大小,从而得到一个最佳过弯速度,使其运行更平稳、快速。     

基于符号执行的智能合约漏洞检测方案

随着区块链技术的应用推广,智能合约的数量呈现爆发式增长,而智能合约的漏洞将给用户带来巨大损失。但目前研究侧重于以太坊智能合约的语义分析、符号执行的建模与优化等,没有详细描述利用符号执行技术检测智能合约漏洞流程,以及如何检测智能合约常见漏洞。为此,在分析以太坊智能合约的运行机制和常见漏洞原理的基础上,利用符号执行技术检测智能合约漏洞。首先基于以太坊字节码构建智能合约执行控制流图,再根据智能合约漏洞特点设计相应的约束条件,利用约束求解器生成软件测试用例,检测常见的整型溢出、权限控制、Call注入、重入攻击等智能合约漏洞。实验结果表明,所提检测方案具有良好的检测效果,对Awesome-Buggy-ERC20-Tokens漏洞库中70份含漏洞的智能合约的漏洞检测正确率达85%。     

面向合同的智能合约的形式化定义及参考实现

智能合约是区块链系统的核心组件,在现实中广泛应用.然而,目前没有关于智能合约的统一定义,在不同的区块链平台上,智能合约的实现也相差甚远.这样将影响公众对智能合约的认知,也对产业的发展造成障碍.回顾了智能合约的发展历史,梳理其概念的变化过程.归纳智能合约的本质,对现有智能合约的实现进行了分析和对比.给出了面向合同的智能合约的形式化定义,为智能合约的标准化奠定基础.提出了独立于区块链平台的、通用的智能合约实现方法.在目前广泛应用的联盟链区块链平台Hyperledger Fabric上面进行了具体实现.最后对未来工作进行了展望.     

基于贝叶斯的智能电能表可靠性评估方法

针对具有高可靠、长寿命特点的智能电能表,应用加速退化试验方法进行可靠性评估是一种有效的方法。开展加速退化试验过程中,在高加速应力激发下,一方面可观测到智能电能表的性能退化,也可能出现智能电能表的整表失效。如何融合智能电能表加速寿命试验过程中的整表失效数据、性能退化数据转化得到的伪寿命数据,从而进行智能电能表的综合可靠性评估,是智能电能表可靠性评估急需解决的问题。本文研究提出基于贝叶斯方法的智能电能表可靠性评估方法,给出融合智能电能表的整表失效数据、伪寿命数据的数据处理方法及计算模型,探讨了伪失效数据计算方法、整表失效数据与伪失效寿命数据相容性检验方法等。     

State of the art of smart homes

In this paper we present a review of the state of the art of smart homes. We will first look at the research work related to smart homes from various view points; first in the view point of specific techniques such as smart homes that utilize computer vision based techniques, smart homes that utilize audio-based techniques and then smart homes that utilize multimodal techniques. Then we look at it from the view point of specific applications of smart homes such as eldercare and childcare applications, energy efficiency applications and finally in the research directions of multimedia retrieval for ubiquitous environments. We will summarize the smart homes based research into these two categories. In the survey we found out that some well-known smart home applications like video based security applications has seen the maturity in terms of new research directions while some topics like smart homes for energy efficiency and video summarization are gaining momentum.     

最小权点覆盖下的智能电表通信故障区域预警方法

电表通信故障预警可以保证智能电表的通信安全,有利于实现对智能电能表的全过程质量管控。但是,智能电表的工作轨迹具有随机性,跟踪难度较大,其故障变量信息的提取难度较大。为此,提出了基于最小权点覆盖的智能电表通信故障区域预警方法。利用智能电表运行状态的观测向量作为故障检测的关键变量,计算出运行状态观测向量的平均轨迹。根据智能电表通信故障数据变量在不同时刻的运行轨迹,提取出智能电表通信故障的关键变量信息,完成智能电表通信故障的检测。在最小权点覆盖下,采集智能电表通信故障数据。利用Fisher准则,计算出智能电表通信故障属性的重要程度,通过设计智能电表通信故障区域预警算法,实现智能电表通信故障区域的预警。实验结果表明,研究方法可以成功预警智能电表通信故障,通过较高的预警准确率确保了智能电表的稳定运行。