查询词典 mathematical model

Comprehensively making use of the basic theory, such as Space Analytic Geometry, Gear Meshing Engagement Theory, Method of Mathematical Calculation, Theory for Error Analyzing and Data Processing, the author has established the mathematical models of the new method, which has included the analytic mathematical model for precision orientation, the mathematical model for the ball's diameter and the measuring diameter, the mathematical model about the ball's centre, the calculation model for tooth alignment diviations and the model for tooth alignment error evaluation.

本文综合应用空间解析几何学、啮合原理、计算方法、误差理论与数据处理等有关基础理论，推导建立了新方法的数学模型，包括：确定定位关系的解析法数学模型，测球直径与测量半径的数学模型，测球球心的数学模型，齿向偏差的计算模型以及齿向误差的评定数学模型等。

The four models were analyzed and normalized. We studied the procedure and method of building forest fire model base. Model base was build by object-oriented method based on category of model. Forest fire spreading models algorithm were implemented. We designed model dictionary base, model file base, and model knowledge base. Model base administration and maintenance functions were developed and implemented model file management, parameter management and knowledge management. The problems of interface between of model base and database were solved by means of model data control files. Model base ensured the availability of supporting for forest fire model suitability selection technology and forest fire model self-adapting updating technology.(3) Based on BP artificial neural network, we designed a frame construction of forest fire model selection of suitability. Forest fire model selection knowledge was produced through BP artificial neural network.

2建立了林火模型库建设的林火蔓延模型评价标准，根据模型评价标准和试验区实际情况，在42个林火蔓延模型中选择了目前最具有影响力和最具有典型代表性的Rothermel模型、王正非模型、加拿大模型和澳大利亚模型进行了解析和归一化处理；对林火模型库的建库过程和方法进行了研究，在林火模型分类基础上，采用面向对象的模型库表示方法建立了林火模型库；实现了林火蔓延模型算法，设计了模型字典库、模型文件库和模型知识库；开发了模型库管理与维护功能，实现了模型的文件管理、参数管理和知识管理；通过模型数据管理文件解决了模型库与数据库之间接口问题；实现了林火模型库对林火模型适宜性选择和林火模型自适应修正技术的有效支持。

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

Abridgement ）:Mathematics Olympiad entitled to carriers, a mathematical way of thinking on the meaning: mathematical thinking is to understand the nature of mathematical knowledge, from some of the specific content of mathematics and mathematical understanding of the excessive rise in refining a mathematical point of view, is a mathematics knowledge Structure of the essence and soul of the commander in chief and it played the dominant role of mathematical knowledge.

以数学竞赛题为载体，阐述了数学思想方法的涵义：数学思想就是对数学知识的本质认识，是从某些具体的数学内容和对数学的认识过重中提炼上升的数学观点，是数学知识结构的精髓和灵魂，它起到统帅和支配数学知识的作用。

Chapter 4, lists the teaching cases in teacher's teaching, combined the cases dissecting the teaching methods of mathematics and mathematical cerebration and methods in the point of view of psychology, then infers that to proceed the teaching of mathematical cerebration and methods is necessary. In the other hand, I compared and studied the association between the basic mathematical cerebration and methods and other mathematical knowledge, answer the questions that which mathematical cerebration and methods are more worthy to jut out. At last, infers a mode of the teaching in mathematical cerebration and methods.

第四章列举了教师在授课中的教学案例，结合案例从心理学角度对中学数学教学与数学思想方法教学进行剖析，得出进行数学思想方法教学是十分必要的；同时对中学数学教学中的数学基本思想方法与其它数学知识的关系进行了对比分析，对在中学数学教学中突出哪些数学基本思想方法为好做了解答；最后给出了数学思想方法教学的一个教学模式。

For preparing for the researches of text digital watermarking and advantaging other researchers" development when using the Chinese mathematical expression theory, this paper designs and realizes a development platform of Chinese mathematical expression. It has been proved by experiments that the platform"s function, execution speed and stability can satisfy the requirements of conversion and operation of enormous data.This research found out that the structure information of Chinese have plenty redundant information that can be used by the Chinese mathematical expression for the digital watermarking, the data embedded can possess better robustness. Based on this finding, this paper designs a kind of text digital watermarking method of embedding watermarking by using Chinese structure, and realizes the method by using the Chinese mathematical expression platform.Considering the watermarking embedding algorithms importance to the robustness of the text digital watermarking, this paper makes fully use of the advantage of the Chinese mathematical expression theory to design a kind of layered text method, which has being realized by using the Chinese mathematical expression platform. The layered text method can handle the text as a solid structure, and the embedding data havepreferable robustness.Finally, based on the researches of the text digital watermarking method and the text layered method, this paper integrates the method of making use of the Chinese structure embedding watermarking with the robust algorithm based on text layered, and realizes a brand-new text digital watermarking method. Proved by lots of experiments, this brand-new method has good robustness and better invisibility.

为了为研究工作做准备和方便其他使用汉字数学表达式理论体系的人进行开发，本文基于汉字数学表达式理论设计实现了一个汉字数学表达式平台，实现了Unicode汉字集中的汉字、汉字数学表达式、汉字的Unicode码之间的相互转化、依据汉字数学表达式提取汉字的结构信息、由汉字数学表达式在非中文平台上不依赖字库显示汉字的图像等功能，使用复合文档技术和流压缩技术进行数据的存储，使用对汉字数学表达式进行二叉树拆分来处理汉字数学表达式中包含的信息，使用自定义哈希函数来提高运行速度，实验证明，该平台功能、速度和稳定性完全能满足大量数据的转化和运算要求；通过研究表明汉字的结构信息中存在大量可使用汉字数学表达式理论加以利用的水印加载空间，加载在该空间的数据可以具有较好的鲁棒性，基于此，本文设计了一种利用汉字结构加载水印的文本数字水印方法，并使用汉字数学表达式平台将其实现；由于水印嵌入算法对于文本数字水印的鲁棒性至关重要，本文充分利用汉字数学表达式理论的优点，设计了一种文本分层的方法，并使用汉字数学表达式平台将其实现，使文本成为一个立体的空间，使嵌入在其中的数据具有更好的鲁棒性；最后在基于汉字数学表达式的文本数字水印嵌入方法的研究和基于汉字数学表达式的文本分层方法的研究的基础上，结合利用汉字结构嵌入水印的方法和基于文本分层的抗攻击文本水印嵌入算法实现了一种全新的文本数字水印方法，经实验证明，该方法有良好的鲁棒性和较好的隐蔽性。

Then, it studies the supply chain management system as a complex system to confirm the state existing during operating of the system. After that, it conducts a probability analysis on the state which the system located by applying supplement variable method, and establishes the model of distributed parameter system in a form of partial differential equations. Combining C0 ? semigroup theory in the functional analysis, it conducts a dynamic analysis on the established mathematical model. Using this method, it obtains the mathematical expression of the dynamic solution and the steady state solution, and proves the uniqueness, non-negativity and the asymptotic stability of the system solution. This dissertation applies the Matlab tool and uses two-step, three-step Simpson integral equation to imitate the condition of system solution. Then, it adds possible mode of failure and the optimization adjustment state to the system, based on which it has established the distributed parameter system model which is described by partial differential system of equations. Combining the functional analysis C0 ? semigroup theory, it studies the established mathematical model, and obtains the mathematical expression of the dynamic solution system and the steady state solution. It has proven the existing of uniqueness of the system solution, the asymptotic stability of system solution and the system solution. In addition, it has lying the theory rationale for further analysis and the research on the optimization of system.

本文首先简要综述了供应链理论、可靠性研究、鲁棒性研究以及供应链鲁棒性研究的现状；然后，将供应链系统作为一个复杂系统来分析，确定了系统运行过程中所经历的状态，通过引入补充变量的方法，建立了用偏微分方程组描述的分布参数系统模型，用泛函分析中的C_0 -半群理论得到了系统动态解和稳态解的数学表达式，证明了系统解存在的唯一性、非负性和指数阶渐近稳定性；并借助Matlab工具，利用二阶、三阶辛普森积分方程模拟系统解的性态，并给出系统动态解的仿真图；本文又对上述系统增加了系统可能失效状态和优化调整状态，并在此基础上建立了用偏微分方程组描述的分布参数系统模型，同样用泛函分析中的C_0 -半群理论对所建立的数学模型进行了研究，得到系统动态解和稳态解的数学表达式，证明了系统动态解存在的唯一性、非负性及渐近稳定性，为进一步分析和研究供应链优化奠定了理论基础。

In the light of the complex, high-level and non-linear feature of the mathematical model which describe the transport of the coalbed methane, this paper study the fully-implicit solving method of the mathematical model in detail. Based on the complexity of the algebraic equations which are formed eventually, according to the alternating direction implicit difference pattern, this paper use the iterative method and the fully main element Gauss-Jordan eliminating method to solve equations, which is to use the iterative method to determine coefficient matrix and use the fully main element Gauss-Jordan method to solve th linear algebraic equation group, at the same time of studying the solving method of the mathematical model, according to the devising requirement of FORTRAN77 program structure, this paper draw up computer program and form the corresponding computer model, and verify the validity and reliability of the model in theory by operating the model.

重点研究了模型内、外边界及有关参数的处理，针对描述煤层甲烷运移的数学模型是一个复杂、高阶非线性数学模型的特点，详细研究了模型的全隐式求解方法，根据最后形成的代数方程组的复杂性，按交替方向隐式差分格式，采用迭代与全选主元高斯约当消去法相结合的方法求解方程：即确定系数矩阵采用迭代法，求解线性方程组时采用全选主元高斯约当消去法，在研究模型解法的同时按FORTRAN结构化程序设计的要求，编制计算机程序，形成相应的CBMRS计算机模型，并通过模型的运行从理论上证明了模型的正确性与可靠性。

During the study, in order to decrease the complexity, the article simplifies the geomorphic process, defines the ideal state, and, according to the geomorphic principle, reasons out some of the 4-Dimensional Geomorphic Mathematical Sub-Models that include the 4-Dimensional Tectonic Geomorphic Mathematical Model, the 4-Dimensional Depositional Geomorphic Mathematical Model, and the 4-Dimensional Denudate Geomorphic Mathematical Model.

在研究过程中，为了减低复杂程度，简化了地貌过程，规定了理想条件，并根据地貌学原理推导了部分理想条件下的四维地貌数学模型，分别是四维构造地貌数学模型、四维沉积地貌数学模型和四维剥蚀地貌数学模型。

Relativity can't leave Lorentz transformation such interesting mathematical game, from its beginning to its end is from mathematical game to mathematical game, it seems that he wants to use mathematical game to direct physics experiment, it seems that he wants to use mathematical game to change space and construct another universe.

相对论离不开洛仑兹变换这个有趣的数学游戏，从它的开始到它的结束全是从数学游戏到数学游戏，似乎他要用数学游戏去指导物理实验，似乎他要用数学游戏去改造空间和另造宇宙。

Diabetes is a social disease that affects several million people worldwide.

糖尿病是一个社会性疾病，全世界有数百万人罹患此病。

I'll call you on Friday to see if we can reschedule our luncheon meeting at your convenience.

我星期五会给您打电话在您方便的时候我们重新安排我们的午餐约会。