Datalogic得利捷携突破性无线充电技术推出三款最新产品

自动数据采集和过程自动化市场的全球领先企业Datalogic得利捷近日宣布推出三款最新产品——通用型全触控设备Memor?1、Memor?10坚固型移动数据终端以及Gryphon?4500系列无线扫描器——以为零售、医疗、制造、物流仓储等领域的客户与企业提供以智取胜的技术方案与应用支持。据悉,三款产品均采用了Datalogic得利捷最具突破性的无线充电技术,作为首家在企业级移动数据终端和手持式扫描器上采用这项技术的制造商,得利捷将该技术完美植入了最新产品的应用中.

Datalogic 德利捷自助购物方案落地永辉

在当今节奏越来越快、互联网快速渗透和蔓延的社会里,超市收银台前漫长的等待使许多顾客不堪忍受。2014＂第十六届中国连锁业会议暨展览会＂期间,作为唯一一家专注于自动数据采集及工业自动化领域的全球领先供应商。

Datalogic公司：灵活型车辆操作终端

带有Windows-CE．Net的新型Rhino-Net终端装置是Datalogic公司推出的一种产品，这种终端装置可以设置在叉车上，可以对工厂的货物出入库工作提供有效的帮助。这种灵活型数据采集装置可以达到IP65的安全保护等级，其工作环境温度范围为-30～50℃。装置上设有一个特殊的支座，可以有效地防止机械振动。

DDoop:基于差分式Datalog求解的增量指针分析框架

指针分析是对软件进行编译优化、错误检测的核心基础技术之一.现有经典指针分析框架,如Doop,会将待分析程序和分析算法转化成Datalog评估问题并进行求解,如程序规模较大,单次求解分析时间开销较大.在程序频繁变更发布的情况下,相关程序分析的开销更是难以负担.近年来,增量分析作为一种在代码频繁变更场景下有效复用已有分析结果提升分析效率的技术受到了越来越多的关注.然而,目前的增量指针分析技术通常针对特定算法设计,支持的指针分析选项有限,其可用性也受到较大限制.针对上述问题,设计并实现一种基于差分式Datalog求解的增量指针分析框架DDoop(Differential Doop).DDoop实现增量输入事实生成技术与增量分析规则自动化重写技术,将多版本程序增量分析问题表达为差分Datalog评估问题,从而可以充分利用成熟的差分式Datalog求解引擎,如DDlog,来实现端到端的增量指针分析,并最大化兼容复用Doop中已有的指针分析实现,提供透明的增量化支持.在广泛应用的真实世界程序上对DDoop进行实验评估,实验结果显示DDoop相较于非增量的Doop框架具有显著的性能优势,同时高度兼容Doop中已有的各种指针分析规则.

一种灵活的使用控制授权语言框架研究

首先提出一种单限制变元Datalog,sc的概念,并对单限制变元Datalog,sc的评价(evaluation)及其元组识别问题做了分析.然后提出使用控制授权语言框架LUC,该框架基于具有单一稳态结构的单限制变元分层Active-U-Datalog,sc语法和语义,具有逻辑上的一致性、完备性和可行性.最后对LUC框架的表达力、灵活性及其实现和应用做了说明.

一种基于逻辑框架的数字版权管理机制和实现

权利描述语言用来构造许可证,描述数字内容的使用权利.鉴于现存的权利描述语言存在表达力不足、缺乏正式语义等问题,提出一种基于逻辑框架的数字版权管理语言LucScript.对该语言框架的逻辑语义、语法和触发运行机制进行了分析和说明,描述了该语言的实现方法,并对该语言的应用和使用控制过程进行了示例.该语言基于统一的具有单一稳态结构的Active-U-Datalog语义,具有比现存权限描述语言更强的表达力和灵活性.LucScript语言可有效地提高DRM系统对数据内容使用的灵活性和实时控制能力.

一种面向DRM的责任授权模型及其实施框架

针对现有的DRM(digital rights management)机制缺乏真正的责任描述和实施能力问题,提出一种应用于DRM的责任授权模型及其实施框架.该模型基于分布式时态逻辑和Active-U-Datalog语法规则,具有表达事件驱动、时间驱动和责任补偿等各类责任授权的语义能力,并具有良好的可实施性.对该模型的语法语义进行了分析和说明,描述了责任实施机制,并对该模型的实现、应用和表达力进行了说明和示例.该模型提高了DRM系统对数据使用控制的灵活性和能力.

基于场地约束的PDMS查询优化技术

基于视图的查询求解是解决PDMS(Peer Data Management Systems)中数据共享的一个重要手段.基于成熟的Datalog技术,设计了基于场地约束的Datalog扩展技术用于解决PDMS环境下的查询优化问题.研究在数据密集型和逻辑上紧耦合的PDMS中存在的查询优化问题,提出了PDMS视图定义语言PView,局部约束和分布式约束的定义、及基于视图与约束的查询重写的优化方案,并给出性能分析.测试结果证明,基于约束的查询重写优化算法AffixC可以显著地提高查询处理效率,适用于逻辑上具有紧耦合关系的信息集成处理.

一种基于逻辑的数据集成查询处理器设计

提出一种新的、基于逻辑的数据集成应用方案:用描述逻辑表达中介模式,能实现基于LAV源描述法的虚拟数据集成技术与物化数据仓库技术的无缝结合.在该集成应用框架下,利用Datalog谓词逻辑推理与描述逻辑自动推理相结合的混合推理机制,设计了一个集成查询重写处理算法,并将其作为实现集成系统查询处理器的基础.结果表明,当查询表达和源视图描述规则均为合取形式的规则时,该算法总能返回一个具有最大包含的查询重写,且对源描述规则数目增加不敏感,有较好的线性可伸缩性,能适应大量数据的集成处理.

带权重谓词的可选事务逻辑及其访问控制应用

逻辑语言由于其表达力和灵活性,是访问控制中授权语言的基础之一。针对Datalog语言缺乏表达事务和多方决策模型的能力,对Datalog进行了扩展,提出了一种带权重谓词的可选事务逻辑WT-Logic。首先对WT-Logic的语法、语义进行了说明;然后解释了其评价方法;最后对WT-Logic语言在工作流授权和多方投票机制中的应用进行了描述和示例,说明了WT-Logic的表达力和可应用性。

Datalog逻辑程序调用语义及其应用研究

提出Datalog逻辑程序调用语义和调用谓词,说明包含程序调用谓词的可更新U-Datalog程序的操作语义及其固定点语义。提出在有限分层调用情况下U-Datalog程序的通用评价(evaluation)算法。最后对Datalog程序调用语义在数字版权语言中的应用做了说明并给出示例。

带否定的DATALOG的语义的不动点特性

带否定子目标的ＤＡＴＡＬＯＧ（称为ＤＡＴＡＬＯＧ）是ＤＡＴＡＬＯＧ的一种扩充。本文研究ＤＡＴＡＬＯＧ语义的良基模型的不动点特性。首先，重新考察了稳定性变换，定义了新算子及其不动点。在此基础上，定义了振荡不动点模型论语义，然后，本文证明了振荡不动点模型和良基模型是等同的，说明前者可以看和是后者的构造性定义。

进口综合录井仪WITS标准实时数据传输与接收

摘要适应井场数据共享的需要,不同型号的进口综合录井仪都提供了相应的符合WITS标准的实时数据传输程序软件,但由于软件各具特色且数据接口设置不统一,实时数据的输出格式未达到统一的要求,给数据接收及应用带来了一定的不便。为了解决这一问题,在介绍WITS特点的基础上,分析了具有领先水平的3种型号进口综合录井仪(Advantage、ALS2.2和DataLog)的WITS实时数据传输方法、软件设置方式、数据接收系统组成和实现实时数据接收的主要手段。以录井信息为主且符合统一格式要求的实时数据传输与接收,将对实现实时信息的有效共享和充分利用起到重要的保障作用。

IC测试仪的数据采集及GUI的设计与实现

为了快速精确测量模拟芯片总谐波失真,转换速率等参数指标,设计了一款基于模拟IC测试仪的数据采集系统,模拟信号经过数据采集卡后变成数字信号,根据数字信号进行相关参数的测量,然后将结果通过控制板经过PCI传给上位机,将结果显示在GUI中的Datalog中,硬件方面,测量精度为14位,最低采样频率为10MHz,误差精度小于2%,软件方面,采用多种方式设计AB-MS测试界面的显示,确保界面使用的多样性和便捷。通过实际测试芯片表明系统的设计指标符合项目的要求。

基于嵌入式SQL的Datalog演绎规则解释器的设计

文章提出了一个建立在传统关系数据库基础上的能支持ANSISQL与嵌入式SQL的演绎规则解释器。利用这个解释器,用户能够定义一个蕴含关系并可以像在演绎数据库中使用Datalog规则一样来提出查询。其方法是把演绎规则和查询翻译成嵌入式SQL程序,该程序在执行查询时能被调用。这个解释器可以被认为是扩充RDBMS演绎查询功能的一个前端工具。

分布式计算环境下的语义安全策略语言(英文)

提出了一种用于分布式计算环境的语言安全策略语言SSPL。SSPL通过OWLDL描述,支持各种安全策略的基本类型,包括肯定和否定授权,肯定和否定义务,权限委托和撤销以及策略冲突消除等。SSPL还支持基于规则的安全策略,使得该语言具有更强的表达能力。为了分析SSPL策略的形式化语义和推理的可判定性,引入DL-safe规则和courteous logic program的概念,并定义了一组从SSPL策略到courteous DL-safe program的转换规则,介绍了对转换得到的逻辑程序的推理过程。

基于用户控制的数字内容权利保护和迁移模型

提出一种基于用户控制的数字内容权利保护和迁移机制,并提出该机制的协议模型,说明协议的安全性和可行性。该机制的权利迁移模型可由客户端执行,不需要额外的网络连接和服务器的在线控制,并可由用户自主控制迁移的执行,保障了用户隐私和迁移的方便性。该模型将许可证与设备标识绑定的方法也具有灵活的硬件适应性,能表达复杂的硬件适应性策略,平衡硬件设备变更和版权保护需要。

Datalog综合录井系统

该文介绍Datalog综合录井系统的主要硬件结构和功能,系统阐述了计算机软件系统的功能,突出介绍了快速色谱分析引入综合录井系统的应用优势。该系统的介绍对于了解其结构特点和功能,实现录井系统国产化向更高层次发展具有推动作用。

基于逻辑的数据模型Datalog的递归应用

重点探讨了基于逻辑的数据模型 Datalog在以关系数据库为基础的递归查询上的应用 ,给出了求解 Datalog递归规则的两种通用算法 。

宇航中的一种基于线性约束数据库的GIS空时数据模型及其查询

地理信息系统 (GIS)是一种计算机辅助工具 ,用于存储和分析在地理空间上和时间上发生的现象和事件。 GIS系统在航空航天、军事和民用等领域具有重要应用。数据库是 GIS系统的核心 ,空时数据的存储和查询是 GIS数据库中的两个重要问题。本文针对现有空时数据模型的不足 ,提出了一种基于线性约束数据库的空时数据模型 ,阐述了该模型与已有空时数据模型间的关系。本文进一步对关系数据模型上的 Datalog查询语言的语法和语义进行了推广 ,使之能够对提出的 GIS空时数据模型的数据进行查询。最后给出一个在飞船着陆场系统搜索救援中使用该数据模型的实例。通过该数据模型在实际系统中的使用 ,可以得出如下结论 :(1)基于线性约束数据库的数据模型不仅可以替代现有的空时数据模型 ,而且克服了这些模型不能表示无限空时数据的缺点和不能描述空间、时间坐标关系的缺点 ;(2 )针对该模型推广的 Datalog查询语言与结构化查询语言 SQL相比 ,具有更强的表达能力 ,可以描述诸如循环和传递闭包等复杂的应用语义。