查询词典 implementation

Then we consider how to relate the interface of a component to its implementation: Verify if the implementation of a component is satisfied with the requst of semantics in its interface by using Hoare logic.

然后我们考虑如何将构件的接口和实现联系起来：利用Hoare逻辑，验证一个构件的实现是否满足其接口中所给出的语义要求。

In the project implementation, the intermediate result may be not in accordance with anticipation, or even far away from it. Therefore, adjusting on human resource, time and other resources and implementation method should be carried out to ensure to achieve the prospective goal and return to the planned track.

在项目实施过程中，得到的中间结果可能与预期目标不符，甚至相差甚远，因此必须及时调整人力、时间及其他资源，改变施工方法，以期达到预期的目标和纳入原计划的轨道。

In order to mitigate the accounting costs of taxpayers and reduce the cost for both the levier and the payer to abide by the tax laws, contribute to the implementation of enterprise income tax policies and strengthen the administration and collection, we have studied the issue jointly with the Ministry of Finance and other relevant departments, and in accordance with the relevant provisions in the Interim Regulation of the People's Republic of China on Enterprise Income Tax, we hereby give our notice as follows regarding some income tax policies that need to be adjusted for the implementation of the Enterprise Accounting Rules

为减轻纳税人财务核算成本和降低征纳双方遵从税法的成本，有利于企业所得税政策的贯彻执行和加强征管，经与财政部等有关部门共同研究，根据《中华人民共和国企业所得税暂行条例》的有关规定，现就贯彻执行企业会计制度需要调整的若干所得税政策问题通知如下

Through the implementation and evaluation of performance, we get a conclusion that to use Java for the implementation of the non-mobile embedded system is a waste because the Java Virtual Machine consumes a large of computation and memory resources. The cross-platform feature of JVM is meaningless for the non-mobile embedded system.Embedded Systems, ARMLinux, Embedded-Web Server, System-on-Chip SoC

透过实作与效能评估，我们得到一个主要的结论，使用Java来实作非行动式的嵌入式系统是一种浪费，因为虚拟机器(Java Virtual Machine， JVM)会消耗很大的计算与记忆体资源，JVM的跨平台特性不具任何意义。

The frame is applied to the make-to-order, multi-specification, small batch production model and its implementation method is given. Also, this paper discusses the software implementation method of this frame.

同时结合当前主要的生产方式——面向订单、多品种、小批量生产，具体给出了该计划与控制系统的实现方法，并对该系统的软件实现方法进行了研究。

In the processing of the correlation detection, the implementation principle and structure of digital correlator is analyzed in detail, and two implementation schemes, typical structure and modificatory structure, are given. The performance of the correlator with the different error code numbers is analyzed.

在伪码相关检测设计过程中，详细分析了数字相关器的实现原理和实现结构，给出了经典结构和修正结构两种实现形式，并以存在不同误码个数为例，详细分析了相关器的性能。

The implementation processes of those two algorithms on smart card with cryptographic coprocessor are explained separately. The implementation process of RSA includes modular exponentiation and modular multiplication. The process of ECC includes the selection of base field and coordinates, scalar multiplication and field operation.

本文分别阐述了两者在带有加密协处理器的智能卡平台上的实现过程，包括RSA算法中模幂运算、模乘运算的实现；ECC算法中基域的选择、坐标系的选择、标量乘法和域算术运算的实现。

Introduce the system of remote data acquisition system implementation based on multithreaded and network transmission and its implementation.

指出传统数据采集方法的缺陷，详细介绍基于多线程和网络传输的数据采集系统及其应用。

A To develop the land resources, mineral resources, the management of natural resources and mapping local laws, regulations, organize the implementation after approval; responsible for administrative review in accordance with the provisions; study and draw up the management, protection and rational utilization of land resources, mineral resources policy ; the implementation of land resources, mineral resources, mapping the management of technical standards, procedures, norms and approaches.

拟定有关土地资源、矿产资源等自然资源和测绘管理的地方性法规、规章，经批准后组织实施；依照规定负责有关行政复议；研究拟定管理、保护与合理利用土地资源、矿产资源政策；贯彻实施土地资源、矿产资源、测绘管理的技术标准、规程、规范和办法。

Yang Yili theft of a new uprising by the results, as Xinjiang captaincy general, the implementation of the dictatorial regime, not to create the nation, the implementation of obscurantism and repression of different views.

杨增新窃取伊犁起义成果，担任新疆都督后，实行专制独裁统治，制造民族不合，推行愚民政策，镇压不同意见。

The absorption and distribution of chromium were studied in ryeusing nutrient culture technique and pot experiment.

采用不同浓度K2CrO4(0，0.4，0.8和1.2 mmol/L)的Hoagland营养液处理黑麦幼苗，测定铬在黑麦体内的亚细胞分布、铬化学形态及不同部位的积累。

By analyzing theory foundation of mathematical morphology in the digital image processing, researching morphology arithmetic of the binary Image, discussing two basic forms for the least structure element: dilation and erosion.

通过分析数学形态学在图像中的理论基础，研究二值图像的形态分析算法，探讨最小结构元素的两种基本形态：膨胀和腐蚀；分析了数学形态学复杂算法的基本原理，把数学形态学的部分并行处理理念引入到家实际应用中。