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

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

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

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

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

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

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

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

全球医药精化化学品发展评述（上）

近几年，全世界化工产品年总销售额约为1．5万亿美元，其中精细化学品和专用化学品约为3800亿美元，年均增长率在5％～6％，高于化学工业2～3个百分点。预计至2010年，全球精细化学品市场仍将以6％的年均速度增长。2008年，世界精细化学品市场规模将达到4500亿美元。目前，世界精细化学品品种已超过10万种。     

汽巴精化汽车用抗刮塑料添加剂投放市场

10月在美国底特律举行的美国塑料工程协会热塑性聚烯烃（SPETPO）会议上，汽巴精化推出了一种新颖塑料添加剂，可以提高汽车工业应用中的聚丙烯／热塑性聚烯烃（PP／TPO）复合物的抗擦刮性能，拓宽这些材料在汽车上的应用。据公司称，可以用在仪表板、门内板、门柱内饰汽车内饰系统上以及保险杠、后部封条外饰系统上。     

基于本体知识推理的QoS区分服务策略精化方法

策略精化过程的主要难点在于网络的不同层次之间缺少统一的知识表示,且在不同层次的知识之间,缺少必要的映射和推理机制。为此,研究一种通过本体知识推理实现策略自动精化的方法。将本体工程引入策略网络系统,利用本体对网络知识进行定义,利用语义Web规则描述语言对底层策略行为进行语义描述,建立不同层次间的自动化推理机制。以QoS区分服务应用场景为例,实现了策略的自动精化过程。     

福清王牌精化推出高性价比环保环氧地坪固化剂

针对国内的地理环境和环氧地坪综合性能的要求，福清王牌精细化工有限公司开发了新型无溶剂环氧地坪面涂料用改性胺固化剂，该系列产品包括Kingcure365、365M、365F。作为夏季用产品的365，具有比通用品更好的固化和硬度增展特性，并且不损失其表面效果如流平性、光泽等；而中等固化产品365M可用于春秋季节，同时保持与365相同特性；365F则是365的快速固化产品，主要在低温、冬季条件下应用。     

计算思维与数字图像处理

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

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

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