基于Petri网的Web服务流程建模方法研究

随着网络应用的蓬勃发展,Web服务越来越普及。在实际应用中,往往需要对已有Web服务进行集成。目前通常的企业Web服务集成过程,都是先根据企业的业务流程建立相应的Web服务流程模型,再由此建立应用系统。而目前已有的建模手段的共同问题是：无法确保模型的正确性和与具体业务的紧密吻合。该文提出一种基于Petri网的Web服务流程建模方法。该建模方法通过将Petri网引入建模过程弥补了原建模过程中无法直观感受模型的不足,通过建立一套完备的形式化定义保证了建立模型的正确性,通过将紧同步随机Petri网引入建模过程可以更好的描述实际业务。通过使用该方法, 可以很好地解决现在Web流程建模过程中存在的问题。此方法也为其他领域中的流程建模仿真提供了一种很好的解决问题的方法和思路。

若尔盖湿地公路对两栖类的生态影响

本文考察了若尔盖高寒泥炭湿地公路对高原林蛙（Rana kukunoris）、倭蛙（Narorana pleskei）和岷山蟾蜍（Bufo minshanicus）的生态影响。分析了公路对两栖动物空间分布和栖息地利用的影响，并用IBM模型探讨其可能作用机制，考察了两栖动物公路死亡的季节差异及影响公路死亡空间分布的景观因素。最后通过对若尔盖高寒湿地两栖动物陆地核心栖息地的分析，为若尔盖路域栖息地的管理提供依据。 1. 对公路周边6个沼泽水凼群进行了调查，每个样地设置5条样线（距离公路10m、20m、50m、100m和150m）。调查表明，在繁殖季节(5月)，距离公路距离对高原林蛙和倭蛙的相对数量都有显著作用，其效应明显大于其他各项栖息地环境参数。公路导致高原林蛙和倭蛙在公路周边种群密度降低，其相对数量从距离公路100m处到公路边缘一直呈现逐渐降低的趋势。在繁殖季节，若尔盖高寒湿地的公路生态影响域大约在100-150m之间，这一距离远远大于森林栖息地中公路对两栖类的生态影响域（35-40 m）。 在繁殖后期（9月），对公路周边16个草地样点的样线调查表明，公路对周边高原林蛙和倭蛙密度分布并未造成显著影响。 2. 二次模型的拟合表明繁殖季节高原林蛙和倭蛙在公路周边的密度分布符合钟型曲线。前人对森林公路两侧两栖类分布的研究也显示了类似的规律。我们通过基于个体的模型，模拟在了公路边缘100单位距离内的栖息地空间，栖息地环境质量呈梯度变化，动物个体在其中通过随机运动寻找适宜的栖息地。拟合结果表明，动物个体仅仅依照简单的运动规则寻找适宜栖息地，这种活动就可以导致公路周边栖息地中的动物分布曲线出现3个局部峰。公路周边两栖动物的钟型分布曲线可能仅仅是个体寻找适宜栖息地过程中出现的临时性群体分布模式。 3. 在若尔盖高寒湿地，公路交通造成了大量两栖类死亡。但是公路两栖类动物死亡的季节分布很不均匀：5月、8月和9月死亡数量很高，而7月和10月死亡数量却很低。这种季节性差异和两栖类各个生活史阶段的迁移运动有密切的关系。利用景观参数的逻辑斯蒂回归模型显示，距离公路1000-2000m范围内的湿草地比例对三种两栖类公路死亡概率均有很强的贡献。湿草地这一栖息地类型分类中有大量的沼泽水体，是两栖类重要的繁殖点和取食点。两栖类公路死亡概率湿草地的关系从一个侧面表明，要维持一个区域较高的两栖类种群数量，需要1000-2000m半径范围内存在大面积的湿草地。 4. 高原林蛙和岷山蟾蜍不同性别和年龄个体分布点的水体距离存在显著差异。不同种类、年龄的两栖类分布点距离水体距离的差异可能是由于对水体的依赖性造成的。而相同种类、年龄段的个体中，高原林蛙雌性、岷山蟾蜍亚成体和雌性的体重与分布点距水体距离有显著负相关，这可能是因为体重更大的个体对水体的依赖性更弱。考虑到过大的陆地核心栖息地面积在实际保护工作中存在操作上的困难，因此我们认为可以以水体周边90%个体的分布区为低限确定3种两栖类的最小陆地核心栖息地。但是，在同样的水体距离-两栖类密度分布格局下，水体的面积和分形参数对最小陆地核心栖息地半径的确定有一定影响。 Ecological effects of alpine wetland road on Rana kukunoris, Narorana pleskei, Bufo minshanicus was studied in Zoige wetland. The effects of road on distribution of amphibians and its possible underline mechanism was discussed based on empirical data and computer simulation. Road killed amphibians was surveyed in different season and those landscape factor which could have impact on road killing distribution was analyses. Core terrestrial habitat of amphibians in Zoige wetland was discussed in the consideration of conservation management. 1. Six pool groups was investigated in breeding season (May) of R. kukunoris, N. pleskei. Five transects at distance of 10m, 20m, 50m, 100m and 150m from road edge was surveyed in each pool groups. There was a significant effects of distance from road edge on relative counts of R. kukunoris, N. pleskei, which is much important than effects of other environmental factors. Road caused the density of R. kukunoris, N. pleskei decreased from distance of 100m from road to 10m from road. Road ecological effect zone of alpine wetland for amphibians is about 100-150m. It is much wider than those of forest roads, which is about 35-40m. However, studies on 16 grassland near road showed no significant effect of road on amphibians after breeding season (Sep.). 2. Quadratic model fit indicated that the distribution of R. kukunoris and N. Pleskei followed a hump like curve. Previous studies on forest road showed similar results. A 100×100 habitat with gradual environment besides road was simulated with a individual-based model, and animal seek for suitable habitat with stochastic locomotion in it. Simulation results indicated that 3 density peak of animal distribution can emergent followed a simply rules. The hump like density cure could be a temporal swarm pattern during the process of individual seeking for habitat. 3. Road traffic caused mass death of amphibians in Zoige wetland. There was much road killed amphibians in May, Aug and Sep than those in July and Oct. The fluctuation of road kill could be related with migration of amphibians between seasons. Logistic regression of landscape variables indicated that wet grassland in 1000-2000m is essential to predict the probability of road kill. Wet grassland is an important breeding and forage habitat for amphibians. It also indicated that mass wet grassland in 1000-2000m is essential for maintain a big amphibian population. 4. There was significant differences among distance from aquatic site of subadults, female and males of R. kukunoris and B. Minshanicus. Possibly, it was because of their dependence on water. There was a significant negative relationship between distance from aquatic site and individuals body mass. Estimates of core habitat that are too large may make it difficult to establish protective regulations. The smallest suitable terrestrial core habitats were defined as the terrestrial habitats used during migration to and from the wetlands, and for foraging by 90% of any life stage (adults, and subadults) in a season. However, even with the same amphibian distribution pattern along the distance from aquatic sites, the radii of smallest suitable terrestrial core habitats will be varied with the fractal parameters of aquatic site.

Modeling the effect of ozone loss on photobleaching of chromophoric dissolved organic matter in the St. Lawrence estuary

Temporal trends in total ozone for the St. Lawrence estuary were estimated from ground-based measurements at the NOAA/CMDL station in Caribou, Maine. Linear regression analysis showed that from 1979 to 1999 total ozone has decreased by about 3.3% per decade on an annual basis and ≤6.2% per decade on a monthly basis relative to unperturbed (pre-CFC) levels. The influence of increased ultraviolet-B (280–320 nm) radiation associated with ozone depletion on water column photochemical processes was evaluated by modeling the photobleaching of chromophoric dissolved organic material (CDOM). Linear regression analysis showed small (<0.5% per decade), but statistically significant upward trends in maximum noontime photobleaching rates. Most notably, positive trends in relative rates for May, June, and July, when maximum absolute rates are expected, were predicted. A global model based on TOMS ozone data revealed increases in photobleaching of ≤3% per decade at high latitudes in the Southern Hemisphere. Radiation amplification factors for increases in photochemically weighted UV (280–400 nm) in response to ozone depletion were estimated at 0.1 and 0.08 for photobleaching of CDOM absorbance at 300 and 350 nm, respectively. Application of the laboratory-based model to conditions that more closely resembled those in situ were variable with both overestimation and underestimation of measured rates. The differences between modeled rates and observed rates under quasi-natural conditions were as large or larger than the predicted increases due to ozone depletion. These comparisons suggest that biological activity and mixing play an important, but as yet ill-defined, role in modifying photochemical processes.

A Review of Active Appearance Models

Active appearance model (AAM) is a powerful generative method for modeling deformable objects. The model decouples the shape and the texture variations of objects, which is followed by an efficient gradient-based model fitting method. Due to the flexible and simple framework, AAM has been widely applied in the fields of computer vision. However, difficulties are met when it is applied to various practical issues, which lead to a lot of prominent improvements to the model. Nevertheless, these difficulties and improvements have not been studied systematically. This motivates us to review the recent advances of AAM. This paper focuses on the improvements in the literature in turns of the problems suffered by AAM in practical applications. Therefore, these algorithms are summarized from three aspects, i.e., efficiency, discrimination, and robustness. Additionally, some applications and implementations of AAM are also enumerated. The main purpose of this paper is to serve as a guide for further research.

基于天际线识别的无人机实时姿态角估计

以无人机天际线识别为背景,提出了一种准确、实时的天际线识别算法,并由此估计姿态角。在结合实际情况的基础上,对天际线建立能量泛函模型,利用变分原理推出相应偏微分方程。在实际应用中出于对实时性的考虑,引入直线约束对该模型进行简化,然后利用由粗到精的思想识别天际线。首先,对图像预处理并垂直剖分,然后利用简化的水平直线模型对天际线进行粗识别,通过拟合获得天际线粗识别结果,最后在基于梯度和区域混合开曲线模型约束下精确识别天际线,并由此估计无人机滚动和俯仰姿态角。实验结果表明,该算法对天际线识别具有较好的鲁棒性、准确性和实时性。

基于模型差分析的旋翼飞行机器人航向与垂向预测控制方法

本文针对旋翼飞行机器人全包线机动飞行中的驱动器滞后以及动力学模型时变的问题,提出了应对不确定性动力学模型的基于模型差分析的增量平稳预测控制方法。该方法首先通过建立增量平稳预测过程模型来应对驱动器输出滞后与稳态模型以及系统工作点的不确定性,并提升控制系统鲁棒性。然后通过自适应集员滤波器在线估计系统瞬态动力学与名义模型的偏差来补偿全包线飞行中时变模型对于名义控制器跟踪性能的影响。最后,通过实际的飞行试验验证了此方法能够有效的解决全包线飞行中航向与垂向的驱动器滞后与动力学时变问题,并且可以实用于旋翼机器人航向与垂向的全包线自主飞行控制。

基于神经网络的一类非线性系统模型参考控制

针对一类非线性系统,提出了一种神经网络模型参考控制方案。在训练实现对象模型的网络和实现控制器的网络时,由状态方程产生训练样本。通过对倒立摆系统的仿真实验验证了控制方案和样本生成策略的有效性,在仿真实验中用不同初始状态验证了训练后的神经网络的泛化能力。

过程系统管理与技术的综合集成

在激烈的市场竞争中，过程企业不仅要重视技术、更要加强管理，实现全局优化运行。提高过程企业的市场竞争能力必须全面综合集成人、组织、战略管理、经营管理、过程管理及信息自动化技术等因素。本文以石化企业为背景，对过程企业面临的问题及发展趋势进行了分析，并且对过程企业管理模式、过程企业的体系结构以及过程集成与优化技术进行了探讨。

分布式多机器人装配系统任务合作规划算法研究

:综述了多机器人系统任务规划的研究 ,介绍了基于 Agent的分布协作式多机器人装配系统 ,给出了分布式多机器人系统任务协商规划算法 ,采用了改进的合同网协议方法。针对多机器人任务规划算法的软件实现 ,采用了先进的分布式对象技术 ,介绍了算法的具体实现方法

分布式对象技术在多机器人系统中的应用

本文介绍了我们建立的基于Ａｇｎｅｔ的分布协作式多机器人装配系统－ＤＡＭＡＳ，在此基础上研究了多机器人合作的协商协议，采用了改进的合同网协议方法，针对多机器人协商协议的软件实现了，采用了应用前景广阔的分布式对象技术，介绍了机器人合作装配的协商协议的具体实现方法。

Learning and Example Selection for Object and Pattern Detection

This thesis presents a learning based approach for detecting classes of objects and patterns with variable image appearance but highly predictable image boundaries. It consists of two parts. In part one, we introduce our object and pattern detection approach using a concrete human face detection example. The approach first builds a distribution-based model of the target pattern class in an appropriate feature space to describe the target's variable image appearance. It then learns from examples a similarity measure for matching new patterns against the distribution-based target model. The approach makes few assumptions about the target pattern class and should therefore be fairly general, as long as the target class has predictable image boundaries. Because our object and pattern detection approach is very much learning-based, how well a system eventually performs depends heavily on the quality of training examples it receives. The second part of this thesis looks at how one can select high quality examples for function approximation learning tasks. We propose an {em active learning} formulation for function approximation, and show for three specific approximation function classes, that the active example selection strategy learns its target with fewer data samples than random sampling. We then simplify the original active learning formulation, and show how it leads to a tractable example selection paradigm, suitable for use in many object and pattern detection problems.

Rapid compensatory evolution promotes the survival of conjugative plasmids

Conjugative plasmids play a vital role in bacterial adaptation through horizontal gene transfer. Explaining how plasmids persist in host populations however is difficult, given the high costs often associated with plasmid carriage. Compensatory evolution to ameliorate this cost can rescue plasmids from extinction. In a recently published study we showed that compensatory evolution repeatedly targeted the same bacterial regulatory system, GacA/GacS, in populations of plasmid-carrying bacteria evolving across a range of selective environments. Mutations in these genes arose rapidly and completely eliminated the cost of plasmid carriage. Here we extend our analysis using an individual based model to explore the dynamics of compensatory evolution in this system. We show that mutations which ameliorate the cost of plasmid carriage can prevent both the loss of plasmids from the population and the fixation of accessory traits on the bacterial chromosome. We discuss how dependent the outcome of compensatory evolution is on the strength and availability of such mutations and the rate at which beneficial accessory traits integrate on the host chromosome.

Farmacocinética do paracetamol

Projeto de Pós-Graduação/Dissertação apresentado à Universidade Fernando Pessoa como parte dos requisitos para obtenção do grau de Mestre em Ciências Farmacêuticas