基于Petri网的OWL-S流程模型的验证与分析

广泛研究使用的OWL-Sweb服务交互规范作为一种半形式化的描述语言,在服务组合的验证上存在缺陷。而Petri网作为一种模型描述语言,尤其适合并发系统的描述。因此,使用Petri网对OWL-S流程模型进行建模,通过将工作流信息转化为Petri网描述,从而对OWL-S流程模型进行安全性（safeness）活性（hveness）检验,是一个非常有意义的尝试。此外,对Petri网的分析与优化,能够反作用于OWL-S流程模型,消除原有模型的冗余并提高流程模型的合理性。     

一种基于随机PETRI网的OWL-S量化描述模型

OWL-S是一种面向领域本体的语义Web服务组合描述语言,也是一种可自动机器解释的语义标记语言,同时实现了Web服务功能和服务间互操作、互调用、互协作的语义化描述,是目前最重要的服务组合标准之一。提出了一种基于非马尔科夫随机PETRI网(NMSPN)的概率模型,对OWL-S描述的Web服务的控制流进行了建模和描述,并在NMSPN流程模型基础上建立了一系列的概率分析方法,实现了对语义Web服务的量化可信性的分析。     

基于答案集的Web服务组合验证

语义Web服务组合的形式化描述和验证,是保证组合服务能正确运行的重要前提基拙。首先描述基于答案集编程(Answer Set Programming)的OWL-S建模方法,并分析基于答案集编程建模的优势。然后给出OWL-S流程模型中几种控制结构到中间模型Petri网的映射,并提出由Petri网生成答案集编程的算法。同时将时态约束引入到 组合服务验证中,利用时态约束表达待验证性质,将验证问题转换为求解逻辑程序的答案集。最后通过一个具体的实例说明该方法的有效性。     

基于Petri网的OwL-S语义匹配机制研究

传统的UDDI不支持语义推理以及基于服务属性的匹配,因此存在召回率低、匹配效率低等问题。基于此问题提出了一种基于Petri网的OWL-S语义匹配机制,即借助Multi-Agent服务发现框架,使用PNSDL描述语言来发布和请求服务。该匹配机制借助Petri网对服务的描述能力,通过使用可能性和必然性程度代表服务可以胜任需求的置信度,从而实现服务的匹配。该机制具有强大的逻辑推理能力及对多服务的建模能力,能提高匹配的真实度、匹配度等。     

基于Petri网的动态Web服务组合建模

基于广义随机Petri网,提出了一种动态Web服务组合建模的方法.利用广义随机Petri网(GSPN)以及OWL-S组合过程对Web服务组合过程构建动态组合模型,实现Web服务的动态组合.并通过一个实例证明该方法的可行性.与现有的方法相比,该方法可以更有效地描述动态Web服务组合.     

基于Petri网的工作流模型

Petri网是一种很有效的模型描述语言，不仅能描述系统的结构特性，同时还能描述其动态特性，尤其适用于描述含有并行成分的系统，而工作流技术作为实现企业过程集成的有效手段，广泛用于各种场合。在简要介绍了Petri网和工作流基本知识的基础上，指出了基于Petri网的工作流模型的优点，讨论了将工作流模型转化为Petri网模型的基本原则，并且提出了一种扩展的Petri网模型作为一种工作流建模的工具，最后对基于Petri网的工作流模型进行了总结。     

基于扩展CPN的OWL-S过程语义建模及分析方法研究

OWL-S过程语义的建模与分析是语义Web服务相关领域需要重点研究的问题。分析了目前OWL-S过程语义研究中存在的问题,提出了一种扩展的着色Petri网PM_ net(过程模型网,Process Model net)来对OWL-S的过程语义进行转化与分析。结合OWL-S过程模型元素的特点,PM_ nct对基本着色Pctri网的变迁和触发规则进行了扩展,使OWL-S的原子过程、组合过程和数据流等核心元素能够等价映射到PM net。同时说明了如何基于PM_ net对OWL-S的过程语义一致性进行分析,为OWL-S本体演化、语义Web服务组合和验证提供了合理的理论基础。     

基于OWL-S的Web服务发现系统的研究和实现

文中针对目前基于WSDL,UDDI等技术的Web服务发现存在的不足,提出了一种使用OWL-S进行Web服务描述的新的服务发现机制。介绍了Web服务的语义描述语言OWL-S,设计并实现了一个Web服务发现系统。同时,详细介绍了存储Web服务OWL-S描述信息的数据库结构的设计,以及服务请求时进行服务匹配使用的匹配算法。     

基于OWL-S的Web服务发现系统的研究和实现

文中针对目前基于WSDL、UDDI等技术的Web服务发现存在的不足．提出了一种使用OWL-S进行Web服务描述的新的服务发现机制。介绍了Web服务的语义描述语言OWL-S、设计并实现了一个Web服务发现系统。同时，详细介绍了存储Web服务OWL-S描述信息的数据库结构的设计，以及服务请求时进行服务匹配使用的匹配算法。     

BPEL到PNML文件转换框架的设计与实现

针对Web服务组合流程的Petri网自动建模问题,以Web服务组合流程为研究对象,采用BPEL4WS作为Web服务组合流程描述语言,设计并实现一个BPEL文件到PNML(Petri Net Markup Language)文件的转换框架,自动实现Web服务组合的Petri网建模。该框架利用XSLT实现基于XML的BPEL文件到PNML文件的转换,转换结果导入到支持PNML的Petri网工具,自动完成Petri网建模。结合一个Web服务组合实例,验证该框架的有效性。     

设计知识产权的归责与请求

知识产权侵权归责原则是知识产权侵权法理论的核心问题,也是司法实践中处理知识产权案件的重要准则,因而很值得探讨。我国学术界和实务界对这一问题的认识存在分歧,其中一种突出的观点是主张无过错责任原则。但在设计知识产权问题上,该原则显得非常不符合行业现状和需要。作者主张设计知识产权侵权归责应实行过错责任原则,并在考察侵权行为法、知识产权法相关原理的基础上对无过错责任论提出质疑。     

点式超声波流速仪设计

点式超声波流速仪根据超声相位偏移测量原理设计而成。其核心是装在壳体内的单片机测控系统，能实时、连续、自动测量及显示特定测点的流速和流向。由于采用了声速补偿方法，保证了测量精度。     

校园网QoS的实现分析

QoS是在计算机网络上实现多种不同应用或综合业务的关键。从OSI第二层与第三层出发,对在以千兆位以太网为主干的IP校园网络中实现QoS功能进行了深入的探讨,并给出了3种不同QoS解决方案及其比较。     

现代图学教学中的图感因素探析

为探索工程图学的有效教学方法,论文从心理学的角度在对图感因素进行 深层分析和认知的基础上,研究丰富了图感的概念及其本质特性;结合教学工作实际探索了 图感培养的方法,以期创造更加符合认知规律的教学模式,更好地提高学生的图学文化水平 和图学思维能力。     

Quantitative Estimation of the Presence of Cause-and-Effect Relations in a Sequence of Observation Results

A measure is proposed that makes it possible to quantitatively characterize the ordering of a dynamic series of statistical observations. It is shown that a scale can be constructed that is based on this measure and allows one to interpret the behavior of a sequence of observations in terms of levels of cause-and-effect relations between an attribute-argument (parameter) and an attribute-function (response).     

Approximation processes for resolvent operators

We introduce general sequences of linear operators obtained from classical approximation processes which are useful in the approximation of the resolvent operators of the generators of suitable C ₀-semigroups. The main aim is the representation of the resolvent operators in terms of classical approximation operators. Work performed under the auspices of PRIN 2006–07 “Kolmogorov equations” (coordinator G. Da Prato)     

防御DDoS攻击算法

目前,对商业服务器攻击方式主要有两种,包括拒绝服务（DoS）攻击和分布式拒绝服务（DDoS）攻击。这种攻击类型属于命中一运行类型。DoS／DDoS攻击因为不够灵敏而不能绕过防火墙等防御．即DoS／DDoS攻击向受害主机发送大量看似合法的网络包．从而造成网络阻塞或服务器资源耗尽而导致拒绝服务。虽然数据没有被损坏。但是服务器最终被摧毁．并且还会引发一系列其他的问题．对于一个电子商务服务器．其最重要的为服务器的停机时间。研究对分布式拒绝服务（DDoS）防御原则。     

Solution of a Matrix Problem on a Mathematical Safe for Locks of the Same Kind. I

A mathematical safe problem is first formulated in a general form. The case of a set of locks that are of the same kind and are arranged in the form of a rectangular matrix is considered. Locks are considered to be of the same kind if their states are specified by numbers from the class of residues to a definite modulus. In the case of a prime modulus, a complete solution is provided. All the results obtained are illustrated by examples.__________Translated from Kibernetika i Sistemnyi Analiz, No. 2, pp. 155–167, March–April 2005.     

Generalized Statistical Equivalence of Automata

The notion of generalized statistical equivalence of automata is introduced, and this equivalence is demonstrated to be weaker than the usual equivalence but stronger than the statistical equivalence of automata.