查询词典 proving

Where a trademark registrant or any interested submits evidence proving that another party is engaged in or will soon engage in actions that infringe upon the former's exclusive right to use his or its registered trademark and that, unless they are stopped promptly, it will cause irreparable damages to its legitimate rights and interests, he or it may, before filing a lawsuit, apply to the people's court for the granting of an injunction prohibition the relevant acts and taking measures for property preservation.

第五十七条商标注册人或者利害关系人有证据证明他人正在实施或者即将实施侵犯其注册商标专用权的行为，如不及时制止，将会使其合法权益受到难以弥补的损害的，可以在起诉前向人民法院申请采取责令停止有关行为和财产保全的措施。

Where a trademark registrant or any interested submits evidence proving that another party is engaged in or will soon engage in actio that infringe upon the former's exclusive right to use his or its registered trademark and that, unle they are sto ed promptly, it will cause irreparable damages to its legitimate rights and interests, he or it may, before filing a lawsuit, a ly to the people's court for the granting of an injunction prohibition the relevant acts and taking measures for property preservation.

第五十七条商标注册人或者利害关系人有证据证明他人正在实施或者即将实施侵犯其注册商标专用权的行为，如不及时制止，将会使其合法权益受到难以弥补的损害的，可以在起诉前向人民法院申请采取责令停止有关行为和财产保全的措施。

I enter upon my task without proving the importance of the subject.

我在尚且没有证明我要研究的主题的重要性的情况下直接投入了这项研究。

I have said for 20 years that our success is not an entitlement and now its proving to be a reality.

我已经说了20年我们的成功不是天赋特权，现在证明这是事实。

In section one, we introduce some background of the topic, in section two we review some basic and recent results about the structure and hierarchies of the computably enumerable degrees which are closely related to our topic- the algebraic structure of the plus cupping Turing degrees, in section three, we outline the basic principles of the priority tree argument, one of the main frameworks and tools of theorem proving in computability theory, and in section four, we prove a new result concerning the algebraic structure of the plus cupping Turing degrees that there exist two computably enumerable degrees a, b such that a, b ? PC, and the join a V b of a and b is high.

度结合为0′。本篇论文分为4个部分：第一部分介绍了这个领域的一些背景知识；第二部分主要回顾了前人在研究可计算枚举度的结构和层谱时所取得的一些基本和最新结果，这些结果与我们的主题—加杯图灵度的代数结构密切相关；在第三部分中，我们概要的描述了优先树方法的基本原理，此方法是可计算性理论中定理证明的一个重要框架和工具；第四部分证明了一个加杯图灵度代数结构的新结果：存在两个可计算枚举度a，b，满足a，b∈PC，而且a和b的并a∨b是一个高度。

IT services firms in Europe such as ATOS Origin, Capgemini and BPO firms like Capita are now competing fiercely with US organizations, while communications service providers such as Equant have been steadily building their experience and professional services personnel and proving that communications outsourcing is best left to a communications expert.

它在欧洲事务等整车厂商出身，capgemini和氧化苯甲酰公司现人均喜欢与美国组织的竞争非常激烈，而通讯服务提供商等等分稳步建设方面的经验和专业的服务人员和证明通信外包留待通讯专家。

Proving theorems in Coq is an interactive process: some decision procedures automate equational reasoning or Presburger arithmetic, for example, but most of the proofs consist in sequences of "tactics" entered by the user to guide Coq in resolving proof obligations.

在Coq中的证明定理是一个交互过程：比如部分判定过程可以自动完成等式推论或者Presburger算法，不过，更多的证明则是由用户输入用以指导Coq完成证明任务的tactics序列。

This dissertation studies the applications of the inversion techniques and its equivalent form in finding and proving the hypergeo...

本文探讨了反演技术及其等价的形式在寻求和证明超几何级数恒等式方面的应用。

This dissertation studies the applications of the inversion techniques and its equivalent form in finding and proving the hypergeometric series identities.

本文探讨了反演技术及其等价的形式在寻求和证明超几何级数恒等式方面的应用。

Therefore, it is always the experiment platform used for proving all kinds of control theory in the domain of control. In the thesis, we use fuzzy controller to keep the invert pendulum erective and control cart position.

故一直为控制领域中，各种理论常见的实验平台，本文使用模糊控制器控制倒单摆之直立平衡与车子之位置平衡。

Article 144 The Government of the Hong Kong Special Administrative Region shall maintain the policy previously practised in Hong Kong in respect of subventions for non-governmental organizations in fields such as education, medicine and health, culture, art, recreation, sports, social welfare and social

第一百四十四条香港特别行政区政府保持原在香港实行的对教育、医疗卫生、文化、艺术、康乐、体育、社会福利、社会工作等方面的民间团体机构的资助政策。原在香港各资助机构任职的人员均可根据原有制度继续受聘。

Small wonder, then, that the Chinese spend more in the shop than any other group of foreign visitors do .

这样的小惊喜，使中国顾客比任何国家的人消费得更多。