基于LabVIEW和TBox的起重机工作参数远程监测系统

起重机工作参数是开展起重机性能评估和故障诊断的数据基础。针对起重机工作参数监测内容灵活、采样频率高、实时性强的需求特点,开发了基于LabVIEW和TBox的起重机工作参数远程监测系统。系统利用TBox全量采集起重机CAN总线报文,并通过4G网络远程高速传输,基于LabVIEW将各参数解析、显示、记录。试验研究表明该系统监测参数可自定义配置,数据采集完成率100%,平均传输延时350 ms,满足起重机工作参数监测的实际需求。

循环ALCN-Tbox具有模型的条件

分析了带循环定义的描述逻辑系统ALCN的研究现状和存在的问题,研究了循环ALCN-Tbox具有模型的条件,指出了Baader文中命题2.9(LetTbe a terminology such that each cycle inGTcontains an even number ofnegative arcs.ThenTis monotone)的错误,并对该命题进行了修改,给出了循环ALCN-Tbox具有不动点模型(最小不动点模型和最大不动点模型)的条件.

Ble组网TBOX控制系统

Telematics-BOX简称TBOX,本文TBOX主要作用是上传车辆状态信息,接收服务器命令分发透传给报警器实现车辆控制和状态显示。Ble组网TBOX主要应用于两轮电动车,它需要和Ble组网蓝牙报警器配合使用,主从组网后TBOX往下可以通过Ble通道下发命令给报警器,控制车辆启动、熄火、设防、撤防、远程锁车开关等状态;往上通过GPRS网络通道对接服务器上报车辆信息。手机APP对接云平台可以对车辆状态信息进行查看并实时远程控制[1]。

基于范畴论的多TBox整合研究

在语义Web环境下,单一和分散的知识库会引发数据的冗余和不一致性,且严重影响知识库智能化查询,降低知识库中数据的重用性和可操作性。文中提出一种基于范畴论的多TBox整合方法来整合知识库,旨在解决上述诸类问题。此方法具有高度抽象性和强大表达能力的范畴论是多知识库整合的理想工具。将TBox作为操作对象,范畴论中"态射"功能可实现TBox的映射,"外推"功能可实现TBox的整合,最后通过实验验证方法的可行性和有效性,实验结果基本符合要求。

基于Tbox和Abox的描述逻辑推理研究

语义Web的出现使得描述逻辑(Description Logic)成为研究的热点。它是近年来研究和发展最快的知识表示的形式化工具之一,具有强大的表达能力、可判定性以及有效推理等优点,其中推理服务是它的核心。首先重点讨论基于Tbox和Abox的推理任务;其次,详细阐述各算法以及相互间内在联系;最后,得出描述逻辑的所有推理都可以转化为基于Abox的一致性检测问题,并给出其算法及实现过程。在语义Web环境下,描述逻辑的推理服务可以提高机器的理解能力,实现机器完全自主化。

循环ALCN-Tbox的模型构造

从语法和语义的角度分析了描述逻辑ALCN的Tbox中循环定义理论框架的缺陷和困难,然后主要讨论了没有、、出现的,关系R的深度均为1的循环ALCN-Tbox的模型构造方法。

非周期TBox框架下的推理——拟经典描述逻辑与超协调表演算(英文)

源自当今互联网的语义网研究的目的是定义信息语义和网络服务,因此需要赋予网络智能以便能够自动对网络内容进行推理。各种描述逻辑(DLs)在语义网的研究中扮演着重要角色,构成了W3C推荐的网络本体语言(OWL)的基础,而OWL源于为达到语义网目标的人工智能(AI)本体论研究。语义网的知识和数据量巨大、分散、来源众多且因此通常不具有协调性。因此,必须开发针对非协调本体的实用的推理技术。该文基于Hunter的拟经典逻辑(QCL),构造了新型超协调拟经典描述逻辑(QCDLs),避免了逻辑爆炸问题,同时,针对基于非周期TBox的知识库推理问题,建立了QCDLs语义表演算,进而定义了一种可靠、完备且可判定的推理关系,从而构建了完整的语义网推理框架。与其他重要的超协调描述逻辑进行了比较,结果表明QCDLs具有更强的表达语义和推理能力,并且其相关行为在目标层次上表现出经典性。

循环描述逻辑TBOX中的完备格

描述逻辑中含有循环定义的TBox通常使用固定点模型来刻画循环定义的语义,对于固定点模型,不仅需要研究其存在性,还需要研究模型之间的关系,如是否存在最大、最小固定点模型。TBox中所有模型扩展集合上的偏序关系可以诱导出格结构,而且是完备格,现有的研究得出的一些结论主要是针对此完备格。考虑在特定固定点下,概念解释域上的偏序关系同样可以诱导出格。对这种格进行研究得出了一些有益的结论,这些结论为深入研究循环描述逻辑语义提供了新的思路。

胰腺癌中TBOX2表达意义的探讨

目的:探讨胰腺癌中TBOX2表达状况及其与临床病理指标的关系。方法:采用免疫组化法检测48例胰腺癌及12例癌旁正常组织标本中TBOX2表达状况,分析胰腺癌表达水平与临床病理的关系。结果:TBOX2在胰腺癌组织中强表达例数明显高于正常胰腺标本(P<0.01)。TBOX2表达与肿瘤分化程度、肿瘤转移程度呈正相关(P<0.05)。结论:TBOX2表达阳性可能有助于诊断胰腺癌分化程度、淋巴结转移。TBOX2可能参与了胰腺癌的发生与发展,对胰腺癌的早期诊断与预后判断有重要意义。

描述逻辑ALC中的TBox推理机制研究

领域专家知识库的构建及其推理在专家系统中具有重要的作用,为此介绍了基于描述逻辑的知识表示方法对知识库的体系结构及其基本的组成部分,以及描述描述逻辑系统ALC中的非循环TBox、循环TBox、含有包含关系的TBox和空TBox;通过引入固定点语义来定义循环TBox,应用概念的等价扩展来消除TBox,以简单化知识库的推理;并给出了空TBox下的推理算法及其正确性的说明.

基于Tbox测试的车联网测试研究

对车联网测试方案,尤其是功能测试进行了系统的阐述,方案可应用于不同车型的车联网功能测试验证。详细介绍车联网测试的流程、方法、测试环境和测试要点等。

一种TBOX电源管理解决方案

随着车联网在车载行业的火热,TBOX在车载行业显得越发重要。TBOX上通云端TSP,下连汽车CAN总线,可以直接在手机上发送控制命令控制车窗开关,也可以将汽车的行驶数据上传到手机,随时随刻了解车辆的信息,TBOX做的好坏会直接影响到用户的体验,是车联网核心中的核心。TBOX的电源管理涉及到生产工厂,OEM整车厂,销售公司,用户等方方面面,是TBOX设计中重要的一环。本文将着重讨论TBOX的电源管理解决方案。

基于LTE通信实现TBox与车辆ECU绑定访问的方法

LTE通信的诞生与其更高的上下行速度,使其衍生出了各种人性化、智能化的终端设备。其中就会提到近来较为流行以及未来必将大放异彩的车辆智能驾驶以及车辆云端控制。要实现车辆智能驾驶以及车辆云端控制,必须必备一种技术。我们称之为V2X(vehicle to everything)。文章将围绕ECU与TBox进行展开。

车载终端TBox技术研究

车载终端box是人车交互智能信息终端,通过手机等媒介,用GPRS(2G/3G/4G)、Bluetooth、WIFI等方式与汽车进行通讯互动,对爱车进行安全监测、故障诊断、远程操控、信息共享、空中升级(OTA)等。本文对车载终端TBox技术进行了详细的分析,并提出了一些作者自己的观点和看法,供大家参考和借鉴。

软件测试技术在车载TBOX 项目中的应用

为了在短期内完成车载远程信息终端(TBOX)软件的开发,同时保证软件的质量,提高用户满意度,提出了将静态测试和动态测试相结合的测试方法。在编码阶段引入静态测试,采用测试工具分析和人工审查两种方式相结合,关注代码实现的细节。在系统测试阶段,采用黑盒测试方法,关注功能实现情况。实践表明从细节和整体这两个维度对软件进行测试,不仅提高了测试效率,同时也提高了TBOX软件的质量。

基于UDS协议的车辆OTA开发

阐述车辆OTA的工作原理,参照UDS服务协议,针对采用S32K146微处理器的车载ECU设计一种OTA升级系统,在TBOX接收升级包后通过车载EUC进行BootLoader下载。应用结果表明,将OTA用于车辆软件升级,可以提高车载ECU软件更新的快捷性。

网联车载终端软件自动化测试技术研究

网联车载终端Tbox作为智能网联的关键节点,车内与控制器通过传统CAN总线或车载以太网进行数据交互,车外与企业远程服务平台通过基站无线技术进行信息交互。实现Tbox应用软件自动放行测试,能够完成Tbox版本迭代升级的测试,有效提高软件开发品质和测试效率。

大数据收集协议测试的研究与分析

随着汽车电子电器技术的发展,信息化技术与汽车领域的融合,车辆智能化、科技化、网联化发展迅速,同时大数据技术在汽车行业中得到快速应用,为汽车产业的研、产、供、销提供了新的机遇与新的服务模式。针对汽车行业的特点与大数据技术在车辆上的应用,本文主要对大数据技术的特点进行概述,同时介绍大数据收集的系统架构,阐述大数据收集协议的测试环境、主要测试范围、测试方法及相关测试示例等。

整车下线EOL诊断和远程诊断冲突问题分析与优化方案

车联网终端系统(TBOX)成为了国Ⅵ车型汽车的标配,目前汽车都具有诊断仪设备诊断和远程终端系统诊断。江铃某项目实施这两种诊断模式的过程中出现模块下线配置、刷写和售后故障诊断失败的问题,针对此类问题,详细分析失败的根本原因,给出一种解决诊断ID冲突优化的方案。

一种基于PKI技术的汽车OTA安全升级方案

随着车联网技术快速发展,在众多车联网应用场景中,OTA升级逐渐替代低效的手工刷写,但是如何保障OTA升级过程中数据不被截获和篡改成为公众和社会关注的焦点。各个整车厂商及车联网企业也在不断寻求安全可靠的解决方案。针对这一问题,将PKI技术融进方案中,为OTA升级中数据安全提供参考,对OTA升级包的安全下发过程进行完整设计,详细描述如何综合运用对称加密、非对称加密、数字签名技术、数字信封技术等来确保OTA升级包在远程下发过程中数据的完整性、保密性,通过软硬件结合,解决汽车OTA升级的安全问题。