查询词典 verification

The security verification based on the content authentication is implemented through feature extraction, choosing of the shared encryption key, transformation of the Hash function and generation of the Merkle tree, which is simulated in the environment of NS-2. The result shows that the proposed mechanism has better performance in the efficiency and security.

通过特征提取、选取共享密钥、Hash函数变换和构造Merkle树实现基于内容认证的安全性检验，并在NS-2环境下进行了仿真模拟，结果表明所提出的安全机制具有较好的效率和安全性。

A real time heterogeneous system communication scheme, which maintains the coherency between design and verification, is proposed. A method for solving metastability in heterogeneous system with high efficiency is also proposed.

提出了一种异步系统的实时通信机制，该通信机制具有设计和验证一致的特点，并对异步系统通信中必然存在的亚稳态问题进行了分析，提出了高效的解决办法。

If tomorrow planetoid hits Mars, but will be slightly crosses or the resilience leaves the path on the star, proved myself supposition already succeeded, after because myself initial conception was the hope sees Mars how if the meteorolite or the verification hit star temperature change were, if so the star temperature change was suits transplants the Earth plant, might as well as soon as tried Move to mars hk.youtube.com hk.youtube.com hk.youtube.com

Re： 如果明天小行星不是撞击火星，而是略过或在星球上反弹出轨迹，证明本人的假设已经成功，因为本人起初的构想是希望看见火星若受陨石或核验撞击后的星球气温变化是怎样，若然星球气温变化是适合移植地球植物，就不妨一试？

It can adjust time interval in light of approximation effect, and the current segment's approximation error is not influenced by other segments'. This method can improve approximation precision of reach set and makes the verification applicable in practical systems.

该方法可根据近似误差自动调节近似时所用的时间间隔，每段的近似误差不受其它段的影响，达到提高近似精度和减少计算量的目的，从而进一步降低验证方法实现的难度。

Longtium"" PC 104 motherboard in industrial control field based on ""Longtium"" S1 could run DOS and relevant applications.2. Systemically analyze the architecture of ""Longtium"" Cl microprocessor. The principle, characteristic of instruction system is discussed and its history is introduced. In addition, the microinstruction format of ""Longtium"" Cl microprocessor is defined and the microprogramming controller is designed.3. Present the design scheme of microprogramming developing platform. The microinstruction compiler and emulator are developed. Moreover, the relevant optimization and verification are conducted.4. The microprogramming developing platform is used in the developing of ""Longtium"" Cl. It enhanced the developing efficiency of microprogramming.

以"龙腾"C1为核心的SOC芯片——"龙腾"S1已经采用SMIC 0.18um COMS工艺流片成功，基于"龙腾S1"实现的"龙腾"PC104工控系统主机板能正确运行DOS操作系统和应用程序； 2、系统分析了"龙腾"C1微处理器体系结构，研究了指令系统的原理、特点以及指令系统的发展，确定了"龙腾"C1微处理器的微指令格式，并完成了微程序控制器设计； 3、提出了微程序开发平台的设计方案，开发了微指令汇编器和微指令仿真器，并进行了相应优化及验证； 4、将该微程序开发平台应用在"龙腾"C1微处理器的设计中，提高了微程序开发效率。

By debugging the virtual machine,the test and verification of the organization and microprogram was completed.

通过对该虚拟机的调试，完成了该芯片内部组织结构和微程序的正确性验证。

A topdown design of an 8bit RISC MCU is presented, in order to overcome the limitation of MCS51 microcontroller The core is based on Harvard architecture with 16bit instruction length and 8bit data length The performance of the MCU has been greatly improved by introducing singleclockcycle instructions, setting multiple highspeed working registers, replacing microprogram with direct logic block, etc FPGA verification and computer simulation show that its maximum clock frequency and instruction e...

在对传统的MCS51系列单片微控制器的局限性进行分析的基础上，设计了一种基于增强8位RISC构架的微控制器内核。该MCU核采用哈佛结构、16位指令字长和8位数据字长，通过设计单周期指令、在内部设置多个快速寄存器及采用硬布线逻辑代替微程序控制的方法，加快了微处理器的速度，提高了指令的执行效率。计算机仿真验证和FPGA仿真验证的结果表明，该MCU的最高时钟频率和指令执行效率等指标均优于MCS51的5倍以上。

The construction of microprogramming developing platform enhances the speed and efficiency of microprogramming development and verification. It provides a fast base for the research of CISC architecture microprocessor.

微程序开发平台的建立，加快了龙腾微处理器的微程序开发速度，大大提高了微程序验证的效率，为CISC结构微处理器的研究、开发打下了良好的基础。

Is there a documented system for Synaptics PCB fab drawing requirements (dielectric thickness, copper weights, surface copper, plating thickness, etc.) for microsection verification?

是否有文件规定synaptics PCB的要求（电解厚度，铜箔厚度，铜箔表面，电镀厚度等）进行切片确认？

We developed two kinds of new products for low-power and high-resolution mine shallow seismograph, mine geology detector and mine tunnel predictor. By field experimental verification, they can solve effectively the detecting problem of small geological structure and coal seam thickness around underground coal mine tunnel. Their performance and function of reached or exceeded the level of domestic similar products, and their power consumption (≤4W) is lower than the advanced high-resolution shallow seismographs at home and abroad.

开发出两款低功耗高分辨率矿井浅层地震仪产品——矿井地质探测仪和矿井巷道超前探测仪，通过现场试验验证，其可有效地解决煤矿井下巷道四周浅层地质小构造勘探和煤层厚度探测问题，仪器性能和功能达到或超过国内同类产品水平，且仪器的功耗(≤4W)小于国内外先进的高分辨率浅层地震仪产品

The changes of the HAF after liver injury may be related to the volume of blood loss, the intraabdominal pressure and the pneumoperitoneum duration.

肝撞击伤伴失血后肝动脉血流量的变化与失血量、气腹压力以及气腹持续时间等有密切联系。

Reneging on our commitments to the world's poor cannot be an austerity measure, she said.

放弃我们给世界上的穷国的承诺不能成为一种紧缩措施。