在他的论证中，隐含的观点是一台装有足够资源的计算机能实现任何合理的算法。
Implicit in his argument was the idea that a computer, armed with sufficient resources, is capable of realizing any reasonable algorithm.
这将确保在实现过程的早期有论证的“价值”，这将鼓励并支持现有实践的继续使用，以及新实践的引入。
This will ensure that there is demonstrated "value" early in the implementation process, which will encourage and sustain the continued use of existing practices; and the introduction of new ones.
选定的解决方案，包括足够的论证和其他将对下游设计和实现有帮助的相关详细信息。
Selected solution, including adequate justification and other relevant details that would help downstream design and implementation.
对该方法的论证类似于上一个方法，但更关注于保持实现与模型的同步。
The justifications for this approach are similar to the previous approach, but there is a greater concern with keeping the implementation in synch with the model.
与之相反，他推荐(引用自martinFowler)工具应当适应人以及既存的流程，接下来举例论证了这是如何实现的。
Instead, he recommends (quoting Martin Fowler) that tools adapt to the people and existing processes and then goes on to cite examples of how that might be accomplished.
本文采用软件无线电思想，建立了系统实现模型，并论证了系统模型的可实现性。
Using software radio, this paper set up a model of the system, and demonstrates the realization of the model.
围绕CBR系统的构建，分析论证了基于案例推理的果树病害预测系统平台的设计方案，实现了各模块功能。
According to the building of CBR system, we analyzed and demonstrated the project of fruit diseases forecasting system based on the Case-Based Reasoning and implemented every function module.
本文首先对京沪高速铁路各个时期所能实现的最高速度进行了论证，并据此推算出最小曲线半径值；
The paper first demonstrates the maximum speeds that can be achieved at the different stages of Beijing-Shanghai High-speed Railway and derives the minimum curve radius on the basis of them.
本文揭示了传统网络构图模型系统结构的不相容性，从而实现了传统网络总时差的计算是错误的论证。
This paper shows the incompatability of system structure of the model of the network diagram, thus realizes the demonstration that algorithm for the total float of A on N and A on A is mistaken.
详细介绍了JTAPI的组成及使用方法，并在此基础上论证了用JTAPI实现军用指挥网中话音传输优点，最后论述了在军网中用JTAPI开发语音通信的方法。
This thesis gives a detailed introduction to the JTAPI composition and operation method and demonstrates the advantages of JTAPI on realizing voice transmission in commanding autoimmunization network.
在详细的市场调研和分析基础上，文章首先论证了课题的研究意义和实现可能，体现在本文的第一部分。
The dissertation firstly demonstrates the research signification of project based on detailed market investigation and analysis, and the work is embodied in chapter one.
接着详细计算了两种方案中磁阱的磁场强度及其梯度与曲率的空间分布，理论证明了实现磁光晶格和磁晶格的可行性。
We calculate the spatial distributions of magnetic fields and their gradients and curvatures, and the results prove the possibility of realizing MOL and ML.
最后，通过法律论证可以促进实现程序正义。
Finally, legal argumentation can promote the realization of procedural justice.
第三部分是通过分析上面的示例实现理论的论证，解释根据不同的维度应用到具体实际的不同的因素。
The third part is to analyse the example above to implement the theories into the case, and explain how different factors to apply into the example and how it is informed by different dimensions.
后果主义论证是法律论证的一种形式，是实现合理的司法裁判和证成裁决结论的重要要素。
Consequentialist argument, as one justification form of legal arguments, is an important element of achieving and justifying judicial decision.
综述了作者在一种交流弧焊机上实现节能改进并取得节能效果的一种节能方法和计算方法，从原理和实践中论证了这一方法。
The article illuminates a way of the electrial energy saving and of the calculation which has improved the effects, also it proves the method by theory and practice.
论证了在这种机构设计下通过不断调整底盘姿态的方法可以让底盘中心线逐渐与引导线重合的实现原理。
An implementation principle using this mechanism design is demonstrated by which the chassis centerline can approach the leading line gradually through continuously adjusting the chassis posture.
在此基础上，根据被试件加载功能的要求，从理论上对模拟加载进行了可行性论证，提出了实现模拟加载功能的技术路线。
On the basis of these analyses, the feasibility of analog loading scheme is demonstrated in theory and the technical route is given according to the requirement of loading function of the test unit.
在建立工艺关键环节概念的基础上提出工艺优化方案，并从理论上论证了实现最优化的充分可能性。
On the basis establishing the concept of the technological process key link, put forwarded the optimum scheme and demonstrate sufficient possibility to realize the optimization from the theories.
由于历史因素、文化因素、个体因素和法律自身的因素等的存在，法律论证只能实现相对的合理性而不能实现绝对的合理性。
The rationality of legal argumentation can only be realized not absolutely but relatively due to the historical, cultural, individual factors and legal factors themselves.
一个人根据实验和论证知道一堆石头向下落，他毫不狐疑地相信这一点，在任何情况下他都期望他所知道的那个法则得以实现。
Learning from experience and from reasoning that a stone falls to the ground, a man unhesitatingly believes this; and in all cases expects the law he has learnt to be carried out.
让人不能完全理解的是，基于如此论证，也许就有可能实现这样的动作。因为无论你怎么看，摆在你面前始终是大量自相矛盾的证据。
It seems barely comprehensible that this line of argument could ever have achieved such success, given that so much contrary evidence confronts you wherever you look.
论证了应用光学参量振荡技术实现可调谐RGB激光光源的可行性方案。
The method of obtaining tunable RGB lasers with OPO technology is demonstrated.
从哲学、系统论、信息论、控制论的角度论证了实现图书、情报和档案一体化的可行性。
From the angles of the philosophy, system theory, information theory and control theory, this paper discusses the feasibility of realizing the integration of the books, information and archives.
提出了基于神经网络理论的综合安全评价模型及实现方法，并以电气安全评价实例论证了此方法的可行性。
Integrated electrical safety assessment model and its merits based on BP neural network have been put forward. The assessment example proves that the way is workable and right.
组织应采用多方论证方法进行产品实现的准备工作，包括控制计划的开发和评审。
Thus the paper offers a multi-exemplification and argumentation, as well as a prospect, for the methods of a cross-disciplinary study.
最后提出，交际的终极目标不是实现交际目的，而是实现交际系统与人体的和谐全息，从而论证顺应普遍性的基础是语言交际系统与人体的和谐全息。
Finally, it attempts to put forward that the ultimate goal of communication is not to achieve communicative aim but to achieve harmonious holography between communicative system and comm.
交通信息获取、交通状况分析与评价是微观仿真系统实现交通模拟及方案论证功能所不可缺少的组成部分。
The traffic information obtaining, traffic status analysis and estimation are indispensable components to the micro-simulation systems for their traffic simulating and scheme reasoning functions.
交通信息获取、交通状况分析与评价是微观仿真系统实现交通模拟及方案论证功能所不可缺少的组成部分。
The traffic information obtaining, traffic status analysis and estimation are indispensable components to the micro-simulation systems for their traffic simulating and scheme reasoning functions.
应用推荐