查询词典 controllable stochastic process

On the basis of the conclusion above, the nonlinear weak controllable vectors can be obtained, which compose the second class of weak controllable matrix, by means of matrix transfermations of the first class of weak controllable matrix. Furthmore the second criterion of weak controllability, accessibility and strong accessibility, which is more standard, more succinct and more practical, is obtained. On the basis of the first criterion and the second criterion, several important problems about nonlinear controllability are discussed, which include 1 local controllability; 2 three classes of local controllable decomposition, separately by means of local coordinate changes in the neighborhood of a nonsingular point, a point on a singular surface or a designated point x〓 with a designated input u〓; 3 the character of controllability of the ith state variable x〓 in different controllable areas and their boundaries.

在第一判别定理和第二判别定理的基础上，我们分析了非线性系统受控性质中的几个重要问题，所得到的结论包括i得到了非线性系统在可平衡点附近的能控性判别定理；ii分别给出了非线性系统在非奇异点、s阶奇面以及在状态空间内给定的一点x〓和输入u〓上的三种状态分解形式以及相应的求解方法；利用系统的Ⅰ型弱能控矩阵与Ⅱ型弱能控矩阵秩相等的条件，得到了只用系统的前n个弱能控向量来判断系统的弱能控性的判别定理；iii通过引入系统状态分量的三类受控区域边界的定义及相应的求解方法，初步探讨了非线性系统各个状态分量在不同的受控区域及其边界上的受控性质。

This paper is mainly the dynamic input-output model that the time lag is one, which is base on the above models. After studying, we consider stochastic factor step by step in it, namely when consumption coefficient matrix is stochastic (when investment matrix is stochastic, it is almost same. So we dont research it), and they are both stochastic, then we research the stable increase solution. We utilize the means of the modern stochastic analysis and Markov process, that the stochastic dynamic input-output model don not exist the stable solution is proved. Namely, economic system must is adjusted constantly. The probability that the collapse time of the economic system is o is one.

本文对在上述基础上构造的一类时滞为1的动态投入产出模型，进行了深入研究，将随机因素逐步考虑进去，即对投入产出消耗系数矩阵为随机的情况(投资系数矩阵为随机的情况与投入产出消耗系数矩阵为随机的情况大致相同，这里就不再证明)，以及二者同时为随机矩阵时所得到的动态投入产出模型的稳定增长解问题，利用现代概率分析及马氏过程的工具，证明了不存在随机动态投入产出模型的稳定增长解；即投入产出模型反映的经济系统必须经常进行调整，其崩溃时间为无穷大的概率为零。

To solve the problems of the limescale ,the oxidation which are produced by the direct contact between a metallic conductor and water, the detecting reliability and the service life, the utility model adopts the technical proposal as below: the proposal comprises a monostable controllable trigger, a second low-pass filter, a voltage follower and a display circuit, the power circuit links with the monostable controllable trigger, the second low-pass filter, the display circuit and a timebse pulse circuit separately, the utility model is characterized in that the monostable controllable trigger, the second low-pass filter and the display circuit sequentially links, the monstable controllable trigger separately links with a water lever sensor and the timebase pulse circuit.

为了解决金属导体与水直接接触会产生水垢和氧化，影响检测可靠性和使用寿命的问题，本实用新型采用了以下技术解决方案：它包括单稳可控触发器，二阶低通滤波器，电压跟随器和显示电路，电源电路分别与单稳触发器，二阶低通滤波器，显示电路和时基脉冲电路相接，其特征在于单稳可控触发器，二阶低通滤波器，电压跟随器和显示电路依次相接，单稳可控触发器分别与水位传感器和时基脉冲电路相接。

To solve the problems of the limescale ,the oxidation which are produced by the direct contact between a metallic conductor and water, the detectingreliability and the service life, the utility model adopts the technical proposal as below: the proposal comprises a monostable controllable trigger, a second low-pass filter, a voltage follower and a display circuit, the power circuit links with the monostable controllable trigger, the second low-passfilter, the display circuit and a timebse pulse circuit separately, the utility model is characterized in that the monostable controllable trigger, the second low-pass filter and the display circuit sequentially links, the monstable controllable trigger separately links with a water lever sensor and thetimebase pulse circuit.

为了解决金属导体与水直接接触会产生水垢和氧化、影响检测可靠性和使用寿命的问题，本实用新型采用了以下技术解决方案：它包括单稳可控触发器、二阶低通滤波器、电压跟随器和显示电路，电源电路分别与单稳触发器、二阶低通滤波器、显示电路和时基脉冲电路相接，其特征在于单稳可控触发器、二阶低通滤波器、电压跟随器和显示电路依次相接，单稳可控触发器分别与水位传感器和时基脉冲电路相接。

Wherein said first yoke axle is coupled at a right angle to a hinge line of said first one of said controllable devices; wherein said second yoke axle is coupled at a right angle to a hinge line of said second one of said controllable devices; and wherein said hinge line of said first one of said controllable devices is skewed relative to said hinge line of said second one of said controllable devices.

其中，第一枷锁轴耦合在一个直角的铰链线表示，第一个表示可控装置；其中第二枷锁轴耦合在一个直角的铰链线第二之一说，可控装置；和其中说铰线说，第一个说，可控器件倾斜相对说铰线第二之一说，可控设备。

By employing the local Lipschitz condition and Picard sequence, the local existence-uniqueness of solutions of stochastic functional differential equations of Ito-type is firstly obtained. Furthermore, a continuation theorem for stochastic functional differential equations of Ito-type is given by using stochastic analysis technique and the quasi-boundedness condition. Finally, by establishing some delay differential inequalities and using properties of H_m-functions, a stochastic version of Wintner theorem and the global existence-uniqueness of solutions of stochastic functional differential equations of Ito-type are given. The results generalize the earlier publications.

首先，利用局部Lipschitz条件和Picard序列，获得了伊藤随机泛函微分方程解的局部存在唯一性；其次，利用随机分析技巧和拟有界条件，建立了伊藤随机泛函微分方程解的延拓定理；最后，通过建立一些时滞微分不等式和利用H_m-函数的特性，得到了Wintner定理的随机版本和伊藤随机泛函微分方程解的全局存在唯一性，推广了已有的一些结果。

Quasi Hamiltonian system; nonlinear stochastic optimal control; robustness; robust control; parametric uncertainty; uncertain disturbance; Bouc-Wen hysteretic system; Preisach hysteretic system; minimax optimal control; stochastic stabilization; stochastic averaging method; stochastic dynamical programming principle; stochastic differential game; maximal Lyapunov exponent

国家自然科学基金；拟Hamilton系统；非线性随机最优控制；鲁棒性；鲁棒控制；参数不确定性；不确定扰动； Bouc-Wen滞迟系统； Preisach滞迟系统；极小极大最优控制；随机稳定化；随机平均法；随机动态规划原理；随机微分对策；最大Lyapunov指数

The analysis in theory proves that cellular automaton is equal with a stochastic process that described by stochastic difference equations. The primary differential equation is expectation of this stochastic process. And its variance function is controllable. These results show that cellular automata are in agreement with primary differential equation in the statistical sense.

理论分析证明：该方法设计的细胞自动机等价于一个可用随机差分方程描述的随机过程，该随机过程以原微分方程为期望函数，并且，其方差函数是可控的，表明细胞自动机和原微分方程在统计意义上是一致的。

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)总结了本文所进行的研究工作，为今后进一步开展工作提出了较为合理的建议。

The French are not suggesting a new EU treaty, but they have plenty of other wheezes.

法国人并不是在建议签署一个新的欧盟条约，但他们有许多其他的阴谋。

This letter was written by my brother.

这封信是我弟弟写的。