可利用性

Based on indoor measurement of rock acoustic velocity,drillability, rigidity ,uniaxial compressive strength,the relationship between acoustic velocity and fragmentation parameters of rocks and that between the surface acoustic velocity and the underground mine logging acoustic velocity were explored by regression analysis.

在室内测定岩石声波速度、可钻性、硬度、单轴抗压强度试验的基础上，利用回归分析方法，探索声波速度与岩石机械破碎性能参数之间、地面声波速度与井下测井声波速度之间相关关系，建立了利用测井声波速度预测地层岩石机械破碎性能参数的数学模型，介绍了预测剖面及资料验证结果，并将这一方法用于计算PDC钻头可钻性以及中国南方海相碳酸盐岩地层的岩石力学参数。

We show that Jordan multiplicative bijective maps on prime operator algebrasmust be additive. As its application, we show that every Jordan * multiplicative bijec-tive map on every factor C~* algebra is a C~* isomorphism or a conjugate C~* isomorphism,in the special case of B, it must be a *-isomorphism or a conjugate *-isomorphism.We also prove the additivity of Jordan multiplicative bijective maps on nest algebras.

证明了素算子代数上Jordan可乘双射的可加性，利用这一结论刻画了因子C~*代数上的Jordan*可乘双射，我们的结果表明这样的映射一定是C~*同构或共轭C~*同构；证明了套代数上的Jordan可乘双射的可加性。

For the Riemann boundary value problems for the first order elliptic systems , we translates them to equivalent singular integral equations and proves the existence of the solution to the discussed problems under some assumptions by means of generalized analytic function theory , singular integral equation theory , contract principle or generaliezed contract principle ; For the Riemann-Hilbert boundary value problems for the first order elliptic systems , we proves the problems solvable under some assumptions by means of generalized analytic function theory , Cauchy integral formula , function theoretic approaches and fixed point theorem ; the boundary element method for the Riemann-Hilbert boundary value problems for the generalized analytic function , we obtains the boundary integral equations by means of the generalized Cauchy integral formula of the generalized analytic function , introducing Cauchy principal value integration , dispersing the boundary of the area , and we obtains the solution to the problems using the boundary conditions .

对于一阶椭圆型方程组的Riemann边值问题，是通过把它们转化为与原问题等价的奇异积分方程，利用广义解析函数理论、奇异积分方程理论、压缩原理或广义压缩原理，证明在某些假设条件下所讨论问题的解的存在性；对于一阶椭圆型方程组的Riemann-Hilbert边值问题，利用广义解析函数理论、Cauchy积分公式、函数论方法和不动点原理，证明在某些假设条件下所讨论问题的可解性；广义解析函数的Riemann-Hilbert边值问题的边界元方法是利用广义解析函数的广义Cauchy积分公式，引入Cauchy主值积分，通过对区域边界的离散化，得到边界积分方程，再利用边界条件得到问题的解。

The main environment geological question is: The earth"s crust where the faultage and earthquake are active is unstable; collapse , landslide, mud-rock flow and soil erosion ; The underground karst subsides, seepage question; Basic rock expand, expend and compress soil body, the salt deposit corrode out of shape and groundwater"s corrodent harm; The soft soil question of basin; The soft rock body, cracked rock and the weathering rock are relatively poor stability; High and cold regional highways and railways" frozen soils freeze and melt calamity problem; The around rock of tunnel are unstable because of the coal seam gas, spring water, underground developed area; Project cutting slopes, constructed abandon soil and reservoir, lake"s ecology geological environmental protection issue; Thedangerous shoal of the channel % submerged reef question; The problem of rebuilding channel project and dock etc.; And the problem of unstable ground and groundwater corrosivity during building airport; At the same time, with the international big pathways" implementation and completions of constructions, adjusting the cities and counties" constructions , the crowd occupy changing , the cultivated land distribute changing and the adjustments of structure, will cause local environmental geological issues outstanding; According to multiple statistical analysis , value calculate and integrated appraise result, in the northwest and southwest of Yunnan, the traffic relatively low density, traffic engineering is relatively weak impact on environment, It is the area where a environme

主要的环境地质问题是：活动性断裂、地震带的地壳不稳定；崩塌、滑坡、泥石流及水土流失；地下岩溶塌陷、渗漏问题；基础岩体膨胀、胀缩土体、含盐层侵蚀变形和地下水的腐蚀危害；盆地软土问题；软弱岩体、碎裂、风化岩体稳定性较差；高寒地带公路、铁路建设的冻土冻融灾害问题；煤层瓦斯、涌水、地下采空区等隧道围岩不稳定问题；工程切坡、施工弃土及水库、湖泊生态地质环境保护问题；航道险滩、暗礁问题；渠化工程、码头等库岸再造问题；以及机场建设中的不稳定地基及地下水腐蚀性问题；同时，随着大通道建设的实施和完成，城镇建设的调整、人群居落的变化和耕地分布及结构的调整组合，都可能造成局部环境地质问题的突出等等。经多元统计分析数值计算、综合评价结果，滇西北、滇西南地区交通密度较低，交通工程对环境的影响程度较弱，是环境地质状况好的区域；有主要高原湖泊分布区的，包括昆明、个旧、文山的滇东南区域，环境地质状况较好；大姚、楚雄、篙明及会泽、昭通一镇雄的区域，即滇中北部中生界红层和滇东北岩溶区，环境地质状况中等；而包括保山、德宏、大理、临沧的滇西地区及景东一墨江以东、双柏一石屏一河口以西及东川一寻甸一曲靖地段的滇中一滇东地区，环境地质状况较差。云南国际大通道建设涉及全省区域，如何利用地质环境、实现可持续发展，就必须依赖于国际大通道建设与地质环境之间良性关系的建立。应本着对区域地质环境客观存在的科学认识原则、建设过程中环境效益优先的可持续发展原则、法制性原则、对大通道建设中环境地质的因地制宜及其可防治性原则。并且从组织管理、不同类型大通道、不同环境地质问题类型等方面，提出了对策措施。最后，提出了建立国际大通道建设与环境地质良性关系的宏观建议。

The development and utilization of content resources of physical education curriculum is a critical link in physical education curriculum reform, having such characteristics as diversified, featured, value potential and developable, and function diversified, replaceable, process involved and producible.

摘 要：体育课程内容资源的开发和利用是体育课程改革的关键环节，具有多样性和特色性、价值潜在性与可开发性、功能多元性与可替代性及过程性与生成性的特点。

And using the embedding theorem, we get the characterizations ofmeasurability, differentiability and integrability of fuzzy n - cell number valued mappings.

并利用此嵌入定理给出了模糊n-方体数值函数的可测性，可导性和可积性的刻划。

Analysis for testability is widely used in DFT and test pattern generation, but most testability analysis algorithms have the shortcoming of either inaccuracy or being too complicated. A new method to calculate the signal probabilities of the nodes in IC is pre-sented in Chapter 7 of this dissertation. The signal probabilities by our method is more exact than by the previous ones. A symbol of the signal probability at the fan-out node is created and is propagated to the RFON (Reconvergent Fan-out Nodes). At the RFON, the expression containing the symbol is simplified using the rule which corresponds to the law of identity in Boolean algebra. After the expression is simplified, the symbol is substituted with its numeric value. Theoretical analysis shows that this method is concise and has a low computing complexity.

可测试性分析在可测试性设计和测试生成中都有着广泛的应用，然而大部分的可测性分析方法都存在不精确或者过于复杂的毛病，在第七章中作者提出了一种新的计算IC电路节点的信号概率值的符号算法，该算法得出的信号概率值比用以往的算法法得出的要更准确，也更简洁，针对电路中的扇出节点重汇聚现象，我们在每一个扇出节点定义了一个信号概率的符号，在以后的计算中一直使用该符号参与计算，直到该符号传播至重汇聚处，利用一定的规则把含符号的表达式化简，再将符号的真实值代入，在计算符号概率的过程中定义了一个和布尔代数中的同一律相对应的运算规则，通过该运算规则，使得信号概率的结果更加准确，符号算法具有简洁方便，计算复杂度小的特点 4。

At first, the existence of extended form of approach to continuous selection for any set valued mapping without any continuity restriction in para-compact metric space is proved ;by the topologically separated mappings , the approximate selection theorem of sub-lower-semi-continuous mapping is established, furthermore , continuous selection problem in H-space is studied. Next, with W-correspondence, an improved variational inequality is obtained ; by the H-KKM mapping ,Ky Fan\'s minimax inequality is generalized to H-space . At last, with H-convexity instead of the linear topological structure, a new version of Browder fixed point theorem is established.Chapter 3 deals with set-valued mapping vector variational inequality and minimax problems.

第二章首先在仿紧的度量空间上对任意的集值映射建立了新的逼近连续选择定理，利用映射的拓扑可分性，在H-空间上建立了次下半连续映射的逼近连续选择定理和一个新的连续选择定理；然后利用W-对应，在H-空间上建立了广义的变分不等式；利用H-KKM映射，在H-空间上建立了广义的KyFan极小极大不等式；最后，利用H-凸性代替拓扑线性结构，在H-空间上建立了一个新型的Browder不动点定理。

The satisfiability of conjunction normal form is a typical NP-complete problem. To study the complexity of SAT problem, a new concept of saturated clause muster has been introduced with using the characteristic of saturated clause muster. The sufficient condition of SAT problem was approved to be a polynomial and has opened out essential distinction of 2SAT and 3SAT problems.

合取范式可满足性问题是典型的NP完全问题，本文引入了一个饱和子句集的新概念，利用饱和子句集的特性，研究了SAT问题的复杂性，证明了SAT问题复杂性为多项式的一个充分条件，并揭示了二元可满足性问题与三元可满足性问题的本质差别。

Based on the selection of similar structure, a method for predicting the rock drillability of wildcat well is proposed.

该方法首先应用已钻相似构造井的地震资料、测井资料以及岩心测试资料，建立岩石可钻性钻前预测遗传神经网络模型，然后将神经网络与遗传算法有机结合起来，以神经网络理论为基础，利用遗传算法优化隐含层神经元个数和网络连接权值，最后利用野猫井的地震资料进行岩石可钻性钻前预测。

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.

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