过程网

The thesis studies the difference between GWSs composition and traditional workflow applications, proposes the implement mechanism and technical architecture of GWSs composition and defines the reference model of GWSs composition platform, which provide holistic framework and top-level guidance for studying dynamic GWSs composition technology, designing GWSs composition platform, and implementing representative composite service applications.2、Theories and methods of composite process modeling and process analysis. This thesis proposes a meta-model of Geo-spatial Web services composition process defining from two aspects, i.e. process and resource. According to the process definition meta-model, we propose a new Geo-spatial Web services composition Process/Resource model based on extended WF-net, which effectively resolves the problems on uncertain activity option and dynamic variation of service in composite process model. A notion with regard to soundness of process model is proposed from three aspects, i.e. the structural correctness of process model, validity of data link and validity of resource. The notion of soundness definitely gives a dividing line on correctness of composite GWS process. This thesis analyzes sufficient and essential terms of soundness, and studies compositional property of WSCP/R-net models which provides an effective method to construct a soundness WSCP/R-net model. According to WSCP/R-net, the thesis proposes composition algebra and studies the properties of it. Based on the composition algebra, 6 kinds of composite process reduction rules are induced to optimize the process.3、Geo-spatial Web service QoS model and its application architecture. This thesis proposes an extendable GWS QoS model from three aspects, i.e. Geo-spatial Web Service itself, networking conditions and service consumer which can be used to distinguish GWSs with overlapping or identical functionality. We work over the QoS evaluation methods of composite GWS process which can be used to guide the execution, monitor and service selection of composition process. Aming at some disadvantages in traditional Web service discovery model for its lacking of QoS supporting, this thesis proposes a new service discovery model SDMQ supporting QoS constraints.4、Technologies of composite service executing. SSPL, a new composite service process language, is defined to overcome the disadvantages of existing composite services process languages which can not adapt to the dynamic variation of Geo-spatial Web Services. An algorithm is described to translate WSCP/R-net model into SSPL. The thesis studies the model of dynamic services selection with QoS global optimization, presenting an algorithm GODSS to resolve dynamic services selection with QoS global optimization in GWSs Composition.5、Design and implement experimental system and representative applications. According to the research findings presented above, we design and implement an experimental system and construct two representative applications to show that our achievements are effective and practical.

针对当前空间信息服务聚合研究中存在的若干不足，本文重点在基于工作流的空间信息服务聚合框架、空间信息服务聚合流程建模和分析技术、空间信息服务QoS模型及应用体系以及空间信息服务聚合流程执行等几个方面进行深入研究，主要工作和创新点包括：1、基于工作流的空间信息服务动态聚合框架：研究了空间信息服务动态聚合和传统工作流应用的不同，在此基础上提出了基于工作流技术的空间信息服务动态聚合实现机制、技术体系和参考模型，为研究空间信息服务聚合的关键技术、开发服务聚合支撑平台以及在此基础上构造特定的空间信息服务聚合应用提供了总体框架和顶层指导。2、空间信息服务聚合流程建模和分析技术：首先基于动态服务聚合流程建模的需求和空间信息服务动态变化的应用实际，从服务聚合的过程维和资源维出发定义了服务聚合流程定义元模型；与之相对应，对基本的WF-net进行扩展，提出服务聚合流程/资源网作为空间信息服务聚合流程的形式化描述模型，有效解决了现有的基于基本Petri网和工作流网的服务聚合建模方法所不能解决的不确定路径选择和服务的动态变化性问题；从流程结构正确性、数据依赖有效性和资源实现有效性三个方面提出了WSCP/R-net健壮性的概念，明确界定了聚合流程正确性的标准，并对WSCP/R-net模型的健壮性分析方法和WSCP/R-net模型的组合特性进行了研究；提出了空间信息服务聚合代数算子并对其性质进行了研究，在此基础上提出了6种聚合流程约简规则，从而可达到优化聚合流程、提高聚合流程执行效率的目的。3、空间信息服务QoS模型和应用体系：从服务本身、网络环境和服务消费者三个层次出发，提出了一个可扩展的空间信息服务QoS模型GSQM，实现了对空间信息服务的度量和评价，并对GSQM不同质量要素信息的客观、公正采集方法进行了研究；研究了空间信息服务聚合流程QoS评价方法，有效支持了空间信息服务聚合流程的执行、监控以及服务选择等操作；针对目前的服务发现模型仅支持服务功能性描述、不能有效满足空间信息服务应用需求的现状，提出了一种新的支持QoS约束的服务发现模型SDMQ，并对模型的实现框架进行了研究。4、空间信息服务聚合流程执行技术：针对现有的服务聚合流程描述语言不能有效满足空间信息服务动态聚合流程描述的特点，基于BPEL4WS提出了一种新的空间信息服务聚合流程描述语言SSPL；研究了满足健壮性要求的WSCP/R-net模型向SSPL的转换算法，在此基础上可以满足用户无显式编码来实现空间信息服务聚合应用的目的；研究了服务动态选择QoS全局优化模型，并在此基础上提出了一种解决服务动态选择QoS全局优化问题的实现算法GODSS.5、基于论文研究成果，设计实现了"空间信息服务聚合实验系统"，并构建了"矿产资源评价"和"城市消防应急响应"两个典型应用案例，对论文所述模型、方法的可行性和有效性进行了验证。

One is by knowledge Petri net First AND/OR graph was evolved by calculating cut set of relationship Matrix of parts which shows the assembly relation between the parts. Then the KPN was generated with AND/OR graph automatically. Running the KPN, an optimum assembly sequences was obtained last. The other is by Hopfield neural network.

一是利用知识PETRI网对装配过程进行建模，并自动规划出最佳装配序列的方法；这种方法首先根据产品装配的关联图，利用割集计算，自动生成产品装配的与/或图，由产品装配的与/或图转化成知识PETRI网，然后，运行此知识PETRI网，便可得产品的最佳装配序列。

Chapter 1 gives the background,current research process of relatedproblems and summarizes this thesis\'s work.In chapter 2,we study the Brownian motion with holding and jumping on the boundary.We use the resolvent method to obtain the infinitesimal generator because the domain of the infinitesimal generator is essentially the same as the range of the resolvent.Knowledge of this range and of the differential operator determines uniquely the infinitesimal generator.Since the semigroup generated by the DHJ is not strongly continuous,to use the nice property of strongly continuous semigroup in analytic theory,in chapter 3 we show that the dual is strongly continuous and derive ergodicity through spectral radius formulas and finally obtain the ergodic theorem by duality. In chapter 4,we discuss a class of a more general process---one dimensional Feller diffusion proposed by W.Feller in 1954.The Feller diffusion allows the possibility of jumps from boundary to boundary,not only from boundary to the interior.We give the stationary distribution of this process.

具体地，本文的结构如下：第一章给出了问题产生的背景，研究现状及本文的主要工作；第二章研究了在边界上逗留后随机跳的布朗运动，我(来源：3dABC论文网www.abclunwen.com)们用预解算子的方法得到其无穷小生成元，因为无穷小生成元的定义域本质上就是预解算子的值域，知道这个值域和微分算子形式就能唯一地决定无穷小生成元；由于DHJ过程产生的半群不是强连续的，为利用强连续半群的一些漂亮性质，在第三章中我们证明其对偶半群是强连续的，然后由谱半径公式得到遍历性并且最后由对偶得到遍历定理；第四章讨论了Feller在1954年引入的更广的一类过程----一维Feller扩散过程，Feller扩散过程允许有从边界到边界的跳发生，即不仅仅局限于从边界到内部的跳，在这一章中，我们给出了一维Feller扩散过程的平稳分布；在第五章，我们讨论了一些相关的问题，给出了DHJ过程对应的PDE问题及特征值与收敛速度的关系。

According to introducing, ever was crossed by exposure with the past " wide outside ghostliness "," stammer carrying fox on the head " wait for photograph of trojan of date of famous net silver-colored pilfer to compare, the date of net silver-colored Zhang that this trojan inputs besides record user and password, much still the function of a cut screen record, the record of screen of main process cut that can handle the user net silver comes down, the fund that diverts an user illegally for hacker later period is offerred more the help with convenient form and guidance.

据介绍，与过去曾被曝光过的"广外幽灵"、"顶狐结巴"等著名网银盗号木马相比，此木马除了记录用户输入的网银账号和密码，还多了个截屏记录的功能，能将用户操作网银的主要过程截屏记录下来，为黑客后期非法转移用户的资金提供更为形象便捷的帮助和指导。

These algorithms have laid a foundation for setting up the basic data in MES. The five elements BOM definition used to describe product structure is given in order to reduce BOM quantity and realize BOM consistency effectively. In addition, the mapping algorithm is implemented by five elements BOM, which can make them link seamlessly to transforming from product structure model to procedure model with workflow. It provides a technical foundation to control and management in the product life cycle. And it also meet requirements which include the identicalness, integrality, integration of BOM data in the product life cycle.

介绍了BOM的基本概念，提出了EBOM／PPBOM向MBOM映射的算法和多BOM数据死锁的检验算法，为快速建立MES中的基础数据打下了基础；给出了五元组BOM对产品结构进行描述的柔性定义，可有效减少BOM数量和实现BOM的一致性；提出了基于五元组BOM的产品结构模型向Petri网过程模型的映射算法，从面向产品结构的建模转化为面向过程的Petri网建模，从而为产品的全生命周期的控制与管理提供了技术基础，满足产品生命周期中的BOM的一致性、完整性和数据集成性的需求。

Firstly, a hybrid system about the start-up process of a leatheroid's DMF recovering plant has been studied, the hierarchical control model of this system was built using timed Petri nets and hybrid Petri nets theory. The monitoring method of start-up process was discussed by studying the coordination layer of this model, and the reachability method was adapted to analyze this model.

论文首先对混杂系统——人造革DMF回收开车过程进行了研究，结合赋时Petri网和混合Petri网建立了其递阶控制模型；通过对其协调层的深入讨论，研究了开车过程的监控问题，采用可达性等方法对模型进行了分析。

The MDJ- IIIlarge-scale network earth resistance reflectoscope reflector, theobservable transformer substation network (4 Omega), the water andfire power plant, the microwave stand (10 Omega), the lightning rod(10 Omega) the multipurpose type, has used the new different frequencyalternating current supply, and has used microcomputer measure and soon processing control and signal processing, in the very good solutiontest process antijamming question, simplified the experiment operatingprocess, increased the test result precision and the accuracy, greatlyreduced experimented personnels labor intensity and the experimentalcost.

MDJ-Ⅲ型大型地网接地电阻测试仪，可测变电站地网（4Ω）、水火电厂、微波站（10Ω）、避雷针（10Ω）多用机型，采用了新型异频交流电源，并采用了微机处理控制和信号处理等措施，很好的解决了测试过程中的抗干扰问题，简化了试验操作过程，提高了测试结果的精度和准确性，大大降低了试验人员的劳动强度和试验成本。

In building the simulation models for manufacturing missions, based on the combination with the multi-agent method and the GOOPN method, the compoundable method is presented, which makes the models more intelligent. Based on the result above, combined with the GOOPN models and the GERTS model, we put forward EPN-GERTS model through embedding Petri net into GERTS model, which can simplify the complexity in building models, and also improve the defects of GERTS model in describing resource conflicts and Petri net model in building models. In building the simulation models for development missions, the improved GERTS model is present to describe the development processes in QRMS. Through dynamically computing the redo times in GERTS, the improved model can reflect the operation character of development process. The simulation results are more precise when we use the models above.

针对构建快速研制系统的仿真对象问题，提出了基于多Agent的快速研制系统可靠性复合仿真建模方法，增强了仿真模型的智能性；在此基础上，针对制造任务，将Petri网嵌入到GERTS网中，提出了用于快速研制系统制造任务可靠性仿真的EPN-GERTS模型，简化了建模过程，同时也能考虑任务之间的资源冲突；针对研制任务，提出了用于快速研制系统研制任务可靠性仿真的改进GERTS模型，该模型可以描述设计迭代过程的动态运行特点，使仿真结果更加准确。

NET Framework class library. It is the backbone of partially trusted code and is not restricted to file access, but rather affects everything from network access to windowing and more. When you use it in your own component code, users will be able to execute code regardless of origin, and their systems will remain safe. This allows you to write code that is featureful, executes in native machine language, and is distributed across a LBN or even over the Internet. You can take advantage of this feature with only a minimal exposure to the underlying mechanics of code access security.

NET框架类库来施用他是半信托代码的根蒂根基而且不受限于文件拜候，可是对路程经过过程收集拜候窗户或其它的不论什么情况都有至关的影响当您在您本身的组件代码中施用它时，用户可以在不消留心来历的情况下执行代码（好比从1个英特网网站），她们的体系仿照还是是安全的这似的您可以开具富有特征的、路程经过过程本机执行的而且漫衍拜候局域网甚至是英特网的代码您可以哄骗这些特征在代码拜候安全的根蒂根基下最小限度的袒露您的信息

The paper introduces the followings: the structure, process of knot-knitting and net-making, main technical parameters, applicable range of the netting twines and so on. The paper presents the design process of some typical parts of the machine and centers on the optimum design of the cam curve and improvement the manufacturing technology.

本文介绍了 ZRD8-500A 双钩型织网机的结构形式、织网成结过程、主要技术参数以及适用网线范围等；还介绍了几个典型机构的设计过程，重在凸轮曲线的优化设计和提高制造工艺。

As she looked at Warrington's manly face, and dark, melancholy eyes, she had settled in her mind that he must have been the victim of an unhappy attachment.

每逢看到沃林顿那刚毅的脸，那乌黑、忧郁的眼睛，她便会相信，他一定作过不幸的爱情的受害者。

Maybe they'll disappear into a pothole.

也许他们将在壶穴里消失