性质上的

A general model supporting the most commonly used scheduling algorithms for multi-core CPU is constructed by a PTL formula S, and the desired property of the system is described by a PTL formula F, then whether the system possesses the property can be identified by proving whether or not S implying P is a theorem based on the axiomatization of PTL.

使用PTL公式建立了支持当前主流进程调度算法的多内核处理器进程调度一般模型S，并将系统期望的性质描述为PTL公式P，在PTL公理系统的基础上，通过证明S蕴含P是否为一个定理来验证系统是否具备该性质。

Week 4 The definition of continuous, the nature of continuous function, integral of elementary functions, the nature of elementary functions on closed interval

第4周 连续的定义，连续函数的性质，初等函数的连续性，闭区间上连续函数的性质。

Based on that, toluene disproportionation over HZSM-5 catalysts under near critical and high temperature was comparatively studied.

用高压观测池通过可视观测确定了苯、甲苯和对二甲苯等二元系及三元系的临界性质以及甲苯歧化反应混合物临界性质随着反应进程的变化规律；在此基础上，分别研究了近临界区以及高温下以HZSM-5为催化剂的甲苯歧化反应。

My company was founded in 2006, are in the crew training \ training \ embarkation one-stop nature of the services of the management of nature.

我公司成立于2006年，是于船员培训\实习\上船一条龙的服务性质的管理性质。

With the investigation of the domestic and foreign literature systematically, the bases on the domestic and foreign present research and the comprehensive utilizations of the various knowledge of fluid mechanics in porous medium, reservoir engineering, mathematical physics, perforation completion, numerical simulation and so on, this article takes numerical simulation of gas reservoir of water solubility as the research aim which has completed following research works and obtained the corresponding research results: it analyzes the nature of the Water-soluble gas and formation water as well as the influent factors of the solubility through the study of massive materials; It establishes mathematical models three-dimension, the dual medium, the gas-water phase through the way of finite difference in the migration of water-soluble gas, which describes the entire process of release, migration and production in formation, where it considered the problems of variable bubble point; According to the numerical models of gas reservoir of water solubility it provides solution procedure that based on black oil model; It discovers that there will obtain the good effects in the lowly speed of development through simulation; the reinjection of formation water may largely enhance the produce degree of water-soluble gas when we consider reinjection in simulator; It considered the influence of perforated completion on development so as to increase the simulator"s versatility, It discovers that the simulator may reflect the conditions of development when we exanimate he simulator"s reliability with the empirical datum.

本文以水溶性气藏数值模拟研究为研究目标，在系统调研国内外文献、深入分析国内外研究现状的基础上，综合利用渗流力学、油气藏工程、数学物理方法、射孔完井以及数值模拟理论等多方面的知识，完成了以下研究工作并取得相应的研究成果；①通过对大量的资料调研，分析了水溶气、地层水性质、储层地质性质以及影响气体在水中溶解度的因素。②考虑到由于高压产生的大量水力裂缝，采用有限差分方法建立水溶气运移的三维、双重介质、气-水两相全隐式数学模型，该模型描述了水溶气在地层中的释放、运移和采出的整个过程。③在原有黑油模型的基础上，根据水溶性气藏数值模型编制了该数值模型的求解程序，该程序可以求解单重、双重介质两种情况。④通过模拟不同开采速度对水溶气开发效果的影响，发现开采速度较慢的时候可以取得较好的开采效果。⑤在模拟器中考虑了注水对水溶性气藏开发的影响，地层水回注可以大幅度提高水溶气的采出程度。⑥为增加模拟器的通用性，在模拟器中考虑了射孔完井方式对开采的影响。⑦检验模拟器计算的可靠性，发现在使用实验数据对水溶性气藏进行模拟时，模拟器可以很好的反映气藏开发的状态。

On the basis of analyzing the slaggy properties the reason - able range of slaggy composition for pyrometallurgy enrichment of low grade lead zinc oxide ore containing germanium is determined .

本文在分析火法富集低品位含锗氧化铅锌矿炉渣性质的基础上，确定了富集过程中合理的炉渣组成范围；提出了调整配料比例，补加少量石灰，以改善炉渣性质，提高生产过程中的技术经济效益。

The relations among three kinds of structural characteristics of fuzzy measure:(1) pseudometric generating property;(2) pseudometric generating property of type p;(3) null-null additivity,and the convergence for sequence of measurable function on semi-continuous fuzzy measure space are discussed.

李军讨论了下半连续模糊测度的3种结构特性：(1)伪距离生成性质；(2)p类型伪距离生成性质；(3)零-零可加性与半连续模糊测度空间上可测函数序列的收敛性之间的关系。

Chapter 3 discusses the algebraic and spectral properties of dual Toeplitz operators on the orthogonal complement of the Bergman space, such as boundedness, compactness, spectral properties and so on.

第三章研究了多圆盘Bergman空间的正交补空间L_a~2(D~n~⊥上对偶Toeplitz算子的代数性质，比如：有界性、紧性和谱性质等。

The subject say of right cant justify oneself in theory in legal system of our country, and is valueless at all in practice, the properties of the bankrupt property of the legal provisions of our country are the object property.

对于我国的法律体系来讲，权利主体说在理论上不能自圆其说，在实践中毫无价值，我国破产法律规定的破产财产的性质当属客体性质。

On the basis of summarizing physical characteristic and poisoning mechanism of cyanides, the principle of choosing disinfectant correctly against cyanides is presented, which is effective, safe, stable, cheap and easy to get.

在综述氰化物理化性质和毒理作用的基础上，指出其洗消剂的选择应坚持消毒效率高、速度快、使用安全、性质稳定、价格低廉、容易得到的原则。

And discuss some key point of integrated management system design, include hazard identification and risk assessment and risk control in the occupational health and safety management, the measure of satisfaction target of customer, the flawlessness of law system, the integration of the integrated management system and enterprise standardization system, unify lead institution and work orgnization, integreted internal audit and integrated management review.

同时，论述了一体化管理体系构建中的几个主要问题，包括职业健康安全管理中的危险源辨识、风险评价和风险控制、顾客满意度的科学监测、法律、法规体系的完善、一体化管理体系与企业标准化体系的有机结合、统一的领导机构和工作机构、一体化的内部审核和管理评审。

Deepwater Taranaki is investigated for its petroleum potential, using all available seismic data tied to shallow-water wells.

运用与浅水井相关的现有全部震波探测数据考察了深海区塔拉纳基盆地的油藏前景。