可证明的

This process in a proof-of-concept prototype called Cyberbrowser behaves as either a stand-alone application or a browser-launchable spawnable peruser for either text or HTML documents.

在一个称作cyberbrowser的证明此概念的样品中，此过程或像独立的应用程序，或是像可调用浏览器来生成的文本或html文档的仔细阅读程序。

Editing a prolix manuscript.This process in a proof-of-concept prototype called Cyberbrowser behaves as either a stand-alone application or a browser-launchable spawnable peruser for either text or HTML documents.

在一个称作cyberbrowser的证明此概念的样品中，此过程或像独立的应用程序，或是像可调用浏览器来生成的文本或html文档的仔细阅读程序。

In the first part of this paper, we give some basic concepts of regular Sturm-Liouville problems and some Sturm-Liouville problems with eigenparameter in the boundary conditions and the definition and properties of the Krein space. Using the Krein space, we describe a class of Sturm-Liouville problems with eigenparameter in two boundary conditions and prove that it can generate a self-adjoint operator in Krein space with only point spectrum.

第一部分我们介绍了一些基本概念如正则Sturm-Liouville问题、边界条件含参数的问题、Krein空间等，并利用Krein空间的定义和性质描述了一类参数边界条件的Sturm-Liouville问题，证明它可构造一Krein空间上的自伴算子，并且谱全为点谱。

In this thesis, we attempt to use them to de-scribe polyatomic molecular vibrations, and obtain quite good results. Finally,We develop the boson-realization model to include higher order coupling terms.In this case, the Hamitonian becomes very complicate. We then find a methodto greatly simplify the Hamitonian, and it is equivalent to the original one.

最后，我们又扩充了原来的玻色实现模型使之包括高阶相互作用，但这样一来哈密顿量变得非常复杂，为此我们又找到一种可大大简化振动哈密顿量的方法，并证明简化后的哈密顿量与原来的哈密顿量是完全等价的。

On the basis of extending the concepts of the derived function, primitive function and integration of interval-valued function to complex interval-valued function and using the descomposition theorem of complex fuzzy set, the derived function, primitive function and integration of complex fuzzy set-valued function and some properties of them are proved.

2在国际上最先引入了复模糊集合与复模糊数的基本概念，证明了它们的基本代数运算的封闭性，并且其运算可通过α水平复集合的相应运算来进行

It does not matter, that shows your home it is very smart baby, then have their own idea long ago, and likes, and do not like what the baby is my home so that her pro-family only her hand, but not pro-legs on, on the would shout, and pro-大姨do not like her, like her father, the pro, we feel that we do good magic, and now she has been five months, the situation is much better to know to maintain friendly relations with people, and the total out of the neighbors see her allowed to touch her or others, and strangers can not, I think that a good sense of self-protection do

没关系的，这证明您家宝宝很聪明呀，那么早就有自已的主意了，喜欢什么，不喜欢什么，我家宝宝也是这样，她只让家里人亲她的手，但亲脚就不行，就会大喊，而且不喜欢大姨亲她，喜欢爸爸亲她，我们都觉得好奇妙呢，现在她五个月了，情况好多了，知道要与人保持友好关系了，出门总见的邻居她还是允许人家碰她的，生人可不行，我觉得这样很好，有自我保护意识嘛

Together with some basic knowledge of Linear Algebra, we prove that there exists a polynomial time algorithm for finding the shortest contractible cycle in an locally LEW-embedded graph. 3. By some results of Minor Theorem, we prove the crossing numbers of some circular graphs C(10,4), C(9,3), C(8,3) on the projective plane.

利用C.Thomassen在大边宽嵌入方面的工作，得到了局部大边宽嵌入图的一些性质，再利用线性代数的知识，证明了在局部大边宽条件下存在多项式时间算法可以找到一个图的最短可收缩圈。

In the category Quant,it is proved that quotient object of any object of Quant can be induced by nuclei in the sence of isomorphism, we dicuss the relationships between closed maps and closed filters which is closely related with Gabriel topologies of quantales.

给出了在不同类型的Quantale中c-核映射的刻划以及c-核映射和，r-核映射的等价性。在范畴Quant中，证明了任一对象的商对象在同构的意义下可由核映射诱导。

To address this feasibility problem, the nonvolatile memory was used as the main memory and part of the RAM as the cache, and a modified verification algorithm with cache policy was proposed. The analysis proved that this algorithm features strong transportability and feasibility.

采用非易失性存储器作为主存， RAM中的一部分空间作为缓存器，并且给出一种相应的Cache调度策略算法，尝试实现一种在卡上的Java卡的字节码校验算法，并且证明了该算法具有较好的可移植性和实现性。

In this paper we have found the main component s in a n -dimension random vector X , the so called main compon ents don′t contain linear relation and the others of X can be expressed as the linear combination of the main component s.

本文提供了在多维随机变量中寻找主成分的一种方法，证明了其余分量均可表示为主成分的线性组合，解决了多维随机变量的各个分量之间所存在的线性关系问题。

On the other hand, the more important thing is because the urban housing is a kind of heterogeneity products.

另一方面，更重要的是由于城市住房是一种异质性产品。

Climate histogram is the fall that collects place measure calm value, cent serves as cross axle for a few equal interval, the area that the frequency that the value appears according to place is accumulated and becomes will be determined inside each interval, discharge the graph that rise with post, also be called histogram.

气候直方图是将所收集的降水量测定值，分为几个相等的区间作为横轴，并将各区间内所测定值依所出现的次数累积而成的面积，用柱子排起来的图形，也叫做柱状图。