查询词典 environments

In datapath extraction, we build the environments for all datapath units by making assignments to the Boolean interface variables and some word variables. Binary CSP modeling then translates the RTL datapath satisfiability problem to a binary CSP description, which in turn will be sent to a binary CSP engine and solved by conflict-directed backjumping search strategy. The answer will be either a witness of satisfiable instance or a unsatisfiable decision.

数据通路提取通过对接口布尔变量和某些字变量赋值，为各个数据通路器件建立环境；二元CSP建模则根据该环境和各个数据通路器件的功能，将数据通路的可满足性问题转化为二元CSP描述；该二元CSP问题的描述被送入到二元CSP引擎，并采用冲突引导的回跳搜索策略进行求解，获得有解的例证或无解的判定。

Its stealth and supersonic speed allow the Lightning II to fight in high-threat environments that the slower, unstealthy A-10s cannot survive. The F-35 also will be dispatched to low- and medium-threat theaters.

它的隐身及超音速飞行能力使得闪电II可以在低速、无隐身能力的A-10战机所不能生存的高威胁环境下作战。F-35同样可以用于应对中、低威胁程度的战场环境。

Intelligent control is aimed to solve the task-oriented control problems in complex environments which are unstructural, uncertain and have strong interactions with the plants.

摘要智能控制是在常规控制理论与技术基础上的进一步发展与提高，目的是在非结构化、不确定性与控制对象有强相互作用的环境中实现过程任务的闭环自动控制。

Project team: Henrik Valeur, Rebecca Zelwak, Sarvdeep Singh Sangwan, Xia Zhen, Zhang Meng and Qian Jieyan Special advisor: Prof. Pan Haixiao UID is a networking urban consultancy offering innovative concepts and strategies for the development of dynamic and sustainable urban environments.

UID工作团队： Henrik Valeur， Rebecca Zelwak， Sarvdeep Singh Sangwan及夏祯，张艨，钱洁艳特别顾问：潘海啸 UID是一个城市顾问单位，为多样化发展及可持续城市环境提供革新性的概念和策略。

Both the TRST-A10 and TRST-A15 thermal receipt printers are reliable, easy to maintain and have wide usability for high volume and specialty sales as well as transit handling of warehoused goods,' the company said in a statement,'making them ideally suited for use in the retail, convenience, hospitality, pharmacy, library, product control, and kiosk environments.

无论是TRST -答10和TRST -答15热收据打印机可靠，易于维护和具有广泛的可用性的高容量和专业的销售以及处理过境货物的仓库，该公司在一份声明中说，使他们的理想适合用于零售，方便，热情好客，药房，图书馆，生产控制和信息亭环境。

It is IP65 dust and washdown compliant, which meets cleanliness requirements in wet and dusty environments.

这是符合IP65防尘和冲洗兼容，符合卫生要求，潮湿和灰尘的环境。

This robust encoder features a double sealed housing that allows the encoder to be operated in regulatory washdown and high pressure steam or caustic chemicals environments.

这一功能强大的编码器采用了双重密封的房屋，允许编码器将在监管冲洗高压蒸汽或环境腐蚀性化学品的经营。

Such systems must be designed to keep the lighting uniform and repeatable, keep the system's internal electronics cool, be able to withstand the harsh environments found within the plant (e.g., daily washdown), and be simple and inexpensive to fabricate.

这种系统的设计必须使照明均匀，重复性好，保持系统内部电子的冷却，能够承受在植物中发现的恶劣的环境，以及简单、成本低廉的制造。

The stainless steel construction of the A300 features an open design that allows easy cleaning and sanitizing in food processing applications in washdown environments; while "no tools" belt removal minimizes maintenance.

不锈钢建造架A300采用开放式设计，可以轻松地清洁和消毒食品加工中的应用冲洗环境；而&没有工具&带清除减少维修。

Through reviewing all kinds of materials which can manufacture the milling ball s at present in our country, it finds that milling ball maked by low chromium cast is suit to the wear environments in waterish grindi.

通过对目前使用的磨球材质进行综合考察，以磨球的性价比为标准，认为低铬铸铁磨球是一种适合于金属矿山湿式球磨机磨损工况的磨球。

It has been put forward that there exists single Ball point and double Ball points on the symmetrical connecting-rod curves of equilateral mechanisms.

从鲍尔点的形成原理出发，分析对称连杆曲线上鲍尔点的产生条件，提出等边机构的对称连杆曲线上有单鲍尔点和双鲍尔点。

The factory affiliated to the Group primarily manufactures multiple-purpose pincers, baking kits, knives, scissors, kitchenware, gardening tools and beauty care kits as well as other hardware tools, the annual production value of which reaches US$ 30 million dollars.

集团所属工厂主要生产多用钳、烤具、刀具、剪刀、厨具、花园工具、美容套等五金产品，年生产总值3000万美元，产品价廉物美、选料上乘、质量保证，深受国内外客户的青睐