Model transformation and formal verification for Semantic Web Services composition

Web services composition is becoming more and more important in today’s service oriented business environment. We need to compose services from different providers together to fulfill the business goals that cannot be satisfied by any single service. However, different services often have semantic inconsistencies which may lead to the failure of the services composition. In order to verify the correctness of the Semantic Web Services composition, this paper proposed a composition model of Coloured Petri Nets which is transformed from OWL-S model. This model can express the logical relations among the sub-processes of the services composition explicitly, and verify the correctness of the services composition using formalized methods of Coloured Petri Nets. This paper presented the verification algorithms for the reachability, boundness and semantic consistency of composed services. Furthermore, an example of collaborating design process was given to simulate and execute the model.     

面向服务组合的用户隐私需求规约与验证方法

用户向Web服务组合提供隐私数据时,不同用户有自身的隐私信息暴露需求,服务组合应支持用户隐私需求的可满足性验证.首先提出一种面向服务组合的用户隐私需求规约方法,用户能够定义隐私数据及不同使用情境的敏感度,采用敏感度-信誉度函数明确可以使用隐私数据的成员服务,简化隐私需求的同时,提高了隐私需求的通用性.为了验证服务组合是否满足用户隐私需求,首先通过隐私数据项依赖图（privacy data item dependency graph,简称PDIDG）描述组合中隐私数据项的依赖关系,然后采用隐私开放工作流网（privacy open workflow net,简称POWFN）构建隐私敏感的服务组合模型,通过需求验证算法验证服务组合是否满足用户隐私需求,从而能够有效防止用户隐私信息的非法直接暴露和间接暴露.最后,通过实例分析说明了该方法的有效性,并对算法性能进行了实验分析.     

一种基于四变量模型的系统安全性建模与分析方法

近年来,基于模型的系统安全性分析与验证方法是安全关键系统工程领域中的一个重要研究方向。提出了一种基于四变量模型的系统安全性建模与分析验证方法,该方法利用AltaRica建模语言对系统进行建模。通过对四变量模型及AltaRica进行语义研究构建二者之间的映射规则,以民用飞机中机轮刹车系统(Wheel Brake System,WBS)为例来说明整个验证过程,即首先利用四变量模型从系统的需求层次上对WBS进行需求分析并根据映射关系构建AltaRica模型,接着利用故障树分析方法对WBS进行安全性研究,最后基于AltaRica配套工具ARC对系统的安全性属性进行验证。验证结果表明了该方法在系统安全工程领域中的实用性。     

A kernel machine-based secure data sensing and fusion scheme in wireless sensor networks for the cyber-physical systems

Wireless sensor networks (WSNs) as one of the key technologies for delivering sensor-related data drive the progress of cyber-physical systems (CPSs) in bridging the gap between the cyber world and the physical world. It is thus desirable to explore how to utilize intelligence properly by developing the effective scheme in WSN to support data sensing and fusion of CPS. This paper intends to serve this purpose by proposing a prediction-based data sensing and fusion scheme to reduce the data transmission and maintain the required coverage level of sensors in WSN while guaranteeing the data confidentiality. The proposed scheme is called GM–KRLS, which is featured through the use of grey model (GM), kernel recursive least squares (KRLS), and Blowfish algorithm (BA). During the data sensing and fusion process, GM is responsible for initially predicting the data of next period with a small number of data items, while KRLS is used to make the initial predicted value approximate its true value with high accuracy. The KRLS as an improved kernel machine learning algorithm can adaptively adjust the coefficients with every input, while making the predicted value more close to actual value. And BA is used for data encoding and decoding during the transmission process due to its successful applications across a wide range of domains. Then, the proposed secure data sensing and fusion scheme GM–KRLS can provide high prediction accuracy, low communication, good scalability, and confidentiality. In order to verify the effectiveness and reasonableness of our proposed approach, we conduct simulations on actual data sets that are collected from sensors in the Intel Berkeley research lab. The simulation results have shown that the proposed scheme can significantly reduce redundant transmissions with high prediction accuracy.     

软件设计模式课程实验教学系统探索

设计模式是软件工程专业的重要核心课程,兼具理论性和实践性,但其高度的抽象性给学生学习带来较大困难.针对该课程及学生的认知特点,设计开发了一个基于Spring框架的设计模式实验教学系统-在线教务管理平台,该系统采用B/S架构,综合了多种常用设计模式,不仅展示了单个设计模式的特点,同时展示了这些设计模式在实际项目开发中的复合应用,有助于学生加深设计模式方法学理论精髓的理解,提高实践动手能力,从而为进一步掌握高级软件工程知识奠定基础.     

基于云模型熟悉相似度的协同过滤推荐算法

研究了一种新的协同过滤推荐方法。针对推荐算法中相似度存在的不足,提出了兼顾"形状-距离"的云模型综合相似度测算方法;考虑用户之间的兴趣匹配,提出了云模型熟悉相似度的概念;提出了基于云模型熟悉相似度的邻居用户选择方法,进而产生推荐。实验结果表明,本方法提高了推荐准确度。     

基于分布式基站池的电力光载无线系统

为加强电力接入通信网络的建设,更好地满足电力应用的需求,依托电力系统已有专用光纤和无线通信资源,并借鉴分布式基站在公网通信中的建设模式,提出基于分布式基站池的电力光载无线通信系统。将基带处理单元以池的形式进行划分管理,并以分布式的方式进行信息交互和数据处理,同时,从远端单元侧、传输通道侧及基站池侧三个方面来实现基于认知的资源优化调度使用。理论分析表明,新系统可充分利用电力专用通信资源,适应电力通信接入网网架结构。     

基于轨迹模式空间解耦及模式能量序列的振荡分析(二)算法及应用

基于状态空间中的模式解耦,及在时域中按其摆次分段,分析振荡能量的时序演化特性。利用互补群惯量中心—相对运动(CCCOI-RM)保稳变换,将非简谐振荡的多机轨迹严格映射为一系列映象上的时变单机系统轨迹,并通过后者在逐次摆动期间振荡能量的演变来刻画原多机系统的振荡行为,在时变单机映象系统的外力—位置平面上分析振荡能量的时空转换,量化其非保守性。文中分别以映象系统轨迹上的动态中心点(DCP)处的动能,及最远点(FEP)处的势能来反映该模式在过去半摆中的振荡总能量;以两者组成的能量序列反映该空间振荡模式的时变性。通过理论分析及数值仿真证实:在描述哈密顿单机系统振荡行为时,轨迹摆次能量序列与特征根分析完全一致,而在分析非哈密顿的单机系统或一般的多机系统时,轨迹摆次能量序列可以克服平衡点特征根的众多缺陷。     

应对多馈入直流换相失败的同步调相机布点方法

特高压直流输电网受端交流故障诱发的直流换相失败会造成系统短时大量功率短缺,对系统安全稳定性带来巨大威胁。同步调相机因其强大的动态无功支撑能力,在应对多馈入直流换相失败及加快系统暂态恢复过程方面受到了越来越多的关注。从多馈入直流间相互作用角度出发,分析了调相机应对多馈入直流换相失败的优势,结合多馈入交互作用因子、多馈入有效短路比及相对暂态电压跌落面积指标,逐层确定最佳的动态无功补偿站点,提出一种可运用于工程实际的调相机应对多馈入直流换相失败的布点方法,并在华东电网数据典型运行方式的基础上进行了仿真验证。     

基于模糊综合评价的交易结算偏差电量处理方法

随着电力市场改革不断深化,市场化电力交易愈加复杂,交易结算偏差电量需要更加规范化的处置,因此,提出了一种基于模糊综合评价理论的偏差电量处理方法。该方法基于模糊综合评价方法,综合考虑每笔交易的交易类型、交易周期、交易电量和交易电价4项重要指标,依托业务人员工作经验运用层次分析法设定各项指标权重及交易类型和交易周期隶属度函数,最终确定每笔交易的综合评价得分,以得分为依据分摊偏差电量。最后通过算例分析验证了该方法的有效性和实用性。