查询词典 existence theorem of implicit function

Though comparing Canny operator and center B spline dyadic wavelet, the following conclusion is proven in this dissertation: a Center B spline function has tight support and Canny operator hasn't. b Center B spline function asymptotic convergence to Gaussian function and the derivative of Center B spline function asymptotic convergence to Canny operator. c The derivative of fourth order center spline B function is more suitable as a optimal edge detector than Canny operator. d Center B spline function can balance the smoothing and approximation of original data, and the fourth center B spline function is the only optimal solution of two order smoothing problem. e The error between the valve of time-frequency uncertainty of the fourth center B spline function and the lower bound of time-frequency uncertainty does not exceed 0.143% of the lower bound. f The derivative of center spline B function can construct a stability dyadic wavelet and can give a fast algorithm for multiscale edge detection, but Canny operator can do neither.

作者给出了Canny算子与中心B样条二进小波严格的比较证明，得出如下结论：a中心B样条函数具有紧支集，Canny算子不具有紧支集。b中心B样条函数的极限收敛于高斯函数，中心B样条函数的导数收敛于Canny算子。c四阶中心B样条函数的导数比Canny算子更接近最佳边缘检测滤波器。d中心B样条函数比高斯函数更能兼顾对原函数平滑和逼近的折中要求，并且四阶中心B样条函数是二阶逼近问题的唯一最优解。e四阶中心B样条函数的时频测不准关系值与时频测不准关系下界的逼近误差不超过0.143％。f中心B样条函数的导数可以构成稳定的二进小波，存在快速的多尺度算法；而Canny算子不构成稳定的二进小波，无法给出快速的多尺度算法。

The problem of multi-objective usually meet many conflict each other and can not use the objective of the same standard unit, then to employ membership function of fuzzy theory,at first each objective function to change fuzzy set and express with membership function, membership function include the maximum constraint, minimum constraint, the decrease function of monotonic property, to become optimal of the multi-objective function, but still to scanty of weighting value with regard to adjustment of objective function, thus this thesis proposes the method of combine orthogonal arrays and particle swarm optimization to solve the problem of multi-objective optimal power flow, each objective function separately add weighting value, to setting each weighting value of objective function in order to the result of anticipating.

多目标最佳化的问题通常会面临到许多互相冲突且不能用同ㄧ标准单位的目标，於是利用模糊理论中的归属函数，首先将各目标函数转换成模糊集合并以归属函数表示，归属函数包含了最大限制值、最小限制值、单调的递减函数所组成，将各目标函数利用归属函数表示，形成单一目标函数的最佳化，但是仍缺乏权重值对於目标函数的调整，於是本篇论文提出ㄧ种权重值设定与粒子群优演算法的方法去解决多目标最佳电力潮流的问题，将各目标函上分别加上权重值设定各目标函数的权重值，得到预期的效果。

Along with the time development, the computer technology more and more thorough various trades and occupations, have provided thorougher and a convenient service for the general users In order to realize raises department's working efficiency, uses the resources fully, reduces the nonessential manpower, physical resource and financial resource goals and so on disbursement, presented various information management system The paper will design university student's dormitory information management system's Web and realizes using the solution The university student's dormitory information management system is one safe and the highly effective proprietory system, designs specially for the information engineering institute This system has used many technologies, for instance JSP, JDBC, Web service and so on The proprietory system use's database is SQL the Server 2000 databases The university student's dormitory information management system's major function includes: May realize to the student's dormitory information inquiry function, including fast inquiry function and classified inquiry function; To the student's dormitory information's input function, the revision function, deletes the function and the statistical function Realizes the dormitory Control section through the system above function regarding the student's dormitory information current management, namely facilitates the dormitory administrative personnels to keep abreast of the student lodging situation and the billeting situation comprehensively promptly; Has provided some simple data inquiry for the user and outputs each kind of information and so on

随着时代的发展，计算机技术越来越深入各行各业，为广大的用户提供了更为周到和便捷的服务。为了实现提高部门的工作效率，充分利用资源，减少不必要的人力，物力和财力的支出等目的，出现了各种各样的信息管理系统。论文将设计一个高校学生公寓信息管理系统的Web应用解决方案并予以实现。高校学生公寓信息管理系统是一个安全和高效的专用系统，专为信息工程学院设计。这个系统使用了很多技术，比如JSP，JDBC ，Web服务等。专用系统使用的数据库是SQL Server 2000 数据库。高校学生公寓信息管理系统的主要功能包括：可以实现对学生公寓信息的查询功能，包括快速查询功能和分类查询功能；对学生公寓信息的录入功能，修改功能，删除功能和统计功能。通过系统上述功能实现公寓管理部门对于学生公寓信息的日常管理，即方便公寓管理人员及时全面地掌握学生住宿情况及公寓分配情况；为用户提供了一些简单的数据查询并输出各种信息等。

We give a brief proof of the existence theorem of Supremum and Infimum of a bounded set of fuzzy numbers given by Wu cong-xin and Wu chong in [30] . It is used to establish the monotone convergence theorem and the nest theorem of closed intervals on E〓,τ

给出了吴从忻、吴冲[30]得到的模糊数集的确界存在定理的一个简洁证明，并利用此定理在空间E〓，τ(l中建立了模糊数序列的单调收敛定理和闭区间套定理。

Simons [30] proved the non-existence theorem for stable integral current in acompact Riemannian submanifold isometrically immersed into a unit sphere andvanishing theorem for homology groups. In 1984, Y. L. Xin [47] generalized theLawson-Simon\'s nonexistence theorem for stable integral current and vanishingtheorem for homology groups to the case of compact submanifolds in Euclideanspace, and gave several important applications.

Simons运用Federer-Fleming存在性定理[19]和几何测度论中变分技巧证明了单位球面中紧致黎曼子流形上稳定积分流的不存在性定理和同调群消没定理[30]。1984年，忻元龙将Lawson-Simons稳定积分流的不存在性定理和同调群消没定理拓广到了欧氏空间中紧致子流形的情形，并给出了若干重要的应用[47]。1997年，K。

Simons [30] proved the non-existence theorem for stable integral current in acompact Riemannian submanifold isometrically immersed into a unit sphere andvanishing theorem for homology groups. In 1984, Y. L. Xin [47] generalized theLawson-Simons nonexistence theorem for stable integral current and vanishingtheorem for homology groups to the case of compact submanifolds in Euclideanspace, and gave several important applications.

Simons运用Federer-Fleming存在性定理[19]和几何测度论中变分技巧证明了单位球面中紧致黎曼子流形上稳定积分流的不存在性定理和同调群消没定理[30]。1984年，忻元龙将Lawson-Simons稳定积分流的不存在性定理和同调群消没定理拓广到了欧氏空间中紧致子流形的情形，并给出了若干重要的应用[47]。1997年，K。

The general form of the triple I solution of FMP is given. The monotonity theorem, the infimum theorem, and the existence theorem have been proved.

给出了FMP的三Ⅰ解的一般形式，证明了关于区间值模糊推理的单调性定理、下确界定理以及存在性定理。

By means of a nonlinear alternative theorem of Leray-Schauder type and Guo-Krasnoselskiis fixed point theorem in a cone, we establish the existence theorem of a positive solution to a singular coupled system of nonlinear fractional differential equations.

借助于锥上的非线性Leray-Schauder择一型定理和郭-Krasnoselskiis不动点定理，我们建立了非线性奇异耦合分数次微分方程组正解的存在性定理。

By means of a nonlinear alternative theorem of Leray-Schauder type and Guo-Krasnoselskii's fixed point theorem in a cone, we establish the existence theorem of a positive solution to a singular coupled system of nonlinear fractional differential equations.

借助于锥上的非线性Leray-Schauder择一型定理和郭-Krasnoselskii's不动点定理，我们建立了非线性奇异耦合分数次微分方程组正解的存在性定理。

In this thesis, we mainly study problems on global geometry and geometricanalysis of Riemannian submanifolds, including vanishing theorem for homologygroups, topological sphere theorem, L~2 harmonic 1-forms, finiteness of end andthe spectrum of the Laplacian. In 1973, by using the Federer-Fleming existence theorem and the techniquesfrom the calculus of variations in the geometric measure theory, H.

本文着重研究黎曼子流形上整体几何与几何分析的若干问题，主要内容包括子流形的同调群消没定理、拓扑球面定理、L~2调和1-形式、端的有限性和Laplace算子谱等问题。

"The operators will suffer a temporary decrease in the number of consumers and short message services as people may not like having to provide their ID cards for a phone number," Xu Junqi, vice-dean with the Policy-Making Institute of the Telecommunications Research Centre under MII, said yesterday.

信息产业部下属的通信决策研究院副主任徐俊其昨天说：&实行手机实名制后，人们可能不太情愿用身份证注册手机号，所以通信运营商会暂时面临用户减少和短信用户减少的问题。&

I don't believe in make-believe!

我不相信这些虚构的故事。