查询词典 multi valued mapping

The meeting conveyed the study of the Land Resources Bureau in Luoyang City, Henan Province, on Forwarding Mapping Agency,"regarding the development of Surveying and Mapping Law Publicity Day of the notice" notice with "55 Franco-Prussian" plan for "The People's Republic of China Surveying and Mapping Results Management Regulations","Henan Province, Surveying and Mapping Management Regulations "of the study, describes the geographic information market Luoyang carried out special rectification activities, the situation of" 8.29 "Surveying and Mapping Law Publicity Day activities were deployed.

会议传达学习了洛阳市国土资源局关于转发河南省测绘局《关于开展测绘法宣传日活动的通知》的通知，结合&五五普法&计划对《中华人民共和国测绘成果管理条例》、《河南省测绘管理条例》进行了学习，介绍了洛阳市地理信息市场专项整治活动开展情况，对&8.29&测绘法宣传日活动进行了部署。

Surveying and Mapping Hubei Province, the first director of the Vocational Skills Competition Organizing Committee, the Hubei Provincial Bureau of Surveying and Mapping, introduced the Secretary Jiang-Ren Chang, as China's economic construction, national defense, social development, the development of a more urgent demand for mapping, surveying and mapping work more and more important role prominent practitioners of surveying and mapping to a higher demand.

湖北省首届测绘职业技能竞赛组委会主任、湖北省测绘局局长张建仁介绍，随着我国经济建设、国防建设、社会发展的发展，对测绘的需求更加迫切，测绘工作的重要作用越来越突出，也对测绘从业人员提出了更高的要求。

To deal with the problems and present situation of field data capture by computer in geological mapping in 20 years, this paper has created PRB digital mapping techniques to standardize the digital mapping process and discussed PRB mapping technique-method system, including PRB digital mapping techniques, the model of PRB data and the related process, combinational regulations of PRB process, common mechanism and basic procedure of PRB process, data processing and dictionary of PRB, three-class PRB system,...

从近 2 0年地质填图中计算机野外数据采集技术研究的现状和存在的问题入手，在确定地质填图空间数据表达的基础上，遵循传统地质填图的规律，在不约束地质学家地质思维的前提下，既能满足计算机处理的需要，又能保证地质工作者取全、取准各项地质观测数据，在描述各类地质信息空间关系的基础上，创建了数字地质填图过程标准化和规范化的PRB数字填图技术，并对构成PRB数字填图技术、PRB数据模型、PRB基本过程、PRB基本过程组合的规则、PRB过程的公共机制、PRB过程基本程式、PRB数据操作、PRB字典、三级PRB体系、PRB数据流&栈&、PRB数据质量定量评价体系的PRB数字填图技术与方法体系进行了讨论。

Some operational laws of interval-valued intuitionistic fuzzy numbers, score function and accuracy function of interval-valued intuitionistic fuzzy numbers are intriduced. Based on these operational laws, some aggregation operators, including interval-valued intuitionistic fuzzy ordered weighted arithmetic averaging operator and interval-valued intuitionistic fuzzy hybrid aggregation operator, are proposed.

论文摘要：对区间直觉模糊信息的集结算子进行了进一步研究，引入了区间直觉模糊数的一些运算法则、区间直觉模糊数的得分函数和精确函数，并基于这些运算法则，提出了一些新算子：区间直觉模糊数有序加权算术平均算子和区间直觉模糊数混合集结算子。

We prove the fuzzy set-valued characteristicfunction of a compact Baire fuzzy set can be approached by fuzzy set-valuedcontinuous functions with fuzzy compact support sets,the integral of integrablesimple Baire fuzzy set-valued function can be approached not only by the integralsof integral simple fuzzy set-valued functions,but also by the integrals of fuzzy set-valued continuous function with fuzzy compact support sets.

定义了诱导空间上具有模糊紧支集的模糊集值连续函数，说明了它与分明的具有紧支集的连续函数的关系，证明了紧贝尔模糊集的模糊集值特征函数可以用具有模糊紧支集的连续函数列来逼近，可积简单贝尔模糊集值函数的积分可以用可积简单模糊集值函数的积分来逼近，还可以用具有模糊紧支集的模糊集值连续函数的积分来逼近。

The properties and expression of knowledge are discussed in brief and binary and multiple truth expression and inference of knowledge are studied focally. The neural networks which can realized the three valued logic are overviewed. The new idea of uncertain inference based on three valued logic is proposed for the first time The models of neural logic, which can realize three valued logic and uncertain three valued logic inference are proposed, too. The learning algorithm of coefficient of MVL's function based on the canonical realization of MVL network is investigated for the first time and the appropriate algorithm is proposed.

4简要地论述了知识的特征及其表现形式，重点研究了知识的真值二值和多值表示法以及基于知识真值表示法的逻辑推理；通过对目前可实现三值逻辑推理的逻辑神经元及其网络的简要回顾，指出了各自的局限性，首次提出了基于三值逻辑的不定性推理的新概念以及可实现三值逻辑和三值逻辑不定性推理的逻辑神经元模型，同时对基于这种逻辑神经元模型的推理系统的应用领域进行了探索性尝试；另外，首次对基于多值逻辑网络正规实现的多值逻辑函数的系数参数的学习算法进行了研究，并提出了相应的学习算法。

Secondly, in a more generalized framestructrue--lattice-ordered monoids,the notion of lattice-valued Mealy-type automata is introduced,we traverse some algebraic properties of this automata and investigate the congruences and homomorphisms of this type automata.Our main results indicate that the algebraic properties of lattice-valued Mealy-type automata have Close links to the algebraic properties of lattice-ordered monoids which automata take values in.Futhermore we study the minimization of lattice-valued Mealy-type automata and provide an algorithm to achieve the minimal lattice-valued Mealy-type automata within finite steps.

其次，在更一般的框架—格半群意义下，提出具有输入和输出字符的自动机——格值Mealy自动机的概念，从代数角度出发较详细地研究了此类自动机具有的性质，同时研究了此类自动机的同余和同态，揭示了此类自动机的代数性质和格半群的紧密联系，最终研究了格值Mealy自动机的极小化问题，并给出了在有限步可实现此极小化的算法。

In this dissertation, incorporating the level set algorithm, the gradient projection method, the nonlinear mapping technique, the return mapping algorithm and the mean curvature flow technique into topological optimization theory, a level set algorithm for topology optimization with multi-material structures is put forward, which can optimize a problem with general objective functions, multi-constraints, multi-materials and multi-load cases.

同时，又将拓扑导数理论和水平集算法结合起来，提出了结构拓扑优化的拓扑导数与水平集算法，进一步提高了计算效率。

Fist, comprehensive analysis on the current study on data processing is made, and characters of Newton methods about nonlinear surveying and mapping data processing are discussed, and then new solutions to parameters estimate with multi-sources, multi-types, multi-dimension, multi-precision bynonlinear least square are presented such as PSB algorithm, digital continuation and generalized digital continuation algorithm, cone model method, tensor analysis method, GCMA(mixed algorithm of gradient method and conjugate gradient method), combining algorithm based on Newton method and gradient method and confidence region and so on, and a new fast difference iterative algorithm is proposed towards parameters estimation containing random parameters in nonlinear models, and a new solutions to nonlinear least squares surveying and mapping adjustment by parameters estimation both considering the random and nonrandom parameters is presented after studying on nonlinear data processing in deformation monitoring, and at last primary analysis on error propagation of spatial data is made and approximate error propagation formula and error analysis formula to length and area are proposed.

首先比较全面分析了目前测量数据处理理论的研究现状，讨论了牛顿类方法在处理非线性模型参数估计方面的特点，研究并给出了求解多源、多类型、多维、多精度、非线性最小二乘测量平差参数估计的若干种新方法，这包括PSB算法、数值延拓及其广义数值延拓算法、锥模型法、张量分析法、基于最速下降法和牛顿法的组合算法、基于最速下降

Based on the outcome of Xu Yang and Qin Keyun about lattice implication algebra and lattice-valued prepositional logic LP with truth-value in a lattice implication algebra, the author studied the properties of lattice implication algebra and the α-automated reasoning method based on α-resolution principle of LP. The specific contents are as follows: The Study of Lattice Implication Algebra On the basis of previous results of lattice implication algebra, this part consists of the following three points: 1. Some properties of lattice implication algebra L were discussed, and some important results were given if L was a complete lattice implication algebra. 2. The properties of left idempotent elements of lattice implication algebras were discussed, and the conclusion that lattice implication algebra L was equals of the directed sum of the range and dual kernel of a left map constructed by a left idempotent element was proved. 3. The properties of the filters of lattice implication algebra were discussed, the theorem was shown that they satisfy the hypothetical syllogism and substitute theorem of the propositional logic. 4. The concept of weak niters of lattice implication algebras and their properties and structures are discussed. It is proved that all weak filters of a lattice implication algebra form a topology and the the implication isomorphism betweem two lattice implication algebras is a topological mapping between their topological spaces. The Study of α-automated reasoning method based on the lattice-valued propositional logic LP In this part, the author given an a-automated reasoning method based on the lattice-valued propositional logic LP.

本文基于徐扬和秦克云的关于格蕴涵代数和以格蕴涵代数为真值域的格值命题逻辑系统LP的研究工作，对格蕴涵代数以及格值命题逻辑系统LP中基于α-归结原理的自动推理方法进行了系统深入的研究，主要有以下两方面的研究成果：一、关于格蕴涵代数的研究 1、对格蕴涵代数的格论性质进行了研究，得到了当L为完备格蕴涵代数时，关于∨，∧，→运算的一些结果； 2、对格蕴涵代数的左幂等元进行了研究，证明了格蕴涵代数L可以分解为任何一个左幂等元所对应的左映射的像集合与其对偶核的直和； 3、对格蕴涵代数的滤子的性质进行了研究，证明了滤子的结构相似于逻辑学中的Hypothetical syllogism规则和替换定理； 4、给出了格蕴涵代数中弱滤子的概念，对弱滤子的性质个结构进行了研究，证明了格蕴涵代数的全体弱滤子构成一个拓扑结构，格蕴涵代数之间的蕴涵同构是相应的拓扑空间之间的拓扑映射。

The dissecting of samples in group2 were difficult. The root of pulmonary artery and ascending aorta failed to be unfolded because fibrous tissue was tough, right and left fibrous trigone were too firm to be solved by hand. Cardiac muscle fibers couldn't be stripped along myofibrillar trajectory since they were prone to break because of their friability.

组2的心脏解剖困难，表现为纤维组织坚韧，游离肺动脉非常困难；徒手无法松解左、右纤维三角，肺动脉和主动脉根部的游离非常困难；心肌纤维坚硬、质脆，解剖时容易断离成碎块，无法沿纤维走行方向剥离。

We have battled against the odds in a province that has become increasingly violent.

我们对在一个争夺日益激烈省的可能性。