基于REST架构的矿山数字移动办公平台

基于面向资源思想以及REST架构,首次提出了矿山资源抽象层的概念,将矿山中各个异构系统的功能、文档、界面、工作流等抽象为能够通过标准URI来唯一标识的抽象资源元数据,在决策或智能分析层通过对元数据的分析和处理来实现相应操作或得出相关的分析结果;提出了基于REST框架的矿山数字移动办公平台设计方案,并以神木张家峁矿业有限公司移动办公平台的建设为例,介绍了将多个异构系统快速集成在移动终端的实现方法。应用结果表明,该移动办公平台运行稳定,操作流畅,使得工作人员能够随时、随地、随手办公,大大提高了办公灵活性及效率。     

ARM-Linux下SPI设备的添加与驱动实现

1 SPI总线设备驱动及其实现分析ARM-Linux操作系统下,SPI总线操作,自上而下分为3个层次:平台依赖层、硬件抽象层和用户接口层。平台依赖层对应微处理器里集成的一个或多个SPI主机控制器,包括平台设备(Platform Device)和平台驱动程序,     

基于ASM的混合式情境感知共享机制研究

移动的用户能够方便地访问分布在普适计算环境中的传感器,进而获得情境信息,是情境感知系统的核心目标。本文提出了一种融合分布式P2P和Publish/Subscribe模式的混合式情境感知共享机制,基于抽象状态机对该机制的高鲁棒和可扩展的特性进行设计和规约,并采用AsmL测试工具生成有限状态机验证该机制的有效性和合理性,表明该机制可满足动态的分布式情境感知系统要求。     

基于抽象原则和模型检测的网络协议安全分析

提出了一种可以缓解状态空间爆炸的抽象原则,对模型设计过程中的辅助变量、报文字段、自动状态机数量进行科学约简,在尽量不影响验证结果准确度的前提下,降低了模型的复杂度.在此基础上,提出了一种半自动化建模框架,只需用户提供少量必须的输入,不需要学习语法,就可以自动生成具有统一规范的模型,方便研究人员查阅和使用.实验结果表明,采用所提的抽象原则和半自动化建模框架创建的模型,可以验证网络协议的相关属性.     

DELPHI分布式技术--ClientDataSet

TClientDataSet从类的继承关系上来看，是TDataSet这个抽象类的子类，所以我们可以在TDataSet这个抽象层次上对其进行我们熟悉的操作．比如导航、排序、过滤、编辑。要注意的是，TClientDataSet使用了一种全新的技术，它将所有的数据均放在内存中，所以TClientDataSet是个只存在内存中的“虚拟表”，因此对数据库的操作是非常快的。与一般的数据集组件不同，TClientDataSet使用的技术比较特别，本着高速度、低存储需求的原则，TClientDataSet的内部使用了两个数据存储源。     

计算思维与数字图像处理

计算思维提出了面向问题解决的一系列观点和方法,有助于加深对计算本质和计算机求解问题的核心思想的理解;有助于解决计算机科学与领域科学之间的知识鸿沟。随着图像处理在各个领域的广泛应用,对于图像处理的研究和探索不断深化,建立复合型的知识结构、深入理解并利用计算机的思维、培养计算思维的模式、利用不断创新的计算手段进行研究有着深远的意义。     

基于过程蓝图的静态代码控制流生成算法

对非结构化的程序代码进行理解分析对代码理解能力不强的测试人员存在一定难度。为了减轻静态代码分析的难度,本文首先采用程序切片算法将程序进行预处理,利用过程蓝图对代码进行可视化操作形成程序的中间表示形式抽象语法树。然后对其构造和特点进行研究,提出抽象语法树的遍历算法。通过该算法得到程序的控制流图。最后,利用控制流图和控制树,对静态代码进行高效的控制流分析,监测这些代码是否满足安全性、可靠性等方面的指标,为检测和处理软件缺陷降低成本。     

OAuth2.0协议形式化验证: 使用AVISPA

OAuth协议是一套用于在不同的服务中进行身份认证并且实现资源互访一套协议.由于关系到用户隐私,所以OAuth协议的安全性非常重要.这篇文章的主要贡献是研究OAuth2.0协议文本,对协议进行抽象,并且使用验证工具AVISPA对抽象后的协议进行建模与验证,找到协议中会导致隐私泄露的一种攻击模式.我们在建模过程中提出需将要验证的消息作为双方的对称密码这样一种创新思路.这种对协议的抽象和验证的方法可以推广到其他安全协议上,例如在线支付协议等等.     

特征抽象的直接体绘制方法

直接体绘制需要借助于传输函数,而设计一个有效的传输函数非常耗时且需要具备丰富的经验.为此提出一种不透明度自动调节的可视化方法.通过分析采样光线提取出数据的特征,并将这些特征抽象为不同层次的采样点,抽象采样点的不透明度根据采样光线上特征数的变化而改变;在保证最远抽象采样点可见度最大的前提下,推导并修改传统体绘制积分方程,得到基于抽象采样点的体绘制积分方程.实验结果表明,该方法不依赖于传输函数,能有效地展示体数据中的特征信息.     

STM32Cube开发工具将支持经市场考验的STM32 F2微控制器

正意法半导体发布新款STM32Cube开发平台中间件,让开发人员可以在该开发平台上开发STM32F2 120MHz ARM Cortex-M3微控制器应用。STM32Cube目前可支持STM32F2和F4系列产品,预计今年还将推出新的版本,将支持范围扩大到STM32全系列产品。新的中间件与STM32Cube平台的通用低层驱动程序和硬件抽象层(HAL,Hardware Abstraction Layer)配合使用,提供一套可直接使用的自动升级的软件组件库,