查询词典 sufficient

2By constructing a completely continuous operator in a functional space and employing the cone compression and expansion fixed point theorems, we obtain some sufficient conditions which guarantee the existence of positive periodic solutions for Eq.

通过在一个函数空间构造一个全连续算子，再利用锥压缩锥拉伸不动点定理，得到了一些保证方程(1)，(2)至少存在一个周期正解的充分条件，所得结论改进了文[1]和[6]中的结果。

The soundness and completeness theorem of this method were proved at last. This part consists of the following points: 1. The properties of the indecomposable extremely simple form of LP were discussed, the theorem shown that every logical formula of LP was equals of a generalized conjunction normal form. 2. The method for judging a logical formula is a indecomposable extremely simple form or not was discussed, the necessary and sufficient conditions of a logical formula with not more than three implicative connective being a indecomposable extremely simple form was given. 3. The α-resolution fields of the indecomposable extremely simple form of LP were discussed, some elementary results were obtained. 4. The automated reasoning method based on the resolution principle of classical logic was discussed, the author given a method to describe the set of clauses by using a matrix, and translated the resolution of two clauses to column operations of this matrix.

二、关于格值命题逻辑系统LP中α-自动推理方法的研究 1、对LP中不可分极简式的性质进行了研究，证明了LP中任何一个格值逻辑公式等值于一个广义合取范式； 2、对LP中不可分极简式的判定方法进行了研究，讨论了含有不超过3个蕴涵运算的格值逻辑式为不可分极简式的充分必要条件； 3、对LP中不可分极简式的α-归结域进行了研究，得到了一些基本结果； 4、对经典逻辑中基于归结原理的自动推理方法进行了研究，给出了用符号矩阵表示子句集合的一种方法，把不同的归结过程转换成矩阵的列变换。

Now there are some problems such as scattering of technological resources, mass of data, high data redundancy, poor data consistency and long cycle of efficient information formation, so sufficient basis and comportment can not be provided for management departments in emergency case and general decision-making.

现阶段存在着技术资源分散、数据信息量大、冗余度高、数据的一致性难以保证以及有效信息形成周期长等问题，不能够为路局管理部门在应急处理和常规决策中提供依据和支持。

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

An sufficient and necessary condition on generalized Nevanlinna counting functions of the inducing maps is shown to characterize the collective compactness of composition operator sequence.

我们用诱导映射的Nevanlinna计数函数给出了Hardy空间与加权Bergman空间之间的复合算子序列为总体紧算子序列的一个充分必要条件。

In order to get a sufficient amount of the compound for further biological investigations, we therefore initiated a program to synthesize this target molecule.

为了获得足够数量的样品进行进一步的生物活性研究，立项对其进行化学合成。

For example, screen the ink film not only need to have certain hardness to resist abrasion and scratching, innovativeink bhlf and solvents, and so on at the same time there must be sufficient flexibility for the convenience of people on the cards and membership cards to make products in Bend, die-cutting and pressure concavo-convex.

比如说，网印油墨所形成的墨膜不但要具有一定的硬度，以抵抗磨损、划伤、油墨堆积和溶剂侵蚀等问题，同时还要有足够的灵活性，方便人们对制卡和会员卡制作品进行弯曲、模切和压凹凸。

The main reason why American mutual fund is so advanced is that there is the concerted mechanism environment for mutual fund, such as the mature financial market, sufficient investment capital supply, well-developed system of laws and so on. Adopting the specific exponents of Shanghai and Shenzhen Security Market, fund exponent yields, all weekly yields of mutual fund in specific periods, etc., the positive analysis of the coordination of Chinese mutual fund and Security Market demonstrates that this coordination is not ideal generally. On condition that the market characteristic of mutual fund is made clear, mutual fund can develop conceitedly and healthily by developing security market, increasing market efficiency, providing more fund, improving fund management, standardizing relative system of privately offered funds and so on, and optimizing the market environment to develop mutual fund.

美国开放式基金之所以发达，主要原因在于开放式基金具有协调发展的制度环境，如成熟的金融市场、充足的投资资金供给、完善的法律体系等；采用沪、深证券市场特定指数与基金指数收益率，及特定时期内所有开放式基金的周收益率等指标，对我国开放式基金与证券市场的协调性的实证分析发现，二者协调性程度总体上不理想；在明确开放式基金发展的市场过程性质的前提下，通过促进证券市场的成熟、提高市场效率、完善法律、拓宽基金资金供应渠道、完善基金治理结构、规范私募基金发展等配套措施，优化开放式基金发展的市场环境，才能不断促进开放式基金的协调、健康发展。

The impact of the analog tuner section is typically small provided a good AGC concept and sufficient C/N headroom are available.

模拟调谐电路部分的影响是非常的小，如果一个好的自动增益控制概念和足够的 C/N 余量是可利用的。

More relevantly, it is doubtful that fulfilling any set of functions is conceptually sufficient for life.

更贴切地说，这是可疑的：完成任何功能的集合，就概念上充分于生命。

And Pharaoh spoke to Joseph, saying, Your father and your brothers have come to you.

47：5 法老对约瑟说，你父亲和你弟兄们到你这里来了。

Additionally, the approximate flattening of surface strip using lines linking midpoints on perpendicular lines between geodesic curves and the unconditional extreme value method are discussed.

提出了用测地线方程、曲面上两点间短程线来计算膜结构曲面测地线的方法，同时，采用测地线间垂线的中点连线和用无约束极值法进行空间条状曲面近似展开的分析。