可论证的

The argument depends on the fact that functions which assign values to expressions are used in dealing with both the ontic and epistemic levels of the illocutionary system, and that in both cases, the functions provide the basis for establishing soundness and completeness results.

这一论证依赖于这样的事实，即表达式的赋值函项可被同时用于处理语力逻辑系统的本体和认知层面，在这两种情况下，这些函项都为建立恰当性和完全性的结果提供了基础。

In this article, the economic analysis is used, and more attention is paid to the ethics problem involved in the patentability of DNA.

笔者反对轻率否定既有理论架构，以迎合DNA序列可专利性需要的做法。在论证中，运用了经济分析的思路，同时对所牵涉的伦理问题也给予了较多关注。

At last, this paper analyses the probability of dam's seepage and demonstrates the capacity of the project on this site.

确定了可建场的主坝及拦污坝的持力层，分析了该场地产生渗漏的可能性，论证了该场址的适宜性。

B if STORER shall not agree to share such agreed costs, AAA may remove all or other part of such works, as the case may be, in which event AAA shall as soon as practicable or within such longer period as AAA may demonstrate to STORER's reasonable satisfaction is required by AAA to effect such removal, remove all or other part of such works , as the case may be, at its own expense without causing damage or deterioration of the Dedicated Facilities and shall restore the Dedicated Facilities to their state and condition immediately preceding such works or AAA may with STORER's consent leave all or part of such works intact, in which event such works shall at the expiry or termination of this Agreement become the property of STORER without claim or charge by AAA.

如果仓储方不同意承担此商定费用，AAA公司可以取消全部或部分此类工作，在这种情况下，AAA公司应尽快或者在较长期限内（因仓储方有可能要求AAA公司论证进行此类取消并让仓储方满意）取消全部或部分此类工作，自费且不损坏专用设施或降低其性能，并应把专用设施恢复到马上进行此类工作时的状态与条件，或AAA公司可在仓储方的同意下，把此类工作全部或部分保留原状，在这种情况下，此类工作应在本协议终止时成为仓储方的所有财产供仓储方使用，AAA公司不得索赔或收费。

This paper probes into the establishment and improvement of the capital gains tax system under the present economy circumstance and the situation of the capital market. The tax system may make the capital market develop healthily and steadily. Designing the feasible scheme of tax system and other relevant measures under the principle of impartiality, universality, particularity and taxability is another object of this paper.

该文针对我国目前经济和资本市场的发展现状，基于证券市场的视角，论证我国资本利得税制度的构建与完善，以保证资本市场健康稳定发展、体现公平性、坚持普遍性与特殊性相结合以及可征管性为基本原则，区分证券一、二级市场，提出实际可行的税制设计方案及配套措施。

Ship defence system SDS distributed simulation platform could achieve the simulation of the surface ship defending torpedoes under antagonism , give the research on manipulating the defending torpedo weapon , and testily its operational effectiveness and demonstrate the operational needs of SDS .

舰艇防御系统分布式仿真平台可实现在攻防对抗条件下水面舰艇防御来袭鱼雷作战过程的仿真，用于研究鱼雷防御武器的使用方法，验证其作战效能，论证舰艇防御系统的作战需求。

Ship defence system distributed simulation platform could achieve the simulation of the surface ship defending torpedoes under antagonism, give the research on manipulating the defending torpedo weapon, and testily its operational effectiveness and demonstrate the operational needs of SDS.

舰艇防御系统分布式仿真平台可实现在攻防对抗条件下水面舰艇防御来袭鱼雷作战过程的仿真，用于研究鱼雷防御武器的使用方法，验证其作战效能，论证舰艇防御系统的作战需求。

This system can complete quickly,the realtime parametric design of turbojet,turbofan,turboprop and turboshaft engine and its parts.During designing the required information,data and structural graphics can be inquired interactively from Aeroengine Information Database and Structure Database.

该系统可以实现对涡喷、涡扇、涡轴和涡桨航空发动机部件图和总图的参数化实时设计，在参数化设计过程中提供发动机信息数据库、结构数据库的交互式查询，为设计提供所需的信息、数据和结构图形支持，可达到快速地生成供方案论证应用的各种航空发动机部件图、总图及各种信息，能快速实现多方案对比设计。

In this thesis, the author combined system engineering theory and fuzzy mathematics with water-power engineering, by the research of fuzzy mathematics and risk analysis technique, the application of fuzzy comprehensive evaluation and risk analysis technique in the decision of construction period and selection of different schemes is discussed. And the proposed analysis technique is validated by the application of practical engineering.

本文将系统工程理论及模糊数学理论与水利水电工程实际相结合，通过对模糊数学和风险分析技术的研究，讨论了模糊综合评判法和风险分析技术在大型水利工程工期论证和方案选择中的应用问题，并结合具体工程中的实际应用，说明该种分析技术可为同类工程借鉴和应用，具有较好的应用前景和价值。

In the third chapter, the author demonstrates the reasons for the individual existence of the Public Interest Economic Litigation from the discussion of the relationships between the Substantive Law and the-Procedural Law,, the correspondence of the Economic Law and the Public Interest Economic Litigation, the democracy and constitutional government in economy, the basic requirements of the initiative judicature and the judicable character of the Economic Law and so on.

第三章从程序法与实体法的关系、经济法与公益经济诉讼的契合性、经济民主宪政、司法能动性和经济法可诉性的基本要求等方面，论证公益经济诉讼独立存在的理由。

Since historical times,England ,where the early inhabitants were Celts, has been conquered three times .

从有历史以来，英国，在此地早期居住的是凯尔特人，已经被征服了三次。

Bluetooth OBEX File Transfer Enables the sending and receiving of files on your phone via Bluetooth.

蓝牙OBEX文件移动允许经过蓝牙传送和接受文件。。。。