李彩虹
- 作品数：37 被引量：58H指数：4
- 供职机构：兰州大学信息科学与工程学院更多>>
- 发文基金：国家自然科学基金甘肃省科技支撑计划甘肃省科技重大专项计划更多>>
- 相关领域：自动化与计算机技术政治法律理学天文地球更多>>
- 一种基于SD-WAN网络的拟二层传输办法
- 本发明提供了一种基于SD‑WAN网络的拟二层传输办法，其方法，采集SD‑WAN网络中发送端的传输数据，基于传输数据，构建接收端与输出端之间的拟二层传输线路，基于所述拟二层传输通道并结合VLAN透传，将发送端的传输数据发送...
- 杨裔高亮亮李彩虹马德艳
- 文献传递
- 直流远程供电系统和方法
- 本发明涉及一种直流远程供电系统，包括：局端部分，接收市电供电输入，并且其包括一个或多个局端供电单元，以分别向位于远端的设备提供直流功率输出；其中，在所述局端部分，还包括蓄电池组，用以提供或弥补所述直流功率输出；远端部分，...
- 李彩虹包静李睿任超何心刚蔡晶
- 文献传递
- 一种老年人行为健康预测系统
- 本发明名称一种老年人行为健康服务系统，属于计算机科学技术领域。是在利用物联网技术收集生活在养老院中的老年人每天的行为数据的基础上，利用微积分、统计学、人工智能算法、深度学习技术等，将老年人的行为数据进行分析、研究。通过分...
- 李彩虹杨裔邬渊李玲玲马超李廉
- 文献传递
- 用于位移测量的无线传感器网络节点
- 本实用新型公开了一种用于位移测量的无线传感器网络节点，包括处理器模块、通信模块、电源模块和传感器模块，所述通信模块传和感器模块均电连接在处理器模块上，所述电源模块分别为处理器模块、通信模块和传感器模块提供电源，所述传感器...
- 杨裔邓毓博李彩虹李廉
- 文献传递
- 硬件系统SystemCFL模型的SPIN验证
- 1 引言随着系统设计复杂度的提高,设计验证已成为系统设计的瓶颈;传统验证技术已不能满足需要,形式化验证技术是适应这种需求而产生的新技术。形式化验证方法包括算法验证、属性验证和等价性验证等方法。我们的研究领域为属性验证。属...
- 李彩虹李廉章超孙守卿吴孝军陈波
- 关键词：SYSTEMC
- 文献传递
- 分布式同步仲裁器电路的SPIN建模和验证
- 1言软件和硬件工程中已经成功地应用了各种验证技术,包括从模拟技术到模型检验技术。而模拟技术对规模比较大的系统很难验证所有的设计错误。测试技术也只能用于检测错误,而不能证明设计的正确性。近十几年来,模型检验技术已被应用于验...
- 李彩虹章超李廉孙守卿
- 关键词：SPINPROMELA
- 文献传递
- 第8届实时Linux国际研讨会被引量：1
- 2007年
- 2006年10月12-15日，第8届实时Linux国际研讨会（The8^thReal-TimeLinuxWorkshop）在兰州大学信息科学与工程学院信息楼隆重召开。
- 李廉周庆国李彩虹周睿
- 关键词：实时LINUX信息科学
- 深层神经网络在家畜反刍行为识别上的应用被引量：4
- 2017年
- 针对反刍家畜的反刍行为结合前馈型神经网络提出了一个简单的方法,自动分析和识别反刍家畜的反刍事件。用声音信号表示反刍事件的候选项,然后用前馈神经网络模型对这些候选项的特征进行学习,通过训练好的模型将这些侯选项识别为反刍事件和非反刍事件。测试用的声音信号总共24 min,分别来自三只湖羊,喂给这些湖羊的饲料是典型的混合饲料。为了充分测试提出的方法,测试数据分别使用了包含较少噪声和包含较多噪声的数据,并且更加注重后者,因为噪音在所有的声学模型中都是一个很大的挑战。实验表明,该方法获得的湖羊反刍事件的次数和人工统计的反刍次数较为接近,统计次数的正确率超过了90%,并且所有反刍事件的正确匹配率约为87%。
- 宋颢杨裔郭鑫波李彩虹李廉
- 关键词：前馈神经网络滤波
- 一种基于穿戴设备的RFID室内定位系统
- 本实用新型公开了一种基于穿戴设备的RFID室内定位系统，该系统属于室内定位技术领域，由RFID标签，RFID激励器，RFID阅读器，定位服务器模块和终端设备组成。RFID标签集成在可穿戴设备上，RFID激励器的信号强度与...
- 李彩虹路敏李玲玲邬渊杨裔
- 用于位移测量的无线传感器网络节点及测试方法
- 本发明公开了一种用于位移测量的无线传感器网络节点包括处理器模块、通信模块、电源模块和传感器模块，所述通信模块传和感器模块均电连接在处理器模块上，所述电源模块分别为处理器模块、通信模块和传感器模块提供电源，所述传感器模块包...
- 杨裔邓毓博李彩虹李廉
- 文献传递
