查询词典 logic level indicator

Second, the main products the company led to disinfection products, mainly include:84 disinfectant, Lysol water, iodophor, and strengthen glutaraldehyde, disinfection tablets, long-ching, Al iodine, L-1-type measuring chlorine test strip , L-2 type Glutaraldehyde indicator, 121 , 132 pressure steam sterilization chemical indicator, pressure sterilization chemical instruction tape, ultraviolet intensity of instruction cards, Sanger disinfectant equipment, the Su-Ying disinfectant, gas dual-use high-pressure water washing machine and many other disinfection products and toilet cleaning, high-grade porcelain Jie Ling, glass of water, power washing supplies powder decontamination involving medicine, day two of the field.

公司以消毒制品为主导，主要有：利尔康84消毒液、来苏水、碘伏、强化戊二醛、消毒片、久清、艾尔碘、L-1型测氯试纸、L-2型戊二醛指示卡、121℃、132℃压力蒸气灭菌化学指示卡、压力灭菌化学指示胶带、紫外线强度指示卡、森格尔器械消毒液、樱之素消毒液、气水两用高压冲洗枪等多种消毒制品和厕洁、高档洁瓷灵、玻璃水、强力去污粉等洗涤用品涉及医药、日化两大领域。

First,we develop an indicator system of international degree based on a pilot research.It improves the measure method of single indicator.Second,we use the indicators system to explore the relationship between international expansion and growth of Chinese enterprises based on the survey of 142 manufacturing enterprises.

本文通过30家企业的预调研首先发展出了国际化程度的测量指标体系，改进了单一维度测量指标的不足之处，进而利用该测量体系研究了142家制造业企业国际化扩张与企业绩效的关系。

Thermalsteam check, first of all should be based on the symptoms and found that the PLC external inputs,"" 00 "" indicator light hj01 ②to Leung-sing, solenoid valve output indicator "" 00 stays the same, evaluated to PLC output contact "" 00 has breakdown.

停机检查，首先根据故障现象进行判断，发现PLC外围输入电路的&00&、&01&指示灯有规律地亮动，电磁阀输出指示灯&00&一直亮动，判断为PLC输出触点&00&已击穿。

Like Meguiar's Swipe Test, is a more accurate indicator of whether a wax has fully dried and is ready to remove, Meguiar's Squeak Test is a more accurate indicator of whether or not their is wax on the surface.

就像美克拉的擦拭测试，它是一个可以更准确指出蜡是否已经充分乾燥且可以准备擦除的试验方式，而美克拉的滑音测试则是一个较准确判断表面是否有上蜡的试验方式

In the solution,low concentration sulfate ions was determined by a direct titration with barium perchlorate as titrant and thorin as the indicator;the concentration of calcium ions was determined by a direct EDTA titration using Calcon carboxylic acid sodium salt as the indicator.

先用高氯酸将固体混合物溶解形成水溶液，然后以钍试剂为指示剂，用高氯酸钡溶液滴定溶液中的微量硫酸根，并用EDTA法以钙红为指示剂滴定溶液中的钙离子，从而可以计算出钙基脱硫剂的固硫率(表示为脱硫后固体混合物中的钙硫化)。

The paper is organized as follows: First, we will give a brief introduction and history of the Human-Earth system and present the method to analyze the regional HE system using PRED model. Then, the indicator system is introduced for the PRED model. Third, the present HE system is studied in details. Fourth, the indicator system is analyzed. Finally, the solutions are proposed for the problems in Shannxi HE system.

本文通过五个方面来论述：第一，介绍了人地协调系统的含义、发展历程以及PRED构型；第二，建立了区域PRED的协调评价指标体系以及对区域人地协调系统进行分析的方法；第三，分析了陕西省人地协调系统的现状；第四，对陕西省的PRED指标体系进行分析；第五，针对陕西省人地协调系统存在的问题提出对策。

With an emphasis on the establishment of the coastal ecosystem safety indicator system,this paper applies the conceptual model of Driving force-State-Response to build up the framework of the coastal ecosystem safety indicator system,based on China's coastal condition,through the foll...

本文以构建海岸带生态安全指标体系为研究目的，通过整体性与海陆结合、敏感性与脆弱生态系统、科学性与可操作性的指标选取原则，采用&压力状态响应&概念模型，结合我国目前海岸带面临的生态环境问题，提出符合我国的海岸带生态安全指标体系的基本框架。

In this paper, a certified dynamic storage management library is built using Hoare-logic style reasoning at the assembly level with the assistance of a theorem formalization and proof tool called Coq, since Hoare logic is more expressive. This work is a significant application of program verification technique.

由于Hoare逻辑更好的表达能力，采用Hoare逻辑风格的推理，在汇编语言级别，使用Coq形式化与定理证明工具可以实现一个经过安全验证的动态存储管理函数库，这是程序验证技术一次有意义的实践。

If the true ("1") level is the most positiv e voltage, this logic is referred to as positive true or positive logic.

如果真("1")电平是高的正电压，则此逻辑称为正逻辑。

In logic level, the application of the binary decision diagrams, Markov Chain and boolean difference in power estimation is introduced first, the strategy about how to make a balance between estimation accuracy and estimation velocity is introduced secondly, after that, the new problems emerged in the power estimation of the sequential circuit and the resolution is given out, the power estimation method based on the logic simulation is introduced at last.

在逻辑级功耗估计方法中，首先介绍了二叉判决图、马尔可夫链、布尔差分在功耗估计中的使用，其次研究了功耗估计速度和精度之间进行折衷的方法，然后介绍了时序电路功耗估计中出现的问题以及解决方法，最后介绍了基于逻辑模拟的功耗估计方法。

It was just a normal day of school

那只是上学的普通一天

Which is a very good reference in this issue.

这是一个在这个问题上很好的参考。