映滿映射 的英文怎麼說
中文拼音 [yìngmǎnyìngshè]
映滿映射
英文
onto mapping-
On the basis of analyzing limitation of using penalty function method dealing with constraints, an amending method based on the knowlege regulating strategy is suggested to amende the mapping relationship of infeasible constraints in decoding, thus making the regulated individuals map into the space to obtain the most promising optimal solution
在分析懲罰函數法對約束處理效率較低的情況下，提出了一種基於知識調整策略的修正法，對解碼中不滿足約束的映射關系進行修正，使調整后個體映射到最有希望獲得最優解的空間中。On extension of isometries between the unit spheres
型空間的單位球面間滿等距映射的表現定理及等距延拓The full circles of quasi - meromorphic mapping of infinite order
無窮級擬亞純映射的充滿圓Aiming at this problem, the main research issues and achievements in this paper are as follows : bi - directional data transformation between rdb and xml with semantic constraints preserved for most of existing researches on static data transformation between xml and rdb, dtd is taken as the schema description language for xml, and the semantic constraints are often lost during the transformation process. to overcome these disadvantages, the author adopts xml - schema, a standard schema description language proposed by w3c to replace dtd, as the description method owing to its more powerful functions than dtd, and of course with the syntax much more complicated. after analyzing the constraints characteristics in both xml - schema and relational schema, a semantic constraints - preserved algorithm is proposed which can realize the bi - directional schema mapping between rdb and xml through a formalized description of xml based on regular tree and a general expression for relational schema based on direct graph approach
保留語義約束的xml與rdb雙向靜態數據轉換技術現有研究大多採用dtd （ documenttypedefinition ，文檔類型定義）作為xml的模式描述語言，並且在模式映射過程中丟失語義約束信息，本文分析了xml - schema （ xml - schema採用與dtd完全不同的語法，數據描述能力更強同時也更為復雜，已被w3c確定為替代dtd作為xml模式描述語言的標準）及關系模式的語義約束特徵，通過基於正則樹的xml形式化描述方法以及基於有向圖的一般關系模式表示方法的研究，建立保留語義約束的xml - schema與關系模式的雙向模式映射演算法，實現了xml與rdb的雙向數據轉換，較好地解決了xml與rdb在靜態數據轉換層面的數據集成問題，可有效滿足企業大量rdb數據面向xml的發布以及與日俱增的xml數據存入rdb的應用需求。It is bijective if both injective and sujective.
既單又滿的映射稱為一一對應。The process manager ( scheduler ) maps single processes onto resources according to a specified scheduling policy such that all processes meet their requirements
進程管理程序（調度程序）的任務是根據規定的調度策略把進程映射（對應）到處理器資源上，使得所有進程能滿足它們的需求The human hand motion is mapped to the dexterous robot hand based on the ameliorated fingertip position mapping method. the mapping algorithm is testified through the graphic simulation. the simulation results show that the mapping method is direct and natural which can satisfy the requirements of robot hand teleoperation
採用改進的基於指尖位置的映射方法將人手的運動映射到靈巧手上，並進行了映射演算法的驗證和三維圖形模擬，試驗表明了映射結果能滿足基於數據手套的靈巧手遙操作的要求。Another main topic of this thesis is to discuss cartesian closed property of some full subcategories of local complete semi - lattices with stable functions
第三章討論以穩定映射為態射的局部完備格範疇的滿子范疇的笛卡爾閉性The basic properties of stable functions are given firstly. distributive dcpo is defined then and the stable function on this kind of dcpo is discussed in detail
給出了范疇slp的滿子范疇笛卡爾閉的必要條件，即證明了slp的滿子范疇中的指數對象就是穩定映射構成的函數空間Six distinguished computer experts including scott defined the weight of continuous lattices in the first reference and proved that the three kind of weights ? ei g ht of continuous lattices, weight of the related scott topological space and weight of the related lawson topological space, are consistent
證明了幾類分配的domain范疇即sdscs 、 sdccs 、 sdacs是slp的閉的滿子范疇，指出在slp的滿子范疇中指數對象同構于穩定映射所成的函數空間。The cartesian closed properties of some distributive domains are obtained, such as the categories of distributive meet - continuous semi - lattices, distributive continuous complete semi - lattices, distributive algebraic complete semi - lattices ( distributive scott domains ). generally, we have that the categorical products are cartesian products and the exponential objects are in fact the function spaces of stable functions under stable orders in any full subcategory of slp
得到了以穩定映射為態射的完備半格範疇、連續完備半格範疇、代數完備半格範疇都不是笛卡爾閉的，而以分配的交連續完備半格、分配的cos 、分配的scottdomain等為對象的slp的滿子范疇是笛卡爾閉的Based on the cfm, we describes a cfm driven semantics analyzing algorithm, it analyzes chinese clause for semantics, using semantic analyzing as primary one, and syntax analyzing as secondary one : firstly, it estimate the clause ' s semantic mode by looking through the words appearing in the clause ; secondly, it analyzes the functional components in the clause, using the restriction in the semantic mode ; finally, it constructs the semantics of clause using the semantic modes as the framework
在cfm的基礎上，我們提出了「 cfm模型驅動的語義分析演算法」 ，它是以語義分析為主、語法分析為輔的小句語義分析方法。該方法由下列步驟組成：首先根據小句中出現的詞所映射的概念，形成候選語義模式集；然後利用候選模式的「功能組成約束」分析小句的功能組成，其中需要利用語義詞典中的語法結構進行語法分析；判斷各功能組成是否滿足約束；對滿足約束的結果構造以cfm中「語義模式」為框架的小句語義表示。In the third chapter, we will study the existence and uniqueness of the classical global solution and generalized global solution to the periodic boundary value problem and the cauchy problem for this kind of equation. in the second chapter, we study the following nonlinear wave equation of higher order : with the initial boundary value conditions or with where a1, a2, a3 > 0 are constants, ( s ), f ( s0, s1, s2 s3, s4 ) are given nonlin - ear functions, u0 ( x ) and, u1 ( x ) are given initial functions. for this purpose, by green ' s function of a boundary value problem for a fourth order ordinary differential equation we first reduce the problem ( 1 ) - ( 3 ) to an equivalent intergral equation, then making use of the contraction mapping principle we prove the existence and uniqueness of the local classical solution for the intergral equation
本文分三章，第一章為引言；第二章研究一類非線性高階波動方程的初邊值問題的整體古典解的存在性和唯一性，以及古典解的爆破；第三章研究此方程的周期邊界問題和cauchy問題的整體廣義解和整體古典解的存在性和唯一性，具體情況如下：在第二章中，我們研究一類非線性高階波動方程的如下初邊值問題：或或其中a _ 1 ， a _ 2 ， a _ 3 0為常數， （ s ） ， （ s _ 0 ， s _ 1 ， s _ 2 ， s _ 3 ， s _ 4 ， ）為已知的非線性函數， u _ 0 （ x ） ， u _ 1 ， （ x ）為已知的初始函數，為此，我們先用四階常微分方程邊值問題的green函數把上述問題轉化為等價的積分方程，然後利用壓縮映射原理證明此積分方程局部古典解的存在性和唯一性，又用解的延拓法證明上述問題整體古典解的存在性和唯一性，主要結果有：定理1設u _ 0 （ x ） ， u _ 1 （ x ） c ~ 4 [ 0 ， 1 ]且滿足邊界條件（ 2 ） ，若以下條件滿足：其中a ， b月0為常數， wAnd we describe the join r v p of a ring congruence r and an arbitrary congruence p on s. similarly, we discribe all the divisible semiring congruences on a distributive semiring. at last, we give the least distributive lattice congruence on a commutative distributive semiring and an idempotent distributi ve semiring
在第三部分給出一個分配半環上的所有可除半環同余，並且在此半環的滿的、閉的、自共軛的理想子半環形成的集合與此半環上的可除半環同余的集合之間建立了一個一一的、保序映射。This provide a basis for further application such as feature editing and so on. unlike traditional method which modifies b - rep or csg to adapt feature - based modeling, the feature - based represent model for the product which based on identifying system is presented. the represent method need not change the b - rep of solid model and can map feature - based model to b - rep - based model
不同於通常的對邊界表示法或csg法進行改造的模型表示方法，提出了一種基於標識子系統的特徵表示模型，一個零件的特徵表示模型和其低層的幾何實體模型通過標識子系統進行映射，從而不必修改現有的邊界表示模型而能滿足特徵造型的需要並能充分利用已有的實體造型功能。In order to solve the problem that current search engines provide query - oriented searches rather than user - oriented ones, and that this improper orientation leads to the search engines ' inability to meet the personalized requirements of users, a novel method based on probabilistic latent semantic analysis ( plsa ) is proposed to convert query - oriented web search to user - oriented web search. first, a user profile represented as a user ' s topics of interest vector is created by analyzing the user ' s click through data based on plsa, then the user ' s queries are mapped into categories based on the user ' s preferences, and finally the result list is re - ranked according to the user ' s interests based on the new proposed method named user - oriented pagerank ( uopr ). experiments on real life datasets show that the user - oriented search system that adopts plsa takes considerable consideration of user preferences and better satisfies a user ' s personalized information needs
針對當前的搜索引擎提供面向查詢、而非面向用戶的服務，從而導致搜索引擎無法滿足用戶個性化的需求這一問題，提出了一種基於plsa的新方法，將面向查詢詞的搜索轉變成面向用戶的搜索.首先，通過分析用戶查詢歷史和瀏覽記錄建立代表用戶模型的用戶興趣向量，在用戶發出查詢時用戶的查詢詞根據用戶興趣向量被映射到興趣分類上，最終根據面向用戶排序演算法將返回結果列表重新排序.實驗表明該面向用戶搜索系統能夠充分考慮用戶的偏好，從而更好地滿足不同用戶的信息需求Secondly, a network based on multi - terminal components modeling methodology was applied to model mems at system - level by the analogy and mixed - signal modeling tool of vhdl - ams, for the system - level model of mems is a mixed signal model, which has attributes of multi - energy domains coupling, multi - signals mixed and interacting between discrete - event subsystems and continuous - time subsystems. with this method, the whole system can be divided into some subsystems defined as multi - terminal components ; the behavior of the subsystems depends only on their terminal signals ; the information exchange between subsystems was done by the signals at their terminals. the continuous - time systems or discrete - event systems can be modeled and simulated with this method, which satisfied the requirements of nonlinear systems and large signals analysis
同時，針對mems的系統級模型是一個混合信號模型，具有多能量域耦合、多信號混合、離散事件子系統與連續時間子系統交互的特點，使用vhdl - ams作為混合信號模型建模的工具，採用多埠組件網路建模方法建立了mems系統級模型，把微型機電系統分解為多個子系統或組件，各子系統被定義為多埠組件，子系統的內部行為通過其埠行為來描述，子系統間的能量與信號的交換通過組件的埠映射來實現，從而實現了對連續時間系統和離散事件系統的建模與模擬，滿足了非線性系統以及大信號分析要求。It had been established by some computer experts and mathematicians at nearly the same time by the end of 1960
滿足一定條件的dcpo與其上的某些scott連續映射組成的范疇稱為某種domain范疇。Rtos - 1750 make use of static memory management to implement memory protection provided by page register ' s memory mapping and bpu ( block protect unit ), with which system keep fast reference as well as relatively independence by the technology of strding - mapping. system manages inner interrupt and outer interrupt by priority classing strategy and provides four type timers, which are system timer, software timer, auxiliary timer and real - time timer
系統充分利用1750a提供的頁面寄存器堆的內存映射功能和塊保護單元（ bpu ）提供的存儲器保護功能，採用靜態內存管理方式，既保證了任務之間的相對獨立，又通過跨段映射技術滿足了dcmpofp中的任務快速引用的要求。The living example certification indicates that the neural networks model of this paper possesses the good convergence with the error back - propagation algorithm, and can pledge the satisfactory mapping precision, and gain the forecasting result of ideal, and provides the reliable basis for the policy decision
實例驗證表明本文的神經網路模型用誤差反向傳播演算法具有良好的收斂性，能夠保證滿意的映射精度，取得了理想的預測結果，為決策提供了可靠的依據。分享友人