基于BPEL的一致性声明文稿设计实现的研究

基于BPEL(Business Process Execution Language)的服务组合是Web服务的发展方向。基于BPEL的一致性声明文稿是基于BPEL的服务组合系统一致性测试内容和构造基于BPEL的服务组合系统测试用例的主要依据。基于一致性测试理论和BPEL/WSDL规范分析,研究基于BPEL/WSDL的各成分结构关系,提出基于BPEL的一致性声明文稿。该文稿包含10类子文稿:流程支持文稿、合作伙伴链接支持文稿、服务组件支持文稿、变量支持文稿、相关集支持文稿、消息支持文稿、各种处理支持文稿、各种活动支持文稿、接口支持文稿、操作支持文稿。设计实现了文稿自动生成系统,用于自动生成基于BPEL的一致性声明文稿。     

硬件结构支持的基于同步的高速缓存一致性协议

共享存储系统中如何高效地实现高速缓存一致性是体系结构设计面临的一个关键问题和难点问题.已有的基于目录的协议存在难于实现、验证复杂和存储空间开销大等问题.面向片上众核处理器,文中提出一种由硬件结构支持、基于同步的高速缓存一致性协议.该方案不使用目录,而是通过使用bloom-filter表示一致性信息,并在并行程序中的同步点维护高速缓存一致性.与现有的基于目录的高速缓存一致性协议相比,该方案可以降低目录协议的实现、验证复杂度.用SPLASH一2测试程序集评估表明,基于同步的协议可以获得与基于目录的协议相当的性能.     

存储模型仿真器的设计与实现

存储一致性问题和高速缓存一致性问题是共享存储并行计算机中两个最关键的问题,通过仿真器对它们进行了量化研究,设计并实现了一个存储模型仿真器MMS．基于MMS仿真了不同并行机结构模型下多种存储一致性模型的行为;针对不同类型的计算问题比较了不同的存储一致性模型,并对实验结果进行了分析;实现了几个不同的高速缓存一致性协议,并比较了它们的性能．     

以操作系统为中心的存储一致性模型--线程一致性模型

分布共享存储系统为保证程序的正确执行，必须通过存储一致性模型对共享存储访问顺序加以限制，而现有模型在可扩展性和操作系统级实现方面存在不足。结合多线程的特点，提出了一种以操作系统为中心的线程一致性模型，通过并行程序执行过程中线程状态的变化来观察和限制存储访问事件的正确顺序，有利于系统的可扩展性、一致性维护信息获取的方便性和完备性以及操作系统本身的设计和实现。分别从模型的定义、正确性证明、实现方案和性能分析等几个方面展开了论述。     

蓝牙协议及其测试技术

蓝牙技术是近几年出现的一种短距离无线连接技术，其应用框架的实现将取代现有的有线电缆，实现各种数据设备间的数据传输。简要介绍了蓝牙技术以及它的核心协议和应用框架；阐述了蓝牙的一致性测试和互连测试，并给出了相应的测试结构。对现有的互连测试仪给出了改进方案以提高其自动性。     

网络管理接口通用功能一致性测试

通过对现有网络管理接口的定义方法和目前网络管理接口功能一致性测试现状的分析, 引入了抽象功能一致性测试流程概念,描述了与实现技术无关的抽象测试流程到与技术相关的可执 行功能测试脚本的转换以及整套方法的工作流程,并对其中所涉及的主要组件的功能进行了说明和 分析。此外,还介绍了功能一致性测试流程库及其相关的应用举例,并给出了部分测试策略与其应用 场合的相关分析。     

路由协议一致性测试系统研究及实现

文章通过对路由协议特点的分析,指出了路由协议一致性测试所包含的内容和目的,根据测试的内容和对现有的测试方法和测试系统的研究,提出了一种针对路由协议一致性测试的分布式虚拟测试法,它使用一个控制模块组织多个虚拟测试体协同工作实现对待测体的测试。依据这种方法,实现了一个可扩展的路由协议测试系统,并完成了IPv6路由协议的一致性测试。文中以对OSPFv3的测试作为示例。     

基于XML的6 LoWPAN协议一致性测试系统的实现

文中介绍了协议一致性测试基本理论,针对6LoWPAN现有草案及实验性协议的实现,设计了一种具有可扩展性的6LoWPAN协议一致性测试平台。文中从该平台的测试系统和被测系统两个部分出发,对基于Windows操作系统实现的测试系统,描述了该平台的功能、各个模块的框架结构和实现方法;应用XML可扩展标识语言设计了测试用例,并应用libxml2对XML标记的测试用例进行解析。设计和实现了报文接收发模块。被测系统部分,对Linux系统端实现的6LoWPAN协议栈进行了测试,达到了一致性测试的目的,对测试结果进行了分析。     

区间数判断矩阵的一致性研究

研究区间数判断矩阵的一致性问题.首先对现有文献中有关区间数判断矩阵的一致性定义进行了总结、分析,指出定义中存在的不合理性.在此基础上给出区间数判断矩阵的完全一致性、强一致性、一致性和满意一致性定义,讨论这些定义和现有文献中相关定义的关系,论证了一致性等定义的合理性,并给出了一致性判别方法.最后通过算例验证了判别方法的有效性和适用性.     

IS-IS路由协议一致性测试的研究与实现

随着网络规模以及网络处理速度的飞速增长,高效稳定的路由协议成为保障网络性能的重要因素.协议的一致性测试是保证网络设备之间正确、安全和高效互连的有效手段.IS-IS路由协议作为内部网关协议的主流协议,在现今的网络中有广泛的部署.本文在对IS-IS协议进行分析的基础上选择和实现了适当的测试方法和测试案例,利用现有测试系统Annvl提供的公共环境,设计并实现了Zebra上的IS-IS路由协议一致性测试框架.     

基于Linux环境的TCP协议一致性测试实现

依照的定义,阐述了协议一致性测试的基本概念、基本模型、测试方法、测试流程、测试描述语言。通过对系统ISO9646LinuxTCP协议的重新配置,利用系统提供的原始套接口和链路套接口,从而确保测试报文按照测试的要求发送和接Linuxsock_raw ()sock_packet() 收,最终简洁且高效地实现对复杂的协议的一致性测试。TCP     

我国工业控制系统面临的信息安全挑战及措施建议

"震网"、"火焰"等一系列针对工业控制系统的病毒昭示工业控制系统正面临着前所未有的信息安全威胁。本文首先介绍了工业控制系统的基本概念及典型的工业控制系统,列举了近年发生的工业控制系统信息安全事件,着重分析了工业控制系统面临的信息安全挑战,最后针对这些挑战提出了相应的措施建议。     

Employing secure coding practices into industrial applications: a case study

Industrial Control Systems (ICS) are the vital part of modern critical infrastructures. Recent attacks to ICS indicate that these systems have various types of vulnerabilities. A large number of vulnerabilities are due to secure coding problems in industrial applications. Several international and national organizations like: NIST, DHS, and US-CERT have provided extensive documentation on securing ICS; however proper details on securing software application for industrial setting were not presented. The notable point that makes securing a difficult task is the contradictions between security priorities in ICS and IT systems. In addition, none of the guidelines highlights the implications on modification of general IT security solutions to industrial settings. Moreover based on the best of our knowledge, steps to develop a successful real-world secure industrial application have not been reported. In this paper, the first attempts to employ secure coding best practices into a real world industrial application (Supervisory Control and Data Acquisition) called OpenSCADA is presented. Experiments indicate that resolving the vulnerabilities of OpenSCADA in addition to possible improvement in its availability, does not jeopardize other dimensions of security. In addition, all experiments are backed up with proper statistical tests to see whether or not, improvements are statistically significant.     

An integrated intelligent computing model for the interpretation of EMG based neuromuscular diseases

Intelligent computing system (ICS) and knowledge-based system (KBS) have been widely used in the detection and interpretation of EMG (electromyography) based diseases. Heuristic-based detection methods of EMG parameters for a particular disease have also been reported in the literature but little effort has been made by researchers to combine rule-based reasoning (RBR) and case-based reasoning of KBS, and ANN (artificial neural nets) of ICS. Integrating the methods in KBS and ICS improves the computational and reasoning efficiency of the problem-solving strategy. We have developed an integrated model of CBR and RBR for generating cases, and ANN for matching cases for the interpretation and diagnosis of neuromuscular diseases. We have hierarchically structured the neuromuscular diseases in terms of their physio-pyscho (muscular, cognitive and psychological) parameters and EMG based parameters (amplitude, duration, phase etc.). Cumulative confidence factor is computed at different node from lowest to highest level of hierarchal structure in the process of diagnosis of the neuromuscular diseases. The diseases considered are Duchenne muscular dystrophy, Polymyostits, Endocrine myopathy, Metabolic myopathy, Neuropathy, Poliomyletis and Myasthenia gravis. The basic objective of this work is to develop an integrated model of RBR, CBR and ANN in which RBR is used to hierarchically correlate the sign and symptom of the disease and also to compute cumulative confidence factor (CCF) of the diseases. CBR is used for diagnosing the neuromuscular diseases and to find the relative importance of sign and symptoms of a diseases to other diseases and ANN is used for matching process in CBR.     

基于下一代互联网的信息安全产品技术研究

文章在简要介绍IPv6协议的基本特性以及主要的IPv6过渡技术的基础上,研究分析了下一代互联网对信息安全产品的影响,提出了在下一代互联网中信息安全产品所要满足的基本要求,以及对信息安全产品的测试重点。文章的研究分析成果为我国下一代互联网产业的加快发展提供了重要的理论基础．为信息安全产品的研发、测试提供了强有力的技术支撑。     

论工控系统安保攻防理念

为了保障工控系统的安全,有效地抗击网络病毒的攻击,工控系统安保的攻防理念必须先行。作者依据中国近代战争的攻防理念,结合当前国内外工控安保的实际情况,提出一些攻防理念,其中包括攻与防、系统的开放与封闭、工控安保有没有"度"的概念、工控安保中的技术与管理之比是3∶7还是7∶3。最后为了更有效地实施攻防理念,对如何建立工控安保的国家标准、两化的融合、人才的培养和建议成立国家安保委员会等都进行了论述。     

工业控制系统的信息安全问题研究

分析了工业控制系统的安全要求、典型的威胁与攻击形式,阐释了工业控制系统信息安全与传统IT信息安全的区别;分析了现有的控制系统信息安全的解决思路,结合SP800-82工业控制系统（ICS）安全指南,介绍了控制系统网络防护的主要措施;总结了热点研究趋势,包括安全通讯协议和安全控制器的设计.     

Sound and mechanised compositional verification of input‐output conformance

This paper mechanises conformance verification in the setting of the CSP process algebra. The verification strategy is captured by a theorem stated as a process refinement expression, which can be verified by a model checker such as FDR. The conformance relation, cspio , distinguishes input and output events. The process algebraic framework of CSP is used to address compositional conformance verification by establishing compositionality properties for cspio with respect to the CSP operators. Although cspio has been defined in the standard CSP traces model, one can address quiescence situations using a special output event, in which case it is formally established that cspio is equivalent to Tretmans ioco . All the results have been mechanically proved using the CSP‐Prover. The proposed testing theory has been adopted in an industrial context involving collaboration with Motorola, on testing mobile applications. Several examples and a case study are presented to illustrate the overall approach. Copyright © 2013 John Wiley & Sons, Ltd.     

基于改进的布谷鸟搜索算法对分数阶生物系统的参数估计

近年来,非线性分数阶系统的参数估计问题已经在许多科学和工程领域特别是计算生物学中,引起了广泛的兴趣.本文针对分数阶生物系统的参数估计问题,将系统参数和分数阶导数同时作为独立的未知参数来进行估计,并提出了一种改进的布谷鸟搜索(improved cuckoo search, ICS)算法来求解该问题.在ICS算法中,通过引入一个自适应参数控制机制,同时结合反向学习方法,从而达到提高算法收敛速度和估计值精度的目的.最后,以三种经典的分数阶生物动力系统模型为例进行了数值仿真,其中还考虑了有测量误差和噪声数据的情形.仿真结果表明ICS算法具有良好的适应性、较高的收敛可靠性及精度,为求解非线性分数阶系统参数估计问题提供了一种有效工具.