查询词典 high-proof

Sherry is fortified after fermentation with high-proof brandy to 16-18% alcohol.

雪利酒在发酵后，用浓度高的白兰地来增加酒精含量，一般为16～18%。

40 Drops of your favorite essential oil or essential oil blend keeping the safety data of the chosen essential oil in mind 1.5 ounces of distilled water and 1.5 ounces of high-proof alcohol (vodka is suitable, rubbing alcohol is not) or 3 ounces of distilled water.

加入1.5盎斯的蒸馏水及1.5盎斯的高纯度酒精（伏特加是一个满适合的选择，注意不要用工业用酒精－甲醇）或者就只加入3盎斯的蒸馏水。

High-proof adj.

含酒精度高的。。。

You can taste a few for free before you decide, but most people opt for the high-test 58-proof variety ($15.60 for a 750-milliliter bottle).

酒精浓度有28度、30度、38度和58度的。你可以免费品尝，不过大多数人会选择58度的高度酒（一瓶750毫升的高粱酒售价为15.6美元）。

The paper consists of six chapters. Chapter One is the theoretical background, we review the course of mechanical theorem proving and briefly introduce the main mechanical theorem prover of the last decade, Among them, we stress on the Boyer-Moore theorem prover and its throretical foundation a computational logic. In Chapter Two, we discuss two theorem proving tactics. One is the rippling-out tactic, which is a tactic for manipulating the induction conclusion to enable the induction hypothesis to be used in its proof, because it extremely restricts the search space, so it has high efficiency.

全文共分六章，第一章是理论背景知识，回顾了定理机器证明的历程，并对近十年来的主要定理证明器作了扼要的介绍，其中，着重介绍了计算逻辑及Boyer-Moore定理证明系统；第二章讨论了两种定理证明策略，一种是波动策略，它是一种在证明中通过处理归纳结论来激活归纳假设的策略，由于极大的限制了搜索空间，因此搜索效率高。

Among them a main reason is, the biggest to China travel searchs engine " where to go to " be based on bank of American the East China Sea to rank tertiary tradition with online travel company cooperates together, undertake Chinese market develops this kind of pattern jointly, we think to still need more sufficient proof, in order to ensure " where to go to " in China the high speed of online travel industry grows insusceptible.

其中一个重要的原因是，对于中国最大的旅游搜索引擎"去哪儿"与一家基于美国东海岸排名第三的传统在线旅游公司一起合作，共同进行中国市场开拓这种模式，我们认为还需要更加充分的论证，以确保"去哪儿"在中国在线旅游行业的高速成长不受影响。

CD-DVD Writer can write Data - Joliet/ ISO9660 discs and Audio discs in the fly, supports Burn-Proof technology with use of high write speeds, multisession disc, ISO files export and import.

光碟DVD烧录机可以写入数据-J oliet的/ i so9660光盘和音频光盘，在飞，支持烧伤P roof技术与使用高写入速度， m ultisession光盘，国际标准化组织的档案出口和进口。

Factory production, the production of various type of high-quality glass lampshade, glass explosion-proof tubes, glass crafts.

本厂生产、制作各种式样的高品质玻璃灯罩，玻璃防爆管，玻璃工艺品。

Companies to adopt international advanced industrial automatic placement machine assembly technology, integrated circuit manufacturing equipment, production of various series of infrared photoelectric switch, proximity switches, inductive, high temperature, capacitive, Hall sensors, safety explosion-proof magnetic switches, Isolation amplifier type, permanent-magnet sensors, analog linear displacement, liquid level sensors, textile weft detection device, wire break detector, hot metal detectors, welding phase sensor, color code, fiber optic, security screens, ultrasonic sensors, gear , speed sensor, pressure, electrode-type coal-bit sensors, rotary encoder, two-way cord running series switch, counter relays, solid state relays, switching power supply, isolation transmitter, welding power rectifier, thyristor modules, etc.

公司采用国际先进工业自动贴片机装配技术，集成化电路制造设备，生产各种系列红外线光电开关，接近开关，电感式、耐高温、电容式、霍尔式传感器，安全防爆磁性开关，放大器分离型、永磁感应器、模拟量线性位移、液位传感器、纺织探纬器、断丝检测器，热金属检测器，电焊相传感器，色标、光纤、安全光幕、超声波传感器，齿轮、速度传感器，压力、电极式煤位传感器，旋转编码器，双向拉绳跑编开关，计数器继电器，固态继电器，开关电源，隔离变送器，焊机电源整流桥、晶闸管模块等产品。

How then will it be when I think of the powerful good things which you have showered on me while I am not able to thank you enough for any one of them, so may the words of your feather be praised according to your knowledge and the judgments you have made and so much of your grace has encompassed your creatures and so much as your power has encompassed and a multiple that you are due from your creatures, oh Lord, I testify to my good deeds towards you, so add to your goodness to me for the rest of my life, greater, more complete, and even better than in the past with your mercy and you are the most merciful Lord, I implore you and beseech you by calling you the ONLY ONE, by glorifying you, praising you and acclaiming you, calling you the greatest, praising your completeness, by your leadership, by calling you the mightiest, by sanctifying you, by your glory, your mercy, your grace, your wisdom, your gentleness, your high position, you're your respect, your goodness, your exaltedness, your generosity, your perfection, your pride, by your rule, your might, your good acts, your thankfulness, your beauty, your grandeur, your proof, by your forgiveness, by your prophet and those close to you, his family and companions that you bless our Lord Mohammed and all other prophets and messengers and that you do not refuse me you care, nor your good deeds,… nor your beauty, nor your grandeur, nor the benefits of your honor, for you have given me so many gifts that you can never be hindered by miserliness, neither will neglect to thank you for your goodness reduce your generosity nor will your countless, exalted…… beautiful, noble gifts limit your overwhelming generosity, nor will you fear poverty and the river of your good deeds does not reduce your generosity, nor will you fear poverty and then become stingy.

当我想起你曾慷慨赐给我的好处，而对于每一个好处，我都无力以尽谢，愿你按你的智慧和你所成就的审判得着赞美。你以丰盛的恩惠环绕你所造的，正如你的力量环绕他们一样，你当从你所造的得到众多的赞美。主啊，我向你证实我对你的善功，所以在我的余生求你比以前更大，更全更好地以怜悯仁慈待我，你是至慈的主。我恳求你，哀求你，称你为至大，赞你的完全，你的带领，称你为至强的主，尊崇你，赞美你的荣耀，怜悯，恩惠，你的智慧，亲切，高位，你的仁慈，尊贵，慷慨，你的完美，统治，力量，善举，你的美丽，高贵，你的证明，你的宽恕。愿你赐福我们的至圣穆罕默德和他的家人，伙伴和所有其他的先知和使者以及接近你的人。你没有拒绝看顾我，也没有停止你为我做的美事，对我的礼待恩惠，因你给我如此之多的礼物，毫不吝啬，我也不会忘记感谢你的仁慈。你巨大的慷慨不会只限于无数尊贵，美丽，极好的礼物，纵然你的美事成川，你的慷慨也不见少，你也不会害怕贫穷，以至吝啬。

Nowadays, most of research are to build a transmutative Petri Nets through adding controlling place sets, controlling arc sets and controlling policy to the basic Petri Nets, while the Controlled Petri Nets could be used to argue many controlling theory problems conveniently and to induce many logically and physically supervisory and solve the Event Feedback Controlling Problems and State Feedback Controlling Problem in DEDS supervisory theory.

目前大多数的研究表现为在变形后的受控Petri网基础上，利用各种方法求得各种逻辑型、结构型控制器，解决DEDS监控理论中的事件反馈控制问题与状态反馈控制问题。

On one hand, there are discussions with the works council and union about extension of short time working up to the end of September.

一方面，有讨论，工程理事会和联盟关于延长工作时间短至9月底。