查询词典 process with independent increments

The concept and definition of linear process with independent increments were presented. Then the regression model and analysis method for linear process with independent increments were established. Furthermore, the regression equation and confidence limit curves were given.

提出了线性独立增量随机过程的概念和定义，建立了线性独立增量过程回归模型及其分析方法，给出了回归方程和高置信度、高可靠度的置信上、下限曲线。

The timed period can be for 1 to 10 minutes in one-minute increments, for 10 to 120 minutes in ten- minute increments, or for 1 to 40 hours in one-hour increments.

定时期间可为1至10分钟，一分钟的增量，为10至120分钟的10 -分钟递增，或为1至40小时一小时的增量。

The results of calculations showed that the maximum increments in saltation height and horizontal distance due to the Magnus force were 10.2 and 24.9%, respectively, and that both increments increased with increasing lift-off angle. The maximum increments in saltation height and horizontal distance of sand grains caused by the Saffman force were only 4.6 and 3.7%, respectively. The vertical concentration distribution of Aeolian sand flow follows exponential function distribution whether or not force analysis of saltating sand grains includes Magnus and Saffman force. The effect of Magnus and Saffman force on the vertical concentration distribution of Aeolian sand current makes the rate decrease near sand bed and it is consistent with the effects of Magnus and Saffman force on the saltation height and distance of sand grains.

Magnus力对跃移高度和水平距离产生的最大增量分别可达到10.2%和24.9％，这两个增量均随起跃角度的增加而增大；Saffman力对跃移高度和水平跃移距离产生的最大增量分别为4.6%和3.7%；是否考虑Magnus与Saffman力，风沙流垂向质量百分浓度均服从指数函数分布，Magnus与Saffman力使得风沙流垂向质量百分浓度较不考虑它们的作用呈现出底层的比例较小，上层较大，Magnus与Saffman力对跃移高度的影响基本与其对风沙流垂向质量分布的影响一致，不过Magus力对风沙流垂向质量百分浓度分布影响较大，0-2cm范围内尤为强烈(7.16-10.81)，其他高度层(2-20 cm)的影响相对较小(0-2.95)。

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、基于论文研究成果，设计实现了"空间信息服务聚合实验系统"，并构建了"矿产资源评价"和"城市消防应急响应"两个典型应用案例，对论文所述模型、方法的可行性和有效性进行了验证。

Main points of the thesis are as follows:(1) The main function models and information relations between these models in the CAPP system in the integrated CAD/CAM project are explained, a new process plan design method is mentioned based on analyses of process plan design. This method is based on the process plan prototype, and develops the prototype little by little until the perfect process plan is completed, the prospect of this method is discussed;(2) The feature abstracting rules and methods are studied, a feature coding system is developed based on GT, all the defined feature models are described by the mathematical methods;(3) The integrated method of CAD/CAPP based on features is mentioned, this method defines a feature exchanging model, and develops an interface software to exchange design data into technology data base, this technology data base includes the design and technology information of the parts;(4) The process plan reasoning method based on features is created, this method uses Mycin algorithm to solve the reasoning of the feature process plan. A process plan making system is developed. In this system part process plan is made by the semi-intelligent method, this method uses the feature reasoning, feature process chain searching and man-computer talking together;(5) The main structure of the HOPE system is introduced, a shaft drawing and its process plan made by this system are shown, the data process problem in process drawing making is also discussed;(6) A new method of describing process rule is introduced, this method uses IfThen rules and neural nets weight values together to describe process rules, the BP algorithm is adopted in this method;(7) The optimal machining sequence problem of the process steps on the same fixturing is discussed, optimal algorithms SA is applied to solve this problem, the result shows that this method is more efficient than the traditional method;(8) All jobs in the thesis are summarized. In order to carry out the research in the future, some rational proposals are given.

全文论述的内容主要有下列几个方面：(1)较为系统地阐述了CAD／CAM一体化工程项目中CAPP系统的主要功能模块及其信息流程，在分析工艺设计过程的基础上，提出了基于特征原型的渐进式工艺设计方法，并探讨了该方法的应用前景；(2)研究了零件特征提取的原则和方法，在成组技术的基础上，开发了一套基于特征的分类编码系统，并在提取零件特征的基础上，定义了零件特征的数据模型，开发了基于轴类零件特征的参数化设计系统；(3)研究了基于特征的CAD／CAPP集成的方法，通过定义零件特征数据模型的存储结构，开发了将设计数据转换到工艺数据库中的接口程序，为后续的CAPP系统提供必要的零件形状和工艺信息；(4)研究了基于特征的工艺推理方法，将Mycin算法应用到工艺决策中，开发了基于特征的工艺推理及工艺方案生成系统，在系统中综合运用特征推理、特征加工工艺链查询及人机对话相结合的半智能化方法确定零件加工工艺；(5)介绍了整个HOPE系统的总体结构，通过运行HOPE系统绘出了一轴类零件的零件图，并生成了该零件的加工工艺方案，初步探讨了基于特征的工序图生成技术中数据处理问题；(6)研究了工艺设计过程中知识如何有效表示的问题，提出了将显式的IF-THEN规则表示与隐式神经网络权值表示相结合的工艺知识表示方法，并利用BP算法进行了工艺知识表示的初步研究；(7)研究了工艺设计过程中同一安装下工步优化排序问题，利用神经网络中基于模拟退火的理论来解决该工步优化排序问题，实践证明该方法较传统的算法具有更高的效率；(8)总结了本文所进行的研究工作，为今后进一步开展工作提出了较为合理的建议。

This thesis firstly analyzed related theories on independent innovation system of Private Scientific and Technological Enterprises; secondly described the status quo and developing trend of independent innovation of Private Scientific and Technological Enterprises in China; thirdly determined objectives and characteristics of independent innovation system of Private Scientific and Technological Enterprises, put forward three ways for independent innovation of Private Scientific and Technological Enterprises, they are direct way of wholly independent innovation, outflanking ways based on cooperation innovation and imitation innovation; fourthly made "structure-function" analysis for independent innovation system of Private Scientific and Technological Enterprises, clarify system operation mechanism; finally this thesis used the theory and method of System Dynamics modeling for independent innovation system of Private Scientific and Technological Enterprises.

论文首先对民营科技企业自主创新系统相关理论进行研究；接着描述了我国民营科技企业自主创新现状与发展趋势；然后确定了民营科技企业自主创新系统的目标、特点，将民营科技企业自主创新的实现途径分为完全自主创新的直接途径和基于合作创新和模仿创新的迂回途径；并对民营科技企业自主创新系统行&结构-功能&分析，阐明民营科技企业自主创新系统的运行机理；最后应用系统动力学的理论和方法对民营科技企业自主创新系统进行建模。

According to the properties of Wiener increments and the independent relation between the Wiener increments and the numerical solutions, the difference equation obtained by applying the numerical method to the general linear test equation is studied carefully in mean square sense and the conditions under which the numerical method is MS-stable and GMS-stable are determined.

依据维纳增量的性质以及维纳增量和数值解间的独立关系在均方意义下详细分析了数值方法应用到线性试验方程上得到的差分方程，并进一步确定了半隐式Milstein方法MS-稳定和GMS-稳定的条件。

Chapter Two illustrates the nature of the international guarantee.At first,the writer analyses the meaning of collateral nature and its theoretical basis.Thewriter points out that in order to reinforce the protection of the guarantor'sinterest,the guarantee is located as collateral guarantee in all countries'traditional legislation.In other words,the validity of the guarantee contract isdetermined by the underlying contract,i.e.if the underlying contract isestablished,the guarantee contract is established,too;if the underlying contract isvalid,and the guarantee contract is valid too.It is true,otherwise.But thedoctrine of autonomy of private law dominates the civil law and commercial lawin all the countries,so the parties are permitted to alter the collateral nature of theguarantee by an agreement under the related laws worldwide.so the collateralnature of the guarantee is not the compulsory nature of the law.This lays a solidfoundation for the emerging of the independent guarantee.The writer thenanalyses the meaning of independence and the cause of the booming of theindependent guarantee.In fact,the independent guarantee was originated fromthe change of the collateral nature by the parties contract.As a result,the validityof the contract of independent guarantee is not determined by the underlyingcontract as the collateral guarantee,But the validity of the independent guaranteecontract is independent from the underlying contract,the establishment and thevalidity of the contract of independent guarantee are not subjected to theunderlying contract.

第二章对国际信用担保的法律属性进行了论述，首先分析了从属性的含义及其理论基础，指出虽然各国传统立法为了加强对保证人利益的保护，都将信用担保定位于从属保证，即保证合同的效力取决于主合同的效力，主合同成立，保证合同也成立，主合同生效，保证合同也生效；主合同不成立，保证合同也不成立，主合同不生效，保证合同也不生效，但是由于私法自治的精神主导着各国的民商法领域，各国立法都允许当事人通过合同约定对信用担保的从属性进行改变，所以保证的从属性从来就不是信用担保制度的法律强制属性，这也为独立保证制度的出现奠定了制度前提；其次分析了独立性的含义以及独立保证兴起的原因，独立保证实际上就是当事人通过合同约定对保证从属性的改变，使独立保证合同的效力不再象从属保证合同的效力那样取决于主合同的效力，而是使独立保证合同的效力独立于主合同的效力，独立保证合同成立不因主合同的不成立而受影响，也不因主合同的无效而无效。

The process features and shape features of the electronic part are classified and defined, and then the feature model library is built, which enables rapid input of the part information. The rules and methods of stamping process design are summarized to build the stamping process library, so that the stamping process can be designed rapidly and intelligently. Furtherly, the process design rules and methods in process station layout of multi-station progressive die as well as the methods of decompounding and compounding process and the expression method of the process station layout are concluded and summarized, and then the rule library and case library of process station layout are built. Designing the process station layout rapidly is carried out based on rules and cases. At last the rapid design function of process station layout is validated through simulating the rapid designing layout system of multi-station progressive die on Pro/E 3D platform.

主要研究成果有：对电子产品冲压件的工艺特征与形状特征进行了分类和定义，建立了特征模型库，实现了冲压件信息的快速输入；归纳了冲压工艺设计规则和方法，建立了冲压工艺知识库，实现了冲压工艺快速与智能化设计；归纳总结了多工位级进模工步排样中的工序设计原则和方法，工序分解与工序组合方法，工步排样知识的表示方法，建立了工步排样规则库和实例库，利用基于规则和实例的推理方法，实现了工步排样的快速设计；在Pro/E三维软件平台上开发了电子产品多工位级进模工步排样快速设计系统，系统通过实例验证了工步排样的快速设计功能。

In order to implement the algorithm, a linearization method is applied in an extremely short sampling cycle to calculate the increments of torque and flux magnitude, to derive the linear equation between the desired stator flux linkage vector increment angle and the increments of torque and flux magnitude, to derive the stator voltage vector reference and to determine the next position of the stator flux linkage vector.

算法的实现运用了线性化的方法，在一个极小的采样周期内，计算出转矩增量和磁通增量，以此推导出所需的定子磁链增量角与转矩增量及磁通增量两者之间的线性方程，进一步导出所需的定子电压矢量，并确定新的定子磁链位置。

Metrorrhagia is also gynaecological problems of common diseases.

崩漏是妇科常见病也是疑难症。

WordFTP gives you the convenience and timesaving you need.

wordftp让您的方便和省时您所需要的。