基于nRF24LE1的无线数据传输系统实现

nRF24LE1是2.4 GHz ISM微波频段的低成本、高性能嵌入式微处理器智能射频收发器家族中的成员.设计了基于射频收发芯片nRF24LE1的无线数据传输系统,给出了射频收发系统主要部分的硬件电路图和软件收发程序流程图,重点探究了nRF24LE1在Enhanced ShockBurstTM收发模式下的无线数据收发过程和实现.室外测试实现了50 m以上的远距离无线数据传输,具有功耗低、传输距离远及性能稳定等优点,可广泛应用于多种无线数据传输的场合.     

浅议工业产业园建设的规划原则

正联合国环境规划署(UNEP)曾把工业园概括为,是在一大片土地上聚集若干工业企业的区域。本文所论工业园是以产业聚集为特征的工业区域,是具有鲜明产业特色的工业产业园。我国工业产业园的建设始于改革开放后沿海发达地区以电子及轻纺加工产品为主的工业集聚区的兴起,内地约在20世纪开始后日渐兴盛起来。成功工业产业园的建设以其"企业集中、资本集聚、产业集群、土地集约"的鲜明特点而成为各地方政府经济工作争相仿效的新重点。工业产业园是以标准化厂房为中心、专业化配套服务设施为辅助的工业生产集聚区,但未来工业产业园的理念却不再是简单意义上的空间圈地与"盖厂房+出产品",而是产业概念上的资源融合,又是资源与环境、人与自然的融合。工     

基于Object-Z的ReflectiveArchitecture形式化研究

将元信息、元建模、反射和软件体系结构结合起来,提出了一种基于反射机制的软件体系结构重用方法,该方法是一种更通用、更便捷的重用方法;该方法定义并构造了一种在设计阶段支持软件体系结构重用的反射机制RMRSA。描绘了基于反射机制RMRSA的反射式软件体系结构ReflectiveArchitecture的元级体系结构模型。运用形式规格说明语言Object-Z对元级体系结构模型进行了完整的描述;选取链接模式Link,给出了它的初始化定理及其证明过程,以此为范例证明了被形式化的反射式软件体系结构的正确性。     

语义Web服务组合综述

语义Web服务的目标是,利用语义Web技术将Web服务的静态描述和动态行为与功能有机地结合起来,解决Web服务的自动发现、组合和执行等问题。语义Web服务组合是服务资源重用的一种重要方式,也是语义Web服务研究领域的一个重要内容,它以现有的语义Web服务资源为基础,通过服务组合为基于Internet的大规模复杂应用提供新的、更多的可用资源。首先对语义Web服务相关的基本概念进行归纳和总结,概述语义Web服务组合的研究内容和目标,然后根据语义Web服务组合中使用的方法学对其进行分类并分析这些方法的实现过程和特点,最后总结全文,指出下一步的研究方向。     

一种面向语义Web服务的语义程序变换方法

语义程序变换是面向语义Web服务的软件设计方法的基础,语义程序只有通过程序变换后才能被运行环境执行和调用,然而目前还缺乏有效的语义程序变换方法。针对这一问题,基于语义编程语言SPL,提出了一种面向语义Web服务的语义程序变换方法。该方法通过对语义数据类型、语义规则、语义服务和语义流程等语义信息的有效变换,不仅提高了面向服务的程序设计的灵活性和健壮性,而且有助于提高业务流程的柔性和重用性。     

循环不变式开发技术研究

高可靠性软件是当今软件开发的热点问题。确保算法程序逻辑结构正确最理想的途径是算法程序的形式化推导和证明,而循环不变式是算法程序形式推导和证明的关键。循环不变式的开发一直是算法程序设计领域中最具挑战性、最富有创造性、也是最困难的问题之一。本文研究了众多现有循环不变式开发方法中较为典型的几种方法,指出了它们的基本原理、技术难点、特点及效果,旨在探寻循环不变式本质特征,从而为研究更简单、有效的生成方法提出指导。     

Hanoi塔非递归算法的形式化推导和正确性验证

关于Hanoi塔问题的非递归算法已有大量的研究.运用薛锦云教授自创的PAR方法和循环不变式开发的新策略,形式化推导出逻辑结构清晰的Hanoi塔非递归算法及其循环不变式,并用Dijkstra最弱前置谓词法验证了该算法的正确性.充分体现了PAR方法的优越性、高效性和可靠性.     

一种基于SOADL的Web服务合成方法

服务合成是面向服务的软件开发中的一个重要开发活动.探讨了体系结构设计和服务合成之间的关系,提出了一种基于体系结构的Web服务合成方法.通过自动发现服务以及自动生成过程代码和部署代码,可以将SOADL的体系结构模型转化为一个可执行的BPEL组合系统,来实现Web服务的合成.与其它服务合成方法相比,合成方法可以更好地实现从设计到实现的平滑过渡,提高合成的效率和保障合成后系统与体系结构模型之间的可跟踪性.     

面向服务体系结构的图形化建模研究

面向服务体系结构是一种面向互联网的分布式体系结构,对其建模和分析对于面向服务应用的构建是一个重要的研究课题.利用UML2.0的扩展机制提出了一种SOA的图形化建模方法.分别就SOA的结构和行为定义了若干建模元素,并为其定义了相应的图形建模方式.同时,通过案例研究说明了文中方法的应用.     

基于RBAC的高校办公自动化系统设计

分析了基于角色的访问控制的工作原理,提出了一种基于Web应用的RBAC权限控制有效实现方法,并将其应用于高校办公自动化系统设计.介绍了OA系统的设计与配置方法,重点阐述了基于Web的RBAC控制模型在OA系统中的实现方法.基于该模式开发的系统具有较高的安全性与稳定性,很好地满足了高等学校办公自动化的需求.