查询词典 invoked

We invoked the APL theorem prover in the certifying compiler PLCC and tested some representative programs.

APL定理证明器是完全自动的，并且APL所产生的证明可以被有效的记录和检查。

God is ritually invoked on American political platforms, but it would not do to raise him in a committee meeting of the World Bank.

从仪式上说，在美国政治舞台上总提到上帝，但在世界银行委员会会议上提到上帝就不起作用。

As the Romish clergy saw their congregations diminishing, they invoked the aid of the magistrates, and by every means in their power endeavored to bring back their hearers.

当罗马教的神父们见自己的会众逐渐减少时，他们就请求官府的援助，企图用尽各样的力量使他们的听众回来。

And let them try to describe the circumstances in which the new-found responsibility to protect might actually be invoked if it is not just to join the UN's scrapheap of dashed expectations, broken promises and dismal betrayals.

让他们说明，究竟什么情况下才可以动用这项保护人民的新准则，才能使其不致成为联合国众多落空的期望、未达成的承诺以及令人沮丧的背叛中的一个。

And let them try to describe the circumstances in which the new-found responsibility to protect might actually be invoked if it is not just to join the UN's scrapheap of dashed expectations, broken promises and dismal betrayals .

请他们描述一下当下的境况，这种境况下可能确实需要保护受压迫的人民，而不仅仅做一些破灭的期许，损毁的承诺和阴郁的背叛。让他们说说，到底在什么情况下才应该动用这项新确立的责任去保护人民；还是说这个所谓责任也不过是联合国许许多多落空的期望、无法达成的承诺和令人心冷的背叛之中的一个。

If thousands more people are to die in the coming weeks, let those who oppose any action now, however modest its effect, then explain why they favoured a policy of doing nothing. And let them try to describe the circumstances in which the new-found responsibility to protect might actually be invoked if it is not just to join the UN's scrapheap of dashed expectations, broken promises and dismal betrayals.

如果在未来几周内，还会有几千人死亡的话，那么看那些现在反对采取行动的人（尽管他们的反对并没有多大作用）如何自圆其说；也让他们说明在何种情况之下，新制定的保护受压迫人民的责任原则才能名副其实，而不是沦为联合国那些粉碎期望、背信弃义的众多空头支票之一。

To simplify and reduce the effort required for solving control equations, separation of time-space variables is invoked.

在此基础上，在整个时间空间上构造了迭代求解方法，将问题化为局部状态变量修正和全局控制变量求解问题；从而形成了有限变形问题过程最优控制计算方法的理论基础。

In this case, the fire post-processing call will be invoked to wait for the workflow response in the blocking manner on the service side.

在这种情况下，火灾后处理的电话将调用等待在关于服务端阻塞方式工作流程的反应。

This most holy general synod of Constance, legitimately assembled in the holy Spirit, having invoked Christ's name and holding God alone before its eyes, having seen the articles drawn up and presented in this case against the lord pope John XXIII, the proofs brought forward, his spontaneous submission and the whole process of the case, and having deliberated maturely on them, pronounces, decrees and declares by this definitive sentence which it commits to writing: that the departure of the aforesaid lord pope John XXIII from this city of Constance and from this sacred general council, secretly and at a suspicious hour of the night, in disguised and indecent dress, was and is unlawful, notoriously scandalous to God's church and to this council, disturbing and damaging for the church's peace and unity, supportive of this long-standing schism, and at variance with the vow, promise and oath made by the said lord pope John to God, to the church and to this sacred council; that the said lord pope John has been and is a notorious simoniac, a notorious destroyer of the goods and rights not only of the Roman church but also of other churches and of many pious places, and an evil administrator and dispenser of the church's spiritualities and temporalities; that he has notoriously scandalised God's church and the christian people by his detestable and dishonest life and morals, both before his promotion to the papacy and afterwards until the present time, that by the above he has scandalised and is scandalising in a notorious fashion God's church and the christian people; that after due and charitable warnings, frequently reiterated to him, he obstinately persevered in the aforesaid evils and thereby rendered himself notoriously incorrigible; and that on account of the above and other crimes drawn from and contained in the said process against him, he should be deprived of and deposed from, as an unworthy, useless and damnable person, the papacy and all its spiritual and temporal administration.

这个最神圣的总主教的人Constance ，合法地聚集在圣灵的，有引用基督的名字和控股只有上帝面前，其眼睛，看过的文章，制定并提出了在这种情况下，对主教宗若望二十三世，论证，提出了，他的自发意见书，并在整个过程中的案件，并经商议成熟对他们的判决，法令，并宣布这个确切的一句话，它致力于写作：即离境的上述主教宗若望二十三世，从这个城市的人Constance从这片神圣的总理事会，偷偷和一名形迹可疑小时的通宵，变相及不雅着装，过去和现在都是非法的，众所周知的丑闻，以上帝的教会和本局，扰乱和损害了教会的和平与团结，支持这个长-常委会裂，并在差异与发誓，承诺与宣誓，由勋爵说，教皇约翰向上帝，向教堂，并把这一神圣的议会；表示勋爵说，教皇约翰一直是一个恶名昭彰的simoniac ，劣迹斑斑的驱逐舰该货物的权利，不仅对罗马教会，而且对其他教会和许多虔诚的地方，以及一个邪恶的管理员及配药的教会的spiritualities和temporalities ；他出名scandalised上帝的地下教会和基督徒的人，由他的可恨和不诚实的生命和道德的，无论是以前，他晋升为教皇，后来就目前为止的时候，即是由上述他scandalised是scandalising在一个恶名昭彰的时装上帝的地下教会和基督教人民，即在经过适当和慈善警告，经常重申，以他，但他硬是坚持了上述弊病，从而变成自己出名不可救药的，并认为是考虑到上述及其他罪行得出，并包含在说的过程中对他的，他就应该被剥夺和被废黜的，从作为一个不配；无用damnable的人，教宗和所有它的精神和时间管理。

Be all gods and their offspring invoked to grant that this empire and this city flourish forever and never cease until stones float upon the sea and trees forbear to sprout in the springtide.

本文作者是公元2世纪的一位希腊文人，在这篇献给罗马城的演说词中，他使用了大量华丽的辞藻和夸张的手法。

We have no common name for a mime of Sophron or Xenarchus and a Socratic Conversation; and we should still be without one even if the imitation in the two instances were in trimeters or elegiacs or some other kind of verse--though it is the way with people to tack on 'poet' to the name of a metre, and talk of elegiac-poets and epic-poets, thinking that they call them poets not by reason of the imitative nature of their work, but indiscriminately by reason of the metre they write in.

索夫农 、森那库斯和苏格拉底式的对话采用的模仿没有一个公共的名称；三音步诗、挽歌体或其他类型的诗的模仿也没有——人们把&诗人&这一名词和格律名称结合到一起，称之为挽歌体诗人或者史诗诗人，他们被称为诗人，似乎只是因为遵守格律写作，而非他们作品的模仿本质。

The relationship between communicative competence and grammar teaching should be that of the ends and the means.

交际能力和语法的关系应该是目标与途径的关系。